{"entities":{"Q4306545":{"pageid":6336146,"ns":120,"title":"Item:Q4306545","lastrevid":96635105,"modified":"2026-06-05T11:49:28Z","type":"item","id":"Q4306545","labels":{"en":{"language":"en","value":"A Note on the Length of Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 640762"}},"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":"Q4306545$FBA3B60D-F0E1-4E74-BE15-60F25AADAF7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00c0f62997705c067ad0c451f478e331c805bcd0","datavalue":{"value":{"text":"A Note on the Length of Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4306545$E188E9D6-88C1-416D-9090-5D2B09B1B322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ac6b9127049dd57c3792826c28f2690fb8453a4","datavalue":{"value":"0812.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306545$6FBD5DC4-4A01-45F4-B86D-A290743C14BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b0df8cc476d314f14ae0e212e63b60a4094122d","datavalue":{"value":{"entity-type":"item","numeric-id":585197,"id":"Q585197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4306545$C7DDF40A-AF62-4005-8A77-DC2AEC041603","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4306545$8CE9A36C-8335-40A1-B2AA-21BC0C035CFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efb570cea52f59e38405d200e1ef7701b11341b2","datavalue":{"value":{"time":"+1995-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4306545$A46004AE-4067-44F4-8F35-8ABFF1FE12A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306545$300B56E4-2A53-4198-A931-EA1455574589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306545$4095FF5E-A49E-4594-804A-FBEBBE03E27E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32080464793df29ad6203f8940c592ae98ef2d65","datavalue":{"value":"640762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306545$28909F06-57CC-4A06-8D9E-11A28B4B5CE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306545$E4076A63-EF13-489C-9242-C780C0B2B169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b56b9e5464bc6c539be99a2168c5cbd31939e7","datavalue":{"value":"diophantine predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306545$124AF7AF-AD3F-4147-A8D2-9138A898FE3E","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":"Q4306545$2C2CA163-AC95-4D48-B3C6-E5D152ECE76C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19c34dd21ea9e66c32a2a3da97cd586f35900d3a","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.8.203","type":"string"},"datatype":"url"},"type":"statement","id":"Q4306545$B744EB44-19A7-4CD3-90F1-96C9AA781552","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a86ee521471826804494e715b39b18da3fd5bf7e","datavalue":{"value":"W1965893343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306545$513F3928-0C0B-45DD-A3D1-EAC515B768CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f51057ab6602425ca8d0c7ba50c53ffe28ecce","datavalue":{"value":"10.4288/JAFPOS1956.8.203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306545$DEBA959B-C369-4A54-B6A6-0390E83AACD1","rank":"normal"}],"P1643":[{"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":"b53ae22a63e1bfa81d9e1d362305e36784672d9a","datavalue":{"value":{"amount":"+0.812041699886322","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":"Q4306545$41121350-0906-4C8D-A6AA-DECC921E7E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31d34b5fbf0967cde0184974ecdc012f9b3bf37","datavalue":{"value":{"amount":"+0.7782230377197266","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":"Q4306545$18594A83-5487-4768-93F4-06B05C0C8FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9565bc9b78e0a6b588793215fc56c0c25620697e","datavalue":{"value":{"entity-type":"item","numeric-id":3335776,"id":"Q3335776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3829aa4e587fd9ac8a1e9a0cf116bf4a9d0a12","datavalue":{"value":{"amount":"+0.7720783948898315","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":"Q4306545$9B66FF88-B839-4F26-8C6F-8859B5BB1A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffd3be41ef1305800f353ea53f1df10b45292f2","datavalue":{"value":{"entity-type":"item","numeric-id":3481697,"id":"Q3481697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60e53b38b6c00ed555d2400a7ba251e95bc74eb","datavalue":{"value":{"amount":"+0.7648712396621704","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":"Q4306545$1437E298-D219-4C19-9F6C-4792BC9DA3E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Note on the Length of Proofs","badges":[]}}}}}