{"entities":{"Q4898096":{"pageid":6927675,"ns":120,"title":"Item:Q4898096","lastrevid":51620699,"modified":"2026-01-19T02:53:55Z","type":"item","id":"Q4898096","labels":{"en":{"language":"en","value":"Realization theorem for epistemic logic with justification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6119608"}},"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":"Q4898096$1569A351-4050-420A-828D-3601F6E30059","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37858001402dad16ff84f43aa44b7013ee8280c1","datavalue":{"value":"1254.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898096$125AAB04-63D2-49B5-A7A5-08271020EB3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720929bc0e9c7898e5e15d3c8d2a09ecc071ce","datavalue":{"value":{"entity-type":"item","numeric-id":331047,"id":"Q331047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898096$9C20A617-AB61-4D95-9523-6CC0EEB5B6F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c3f22af03654aa556449bbcc5f2edf28493664b","datavalue":{"value":{"time":"+2012-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4898096$1F278916-ED5A-4EFE-B081-26E3F5952FB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898096$72C88CF1-0E81-4F11-8340-0FFF09759343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898096$D8C8E099-723D-4E5E-9E15-3545F86B2346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898096$B2A14671-296F-4C30-8D89-B8753D4004C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e68196c6b443a7e38b06f14f75f55edd9188c51d","datavalue":{"value":"6119608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898096$EF2070A6-295E-4707-ADB9-DED2058A95F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0d169feca321d641c7739ddedc4b6e9eb9a092","datavalue":{"value":"modal epistemic logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898096$5AC1A726-BB79-4427-B772-E396ABF0AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898096$06553478-35FB-4D71-BF0C-CF229D556C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99bc0c403d8b2faf62bc285d71de5b63ece67b75","datavalue":{"value":"S4LP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898096$90565578-B3E7-4FD2-AED9-74813398C3A4","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":"Q4898096$46BAAF5C-A91F-447A-A154-FF763CBB9892","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1f39a89efd954d8c9d70b43675f31dbb93449","datavalue":{"value":{"entity-type":"item","numeric-id":3165756,"id":"Q3165756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8bf51c4ba13d640be1ce4ed189a78fa3524805","datavalue":{"value":{"amount":"+0.9086276292800904","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":"Q4898096$D89582F0-628B-4E23-A00A-8331765694CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb4caab70cd2e3fef993672f7136f4078fabbd5","datavalue":{"value":{"entity-type":"item","numeric-id":5434508,"id":"Q5434508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7ddb2975bc2904f541f24ae12dd933f856c515","datavalue":{"value":{"amount":"+0.8820575475692749","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":"Q4898096$6CF97945-9929-4B5B-978A-8185D21DD185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860145fb1be25352512e40873127c83cad396619","datavalue":{"value":{"entity-type":"item","numeric-id":636276,"id":"Q636276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975c5ce1f9a216f26d90f2db3b41fff148cba823","datavalue":{"value":{"amount":"+0.8750042915344238","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":"Q4898096$C9D60FFF-6E26-4CED-A72A-F4B829948E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ff6608b7da2e212e876bf74689dbe24421c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2284501,"id":"Q2284501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a90601b3209ff70c903b6e08074df943db0e6e","datavalue":{"value":{"amount":"+0.8636519908905029","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":"Q4898096$7809218E-8D62-4A39-9369-A75DEE82D360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb004de8b83cc752b78790ed19360bd68e6f6240","datavalue":{"value":{"entity-type":"item","numeric-id":3503636,"id":"Q3503636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7681f72d31a6b38d2067995e2ce7f8bdd99f3240","datavalue":{"value":{"amount":"+0.8430594205856323","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":"Q4898096$C12D55F2-3E51-4D61-9BF7-7275640D690A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4898096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4898096"}}}}}