{"entities":{"Q5686023":{"pageid":7715583,"ns":120,"title":"Item:Q5686023","lastrevid":101605739,"modified":"2026-06-06T01:48:31Z","type":"item","id":"Q5686023","labels":{"en":{"language":"en","value":"Some Results on the Length of Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3424000"}},"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":"Q5686023$10730E00-4106-484A-833E-F0E99602C1E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc321770a3db7b6e9acb5530947216b9c152c5e9","datavalue":{"value":"0269.02011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$723F6D1D-61E6-4588-B224-A0359AC72D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd50966637d8d2c29763a61937f984b16ad9ec0a","datavalue":{"value":"10.2307/1996581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$D5B844C0-8D30-41FC-8C31-3DD6D4A6B93D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae8ed3f04cdc8472f36b21cea33124aef3efab22","datavalue":{"value":{"entity-type":"item","numeric-id":5181678,"id":"Q5181678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5686023$A387D4C5-5112-43F9-98D1-752E0AC9C2D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q5686023$C4024AD5-86B5-444E-88C1-4704AF5CC9F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$3CA632C1-F8ED-4650-8FA5-C907A1A6912E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$5D5EC74D-DA7C-498D-B1A8-D38678BE17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$2F5DBB50-21DC-4F4E-8CC6-28AFDD94C43B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"521bbda5f4f9c1421c11506e8533047298e5f1cb","datavalue":{"value":"3424000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$3201AA4D-BD97-4D6E-ADB4-EA72A262836C","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":"Q5686023$55D45189-2C62-431C-B2C5-135F42CAD623","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e057f80c08044c9f1548f6b66a1b00ac853db96","datavalue":{"value":"https://doi.org/10.2307/1996581","type":"string"},"datatype":"url"},"type":"statement","id":"Q5686023$CAEB38D9-597F-4144-BB86-B5B7B30AC37C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e9ca65b29ca6cbce731b7861f7e94fbea5f84e3","datavalue":{"value":"W4252443779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5686023$608D0DBA-FCBB-4E37-903F-2B0E6F244A78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3344588055b49c7e9fe7274cf4eaeb659d9eb85","datavalue":{"value":{"text":"Some Results on the Length of Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5686023$07F8F67F-3682-4B4B-B31A-E59B09D8FDD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5686023$D0F423ED-92E4-4C56-B33B-7D9CACB41116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e497f8d578333e730d1effafbdb56917c53f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3228606,"id":"Q3228606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5686023$6BE1D14E-8EDD-4C7D-AAE5-72DC75E28D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5686023$C5810428-4639-4AF3-AE74-02360B65B438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5686023$E25D3808-9F8F-4DA3-B6E0-525C19305115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4998bdaf1a6b4855ad6d2b807b069f618a518","datavalue":{"value":{"entity-type":"item","numeric-id":4041554,"id":"Q4041554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5686023$90CE01ED-C35F-4E44-B49E-76639DC34DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some Results on the Length of Proofs","badges":[]}}}}}