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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n23https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
n24http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n25https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n16http://fr.dbpedia.org/resource/Modèle:
dbpedia-cshttp://cs.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
n12http://mwl.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Arithmétique_de_Presburger
rdfs:label
Aritmética de Presburger Aritmetica di Presburger Арифметика Пресбургера プレスバーガー算術 Presburger-Arithmetik Арифметика Пресбургера Arithmétique de Presburger
rdfs:comment
En logique mathématique, l'arithmétique de Presburger est la théorie du premier ordre des nombres entiers naturels munis de l'addition. Elle a été introduite en 1929 par Mojżesz Presburger. Il s'agit de l'arithmétique de Peano sans la multiplication, c’est-à-dire avec seulement l'addition, en plus du zéro et de l'opération successeur. Contrairement à l'arithmétique de Peano, l'arithmétique de Presburger est décidable. Cela signifie qu'il existe un algorithme qui détermine si un énoncé du langage de l'arithmétique de Presburger est démontrable à partir des axiomes de l'arithmétique de Presburger.
rdfs:seeAlso
n23:Presburger_arithmetic n25:Presburger-Arithmetic
owl:sameAs
dbpedia-uk:Арифметика_Пресбургера dbpedia-cs:Presburgerova_aritmetika dbpedia-de:Presburger-Arithmetik dbpedia-pt:Aritmética_de_Presburger n12:Aritmética_de_Presburger n13:5852641 dbr:Presburger_arithmetic dbpedia-ja:プレスバーガー算術 dbpedia-it:Aritmetica_di_Presburger wikidata:Q956059 n24:05xzt dbpedia-ru:Арифметика_Пресбургера dbpedia-pl:Arytmetyka_Presburgera
dbo:wikiPageID
86534
dbo:wikiPageRevisionID
173554110
dbo:wikiPageWikiLink
dbpedia-fr:Arithmétique_de_Robinson dbpedia-fr:Coq_(logiciel) dbpedia-fr:Multiplication dbpedia-fr:Mojżesz_Presburger dbpedia-fr:Satisfiability_modulo_theories dbpedia-fr:Entier_naturel category-fr:Théorie_des_nombres dbpedia-fr:Algorithme dbpedia-fr:Problème_de_la_décision dbpedia-fr:1929 dbpedia-fr:Théorie_des_modèles dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Machine_de_Turing_alternante dbpedia-fr:Signature_(logique) category-fr:Arithmétique dbpedia-fr:Assistant_de_preuve dbpedia-fr:Kurt_Gödel dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Décidabilité dbpedia-fr:Problème_de_décision dbpedia-fr:Addition dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Michael_Rabin category-fr:Logique_mathématique dbpedia-fr:2-EXPTIME dbpedia-fr:Axiome dbpedia-fr:Complétude
dbo:wikiPageLength
6213
dct:subject
category-fr:Théorie_des_nombres category-fr:Logique_mathématique category-fr:Arithmétique
prop-fr:wikiPageUsesTemplate
n16:, n16:Voir_homonymes n16:Portail
prov:wasDerivedFrom
wikipedia-fr:Arithmétique_de_Presburger?oldid=173554110&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Arithmétique_de_Presburger
dbo:abstract
En logique mathématique, l'arithmétique de Presburger est la théorie du premier ordre des nombres entiers naturels munis de l'addition. Elle a été introduite en 1929 par Mojżesz Presburger. Il s'agit de l'arithmétique de Peano sans la multiplication, c’est-à-dire avec seulement l'addition, en plus du zéro et de l'opération successeur. Contrairement à l'arithmétique de Peano, l'arithmétique de Presburger est décidable. Cela signifie qu'il existe un algorithme qui détermine si un énoncé du langage de l'arithmétique de Presburger est démontrable à partir des axiomes de l'arithmétique de Presburger.