{"entities":{"Q2655330":{"pageid":2666073,"ns":120,"title":"Item:Q2655330","lastrevid":79303559,"modified":"2026-05-06T13:36:40Z","type":"item","id":"Q2655330","labels":{"en":{"language":"en","value":"Declarative representation of proof terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662161"}},"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":"Q2655330$A4C2E440-1E54-4024-A5AC-9881758101CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a427f7d4dfd604bdafe254a91ab23bffbba06245","datavalue":{"value":{"text":"Declarative representation of proof terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655330$BD7BD9E2-065F-4C26-8821-3129264F81A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89b661bd26050e8ec3edf9792026e1719a62de4a","datavalue":{"value":"1185.68633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655330$A4EE148A-D7B0-413D-885A-A112C33DD8E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$2153E9FD-F191-4B68-8172-DCEB321E2174","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$B6376535-ADB5-4786-9EBC-23B7DC17D309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655330$F8B4B3A6-CA24-486B-AB45-03574B320E10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655330$54326D2F-62BE-4ECA-86AF-3FD42ED3EE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655330$DE1B6CEB-307C-43E9-BED1-CF856770F127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a929f2d43c651854f2a0cf6cc984b7c57f64cd47","datavalue":{"value":"5662161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655330$D27107CC-4193-48B2-AB75-B2D8D472C861","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b69a8b9a57f57a4e24ed688a4a4c1ad8de0529","datavalue":{"value":"declarative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655330$78F56C5B-7BB1-4B2A-9BAB-5BA1E587BB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1f66f838ab6c659c40577faeda90140c2435bc","datavalue":{"value":"proof terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655330$CFF3DF6B-AE24-4153-862B-E83A41E05E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655330$632F84EA-C717-47E9-99DA-CF4E3A92979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e7f61a8f056cf5734dd302513cf87a92daeaf4","datavalue":{"value":"generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655330$58BEF644-9CB9-4269-B2E5-8FFD4A5E0D44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$20F2EE95-F30E-426A-A541-82F538B3A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$5E10992F-D08B-4C4A-8505-35A88547054C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$1FF65527-BCBB-4BCC-AB5D-A36DEB7AE974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$3C4B91AD-18D3-4151-B1EA-CBB25165756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aef42c0ba3ebb76b2efad2df262c05b22e73e922","datavalue":{"value":{"entity-type":"item","numeric-id":21953,"id":"Q21953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$D8A5E5A2-CDB0-44A5-9A55-9167BD3B2B07","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":"Q2655330$9395436D-E075-42E1-A0E4-128F071A8F39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1124855991daee0ba3820f4f9f91e49ed42a6c43","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9136-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655330$20899383-D4C3-47BA-B194-3B302D2ADB42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62375c240387cbb3dc3199971ba1a6dfc726fb66","datavalue":{"value":"W2004639559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655330$130E568A-A986-42A8-A32B-FBD2B42B03B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8847fc96bd6cc15667c599e80d53cc2bce3050","datavalue":{"value":{"entity-type":"item","numeric-id":2462635,"id":"Q2462635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$DBAD42A2-61A9-4854-9A66-B054FAB42948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7bb7c39279605d0be633aee89b69bf2719cf19","datavalue":{"value":{"entity-type":"item","numeric-id":5898523,"id":"Q5898523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$54EEF41E-77CF-4203-B327-C327AA7DACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a29fcf32011c13088f3428d9fdfe337e239946","datavalue":{"value":{"entity-type":"item","numeric-id":5756760,"id":"Q5756760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$AC3C2C63-3EBF-4873-BA97-6C2AD4D843DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8513d5f9fd03c9a6787159234040414ea0547c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2655331,"id":"Q2655331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$7665E3FF-FDDF-4262-B57C-8C386A17BF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f03bf183c7a653e5e84320e58ed58d37b137b2","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$F1E6BB7A-68D1-4826-8326-3921C8C3FDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ecba633e7dd0ac407826dd5f559a4e819c3c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2867943,"id":"Q2867943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$740D3634-67C4-4432-B4DD-5855DDC4E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$87C083E8-E182-45E0-996A-AA411DF2C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f0974f54a711565a4787629b7615a083e221ca","datavalue":{"value":{"entity-type":"item","numeric-id":5166499,"id":"Q5166499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$1D496A66-B8A1-49B8-9630-6F20039E9F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef054f5b8a74420f4d60df29930a20acceb1e00","datavalue":{"value":{"entity-type":"item","numeric-id":3024829,"id":"Q3024829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$34725B30-D471-48FC-A76F-937101F3F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655330$8AD3E3A0-3416-4D8F-954C-B0ECCAB664AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e502b62d5c3664190225f0940db6f1f1d96e9d55","datavalue":{"value":"10.1007/S10817-009-9136-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655330$ADAD8E86-9D7E-46FE-B79C-3359004A55ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8914216b1719bd945e09b44600149e1f276a3f8a","datavalue":{"value":{"entity-type":"item","numeric-id":2655331,"id":"Q2655331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b403d1953946b7ec175f8e57a617ace79a1dca","datavalue":{"value":{"amount":"+0.8767373","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":"Q2655330$A9D71DD0-2945-4074-A038-DE611E77ECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c743139fa082f66c84f8ff6b216989e8a4eab7b","datavalue":{"value":{"entity-type":"item","numeric-id":5747644,"id":"Q5747644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9776bfe048846e5c0854bf50fb4e54b73c933e","datavalue":{"value":{"amount":"+0.87135816","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":"Q2655330$2B72345F-79CA-4852-A495-B328C0F59E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a77f92b0a8bdda0dc21719f1ec259c8b9ed6960","datavalue":{"value":{"entity-type":"item","numeric-id":2754030,"id":"Q2754030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655f3904027741396ad78218241ec321efb9efaf","datavalue":{"value":{"amount":"+0.87036747","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":"Q2655330$86E54E2F-1E95-480D-B050-CBB8BE76673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69091f2c5867d0470a7471f69b3ce8ec50a76f8","datavalue":{"value":{"amount":"+0.8634167","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":"Q2655330$954B062C-3253-4DF0-B9C3-3253629B8D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d188b1150b762f3fef3bd2e99032e5abd352fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4945207,"id":"Q4945207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056e485e9f9382ac70d7f61d10b74a950bdad7f4","datavalue":{"value":{"amount":"+0.86001444","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":"Q2655330$6B34195D-0214-4305-9C30-5AEE27A1317C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dd89f9496f0359f23a325b9e86265732996217","datavalue":{"value":{"entity-type":"item","numeric-id":6060674,"id":"Q6060674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2f02acf04423d3db81043e775d43ddab1970cb","datavalue":{"value":{"amount":"+0.85882336","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":"Q2655330$C6BA7494-E009-4E76-92E9-3708EB5BDE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a575ec10dbefb4fe9ab39ac9ece0446cbd9396e","datavalue":{"value":{"amount":"+0.85787666","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":"Q2655330$F4E9A4D6-2285-4246-AF82-79A1C09EB466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9784fc600fb67b4b96830236fce75733ee5e9714","datavalue":{"value":{"entity-type":"item","numeric-id":5170824,"id":"Q5170824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8552370c1f4dd4763185fbf9b39444e0e3fdb8a4","datavalue":{"value":{"amount":"+0.85749143","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":"Q2655330$CC7ADBA8-D860-4E9E-A41A-057D42401048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436efa16860e30cfbf6f6fdc85b94d798bbd8905","datavalue":{"value":{"amount":"+0.85579056","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":"Q2655330$93603157-E70F-4CEA-BFA2-7D851769FF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72240ce9a65718cc5a6ce8d74203bcd052c3984","datavalue":{"value":{"entity-type":"item","numeric-id":5875449,"id":"Q5875449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a74108133f8bc91fbc381a789d4ed5b7cca32de","datavalue":{"value":{"amount":"+0.85574526","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":"Q2655330$B6B5A186-BD73-4757-9BE1-6687682D6AFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Declarative representation of proof terms","badges":[]}}}}}