{"entities":{"Q2964467":{"pageid":2975192,"ns":120,"title":"Item:Q2964467","lastrevid":79828442,"modified":"2026-05-06T14:48:07Z","type":"item","id":"Q2964467","labels":{"en":{"language":"en","value":"Proofs and reconstructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688819"}},"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":"Q2964467$CA9CBD00-754B-438F-BCE8-98073B2CB8EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a75f4e65a050b90d3cda2e6ffda9038be3fe4d2","datavalue":{"value":{"text":"Proofs and Reconstructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964467$2F0D4596-2476-4985-A126-222236353388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee29cf88ff34b28317463d02696d1804506d711a","datavalue":{"value":"1471.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$091D6F28-8C26-44C8-BA97-E6BCC1F21DA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18e4c3ad437298377f0148951e993234a3c8a432","datavalue":{"value":"10.1007/978-3-319-24246-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$5B6AC344-FC74-427E-A184-00DE13B159DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b133b8e745fba01d0fa0576541e26ab5964439a","datavalue":{"value":{"entity-type":"item","numeric-id":287281,"id":"Q287281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$99BD1B81-F577-4BD4-A50A-9AB57BCA0D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$F49601B4-2B79-4858-877C-EEAE91EBCB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$104BD4A4-ABB0-4108-9A8F-54887D4C58B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$834856D6-C53A-4A3E-A628-3ACF33DA68F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-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":"Q2964467$90CEC5DB-2E81-4D1E-B637-2E35B79A463F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$E428E830-F9E3-402F-B58C-B59DBDB773C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$1B5CF993-1FA4-4A6D-80A7-34E9C9328FCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"510233855fc23663ae38da7334d5ff752e588022","datavalue":{"value":"6688819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$7E9D30DE-B51B-4505-980D-1D348BBEB27F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035bcb5d3f3fb3b26be5aeb45bc64147667742e9","datavalue":{"value":"proof reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964467$A1763FC7-0FE4-4A1F-A4E0-3595D8160EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964467$44D705DC-0ACB-4099-B258-86585A46F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964467$23281315-B638-427F-A3CD-3AD43F35114D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"36d49a8ca06af2bca89130cd683c12f1fd77547c","datavalue":{"value":"Q57382545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$C2C0CD29-05EC-4820-AC7D-057893E7954F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$3CC25180-84FC-40F6-8DFF-FB00A6E5B325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$FCE2A56D-A761-42DE-A1D6-14C5A5481FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$094D2A25-0C6E-4F35-B2CF-1BD1B42B063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$B235A223-277B-4115-ABF9-15D7D8BBB63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$FC20488A-0DC5-4768-A346-E66CD3F0F04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58035a6d5b9e51c740620804674c88b1baad9226","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$095FBE98-E791-4109-86D7-2160B965708C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$2A6689DA-3D11-4DB5-B2E9-471B313AA14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$2F715F8C-D009-4351-B015-3E0364215B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$EE10AE5C-9939-440E-BB4C-58C20A49FFAB","rank":"normal"},{"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":"Q2964467$53A043CB-5AED-4F30-839B-35735468C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$101E83E1-7CD3-45AD-884F-8E6C25743A63","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":"Q2964467$07183891-27CC-44D8-B09D-E24170EC2CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2db759461bbfe2d413be88db578bd20a50424acc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24246-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964467$FA7523AD-752C-4168-8752-381A79EDE9C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff8b121f6b460f49bf880fdb4b62b77ffda4cd6d","datavalue":{"value":"W2222056609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964467$B1FCE204-DDED-4258-BD6D-94C723712137","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb395247f033fef2d5dccf3b9e631ac3727ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":3623018,"id":"Q3623018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$F1B111B2-1D11-44BF-B11C-2F3E8C8D115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a1c70562d11d060e1b869bd175ba19e1e7c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3541725,"id":"Q3541725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$BB863B35-F93F-42EE-8DF5-A1AE3CCD9B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$D3F85931-91DF-46FD-93A7-5856E9FFB835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$9515FE62-B701-482E-B56F-F87ACDAFB3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72ec4eed4985602e7824e9b3bf75884c0f15d45","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$7B8E14E0-3D16-497C-84F4-41E59D13EE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94812d36ec09ea0d0621647bede0c34a09d4d46f","datavalue":{"value":{"entity-type":"item","numeric-id":4411849,"id":"Q4411849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$DF5E17D4-1C6A-46B1-9EB6-EA6FB186C329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7f80d85d9c6e670a1a0f0316c3f6be7e29cb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3086782,"id":"Q3086782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$21FDED4B-62EC-404C-8242-DD22166C1F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$7EADE78A-F868-473D-8573-E9285EAF774E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25368b7fa7ccbbb4d1737a3c36ac442f00182a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1948289,"id":"Q1948289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$AA137E3F-8947-4BE4-A5CB-8C2911457E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfa4fbdc97e0fc08891d84afa500828265b278b","datavalue":{"value":{"entity-type":"item","numeric-id":5361071,"id":"Q5361071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$49E51059-6FB7-490A-92DE-E49C98C60E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$D0C66A80-C142-4005-BC9C-1EB4259142BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964467$F65C5D25-8A66-4635-B47A-35C0AA3F5217","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e78ec1e57d28eb396bb763c08542878c4afd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3838818,"id":"Q3838818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5e71f774af83b0367838141afd09883aef05b6","datavalue":{"value":{"amount":"+0.7879618406295776","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":"Q2964467$ACCAB1D5-10C7-489C-9123-A37E8D056FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f94645fe7f1525963701159b1c6851e22f8eef0","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbe8ade1eb44a87cb8560788f72f4c3b6aa19cd","datavalue":{"value":{"amount":"+0.7875760197639465","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":"Q2964467$A30FF158-A8B7-4131-979C-A37F100042CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151afb132a63865fa7e6cee89d7b3bcf831840f8","datavalue":{"value":{"entity-type":"item","numeric-id":2726302,"id":"Q2726302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cdcc5cf78b8f6aa3d2844ea6ba85f2f7540361","datavalue":{"value":{"amount":"+0.7775104641914368","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":"Q2964467$7646E34C-58AC-46A4-AD29-5BAC8D16F82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614589bd493afffd55ce4be4cbb54743bcce6d19","datavalue":{"value":{"entity-type":"item","numeric-id":2721210,"id":"Q2721210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cdcc5cf78b8f6aa3d2844ea6ba85f2f7540361","datavalue":{"value":{"amount":"+0.7775104641914368","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":"Q2964467$531151E3-9A9C-470A-B801-AB26F44160D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544d3ba92bb4a6d43ae5a936bf62ec439806db3","datavalue":{"value":{"entity-type":"item","numeric-id":4928443,"id":"Q4928443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb33e0d37240a44841931d15af0e6a629d10723","datavalue":{"value":{"amount":"+0.7611353397369385","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":"Q2964467$3607D00F-8DF7-4693-93C1-B223E61B697C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs and reconstructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_and_reconstructions"}}}}}