{"entities":{"Q707742":{"pageid":709591,"ns":120,"title":"Item:Q707742","lastrevid":63782868,"modified":"2026-04-11T15:30:55Z","type":"item","id":"Q707742","labels":{"en":{"language":"en","value":"A framework for proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5797497"}},"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":"Q707742$948998E2-CB66-4E82-A544-33F2F5FBCBC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc412d9945ac22e0143975ba03e5dbf9533232a4","datavalue":{"value":{"text":"A framework for proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q707742$945DAAC2-9C21-40D8-A571-8277BE948FC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5362fab29dbaedc47926e5a1bdf1e0a663af61d","datavalue":{"value":"1242.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707742$62844710-93E0-414C-B317-10402A731367","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$846E8E16-A849-42C7-AC5E-EBB505C0404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$BD9F31F3-A851-4140-B64C-FF9AF82C3D45","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":"Q707742$F6D723C5-A7D0-49B1-94CE-9B0FF4235DB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12116120e612da11bd56798b90a3c232b35a10bb","datavalue":{"value":{"time":"+2010-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q707742$62610228-E3FD-4F60-9C09-40761AE49F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707742$C49E83DA-F8E0-4F75-A04E-95B78D981732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707742$C111580D-21F8-4255-8D8E-1CF8028AD50A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6119dff0c7125db76f814e948b6843d2e74440a5","datavalue":{"value":"5797497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707742$462100AE-BF5C-4135-90F2-25ECAF0DAB35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q707742$C60A6E79-EDAC-4C18-9D02-7699FDED1647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q707742$6C7D1975-8064-4CB1-9560-6AD7C5545F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3fbb0db55b0036d8208897823efa0b32d5a44a","datavalue":{"value":"meta-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q707742$61730581-7DE4-4222-9AA3-9A307D91678B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q707742$AB7407F2-DDE6-4076-B126-3D1881E497F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$5F8B313A-5F1F-49B5-B48A-CFD1897D073C","rank":"normal"},{"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":"Q707742$3F1673EE-202C-4B60-8D6F-640A8190DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$CA4EF1EA-205E-4E8F-A11F-45EAA7C42D4B","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":"Q707742$B77A5FD9-9025-43FC-B086-AE45B22388B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a08281ccc5674831c5b7804114d64670019e6a3","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9182-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q707742$356D9AD4-2070-4CDD-B05D-3D1BF2F1654C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a711c34a1545c445e28fe2a4a5ec5fda52ada3f2","datavalue":{"value":"W2020595717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707742$8F7C366C-62BC-4A60-ABC2-903DB990704F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$64231A48-3ED8-483F-8261-B47D50163FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$F3B46AE8-FBB0-4D4D-A817-E35C0CD85CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$559BD5B9-7650-4DCD-9CF2-611832819AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c9d090643b66ab61947250d83f48f8f8ed8ea","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$479DD72E-A8CD-4E97-B10C-4428052F72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$B49A5F4F-B219-4901-94C1-C50DA75F23EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$C832EDAC-C03A-470B-AA68-E8AD601A03A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$3FC7F525-95BA-4837-B75B-88A592EE02C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$81617EB9-E999-4637-A4A3-6409252D063A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$B14B40BF-4375-4468-84CD-7E2E3B0DE4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db55fbec7f6c9bd80c157746fbb26b91e023c059","datavalue":{"value":{"entity-type":"item","numeric-id":3548539,"id":"Q3548539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$3AF6E833-0302-480F-97C2-2C0BF346D116","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":"Q707742$699D9A2C-63BA-4C30-9051-8A0A8BF21553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$FF2AAB0B-8A9C-42BD-A9EB-F3133D2C6D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$9ADD1236-5797-4CD2-B740-BA8136C3E078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011777a06cb173c0d2e70ecee4d45847114bed31","datavalue":{"value":{"entity-type":"item","numeric-id":636359,"id":"Q636359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$546C5B58-5488-415C-9A17-8002C6B9267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$174048CB-68DA-4AB7-BCC8-E2EBABCE5FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$5C1B7556-E910-4652-8DD3-92254D69566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$D02D0B57-3BA9-424B-A376-0A2DA0DE427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$46E4CADC-4B53-4D8B-87D6-38E2E672C01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5053859a8538504e0eb3025ab332314be80808","datavalue":{"value":{"entity-type":"item","numeric-id":3608431,"id":"Q3608431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$91503094-BA2F-4B5D-A7EF-ACE4BB029E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b2c7d86bd03f8412e1acf9a71f1d8637d2a96","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$4AAAF576-884F-4E0D-8F9A-8C2FCEA38830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09313c0d518f592ead2bcf4892f5fb6dce7cbd28","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$E3473748-F75F-4909-9451-5F203ABFAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$138A03C3-0F82-4E2D-BAE4-D40E7ACEE8FE","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":"Q707742$9EC25309-785C-4170-BE3C-B868CF51F26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b14c9de09c716ce973c858275c4f624e7356c38","datavalue":{"value":{"entity-type":"item","numeric-id":3541726,"id":"Q3541726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$3D09EE0F-D08B-4956-B7A7-03473E49F9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$BAB1DEEB-A90A-4D5D-BA08-859271262F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$6535BF66-39B9-4A79-A0DF-F1A981126A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$EAF3291D-E1CC-48EE-B70F-24A6047AB8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e152594bbd7d3668c9ba9c42e7b6b36f416f5bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$BA73CD53-A529-4B38-B6F4-CA6724617C1F","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":"Q707742$36A79B90-193F-4036-A37F-3626B460914F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$7E6BB917-EA49-4782-B4A1-549DF27CE3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$F934CDE6-05BF-405C-8DF9-F325BD1D9611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$5FE326C4-0382-4F39-91AF-418D85C92728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e66564df4ebecebd5f3393730b20c73da5434","datavalue":{"value":{"entity-type":"item","numeric-id":5570912,"id":"Q5570912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$D83FBC42-F5BB-4D9C-B85D-49300534A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707742$3BF5DC5C-2DA5-449F-8B48-DB50C8847CF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05458ce13847af1f6f5629d633f265624a6ea5f9","datavalue":{"value":"10.1007/S10817-010-9182-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707742$6B1661AB-CDBC-45DE-BCFE-FB89E4C88543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1527ab7cc94d8e977e2b17f47be07d8340af437","datavalue":{"value":{"entity-type":"item","numeric-id":3541726,"id":"Q3541726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e354d7665a7b20acf3b800a410ae1b8a80e2fc","datavalue":{"value":{"amount":"+0.8772377967834473","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":"Q707742$221CBA5A-29EA-4F98-AE8A-A8E6B8599662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36f2d049bb53351bcbe68439abbd2cfa2395ec2","datavalue":{"value":{"amount":"+0.8643320202827454","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":"Q707742$4A637566-8572-4E9A-9E12-CAD25724C6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef7b0acd40fe8d912000a27e7965655bc5865c0","datavalue":{"value":{"amount":"+0.8568863868713379","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":"Q707742$64644F64-CF48-4647-B101-7D9A3F999458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745cda1a36f2c921bf8aba65c31cb2b220be2da5","datavalue":{"value":{"amount":"+0.8445103168487549","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":"Q707742$7F6E4227-A2F2-4103-B5B6-E4D31475AF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7ebe750efa17eec7129d8dc648916fa37660af","datavalue":{"value":{"entity-type":"item","numeric-id":5179015,"id":"Q5179015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877658e0ed0532f7d1d862f7375a0591e6ee37de","datavalue":{"value":{"amount":"+0.8253892064094543","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":"Q707742$558DD1A8-3C81-41AF-874D-D24EEB9603D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for proof systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_proof_systems"}}}}}