About: dbpedia-fr:Jeu_d'Ehrenfeucht-Fraïssé

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Jeu_d'Ehrenfeucht-Fraïssé Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Gioco di Ehrenfeucht-Fraïssé (it) Jeu d'Ehrenfeucht-Fraïssé (fr) Игра Эренфойхта — Фраиса (ru)
rdfs:comment	En logique mathématique, et notamment en théorie des modèles finis, le jeu d'Ehrenfeucht-Fraïssé (aussi appelé jeu du va-et-vient[réf. nécessaire]) est une technique pour déterminer si deux structures sont élémentairement équivalentes, c'est-à-dire savoir si elles satisfont les mêmes énoncés de logique du premier ordre. Son nom provient des mathématiciens Andrzej Ehrenfeucht et Roland Fraïssé. La principale application du jeu d'Ehrenfeucht-Fraïssé est de prouver que certaines propriétés ne sont pas exprimables en logique du premier ordre. Cet usage est d'une importance particulière en théorie des modèles finis et dans ses applications informatiques, comme en vérification de modèles et en théorie des bases de données, puisque les jeux d'Ehrenfeucht-Fraïssé sont l'une des rares techniques de (fr)
sameAs	dbr:Ehrenfeucht–Fraïssé_game wikidata:Q1300013 dbpedia-de:Ehrenfeucht-Fraïssé-Spiele dbpedia-es:Juego_de_Ehrenfeucht–Fraïssé dbpedia-it:Gioco_di_Ehrenfeucht-Fraïssé dbpedia-pt:Jogo_de_Ehrenfeucht–Fraïssé dbpedia-ru:Игра_Эренфойхта_—_Фраиса http://g.co/kg/m/040rcy http://ma-graph.org/entity/2778382836
Wikipage page ID	10408752 (xsd:integer)
Wikipage revision ID	178546729 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_modèles Academic Press dbpedia-fr:Andrzej_Ehrenfeucht First-order logic dbpedia-fr:Cambridge_University_Press Descriptive complexity theory Function (mathematics) dbpedia-fr:Héloïse_(abbesse) dbpedia-fr:Langage_formel dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Logique_mathématique dbpedia-fr:Méthode_du_va-et-vient Finitary relation dbpedia-fr:Roland_Fraïssé dbpedia-fr:Springer_Science+Business_Media Structure (mathematical logic) dbpedia-fr:Théorie_des_bases_de_données dbpedia-fr:Théorie_des_jeux dbpedia-fr:Théorie_des_modèles_finis Compactness theorem dbpedia-fr:Vérification_de_modèles dbpedia-fr:Équivalence_élémentaire
Link from a Wikipage to an external page	http://www.math.cornell.edu/~mec/Summer2009/Raluca/index.html https://www.springer.com/cda/content/document/cda_downloaddocument/9783540212027-c1.pdf https://books.google.com/books%3Fid=e6ST-AVC27AC&printsec=frontcover https://books.google.com/books%3Fid=kWSZ0OWnupkC&printsec=frontcover https://www.sciencenews.org/article/subtle-logic-winning-game
page length (characters) of wiki page	12568 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Référence_nécessaire dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Section_vide_ou_incomplète dbpedia-fr:Modèle:Traduction/Référence
prov:wasDerivedFrom	wikipedia-fr:Jeu_d'Ehrenfeucht-Fraïssé?oldid=178546729&ns=0
foaf:depiction
prop-fr:année	1982 (xsd:integer) 1999 (xsd:integer) 2000 (xsd:integer) 2007 (xsd:integer) 2008 (xsd:integer)
prop-fr:auteur	Wilfrid Hodges (fr) Ivars Peterson (fr) Bruno Poizat (fr) Joseph G. Rosenstein (fr) Leonid Libkin (fr)
prop-fr:collection	Universitext (fr) Texts in Theoretical Computer Science. An EATCS Series (fr)
prop-fr:fr	jeu à jetons (fr)
prop-fr:id	L (fr)
prop-fr:isbn	0 (xsd:integer) 978 (xsd:integer)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Joel Spencer (fr) Moshe Y. Vardi (fr) Neil Immerman (fr)
prop-fr:lieu	Berlin (fr) Cambridge (fr) New York (fr)
prop-fr:lireEnLigne	https://books.google.com/books%3Fid=e6ST-AVC27AC&printsec=frontcover https://books.google.com/books%3Fid=kWSZ0OWnupkC&printsec=frontcover
prop-fr:nom	Spencer (fr) Maarten (fr) Weinstein (fr) Immerman (fr) Libkin (fr) Vardi (fr) Grädel (fr) Kolaitis (fr) Venema (fr)
prop-fr:oclc	219990733 (xsd:integer)
prop-fr:pagesTotales	268 (xsd:integer) 437 (xsd:integer) 443 (xsd:integer) 487 (xsd:integer) 788 (xsd:integer)
prop-fr:prénom	Leonid (fr) Scott (fr) Joel (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software