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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Riemann_mapping_theorem
dbo:wikiPageWikiLink
dbr:Sharp-SAT
Subject Item
dbr:♯P-complete
dbo:wikiPageWikiLink
dbr:Sharp-SAT
Subject Item
dbr:Boolean_satisfiability_problem
dbo:wikiPageWikiLink
dbr:Sharp-SAT
Subject Item
dbr:IP_(complexity)
dbo:wikiPageWikiLink
dbr:Sharp-SAT
Subject Item
dbr:Sharp-SAT
owl:sameAs
yago-res:Sharp-SAT freebase:m.09rxtpx wikidata:Q7490283 dbpedia-pt:Sharp-SAT dbpedia-global:4uLYt
rdfs:label
Sharp-SAT Sharp-SAT
prov:wasDerivedFrom
wikipedia-en:Sharp-SAT?oldid=1284362799&ns=0
dbo:wikiPageWikiLink
dbc:Computational_problems dbr:Computational_complexity_theory dbr:♯P dbr:Artificial_intelligence dbr:2SAT dbr:Boolean_satisfiability_problem dbr:Non-deterministic_Turing_machine dbc:Combinatorics dbr:Formula_(mathematical_logic) dbr:Interpretation_(logic) dbr:♯P-complete dbr:Computer_science dbr:Validity_(logic) dbr:Horn-satisfiability dbr:Cook-Levin_theorem dbr:Enumerative_combinatorics dbr:Satisfiability dbr:3SAT dbr:Conjunctive_normal_form dbc:Satisfiability_problems dbr:Statistical_physics dbr:Counting_problem_(complexity) dbr:Planar_3SAT dbr:Sharp-P-complete dbr:Boolean_logic dbr:Binary_Decision_Diagram
dct:subject
dbc:Computational_problems dbc:Satisfiability_problems dbc:Combinatorics
foaf:isPrimaryTopicOf
wikipedia-en:Sharp-SAT
dbp:wikiPageUsesTemplate
dbt:Correct_title dbt:Refimprove dbt:Reflist
dbp:reason
hash
dbp:title
#SAT
gold:hypernym
dbr:Problem
Subject Item
wikipedia-en:Sharp-SAT
foaf:primaryTopic
dbr:Sharp-SAT
Subject Item
dbr:♯P-completeness_of_01-permanent
dbo:wikiPageWikiLink
dbr:Sharp-SAT
Subject Item
dbr:Sharpsat
dbo:wikiPageRedirects
dbr:Sharp-SAT
dbo:wikiPageWikiLink
dbr:Sharp-SAT