{"entities":{"Q2500485":{"pageid":2511228,"ns":120,"title":"Item:Q2500485","lastrevid":44214174,"modified":"2025-11-20T22:05:21Z","type":"item","id":"Q2500485","labels":{"en":{"language":"en","value":"On the complexity of the reflected logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047254"}},"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":"Q2500485$2145677E-2359-4A2A-9EE9-263EA3A38FE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b1e98be203db5df032c1e7ea7e3ff597f80b3ce","datavalue":{"value":{"text":"On the complexity of the reflected logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500485$A85B0032-0618-4D5D-902C-41E1C7B1E737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1097079aeb22e9684c2f52a367903618ac47f7c1","datavalue":{"value":"1094.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500485$365DBB14-BE00-40CC-89E3-202600582AFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da71985bf12f5b759b52e3132a6a34ad693be244","datavalue":{"value":{"entity-type":"item","numeric-id":2498909,"id":"Q2498909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$00D4891E-3FA1-4472-9FA6-DA1B7454E4E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$7ABFFABC-5B82-490F-8FB8-11990B6CCF53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-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":"Q2500485$B1E45D26-E1F0-4C70-A78B-CA52F5BBE78A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500485$BB74FB8D-332D-4A01-90F3-928DA0B9C3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500485$9BC3CF1E-F822-4FFA-B7C1-9BBE4292A726","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b13913f2e218076c4852fd4dbdeede4c4a4cbd2a","datavalue":{"value":"5047254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500485$095B9AB3-C912-4854-9E5B-8F7325EFBB02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500485$B1812321-9B09-4AA6-A7B7-6FD681862EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d017ea1a754202d94282e1edc7882c3c32c87ab","datavalue":{"value":"proof polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500485$F0301AE3-395C-44A0-9821-813BCA3EDBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5758ebfc045dbc93641321bc316b17ba20d2ea77","datavalue":{"value":"symbolic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500485$FF44B564-1AD1-4749-B7D7-9C0F417FCDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1576adf895d0391f5d45cedc7982c2200cc1f03d","datavalue":{"value":"disjunctive property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500485$0B07DCC2-6F12-4076-A61A-0F03B8A20294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500485$EF0154FF-5EAF-4DB3-8E40-1CF5AB035667","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":"Q2500485$FF6A5D3E-D5E2-4AA0-94AF-0BB100957AC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e9f0ec81e06957b56b1707242b46f07d2101d5a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500485$46DBA03C-E782-4D54-9525-26E83228DB86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfcb922507f5e424a2cb7740fe471f756dd2c2d6","datavalue":{"value":"W2032493730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500485$DC8E9DBC-78A9-410A-BD50-36373F2EFB45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$0F2D79A4-C6B2-472E-AA60-C704B40BC4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2123a84712295b4d7f7bd83561a054011400664","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$C76D732A-80FA-402E-A47A-CE947223C473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd4bc953f527eefb1cc8a55dc47f07985f7ef44","datavalue":{"value":{"entity-type":"item","numeric-id":2500480,"id":"Q2500480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$AE6EE0DB-411F-4D9C-8143-B48F58C950A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fe320a8e2945a982156f6d4f3d5b1f2e3ba92e","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$C4737C37-45DE-4E7A-B770-3AB3D4A6283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500485$32873005-66E8-4C06-B15E-45C43458E1B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a794815ce9d8834b662708d8efbdfbc78d9d1d4","datavalue":{"value":"10.1016/J.TCS.2006.03.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500485$EAB3CCF6-6A1E-4842-983B-94164D766113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97da843a4ce651bcbed31f5e2ab625b0db37dc9","datavalue":{"value":{"entity-type":"item","numeric-id":5202633,"id":"Q5202633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800e2e7c7a79480d1de9b42d843675a6c3f71bcd","datavalue":{"value":{"amount":"+0.91465646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$CBFF46CA-0E92-40E3-8740-96110D1AAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96dc708fbd1384cb0999928a24e57600bbe45be5","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c766dc515b0cc7b45b57e73634d7472349226224","datavalue":{"value":{"amount":"+0.91139567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$539A7B3F-ADE3-4004-B504-32F784ADF310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46712c44066f975c41824e0f6ede86cf216c9ac4","datavalue":{"value":{"amount":"+0.9019865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$83E965B2-AA6E-4881-9423-648751A69A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46712c44066f975c41824e0f6ede86cf216c9ac4","datavalue":{"value":{"amount":"+0.9019865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$69B741A9-8E33-4322-BD16-131922390DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f7c93d713abbc3351371e7962089974f86353","datavalue":{"value":{"entity-type":"item","numeric-id":4390867,"id":"Q4390867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46712c44066f975c41824e0f6ede86cf216c9ac4","datavalue":{"value":{"amount":"+0.9019865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$C1397E8D-56C1-424C-8137-D37F523C3312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c003aa03f16033875d289caa302bf57aab973db8","datavalue":{"value":{"amount":"+0.9019864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$F5FB775B-E186-4DF6-A20F-D8A075C7755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db7f5959644968c7b9648e1f8603ae6758629e8","datavalue":{"value":{"amount":"+0.90188336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$E60F41B4-CCAE-40D9-9FF8-A52E30DB58AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab4b94db813a3222a34c92fb864a9f0ffa6a237","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e049d6e45bcbd719a2c12b43a575ba01d0bf4d6c","datavalue":{"value":{"amount":"+0.9010713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$BA47D681-AA6A-4FD1-9FBE-2C7B662CBAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9220e9c37dda4ea4e27fdfbfd6ec9ec1aa7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f376541c2ca2205e3de416ef6fd7c1c8cead6c","datavalue":{"value":{"amount":"+0.90043163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$1AB28751-2203-48E5-ADE3-6BD21F951817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd71905a039304f595542fea57706554ecd11c3","datavalue":{"value":{"entity-type":"item","numeric-id":5410826,"id":"Q5410826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f376541c2ca2205e3de416ef6fd7c1c8cead6c","datavalue":{"value":{"amount":"+0.90043163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500485$9FB8BD81-C503-4229-9F94-3610173AFD30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500485"}}}}}