This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://en.wikipedia.org/wiki/Category:
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Prover9
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:E_(theorem_prover)
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Coq
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Otter_(theorem_prover)
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:SPASS
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:PhoX
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Prototype_Verification_System
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Matita
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:HOL_Light
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Jape_(software)
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:ACL2
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Paradox_(theorem_prover)
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Isabelle_(proof_assistant)
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbc:Free_theorem_provers
rdf:type
skos:Concept
rdfs:label
Free theorem provers
skos:broader
dbc:Theorem_proving_software_systems dbc:Free_mathematics_software
skos:prefLabel
Free theorem provers
dbo:wikiPageID
6829164
dbo:wikiPageRevisionID
486050264
dbp:wikiPageUsesTemplate
dbt:Portal_box
prov:wasDerivedFrom
n11:Free_theorem_provers?oldid=486050264&ns=14
Subject Item
dbr:KeY
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Metamath
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:Models_And_Counter-Examples
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers
Subject Item
dbr:SNARK_(theorem_prover)
dcterms:subject
dbc:Free_theorem_provers
dbo:wikiPageWikiLink
dbc:Free_theorem_provers