This HTML5 document contains 35 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/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Satz_(SAT_solver)
rdf:type
yago:Thinker110708454 yago:CausalAgent100007347 yago:Object100002684 yago:Person100007846 yago:Organism100004475 yago:ProblemSolver110458111 yago:PhysicalEntity100001930 yago:Whole100003553 yago:WikicatSATSolvers yago:YagoLegalActor yago:YagoLegalActorGeo yago:Intellectual109621545 yago:LivingThing100004258
rdfs:label
Satz (SAT solver)
rdfs:comment
SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers.
dcterms:subject
dbc:SAT_solvers
dbo:wikiPageID
9578962
dbo:wikiPageRevisionID
997644246
dbo:wikiPageWikiLink
dbr:IJCAI dbr:Chu_Min_Li dbc:SAT_solvers dbr:Boolean_satisfiability_problem
owl:sameAs
wikidata:Q7426981 yago-res:Satz_(SAT_solver) n15:4uhb7 freebase:m.02pkp__
dbp:wikiPageUsesTemplate
dbt:Multiple_issues dbt:Algorithm-stub dbt:Notability dbt:No_footnotes dbt:One_source
dbo:abstract
SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers.
prov:wasDerivedFrom
wikipedia-en:Satz_(SAT_solver)?oldid=997644246&ns=0
dbo:wikiPageLength
530
foaf:isPrimaryTopicOf
wikipedia-en:Satz_(SAT_solver)