This HTML5 document contains 31 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/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
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#
dbpedia-frhttp://fr.dbpedia.org/resource/
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/
dbrhttp://dbpedia.org/resource/
n13http://research.microsoft.com/pubs/76532/

Statements

Subject Item
dbr:Bernays–Schönfinkel_class
rdfs:label
Bernays–Schönfinkel class Classe de Bernays-Schönfinkel
rdfs:comment
The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel–Ramsey class) of formulas, named after Paul Bernays, Moses Schönfinkel and Frank P. Ramsey, is a fragment of first-order logic formulas where satisfiability is decidable. It is the set of sentences that, when written in prenex normal form, have an quantifier prefix and do not contain any function symbols. This class of logic formulas is also sometimes referred as effectively propositional (EPR) since it can be effectively translated into propositional logic formulas by a process of grounding or instantiation. En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet.
dcterms:subject
dbc:Predicate_logic
dbo:wikiPageID
6093954
dbo:wikiPageRevisionID
1032246809
dbo:wikiPageWikiLink
dbr:Prenex_normal_form dbr:Moses_Schönfinkel dbr:Satisfiability dbr:Paul_Bernays dbr:Decidability_(logic) dbr:NEXPTIME dbr:Propositional_logic dbr:First-order_logic dbc:Predicate_logic dbr:Function_symbol dbr:Frank_P._Ramsey
dbo:wikiPageExternalLink
n13:tr-2008-181.pdf
owl:sameAs
wikidata:Q4894025 freebase:m.0fpttg n15:4Y9Yi dbpedia-fr:Classe_de_Bernays-Schönfinkel
dbp:wikiPageUsesTemplate
dbt:Mathlogic-stub dbt:Citation dbt:Reflist
dbo:abstract
En logique mathématique, la classe de Bernays-Schönfinkel (parfois appelée la classe de Bernays-Schönfinkel-Ramsey) est le fragment syntaxique de la logique du premier ordre des formules dont la forme prénexe est de la forme et qui ne contiennent pas de symboles de fonctions. Elle est nommée d'après ses créateurs, Paul Bernays et Moses Schönfinkel (avec l'apport aussi de Frank Ramsey). Le problème de la satisfiabilité est décidable et NEXPTIME-complet. Cette classe de formules s'appelle parfois effectively propositional (EPR) car elle peut être effectivement traduite en logique propositionnelle en instanciant les variables universelles par des termes clos. The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel–Ramsey class) of formulas, named after Paul Bernays, Moses Schönfinkel and Frank P. Ramsey, is a fragment of first-order logic formulas where satisfiability is decidable. It is the set of sentences that, when written in prenex normal form, have an quantifier prefix and do not contain any function symbols. This class of logic formulas is also sometimes referred as effectively propositional (EPR) since it can be effectively translated into propositional logic formulas by a process of grounding or instantiation. The satisfiability problem for this class is NEXPTIME-complete.
prov:wasDerivedFrom
wikipedia-en:Bernays–Schönfinkel_class?oldid=1032246809&ns=0
dbo:wikiPageLength
1806
foaf:isPrimaryTopicOf
wikipedia-en:Bernays–Schönfinkel_class