About: dbpedia-fr:Structure

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

About: dbpedia-fr:Structure_automatique Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Structure automatique (fr)
rdfs:comment	En informatique théorique, une structure automatique est une structure définie à partir d'automates finis. L'intérêt principal de ces structures est de représenter de manière finie des objets infinis, ce qui offre un cadre « naturel » à la décidabilité de problèmes. En particulier, la vérification de modèles de formules de la logique du premier ordre est décidable sur les structures automatiques. (fr)
sameAs	wikidata:Q25389880 http://g.co/kg/g/11bzrlhf7j
Wikipage page ID	10079013 (xsd:integer)
Wikipage revision ID	142086372 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_modèles dbpedia-fr:Automate_fini First-order logic dbpedia-fr:Décidabilité Countable set dbpedia-fr:Graphe_d'une_fonction Group (mathematics) Automatic group Theoretical computer science dbpedia-fr:Langage_rationnel dbpedia-fr:Lemme_de_l'étoile Turing machine dbpedia-fr:Puissance_du_continu Structure (mathematical logic) dbpedia-fr:Structure_oméga-automatique dbpedia-fr:Transducteur_fini dbpedia-fr:Vérification_de_modèles
page length (characters) of wiki page	7668 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prov:wasDerivedFrom	wikipedia-fr:Structure_automatique?oldid=142086372&ns=0
foaf:depiction
thumbnail	wiki-commons:Special:FilePath/Automate_addition_verificateur.svg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Structure_automatique
has abstract	En informatique théorique, une structure automatique est une structure définie à partir d'automates finis. L'intérêt principal de ces structures est de représenter de manière finie des objets infinis, ce qui offre un cadre « naturel » à la décidabilité de problèmes. En particulier, la vérification de modèles de formules de la logique du premier ordre est décidable sur les structures automatiques. (fr)
is dbo:wikiPageWikiLink of	Automatic group dbpedia-fr:Problème_non_élémentaire dbpedia-fr:Structure_oméga-automatique dbpedia-fr:Vérification_de_modèles
is oa:hasTarget of	Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Structure_automatique

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, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software