Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Satisfiability_Modulo_Theories
An Entity of Type :
Thing
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
5912284
(xsd:integer)
dbo:
wikiPageLength
47
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-fr
:Satisfiability_modulo_theories
dbo:
wikiPageRevisionID
118380030
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-fr
:Satisfiability_modulo_theories
rdfs:
label
Satisfiability Modulo Theories
(fr)
Satisfiability Modulo Theories
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Satisfiability_Modulo_Theories?oldid=118380030&ns=0
foaf:
isPrimaryTopicOf
wikipedia-fr
:Satisfiability_Modulo_Theories
is
foaf:
primaryTopic
of
wikipedia-fr
:Satisfiability_Modulo_Theories