{"entities":{"Q2183713":{"pageid":2194456,"ns":120,"title":"Item:Q2183713","lastrevid":53741837,"modified":"2026-01-25T15:45:57Z","type":"item","id":"Q2183713","labels":{"en":{"language":"en","value":"Essential structure of proofs as a measure of complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205365"}},"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":"Q2183713$145F528B-CB8F-4814-93AB-0FC84AD5B8D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29fef6a04f965eb78ac2746d0e436f1ad42cc134","datavalue":{"value":{"text":"Essential structure of proofs as a measure of complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2183713$831CC030-29B6-479B-B715-58694A1A7CB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5d401c5823a117576c8743567167022df6d9e2b","datavalue":{"value":"1457.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$88C3A54E-908F-459C-8F00-62B872C7627D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40bdf4076d17ad0eb057c2b8be5ee375b837d63","datavalue":{"value":{"entity-type":"item","numeric-id":549722,"id":"Q549722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$0B296BDD-ECFE-48EB-8BB0-507477D6E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$0EC169D0-64B9-4BBB-9A72-5DFB0A2DCFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$2E6F7A01-BB7D-4141-B1F1-3FCD906041EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$C689EFF1-9F7E-4E0D-ACB6-59373BBE7F4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2183713$5423E432-6F7E-431D-9CF6-A0A25AEB4071","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e47820ee35e93e1c0e8f1bff4ff47e1110014108","datavalue":{"value":"The article is well organized and written. Mainly, it shows that introducing the notions of \\textit{schema calculus, schema derivation} and \\textit{description complexity of a schema formula}, they were able to recognize that two distinct derivations of two distinct theorems can be the same in the sense that both are instances of the same schema derivation, so, intuitively both must have the same description complexity in an appropriate schema calculus.  Besides, using these concepts they prove general robustness results relating to description complexity of a schema formula across Hilbert and Gentzen calculus.  In page 212, inside the definition of \\textit{schema calculus}, subpart \\textit{proviso oracle map}, it will be appropriate to explicitly mention that \\(\\Lambda \\subseteq A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183713$AB3EB6FE-B4A4-499D-A1ED-1DA6AEE6989F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25bd05b6d3e78aabcb3020d0aaaeef978d4a7326","datavalue":{"value":{"entity-type":"item","numeric-id":1983329,"id":"Q1983329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$BF6F117D-A688-4222-B5AB-F20CB7D53BE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$B9DB2218-82A3-4594-8E90-31495BC328FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$679C0FC5-836C-4AB7-A3D1-34746588120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$AD2000CF-3328-48CB-9302-43BB01EB286B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$FB994426-2BCB-4EEF-957E-41D85BAD2979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"877d43a9db76b78e76f8f2bbaf1a85eb758fadc2","datavalue":{"value":"7205365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$64BF6556-71B8-4878-A4E9-9AC5C4CF3D48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd5f26409163ea00d953c452775bbb96da624ca","datavalue":{"value":"description complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183713$3AF4B4B1-3969-4265-8BEF-379C172A4EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e6e3098bd3be238b1a09a137ce8ab9b8a8a55ca","datavalue":{"value":"schema calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183713$5ED0F6FC-7A37-4D7D-98D7-EB4AABED01EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc6cc4f16d5ce57ab60f8b4ca158193b078c11b5","datavalue":{"value":"schema derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183713$3A807EDC-AA13-4784-A7F1-E246415BA4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b072cb1bf31f87475a46937218e555b6e836fe9f","datavalue":{"value":"uniform and non-uniform robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183713$48409020-9E82-44B3-8DE8-4FE0B31B78E5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e6aab10461015012c5d62523aa342108f1e9b1f3","datavalue":{"value":"Q113899854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$8881BB14-4DEA-4BAA-A69F-4CA91B186F53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$01026BF3-31E8-45A9-8845-93EEF36E3856","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":"Q2183713$7B0B5067-2825-47B9-9E7A-968B23AD4060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7471f0f8c552222423f3e3f5ab3dd363b15d135","datavalue":{"value":"https://doi.org/10.1007/s11787-020-00251-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2183713$57D27B28-EDDC-4685-A94E-0D0162CFF786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd5e33547bc782a9c44c8821bb4b728c8813ec20","datavalue":{"value":"W3015754167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$12AC7BD1-17A7-42CD-A06D-831BACB2308A","rank":"normal"}],"P223":[{"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":"Q2183713$AC6033EE-57AD-4034-BE96-15F40BC84D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc62a7d0c8e9762ad2050016eed3f052ed0ba7e1","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$BC04058F-7AF7-48D5-8205-E0ED0C977BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b071873488111aa9b9902622dcad91009f96f4e","datavalue":{"value":{"entity-type":"item","numeric-id":3730704,"id":"Q3730704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$330CD275-88AA-4E31-9CC8-0C7724F1F1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e983d36cfecec9b58e1c37d6c18b89433801d","datavalue":{"value":{"entity-type":"item","numeric-id":1119576,"id":"Q1119576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$CC6D0803-BDB3-48EC-BD1B-CD869FEFB746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb43c2a0bbada6bd509ddafd5372bd0149e84aa","datavalue":{"value":{"entity-type":"item","numeric-id":5694881,"id":"Q5694881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$4E6EE8BB-2C50-4586-9052-CCC5AC47C5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$55DCECBD-6559-4AA3-AC3C-5AD0CAA85B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$03CF5252-4A0D-463B-93CC-38BA244F6DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$98394FDF-A46B-4F50-B029-855DF15F0F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec35d9f646cc8d771faa909b820478537c01d869","datavalue":{"value":{"entity-type":"item","numeric-id":4274311,"id":"Q4274311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$5FA0E3B1-D2AB-498E-83CE-420B102D7EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$DBC8100A-3901-4F88-A669-E82968391E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$20A7C63E-EA79-4EB9-BC0E-2577E6B725A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86573b15240d5803ac646abc1b4964ec65f2787e","datavalue":{"value":{"entity-type":"item","numeric-id":1222646,"id":"Q1222646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$C089CCBF-0AFC-4B7E-A7B6-D38D4A8E98BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3504c78102c12bbfc994a727f9d299506ed5857","datavalue":{"value":{"entity-type":"item","numeric-id":5737940,"id":"Q5737940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$7E95B5EA-F14E-4879-A7C7-051020B4751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82402d0b04fd70ff932fca0760d93c62bb3690b","datavalue":{"value":{"entity-type":"item","numeric-id":2259009,"id":"Q2259009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$3BB03208-731B-46E2-9D48-8ECA61FD29E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce012b3d80d7f92d39a1a78898044a8c1667a7de","datavalue":{"value":{"entity-type":"item","numeric-id":4451732,"id":"Q4451732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$387903A5-D3DD-4629-8C63-95F54D9F550B","rank":"normal"},{"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":"Q2183713$C3D69A08-47F3-41B3-BAFA-EFFFF1109402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$F973DF36-4A8D-46E3-8DCA-5E18A548DDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c7020c16ed71d57900f95ec6e0751cde75de3f","datavalue":{"value":{"entity-type":"item","numeric-id":4032626,"id":"Q4032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183713$87783B13-66E3-4305-96C3-2B7A7AF458C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb089edbabe9799445ee1567f8174f2fc8c081b","datavalue":{"value":"10.1007/S11787-020-00251-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183713$7B0BDAC4-FC62-4F55-9E86-9BF32E10CD55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9854f742529f8c2fb12c6a47a27ffa54f02f1307","datavalue":{"value":{"entity-type":"item","numeric-id":937212,"id":"Q937212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e831d3b2dd87a31b6caaa14703bf6c50fafb162f","datavalue":{"value":{"amount":"+0.7518398761749268","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":"Q2183713$3D535784-652D-4F70-93FC-858A96A4988A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258111bd04b0a458b38e7b414446414933e9ee1c","datavalue":{"value":{"entity-type":"item","numeric-id":302177,"id":"Q302177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcb410e12bb0f7968fd6ebb1a5fc5c6400cada9","datavalue":{"value":{"amount":"+0.7391208410263062","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":"Q2183713$CEBC04F6-44A2-4160-9CF5-6D20246F02FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6cb292e5548e86037d304b7a8dbab15fe890c3","datavalue":{"value":{"entity-type":"item","numeric-id":5476847,"id":"Q5476847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fb8f485693b357dd1739bf55f6a9d856943e5a","datavalue":{"value":{"amount":"+0.7346243858337402","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":"Q2183713$EF2663D8-8F54-4FB8-A6B6-BF8B737EC34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e8d32a7aae4e1fd923ad6cb3ef74c0244fefd1","datavalue":{"value":{"entity-type":"item","numeric-id":4896502,"id":"Q4896502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c139e91d4b9a44c9f884ac5df90c8843198d6e18","datavalue":{"value":{"amount":"+0.7329949736595154","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":"Q2183713$8D2FC2ED-A964-4544-8BD8-0708FEF0182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc26583b64fc9b53b7a02007f2089eb749293d24","datavalue":{"value":{"entity-type":"item","numeric-id":3724329,"id":"Q3724329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebd64eb6c6d306aa21e5880eded76922aa523fc","datavalue":{"value":{"amount":"+0.7277423143386841","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":"Q2183713$FA4160F6-A41E-4E26-B711-E626118EB084","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2183713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2183713"}}}}}