{"entities":{"Q5204801":{"pageid":7234372,"ns":120,"title":"Item:Q5204801","lastrevid":53611157,"modified":"2026-01-25T10:30:17Z","type":"item","id":"Q5204801","labels":{"en":{"language":"en","value":"Prolegomena to any theory of proof simplicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7140439"}},"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":"Q5204801$82CB0D59-1362-4CCC-9A2C-F4C86750029B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a96e56bbd7c6cf10956625cb52cfe3346d88aa04","datavalue":{"value":{"text":"Prolegomena to any theory of proof simplicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5204801$68250E2A-FFAB-4143-BC34-68CE27C7B57B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"206b4c1e0908767635e762a361bf6a3e82e71c9b","datavalue":{"value":"1441.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$67584707-35F9-4CBA-A104-4C5E00828346","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$B271C7A3-67FC-47A5-B94A-0CA02E6DBFED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f8f9cf30177c49e6797ca12be4ec0fe8e8e3eb2","datavalue":{"value":{"time":"+2019-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5204801$3EF3C325-EB75-4350-90F9-68EB0DC9FD7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$41212B8E-10C8-4DB6-8178-B219421F9A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$F3D4093E-1D1B-44F0-85CE-0CCCDAB12C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cebdb0e1604e1162f6ce137bcdc783fa53247d9","datavalue":{"value":"01A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$0CC01FEF-8C6E-40EC-8CC5-8C2F8DF2B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$8B70C6E5-79CF-49EC-9E66-95F165089C7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1ba6fda6bb1cba970fb8e97177f7c837a2ec8ed","datavalue":{"value":"7140439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$44E00E59-E220-410A-ACA8-300461BB636C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f5e47d00c09278156883fb4c1dd2d044d5250f","datavalue":{"value":"simple proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204801$C27FCC97-E5C3-4D20-97A0-E7B80210CF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee9677937af4280ca2b7da086523ad813e30fbe","datavalue":{"value":"elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204801$D016D28F-62DD-4FCC-BCED-0D3BFDB2FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb33140240e07c1cf3efc3f0a680c4ccfc5034f","datavalue":{"value":"Hilbert's 24th problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204801$A7180CCF-BE8D-451E-8B70-52E46866DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f436f93fda0b63c0bfda493abad2f40e72d6f7d9","datavalue":{"value":"multiple uses of axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204801$6E90548F-B4DA-46EC-B7B4-B7FD52A6F832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204801$655BA1B6-573C-4F1A-AB1D-DB67DDC5ABE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$9A7D558F-632F-455C-BA5D-3EC857467E86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3eaf07f768ca8be71662e20433e73a8eb3a36f15","datavalue":{"value":{"entity-type":"item","numeric-id":21140,"id":"Q21140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$B6340B64-7442-49C5-907D-C380714DC21B","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":"Q5204801$685A8612-A41C-4E9A-99CF-BD11AF220073","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6ed36d172dd9adf87cb5f3b62ae007620f6ca22","datavalue":{"value":"https://doi.org/10.1098/rsta.2018.0035","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204801$74F8EBFC-2A89-4102-936A-0045FA2D7069","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"839d3ad3cf0f6daa373eda2474c4562793ace157","datavalue":{"value":"W2911087137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$08CB2C89-FDC8-4FE3-BD49-C8161C12A7BA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90851fb583dfc1a61e1623ce37f03213aa84efdd","datavalue":{"value":"Q92982878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$0AF64B0E-F854-4400-B93D-A355321DDCCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"751e8f0efe9ea52460668d0772ba1245a23405e7","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$6494C615-08C3-4BEE-A59B-07D1608809D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$2DD1EF24-3910-48B9-8E41-5CFBD1640880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fca1d0e955341dc7ee3a57276f5ddc3e17b0cea","datavalue":{"value":{"entity-type":"item","numeric-id":4980009,"id":"Q4980009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$59990AAF-AC9D-45A0-AECD-B944F8A7247E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc873797232b029a406d202d50f6e7ffbc5c1860","datavalue":{"value":{"entity-type":"item","numeric-id":4360862,"id":"Q4360862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$6B6A1344-F591-405F-BAF8-777F4A3B3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d655a03fbf22618fbb0d61df19226580c19224c","datavalue":{"value":{"entity-type":"item","numeric-id":4328793,"id":"Q4328793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$68B91DFD-7ED7-44C3-B8CB-C3D2F38E5FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f16cd2067bc04f677048f913c2bcad7be742e4b","datavalue":{"value":{"entity-type":"item","numeric-id":4603536,"id":"Q4603536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$A275290D-255C-4499-BD34-434318C54857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a7591e6b47fc174b794642c824d8b8bf2b89c2","datavalue":{"value":{"entity-type":"item","numeric-id":5667677,"id":"Q5667677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$C8376582-42D5-4947-BFE9-7CDE6D510C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9dd5ddb6105dac28aba77816f53fc8656013117","datavalue":{"value":{"entity-type":"item","numeric-id":2381801,"id":"Q2381801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$385325C1-4D8C-46D1-94A7-8CDB8CD089E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331fdc17e4b91a89e46dd35a44ff59eab69f4368","datavalue":{"value":{"entity-type":"item","numeric-id":1049687,"id":"Q1049687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$566DCBAB-AD88-4825-9E92-7006D47136AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd52a737f5282885af4fcaf28d5127de1b749ed","datavalue":{"value":{"entity-type":"item","numeric-id":4415435,"id":"Q4415435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$3CCA7586-9610-4859-ABE3-E086F3F9F9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a828f1d44955e8ba256e8bf7cfbbf5bf551a1ae3","datavalue":{"value":{"entity-type":"item","numeric-id":5948416,"id":"Q5948416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$91740CA1-E9A0-45ED-AB77-0A193AA3DCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fbc4254ab25428ac5c2c1c60c0ad26ce655a7","datavalue":{"value":{"entity-type":"item","numeric-id":3586426,"id":"Q3586426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$F28475F3-0AF3-4D9C-BA32-630BFC8A9EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee91ef6c99b60fc5588fbcb013faee53a5b0a674","datavalue":{"value":{"entity-type":"item","numeric-id":434311,"id":"Q434311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$B845D7FF-8A5E-48FA-95CE-426DF5BFCD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc0e9c57da2cb9ab6ca92fcf17c07925212bdae","datavalue":{"value":{"entity-type":"item","numeric-id":1876091,"id":"Q1876091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$25FCC75F-39B9-4711-BD98-74806A698628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0154fa8c8a0dc3b2b627790ed2bf92b1bb49955","datavalue":{"value":{"entity-type":"item","numeric-id":1846105,"id":"Q1846105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$D42852B5-8240-4791-9FC7-A6E2A0A2E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5306ae9b32e6130d3c13661bdccbf30811eb281","datavalue":{"value":{"entity-type":"item","numeric-id":5550848,"id":"Q5550848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$0DF47847-F6A6-4CD6-98CF-7D4A0A210BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311892145ff95a51fd0bbfa180c7623b0bc75c0","datavalue":{"value":{"entity-type":"item","numeric-id":5129772,"id":"Q5129772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$968C3717-EB8F-496B-9C27-BE052162C691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f427310af261e5a0e7006748eb114ca71894b82","datavalue":{"value":{"entity-type":"item","numeric-id":4483131,"id":"Q4483131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$20758621-E50B-4237-9025-B12599A41FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a211155a8494b56a4dbc59ca34da69a4d1157369","datavalue":{"value":{"entity-type":"item","numeric-id":2731727,"id":"Q2731727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$2F2A43FE-E2FF-4756-9495-F547DD28B979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003523ba3f9a5e54a78389bae8acfee856cf70ad","datavalue":{"value":{"entity-type":"item","numeric-id":2648089,"id":"Q2648089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$9B04642C-0FA8-4427-9E7E-8FF40C50A75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cfab333335da60270e3c7fa3150f5134622819","datavalue":{"value":{"entity-type":"item","numeric-id":4084875,"id":"Q4084875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$5045BE87-1AB2-42E8-95A1-4D4E16AB422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7847da6b346af39c787b9aa7eaf36430cf3d9ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1704083,"id":"Q1704083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$A53BA26C-4A70-43F9-9D56-62AF489CA7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$D0633EA5-04D2-4037-A719-785CC374B352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204801$482B00E7-393A-4F56-BCB0-8888F3D1DE75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd44c0c299b42402928660914a30e8cd5ce47812","datavalue":{"value":"10.1098/RSTA.2018.0035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204801$94BFFD63-EEBA-4467-8C74-BCE03946B8FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230a18b52f7b699672fbe6879724b84dfa9849f4","datavalue":{"value":{"entity-type":"item","numeric-id":4443194,"id":"Q4443194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34fbdca8c74496934e7e1c7a3f7e0a5a932decc1","datavalue":{"value":{"amount":"+0.889106035232544","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":"Q5204801$2F83E3B3-A75C-43F0-B090-C20CC21D6B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6df3dc69f94cca2d41ddbec8ebe7923c2d43e0","datavalue":{"value":{"entity-type":"item","numeric-id":1869614,"id":"Q1869614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0669c58f8322a9e47d8e2c3690cc5c4ca5d7f141","datavalue":{"value":{"amount":"+0.8853933215141296","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":"Q5204801$15544BFA-F619-413A-BAE1-522CAB68CDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b0e322ad32964aad747fbfe77feaba60e87c40","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c86d15954234337b7e65b58e78784bb5a25aa1","datavalue":{"value":{"amount":"+0.8693975806236267","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":"Q5204801$9F508804-E520-4C45-BA1A-BD7D1D387449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091d1d0bb86767738d47ab5be60337489952733e","datavalue":{"value":{"entity-type":"item","numeric-id":5204805,"id":"Q5204805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c86d15954234337b7e65b58e78784bb5a25aa1","datavalue":{"value":{"amount":"+0.8693975806236267","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":"Q5204801$E4A73584-C804-4B89-88E5-91456CA20B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6add10e5b0e9cc29c5610b9750a2b876536f66","datavalue":{"value":{"entity-type":"item","numeric-id":3369387,"id":"Q3369387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b669f485cfd9af27e250cb5d90ac7c3bc1959244","datavalue":{"value":{"amount":"+0.8637406229972839","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":"Q5204801$8F64735E-9EED-4BA5-BD09-EAA37769BD5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5204801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5204801"}}}}}