| Property |
Value |
| dbo:abstract
|
- La conjecture d'Ehrenfeucht ou, maintenant qu'elle est démontrée (par Michael H. Albert et John Lawrence et de manière indépendante par Victor S. Guba), le théorème de compacité est un énoncé concernant la combinatoire du monoïde libre ; c'est à la fois un théorème d'informatique théorique et un théorème d'algèbre. (fr)
- La conjecture d'Ehrenfeucht ou, maintenant qu'elle est démontrée (par Michael H. Albert et John Lawrence et de manière indépendante par Victor S. Guba), le théorème de compacité est un énoncé concernant la combinatoire du monoïde libre ; c'est à la fois un théorème d'informatique théorique et un théorème d'algèbre. (fr)
|
| dbo:isPartOf
| |
| dbo:namedAfter
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9035 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- La conjecture d'Ehrenfeucht ou, maintenant qu'elle est démontrée (par Michael H. Albert et John Lawrence et de manière indépendante par Victor S. Guba), le théorème de compacité est un énoncé concernant la combinatoire du monoïde libre ; c'est à la fois un théorème d'informatique théorique et un théorème d'algèbre. (fr)
- La conjecture d'Ehrenfeucht ou, maintenant qu'elle est démontrée (par Michael H. Albert et John Lawrence et de manière indépendante par Victor S. Guba), le théorème de compacité est un énoncé concernant la combinatoire du monoïde libre ; c'est à la fois un théorème d'informatique théorique et un théorème d'algèbre. (fr)
|
| rdfs:label
|
- Conjecture d'Ehrenfeucht (fr)
- Conjecture d'Ehrenfeucht (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
