Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Theorem proving software systems
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
14417843
(xsd:integer)
dbo:
wikiPageRevisionID
550626637
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Theorem proving software systems
(en)
skos:
broader
dbc
:Formal_methods_tools
dbc
:Automated_theorem_proving
dbc
:Mathematical_software
skos:
prefLabel
Theorem proving software systems
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Theorem_proving_software_systems?oldid=550626637&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Vampire_(theorem_prover)
dbr
:Geometry_Expert
dbr
:OBJ_(programming_language)
dbr
:Nqthm
dbr
:Equational_prover
dbr
:Logic_Theorist
dbr
:MALPAS_Software_Static_Analysis_Toolset
dbr
:MASON_(Java)
dbr
:Theorem_Proving_System
dbr
:Larch_Prover
dbr
:Term_indexing
dbr
:Twelf
dbr
:Maple_(software)
dbr
:CARINE
dbr
:Planner_(programming_language)
dbr
:Wolfram_Mathematica
is
dcterms:
subject
of
dbr
:Vampire_(theorem_prover)
dbr
:Geometry_Expert
dbr
:OBJ_(programming_language)
dbr
:Nqthm
dbr
:Equational_prover
dbr
:Logic_Theorist
dbr
:MALPAS_Software_Static_Analysis_Toolset
dbr
:MASON_(Java)
dbr
:Theorem_Proving_System
dbr
:Larch_Prover
dbr
:Term_indexing
dbr
:Twelf
dbr
:Maple_(software)
dbr
:CARINE
dbr
:Planner_(programming_language)
dbr
:Wolfram_Mathematica
is
skos:
broader
of
dbc
:Free_theorem_provers
dbc
:Proof_assistants
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License