{"entities":{"Q4798206":{"pageid":6827786,"ns":120,"title":"Item:Q4798206","lastrevid":74821200,"modified":"2026-04-15T00:30:24Z","type":"item","id":"Q4798206","labels":{"en":{"language":"en","value":"The shortest definition of a number in Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1884766"}},"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":"Q4798206$1C67BEBD-DB33-46BA-B27B-41C811D82D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f37a80dc7858db6542b66f25a5c9cf7380efdaa","datavalue":{"value":{"text":"The shortest definition of a number in Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4798206$4BF41FF4-548A-4FFD-A26D-2A102AE8C41B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4430f0d1d9fdef7becc74c2a0958031f98cd6a38","datavalue":{"value":"1016.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$A6000BF2-B7BE-4A38-BC2B-BAB3F5C80D4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d9a817b36499a09a95b3b83dc51374692c1b91","datavalue":{"value":{"entity-type":"item","numeric-id":1120566,"id":"Q1120566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4798206$15B4C5BF-4C6A-42CA-8CA4-F87DA70F245D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4798206$B8A44DCD-A87E-47F9-A698-5B8143E13050","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bf000c6c164f150c142ee163454b913d04764a9","datavalue":{"value":{"time":"+2003-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4798206$477D295F-85CC-4CDE-970E-C57768CF503B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$1BA7BE17-C26D-420F-AE59-DBD83FE0C684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$DAECFFCC-A382-4531-B06B-C4B15C3C14AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$6CA703D8-F0C5-4391-9C8B-4FB9809F9696","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0427fd3b29913edd2eae8bd25c101003aaa15300","datavalue":{"value":"1884766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$5207FC0E-3E3D-49F6-ABF8-BD070DF2E522","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798206$664AE0AD-EAAF-4C0E-A996-F6EAFB150FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a5c5b4db25ad4bd3cb29bb30916f570351dc4a","datavalue":{"value":"1-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798206$7396F79A-830C-4419-AD30-E74635E4DB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798206$64E944F9-1A77-4171-B914-34D53CF39E41","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":"Q4798206$2B8E0C84-63FB-4EFB-9B98-A9B9A8F99C14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75cb914c1a78af0c2899c888466a6ec85150636c","datavalue":{"value":"https://doi.org/10.1002/malq.200310006","type":"string"},"datatype":"url"},"type":"statement","id":"Q4798206$1EE99D02-02EB-44F0-8671-49877B536385","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27a5f3fded390bc017f12488f93cf636be1b1c5d","datavalue":{"value":"W2047922100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$A6599235-9498-4209-810C-7A6268ADE8E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f81b14d677e043eaf50fb868d1d2fd247c832e95","datavalue":{"value":"10.1002/MALQ.200310006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798206$822C8AF8-830A-40EA-A4A1-E550FA734FF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d851677702c637de38dcf5effaeccad196814663","datavalue":{"value":{"entity-type":"item","numeric-id":4282958,"id":"Q4282958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0473ef03b4009e0271a33872d7f0cbd31ce01506","datavalue":{"value":{"amount":"+0.7531629204750061","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":"Q4798206$9903E1B5-F01A-47D7-863F-6E3262CCBCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c477d1021ea0c5f8129c275f16f30a0dcbb2e492","datavalue":{"value":{"entity-type":"item","numeric-id":3972528,"id":"Q3972528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0473ef03b4009e0271a33872d7f0cbd31ce01506","datavalue":{"value":{"amount":"+0.7531629204750061","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":"Q4798206$3F921386-1230-48C7-9595-8B3A49F58505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0285c2b9b616836453597860861d1dfb551356","datavalue":{"value":{"entity-type":"item","numeric-id":3794178,"id":"Q3794178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4a2e3346bfb706c6fcfad8d7928a116eb83db7","datavalue":{"value":{"amount":"+0.7149451971054077","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":"Q4798206$C0B2456B-D016-419E-AB5B-6DCAD82ECD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c87af62e92972fdbdbb00d8f43a446546def94","datavalue":{"value":{"entity-type":"item","numeric-id":4010361,"id":"Q4010361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694fe032780db38e2b41f12b59d13172fabc0414","datavalue":{"value":{"amount":"+0.7140769958496094","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":"Q4798206$1C32B9F8-3043-46A2-A445-56C2121EF09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121cd2c1e7e7e3d233cfd24684728e92567e8b35","datavalue":{"value":{"entity-type":"item","numeric-id":4513512,"id":"Q4513512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f02f192163911c8db72aa8b7e5b4bff56b9163","datavalue":{"value":{"amount":"+0.7137576937675476","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":"Q4798206$54E0DC07-B8DA-4162-AAD5-76E6426F5361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The shortest definition of a number in Peano arithmetic","badges":[]}}}}}