{"entities":{"Q2271073":{"pageid":2281816,"ns":120,"title":"Item:Q2271073","lastrevid":78411587,"modified":"2026-05-06T11:31:51Z","type":"item","id":"Q2271073","labels":{"en":{"language":"en","value":"The surveyability of long proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590760"}},"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":"Q2271073$46894C0D-E088-4624-9D6F-FC534CDE8C30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"112acfd875c019182714be8f31bd751d3589fa80","datavalue":{"value":{"text":"The surveyability of long proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271073$48E40C2F-E49D-4558-A4E4-FA97DA84207E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"624ce1cd69490cf06eb2f5ce6e649b794b42df62","datavalue":{"value":"1168.00304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271073$A262039C-A1BA-48CF-95DD-E09D3113C86F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312eb5a1c8685f26f6f3de16af4c411da46f6b65","datavalue":{"value":{"entity-type":"item","numeric-id":2271072,"id":"Q2271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$C9150376-1DE7-46D7-85D0-680AB445AE28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d056fa390317638b94cd33674f80c57ad98aec6b","datavalue":{"value":{"entity-type":"item","numeric-id":161821,"id":"Q161821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$F7033831-2502-4CDC-8FD3-9822D09A62E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22fa6455513bb7f53a1cef7bcfc7a401b9bebc8a","datavalue":{"value":{"time":"+2009-08-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":"Q2271073$793EEC3E-D5AA-4B5F-B410-D65B2F3FDE1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271073$ACC41468-C666-4E59-B27B-AEE2002527D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91acd185ed17e88d85161ae8940c17eed7256533","datavalue":{"value":"5590760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271073$A3D8D92B-9268-438B-943E-E8331EDAE7B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271073$9A6D1ACB-0FC5-4C4C-A4EE-2CAE2251D152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271073$7C7A4B10-F65F-4DD1-8140-E0418F2E2634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0881a8f4ef7a2263c25961f256532a0efd51d500","datavalue":{"value":"surveyability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271073$6C3CA8CF-5DDC-4C39-9C47-F69026325465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ea92ea741acea4b8f828887566fb6e6edf11fc","datavalue":{"value":"written discourse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271073$F5E4F847-621D-492B-A0F1-3CD59721AD03","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":"Q2271073$891536CC-6271-455C-8ADC-E4870ED25888","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"838af6f407f72cbe0714bffe7ea014d7563097ea","datavalue":{"value":"https://doi.org/10.1007/s10699-008-9145-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271073$37C769DB-DD57-4BE9-B0D6-2376DD44CFF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd38c3b37776a4f5654e13791c92a34459103a4d","datavalue":{"value":"W2114522105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271073$DB8EE761-E541-41FE-BE6E-4B8E25991DE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ce408a109a0f787c113b8dd93aa6eed7ab084c","datavalue":{"value":{"entity-type":"item","numeric-id":1250224,"id":"Q1250224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$298CE798-BA70-4602-B097-CBF743583D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c260108d8616e831c1dfccb3179c3e22c12775","datavalue":{"value":{"entity-type":"item","numeric-id":4315105,"id":"Q4315105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$E2DA5AAA-08E2-4FE3-9A7A-753F872436E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc720a03936288ceb34872052c432cc9a1b5e08","datavalue":{"value":{"entity-type":"item","numeric-id":2500803,"id":"Q2500803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$224FFE27-1A08-41C8-B5EB-EB7C56C8DF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33146ff7501c7a652a7d7ceb5a8fb210e023d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703714,"id":"Q5703714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$3A46777B-4710-4901-AB04-F6DEB44160E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f434eb77661e4a1466f61a43ce8ec3d5832b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3669333,"id":"Q3669333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$B8E13284-239B-4698-AC54-1E9024BD2393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b23b7db99d33ba41b8c893bcac4aca2de8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$4FB27A67-BD26-460B-B1B9-7172CACE95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5318249f647ed72ae382e19f5eb95967f288ea9a","datavalue":{"value":{"entity-type":"item","numeric-id":5452356,"id":"Q5452356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$50AB796C-BC5C-438C-9472-614C52FD23E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e628b5a57d9085c3f3aa2479263be2b33dd6e53","datavalue":{"value":{"entity-type":"item","numeric-id":4376878,"id":"Q4376878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$01435933-952F-4D96-A118-0D5C15AE36B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662744db22f671f83e5adda2c1f2c56a8b3bbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1895541,"id":"Q1895541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$49235A6B-24D7-4F70-AE23-ACCBD7F24790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255be4a06928629d410a12037fb8041c5f5f3586","datavalue":{"value":{"entity-type":"item","numeric-id":3240229,"id":"Q3240229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271073$810DA499-3F29-4E1A-8E51-0858185F89F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d4aaaa95c7962853dd1dae0304a749720b27243","datavalue":{"value":"10.1007/S10699-008-9145-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271073$B756693B-D5C9-4F47-A4BF-0582314D5221","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e660101f23f110ec3c2426bd2ed0f81602cb13fe","datavalue":{"value":{"entity-type":"item","numeric-id":5301855,"id":"Q5301855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f9eba15a9a2d6b7dc160788c18904a7486bff6","datavalue":{"value":{"amount":"+0.7325124144554138","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":"Q2271073$DE505761-E5E4-454C-9FF3-52BDC49D284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834597db13d5a556c45038c4583c05bc62b4d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5411984,"id":"Q5411984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1ce07c68adc380214499ae96e761fb1c178ced","datavalue":{"value":{"amount":"+0.7293398976325989","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":"Q2271073$E56BAE37-B878-4345-B01D-8CA218C860B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bea701d36108e729610986497099a7911bd2d17","datavalue":{"value":{"entity-type":"item","numeric-id":5301857,"id":"Q5301857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53ba38aa3ff4d147bbec48bd0aa6d1191eb515a","datavalue":{"value":{"amount":"+0.7189316153526306","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":"Q2271073$58928794-59C7-4E99-A816-CFA37A34A7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab2c75ee7c25e0874b3a540f6b2d47384b9f682","datavalue":{"value":{"entity-type":"item","numeric-id":2500803,"id":"Q2500803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122ec8d479551b0b3a1991727385648db9cf5b52","datavalue":{"value":{"amount":"+0.7188011407852173","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":"Q2271073$8225C842-4B4B-4477-A7A8-19793058FC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209fa210943d0fef470cb6ecf9b68e1e7313ee33","datavalue":{"value":{"entity-type":"item","numeric-id":5234246,"id":"Q5234246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca4528bfd5f50f3b7deb576c080befbe8b347fd","datavalue":{"value":{"amount":"+0.6887626647949219","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":"Q2271073$60A186F0-E6B1-485A-941F-4CA6472447BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The surveyability of long proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_surveyability_of_long_proofs"}}}}}