{"entities":{"Q4612434":{"pageid":6642017,"ns":120,"title":"Item:Q4612434","lastrevid":82309322,"modified":"2026-05-06T20:35:49Z","type":"item","id":"Q4612434","labels":{"en":{"language":"en","value":"Stit logic of justification announcements: a completeness result"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009548"}},"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":"Q4612434$C5523413-9B27-42D3-A1B2-A8C988F9DFEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1b94a3d5fe6c482984e84a01e860813d4ac9f84","datavalue":{"value":{"text":"Stit logic of justification announcements: a completeness result","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612434$30235960-6774-4697-8E2E-A9F22EB5EE84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2442a7b02b6eabc7d46a3ed067743f4ad9e6f223","datavalue":{"value":"1444.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612434$AF9AB756-EBC1-4D79-984C-DB9C91F1024C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612434$44F5036D-3A19-45A5-9390-C4E3B2432239","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612434$32F5902E-F817-47D2-B8BE-C66C6E24D6F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e65fe0bf2cdcf656d7d1326004f8eb76b3778af","datavalue":{"value":"https://arxiv.org/abs/1707.03292","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612434$1F2CAFB3-509A-4576-948C-06B5DDC8E590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612434$1DA9E6C2-01EC-466A-936C-2F7C11CBA458","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7efb77c9d221ac8021886a50e3cb1622da2cfdc","datavalue":{"value":"7009548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612434$73E6934E-F91C-4791-A1E1-2759A665B73A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a340c063f88cb9253c2c743869f992e46c31472f","datavalue":{"value":"stit logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612434$FA5A3FA3-23DA-4AB9-B820-A523F4095D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612434$FF3F7E46-9219-4CD7-A3EB-8D7148056835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612434$472FC50D-85AC-47BD-82D1-AA9EBB90D8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612434$328410FC-B62B-409F-A376-E0B3F44201E6","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":"Q4612434$9A113C47-EC4F-4B95-BA81-F3E22EC2D7B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4cd3004022ff5412963d37c5c62170c5ee218ed","datavalue":{"value":"W2962949396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612434$B1DE1185-CD70-47E5-96E9-7D94FD212245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c999216dafa2b1213f2e9c3e7cb41d32ffa46243","datavalue":{"value":"10.1093/LOGCOM/EXY014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612434$0AA03C95-9A65-4E77-8949-D014CE5E6EE2","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":"Q4612434$71D9093C-722E-4A14-9D4B-6A5CA9409A09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b74afbcc57dc48120c0237a55927d489ee1698","datavalue":{"value":{"entity-type":"item","numeric-id":5197392,"id":"Q5197392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99851cb32bfd35dce5f1dabe986e8b2bc333265e","datavalue":{"value":{"amount":"+0.8616350293159485","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":"Q4612434$A3744CAD-13F6-4C3E-8546-C788FB1CD0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea375602290966fbab35d17f8a3bff1a2398bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5095638,"id":"Q5095638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cded8a2a2cefca84735d90d7aabc08265d7b4dc","datavalue":{"value":{"amount":"+0.8483304977416992","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":"Q4612434$CA3FA0D8-DBBA-43E3-8F2B-D73C42FD8F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5239dcec8b19e99b6c93fd541ce9def78aa6e308","datavalue":{"value":{"entity-type":"item","numeric-id":4639919,"id":"Q4639919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9adacef5d7684aa13ccb34bd5b24c6b4b80094","datavalue":{"value":{"amount":"+0.8288319706916809","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":"Q4612434$06814A11-80AF-401A-91D2-2BE5433EFA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912cdedb55428e8d514905598baaa1f1f47a66a4","datavalue":{"value":{"entity-type":"item","numeric-id":5241923,"id":"Q5241923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4589e464adcff838e525f973fcdcd2b4b1aae035","datavalue":{"value":{"amount":"+0.7750268578529358","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":"Q4612434$4E45AACB-7606-41B7-8208-B078A28ED452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237ecccf372cf0abf854edb9cb1327cdf63c514c","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3843b48558c8a2bc4128d0b737ea57f5c00cbe3","datavalue":{"value":{"amount":"+0.7544647455215454","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":"Q4612434$B793B5B0-4EE0-4629-A6AF-722C9EC64271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stit logic of justification announcements: a completeness result","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stit_logic_of_justification_announcements:_a_completeness_result"}}}}}