{"entities":{"Q1828976":{"pageid":1839718,"ns":120,"title":"Item:Q1828976","lastrevid":69041979,"modified":"2026-04-13T04:00:04Z","type":"item","id":"Q1828976","labels":{"en":{"language":"en","value":"Les bases de la logique Hilbertienne."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2562386"}},"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":"Q1828976$76CC9EB8-0A7F-4657-B1DE-359341C820DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a9d79828c19afd7680972f34aea70e55007da39","datavalue":{"value":{"text":"Les bases de la logique Hilbertienne.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1828976$9FFA9E07-15B8-4683-A606-BB1AF69D133D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea7e1312a4d1a1841375db156c0b6ffaa64ec57","datavalue":{"value":"56.0046.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828976$DA32A7C1-58D8-45C7-96E5-A5A83E2A9398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1828976$5DE0D901-B253-484F-9082-C9C6C1481F38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"633f9d29ac3043fa5e2b7c7ce58807f334d7d7e4","datavalue":{"value":"Klarlegung der Grundlagen der \\textit{Hilbert}schen Metamathematik in allgemeinverst\u00e4ndlicher Form: Der logistische Apparat, die Widerspruchsfreiheit und die Vollst\u00e4ndigkeit eines Systems, die an der \\textit{Fermat}schen Vermutung und dem Satz des aus geschlossenen Dritten erl\u00e4utert werden, die Bek\u00e4mpfung der intuitionistischen Einw\u00e4nde und das Entscheidbarkeitsproblem. Au\u00dferdem diskutiert Verf. die Gewi\u00dfheit, jede mathematische Theorie metamathematisch abzuleiten, und weist auf den Formalismus des Systems hin.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1828976$58EACAD1-ACB4-4827-9606-3AFFF07D51DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c675872392a68939f48b6462322c8d7453d4218a","datavalue":{"value":"2562386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828976$2135D555-8AC0-43C2-A60C-8BEA8876CA5C","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":"Q1828976$5CB70B67-A52C-4FDD-A791-B8CDDB52D84A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce2cecb13fb137686defc1a678182111b0fecc1","datavalue":{"value":{"entity-type":"item","numeric-id":6481166,"id":"Q6481166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828976$40B5FFA6-2E97-4A77-B2FA-A8547A8CD2D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Les bases de la logique Hilbertienne.","badges":[]}}}}}