{"entities":{"Q4547862":{"pageid":6577454,"ns":120,"title":"Item:Q4547862","lastrevid":47969500,"modified":"2026-01-03T05:33:48Z","type":"item","id":"Q4547862","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1786561"}},"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":"Q4547862$525A4220-AE65-4357-A8B9-3DF471A49F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b58e4af13552b22222b42e1e0297c54557c25bd","datavalue":{"value":"1004.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547862$C640125B-08C8-49AD-90E9-252A7E2E12E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e130bc6abef7df700461f6b16b3d1a12b06d5e1","datavalue":{"value":{"entity-type":"item","numeric-id":792320,"id":"Q792320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4547862$A754DDB3-5324-42BB-8DBD-22B76987BBFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fabb0af00a2e0e3b87f3fc8331f319270c08727","datavalue":{"value":{"time":"+2003-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4547862$D6D63B92-EE32-41DF-BC85-1AE8A49BE1DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547862$9545857A-1D40-45D9-9BA4-534F8F792F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547862$D2A7B2D6-D4C9-4052-8379-AA7E1F02283F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547862$A23F1E49-EECF-4E27-8B97-3A33F795013D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfe56630ea567fec537951d0bf18ab3399dc82e2","datavalue":{"value":"1786561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547862$780DBE56-78A5-44D5-82CA-36656CF38D93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da5cc793147a473f75d83c548f4d52dcf2e1560","datavalue":{"value":"\\(\\omega\\)-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$F6F3C732-7632-4AB6-BB48-4D5D0B9A2DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$5CEB2B8A-620F-43AA-8BC1-1EC384131ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$2A9EE716-BF8C-4375-B598-330BB19A7B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$4D87296C-8384-4A8A-8C82-8A19D5E29F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165caffc963b6025ba38665ed02baa6c8fe6fc0a","datavalue":{"value":"internal consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$74745C88-5593-499D-BA10-E616B188A766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60220bf05c0cc1e8e20b549069d458f7a90331c9","datavalue":{"value":"infinite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$2E2F0D20-A5F0-4BAB-ABCA-B135040FE458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10cb834e7a73184fb63f851df856fce5e4798475","datavalue":{"value":"polynomial arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547862$91D6D586-969C-4333-9867-FB51E2252CAE","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":"Q4547862$6DC8C3A8-689D-42C3-8D20-E7494BBAD260","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09b1e7e7772c0ade5a9defd90806a01ea7628f6","datavalue":{"value":{"entity-type":"item","numeric-id":4529268,"id":"Q4529268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6f8beb67bbd303949cf4894826faf912010a78","datavalue":{"value":{"amount":"+0.8270091414451599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4547862$B60898AC-4BB3-4257-B90D-B21933104456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f3b28bbc3471fb607857dfcfc1ea0388bc1c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4489061,"id":"Q4489061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b4b9d62402ac223554c5b3af54c0856b115faf","datavalue":{"value":{"amount":"+0.7930000424385071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4547862$54F7E3C1-8D28-48FC-9D2A-A9AFF63F5DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63707a42641c79405603db399f2e692b46e3b4cd","datavalue":{"value":{"entity-type":"item","numeric-id":551223,"id":"Q551223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b4b9d62402ac223554c5b3af54c0856b115faf","datavalue":{"value":{"amount":"+0.7930000424385071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4547862$5A70F727-4DE9-4017-9DAA-3A99DFF0EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aaa7c0363c91c87f487df431b82c1a1932b1723","datavalue":{"value":{"entity-type":"item","numeric-id":5019125,"id":"Q5019125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc6188927ed7d9833914823f780351ce2fb8f40","datavalue":{"value":{"amount":"+0.7661969065666199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4547862$55FCEB8F-BE88-4010-B9A1-B601A577A271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b870175be5815b5757a9340adb1aefd3bbf8be13","datavalue":{"value":{"entity-type":"item","numeric-id":3788003,"id":"Q3788003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac00fcc0fd144c0534377c0fc03c3801e9adf9cf","datavalue":{"value":{"amount":"+0.7593534588813782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4547862$AB19F8C5-F0E6-43B2-BADE-E3BFB4F966AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4547862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4547862"}}}}}