| Property |
Value |
| dbo:abstract
|
- Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression. (fr)
- Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2737 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2011 (xsd:integer)
- 2020 (xsd:integer)
|
| prop-fr:auteurInstitutionnel
|
- Unicode Consortium (fr)
- Unicode Consortium (fr)
|
| prop-fr:bloc
|
- Signes techniques divers (fr)
- Signes techniques divers (fr)
|
| prop-fr:date
|
- décembre 1937 (fr)
- décembre 1937 (fr)
|
| prop-fr:doi
| |
| prop-fr:graphie
|
- ⌜ ⌝ ⌞ ⌟ (fr)
- ⌜ ⌝ ⌞ ⌟ (fr)
|
| prop-fr:isbn
|
- 978 (xsd:integer)
- 9400724233 (xsd:decimal)
- 9789400724235 (xsd:decimal)
|
| prop-fr:jstor
| |
| prop-fr:langue
| |
| prop-fr:lienBloc
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Quine (fr)
- Murphey (fr)
- coin de Quine (fr)
- Quine (fr)
- Murphey (fr)
- coin de Quine (fr)
|
| prop-fr:nomUni
|
- Coin nord-est, (fr)
- Coin nord-ouest (fr)
- Coin sud-est (fr)
- Coin sud-ouest, (fr)
- Coin nord-est, (fr)
- Coin nord-ouest (fr)
- Coin sud-est (fr)
- Coin sud-ouest, (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 4 (xsd:integer)
- 22 (xsd:integer)
|
| prop-fr:pages
|
- 145 (xsd:integer)
- 286 (xsd:integer)
- 815 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:pluriel
| |
| prop-fr:prénom
|
- W. V. (fr)
- Murray G. (fr)
- W. V. (fr)
- Murray G. (fr)
|
| prop-fr:périodique
|
- Journal of Symbolic Logic (fr)
- Journal of Symbolic Logic (fr)
|
| prop-fr:titre
|
- Logic based on inclusion and abstraction (fr)
- Logic based on inclusion and abstraction (fr)
|
| prop-fr:titreChapitre
|
- Quine: Logic and philosophy (fr)
- Symbols (fr)
- Quine: Logic and philosophy (fr)
- Symbols (fr)
|
| prop-fr:titreOuvrage
|
- The development of Quine’s philosophy (fr)
- The Unicode Standard, Version 13.0 – Core Specification (fr)
- The development of Quine’s philosophy (fr)
- The Unicode Standard, Version 13.0 – Core Specification (fr)
|
| prop-fr:unicode
|
- U+231C (fr)
- U+231D (fr)
- U+231E (fr)
- U+231F (fr)
- U+231C (fr)
- U+231D (fr)
- U+231E (fr)
- U+231F (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer Science & Business Media (fr)
- Springer Science & Business Media (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression. (fr)
- Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression. (fr)
|
| rdfs:label
|
- Coin de Quine (fr)
- Coin de Quine (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
