{"entities":{"Q5739974":{"pageid":7769526,"ns":120,"title":"Item:Q5739974","lastrevid":52572311,"modified":"2026-01-23T00:18:30Z","type":"item","id":"Q5739974","labels":{"en":{"language":"en","value":"An extended framework for specifying and reasoning about proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601620"}},"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":"Q5739974$8DA87AE9-4999-48C4-8305-53F6F6CEDA5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13375c326ab9010b24bcb14e51fd6eec6f977a35","datavalue":{"value":{"text":"An extended framework for specifying and reasoning about proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739974$7162243F-CEA6-435E-B85E-1330CB9CB92E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8996fe29cafa160c346176619149cbf70259b46a","datavalue":{"value":"1403.03125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$6F1AD897-D6DB-4E06-BB97-CDFF7484988D","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":"Q5739974$887F3692-FA32-44C3-B68C-E13EF03725BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739974$1580D86E-E51E-4F33-B574-B5CADAB71477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739974$DC1592B1-EB1A-4B61-978A-219C16CF70FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739974$2D6187D5-A3E4-4316-95E0-6EF1761F383A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48e923c7abce56417936a122d963eb0fa547fee5","datavalue":{"value":"https://semanticscholar.org/paper/21b2fb12d9bdb4f6697928a3a519b04ddd5ba84c","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739974$B4CBE3C5-EB50-46C5-AB52-1B246149A44F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$D76D55D3-A099-4756-97CD-C01014722869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$CB2A8949-DB04-4ED6-AA47-315A95230764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$C2C2B6AC-5E34-4539-BA2F-C32F159EBEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$6782D2E8-7DD4-4C2B-953E-53981B21866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$E1C693B5-3FE2-473B-84D3-42FA5FC70EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecc550fd4c46fd748bbb71b8e70f8dea68795baa","datavalue":{"value":"6601620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$EABD7476-BD34-46C4-AA5C-FB42951C58EC","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":"Q5739974$6E8574BF-6819-4A5E-B9AC-F00EE78816FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eca51a16fc8ce6558a5c15a68c423c722024bb6","datavalue":{"value":"W2324363623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$2032703D-D29B-482B-9CC3-452392E9AB46","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1eb9e18478d4b1c20ba386e3a4c91f79e2755dd6","datavalue":{"value":"Q57850703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$99FDD074-CAC5-4987-8865-8A2F5575389A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"290fa25c7c887044ee9e9c0595b2d594badbec8c","datavalue":{"value":"10.1093/LOGCOM/EXU029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739974$51C615C6-8245-4DA4-A400-B12FF202560A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739974$7F510884-3074-4EC6-9B25-FE5348D444E1","rank":"normal"}],"P1643":[{"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":"7b9425f5f310a310ff635165a82e0231ecc9e7bc","datavalue":{"value":{"amount":"+0.8784821629524231","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":"Q5739974$CDEB249F-E20A-49AF-8360-11B5FF56A696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"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":"Q5739974$192B5FBF-1C03-4FA4-AC73-E21E2924D262","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":"fbf98eff295299be3de2f12d86aebab1a32649e8","datavalue":{"value":{"amount":"+0.8362224698066711","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":"Q5739974$B54B2B2F-3485-44F2-92AB-4E53D16E4626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4a16339bcec8f4d767462b4b94c0f5776b19a6","datavalue":{"value":{"amount":"+0.8221276998519897","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":"Q5739974$15AB315C-E6C5-4EF6-8BE0-47CF334BEDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e133b7bc3e0aea1578ccbd03228edd9ea4c270","datavalue":{"value":{"entity-type":"item","numeric-id":2229156,"id":"Q2229156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65116a9a16943481d2e48d2c505007af190e029","datavalue":{"value":{"amount":"+0.8141716718673706","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":"Q5739974$E2A5CD15-20F0-41B6-A3E5-3362B7898F3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739974"}}}}}