{"entities":{"Q4632296":{"pageid":6661877,"ns":120,"title":"Item:Q4632296","lastrevid":53409119,"modified":"2026-01-24T22:14:56Z","type":"item","id":"Q4632296","labels":{"en":{"language":"en","value":"A resolution-based proof method for temporal logics of knowledge and belief"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048469"}},"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":"Q4632296$AC7809F9-D985-4714-AC93-BEE823BB389D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980c10e4258e781331ec9ac658b4a68376b0e723","datavalue":{"value":{"text":"A resolution-based proof method for temporal logics of knowledge and belief","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632296$B7CFC75F-899A-44C1-BCC5-940A31C6579B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdc13e369dd1b0a99b7969d3606f02ec0db91744","datavalue":{"value":"1422.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$26BD209E-EED2-4C98-9ACC-7C21E55710B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559e95136d18c4fb7a1761a11e3ba4c615aace60","datavalue":{"value":"10.1007/3-540-61313-7_72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$4DB5FE80-A79F-4DDE-B24C-BD964AF17118","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$FB787A6A-693D-4F69-B3E8-CB26081ED622","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-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":"Q4632296$E69A95BF-089F-42CD-9D8A-9CD0A093D06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$5845A1E6-1782-49EA-9D9C-0A97021D6C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$97E00716-2F3F-40B6-9BE1-0F6767C1C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$1542B1EC-6E3D-4435-9EC4-E44B5338D0ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d71cd1c04a8f7469cc17af6df4a48bb2ed4a95d1","datavalue":{"value":"7048469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$B68D5614-29BE-4CDC-8F1E-80DD7DEB650F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632296$4CFD82B1-A00E-4088-82B4-E63DF6A4CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632296$8B30D81D-A0BC-4D78-AC8C-645F5F3CEF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632296$631B789F-7366-4CC4-8E49-58E9C7C52A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632296$444C5C63-5FE9-4178-8DBE-81B19861CB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0f7ccfbc5945b2ce0be9c761848993fa261a73","datavalue":{"value":"reachable state","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632296$BA229F3A-1A8C-4850-972D-FABC269BF891","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$9A84097D-743F-48F2-A7DF-96C2747F5816","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":"Q4632296$FCAB8139-081C-4EE7-ADFC-A29BAC53FDDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cb8d694ce3bb545e2f7d41ad56900593be6b884","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_72","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632296$C3DC85B4-734E-44A9-8ECC-7E7C98641972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c01146994f255f8611a30add62ad72bb94786e3f","datavalue":{"value":"W1536696821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632296$E25D6F59-1786-4D86-B596-FA4086BB2D6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$2C6E2FCF-ACA8-43F8-84C3-9E3B56F89371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$881897E3-A9AA-485E-999F-2341BA0A282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca279731238bf829ee00727bd3f18ec952e9a3bc","datavalue":{"value":{"entity-type":"item","numeric-id":4518437,"id":"Q4518437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$BBB37BD1-C9E4-403B-AAB6-E1429ADD2E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$D760BD7B-AB4D-4C17-93C9-DABAA1DBB9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$B15B8070-0F2C-4B53-888B-45B112D810A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ff97c48cb2e0abcfaa5a609e52f4533db7b02","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$5CDC04A4-BE30-4C8E-A5F7-57FCAE13876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$77CE4F5B-F0F0-4FA5-974B-28449E11D2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1c6acb31205ce7e236213c9d48443cc38913af","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$A88F1D4F-6BFF-43EE-9E43-247C790260E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$8D048388-364E-42D6-A6C8-5C889E966A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$9DD11A0F-CEEA-48FE-B5C6-6161709CF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e6abd9e79d53efb9ec4ac8b70af69a7aec8fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1104923,"id":"Q1104923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$8EA2432F-FBCC-4E1C-838E-780238E76208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$EC8E3F7C-D4E1-40CD-8F63-8EACB5BBA26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201c6075d929769e777f685d478df1c3f71653d0","datavalue":{"value":{"entity-type":"item","numeric-id":4518431,"id":"Q4518431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632296$9F79AD84-8407-470F-B914-3040AE3635A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55400300a4200ea2ef755c71c47748c8f4843f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecaa1ddabc3bb497abd69546506b91a5461120d8","datavalue":{"value":{"amount":"+0.8906216621398926","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":"Q4632296$E8E3EE31-51E2-4866-AC5D-E4FAD461832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdfca836d20892a75c78c1567d00fd92ce5460b","datavalue":{"value":{"entity-type":"item","numeric-id":4209289,"id":"Q4209289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9c4977fbc3be436dadeadbc1c2a2e9a0a9f619","datavalue":{"value":{"amount":"+0.8862462639808655","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":"Q4632296$AE035D09-9B07-4015-B4B4-B4F4A0398260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9268dd06845e00075de3e80191ac096a16c77d1","datavalue":{"value":{"entity-type":"item","numeric-id":1606116,"id":"Q1606116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e800f10e7eb9c5b60b1e29077d0c7ea4530dd20a","datavalue":{"value":{"amount":"+0.8728752732276917","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":"Q4632296$3E199EA7-49D8-4975-97B4-D1E7ECD753ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795208d7ac9c0bfe20450d2df109d16ec6925077","datavalue":{"value":{"entity-type":"item","numeric-id":5483011,"id":"Q5483011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe0edf7ab01d2052ec662898562d8daba723cad","datavalue":{"value":{"amount":"+0.8193821907043457","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":"Q4632296$001B091F-117C-4BC4-A126-71289263A02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5e0b8d098d3904f1abf841ee4f7c4b9abf9c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4941896,"id":"Q4941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5559a102f4acf1eb39b89797f8ea54f9d23045","datavalue":{"value":{"amount":"+0.8085877299308777","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":"Q4632296$2B7E1376-14B5-41F1-A735-526E3FA78A01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632296"}}}}}