{"entities":{"Q4627727":{"pageid":6657309,"ns":120,"title":"Item:Q4627727","lastrevid":58307688,"modified":"2026-04-04T16:03:00Z","type":"item","id":"Q4627727","labels":{"en":{"language":"en","value":"A cut-free proof system for a predicate extension of the logic of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034289"}},"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":"Q4627727$0E9323A6-92EA-473D-9074-C7C6B45A14FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"612dd987e95aff52c4b78bf60cc2b8c04a2bcf59","datavalue":{"value":{"text":"A cut-free proof system for a predicate extension of the logic of provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4627727$54A76BC3-DD1B-4FB5-92B2-5D3115F2BD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"746c43e0b7a83e577078b91fe621284fab3926d6","datavalue":{"value":"1432.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627727$6AA4D2C1-3DA2-425F-A03C-9B7605521384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb4d82e74ef7355d20a79dd56d729e53bb5ea6da","datavalue":{"value":"10.4467/20842589RM.18.006.8839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627727$4A975B1A-8060-48E0-A470-DE45F5612DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7abef8bc19a924a2adb86ab361a4464d7999c01","datavalue":{"value":{"entity-type":"item","numeric-id":195363,"id":"Q195363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4627727$A76078A6-684F-4240-BC7F-987D6444E62D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4627727$7D282D4F-F057-4632-AEAA-FD61A54A946A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f1e50024e8819cb0b85124b28367c18d16eca6","datavalue":{"value":{"time":"+2019-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4627727$2A95816C-C49E-439E-B8F8-56F8561102CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57a9b2c633086e6fb76da409dcb7dffa7119fa5f","datavalue":{"value":"https://arxiv.org/abs/1802.10261","type":"string"},"datatype":"url"},"type":"statement","id":"Q4627727$09F3F716-EC15-467C-9AEC-7CB0FD73752F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627727$189A4B4B-A8F3-4D9B-994B-AE09E282E903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627727$F07F585D-5A8C-4BC4-AF7C-54D106DA78E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49d38352d6345fdd1b7bc7bdbd68e823d218b8b5","datavalue":{"value":"7034289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4627727$9316F97B-7659-466D-A7C0-663B25AC24B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627727$39A4B847-7412-4D95-A07A-BD1D2122194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627727$DEF5F032-27D9-4A1B-A369-7151FE5D12DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a8597b01c646ee00baec373810f413e60c3f258","datavalue":{"value":"cut-free system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4627727$FA386E6F-DD27-4BDE-9A73-99703909C347","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":"Q4627727$173CD53F-80DD-4F90-8FB7-6145E8791C3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1184809f09bd3d472bc6fc4fbe3bc84e2f82241","datavalue":{"value":{"amount":"+0.8084896802902222","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":"Q4627727$8B3A5841-D9CD-4C58-A586-6F8F6B64EC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d431e4d200879ef8bd3557d3b9570ea45649631c","datavalue":{"value":{"amount":"+0.7956202626228333","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":"Q4627727$44BA78EE-BAC0-48B2-AE63-AA8E647FC4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002a1fdb67a12de57b1b6b159265b7b847b5c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4644600,"id":"Q4644600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8eb307f190e2fc9d1c006faddd5224da7d1c69","datavalue":{"value":{"amount":"+0.783589243888855","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":"Q4627727$BE712ED7-920D-411D-80AA-3F97693B774A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e939c630c8be035e2b20ab8843bf1c8891091","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5b3621afefe878ab978eb07808214f3680d822","datavalue":{"value":{"amount":"+0.7800390124320984","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":"Q4627727$D853F2D4-41F1-45BB-B0A7-B0995307F6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2135d6c1e13b6f60c01dfcfe4ddf0134bfe14a53","datavalue":{"value":{"amount":"+0.7760875225067139","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":"Q4627727$93DE705E-63FC-4E0C-8B03-B0A47B23DF92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4627727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4627727"}}}}}