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

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

PrefixNamespace IRI
dbohttp://dbpedia.org/ontology/
wdrshttp://www.w3.org/2007/05/powder-s#
n6http://localhost:8890/about/id/entity/http/dbpedia.org/resource/
n4https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:List_of_mathematical_proofs
wdrs:describedby
n4:Boolean_satisfiability_problem n4:Gauss–Markov_theorem n4:Combinatory_logic n4:Torque n4:Primitive_recursive_function n4:Coset n4:Compactness_theorem n6:Compactness_theorem
dbo:wikiPageWikiLink
dbr:Combinatory_logic dbr:Torque dbr:Gauss–Markov_theorem dbr:Compactness_theorem dbr:Boolean_satisfiability_problem dbr:Primitive_recursive_function dbr:Coset