{"entities":{"Q1484785":{"pageid":1495525,"ns":120,"title":"Item:Q1484785","lastrevid":71936583,"modified":"2026-04-14T01:32:52Z","type":"item","id":"Q1484785","labels":{"en":{"language":"en","value":"La th\u00e9orie des types logiques."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2632502"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484785$5C48C365-EF55-44DF-8AF0-F7B1D0D1C3C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87351ffcfee6de543b2bf5830aeea91da5d21b4c","datavalue":{"value":{"text":"La th\u00e9orie des types logiques.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1484785$AE3BF541-749B-4508-9004-703CBFA41CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d0a90c1fe1785e6c9f4bfedad0d8b4be542a06","datavalue":{"value":"41.0083.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1484785$CBA7DF65-0C83-42BE-8E60-AB48E2DD5099","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d24da0823fbb37fcb22a7e7ac8e84f54474584","datavalue":{"value":{"time":"+1910-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1484785$F46D7D1C-C499-4CFF-B1EE-5535BA8786DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d1180e013cfbad4d282ba3c3a438381c942badf","datavalue":{"value":"Erwiderung auf den Artikel von \\textit{H. Poincar\u00e9} \u00fcber die Logik des Unendlichen (F. d. M. 40, 97, 1909, JFM 40.0097.06). 1. Die Natur der propositionalen Funktionen. 2. Definition und systematische Zweideutigkeit der Begriffe Wahrheit und Irrtum. 3. Warum eine gegebene Funktion Argumente von einem gewissen Typus wieder annimmt. 4. Die Rangordnung der Funktionen und S\u00e4tze. 5. Das Axiom der Reduzibilit\u00e4t. 6. Die Theorie der Klassen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1484785$2246FF83-2220-404A-99F9-AD48482F7211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc42ae9cb8adc6d011330bad9e8196f3afd2b93","datavalue":{"value":"2632502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1484785$CF9CFAFF-992A-4A6F-8328-7BD1813C6CCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0c8be9a1b2b3f8c8c0864c45e71217c78cfa2e3","datavalue":{"value":{"entity-type":"item","numeric-id":1519862,"id":"Q1519862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484785$6F78E1C0-AC3C-43DA-BE37-6886C07E1EEB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484785$8BF45992-6131-4877-A8A8-DD5F6F47C8B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"La th\u00e9orie des types logiques.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/La_th%C3%A9orie_des_types_logiques."}}}}}