{"entities":{"Q2148773":{"pageid":2159516,"ns":120,"title":"Item:Q2148773","lastrevid":55411741,"modified":"2026-02-17T15:49:53Z","type":"item","id":"Q2148773","labels":{"en":{"language":"en","value":"Formalized soundness and completeness of epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547730"}},"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":"Q2148773$0F86BD3A-5D02-4954-B92E-46F5A730137C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3d9fd517dcc04f37e0bc640a2d92bb7fb31ab41","datavalue":{"value":{"text":"Formalized soundness and completeness of epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148773$C23D88C3-7873-4A6B-A288-883BC8A583DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9156243a735895ae3d651b9d74669ecc9252a69a","datavalue":{"value":"10.1007/978-3-030-88853-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148773$815349F9-7FDE-4BFD-8FC9-A9CE525288E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b28ef1f69804175267e0c47b9aca79300dfa007","datavalue":{"value":{"entity-type":"item","numeric-id":2096469,"id":"Q2096469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$99384F49-BAE3-4F87-A0DA-3B024927F57E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148773$CFF58446-F355-4169-8650-CDB7C0C86914","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"823537e8c2856a6a7995084e817c107433f378be","datavalue":{"value":"https://orbit.dtu.dk/en/publications/4564df77-d713-4363-a7cd-a9e1eefbe7b4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148773$2FE25DD9-BCC6-4FC4-9699-E29434A356EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148773$EB2AA7C6-DA6D-458B-B576-13D3741E2B32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eff55d1fe5e9737a5552cc30ee738327f0c4a7c9","datavalue":{"value":"7547730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148773$866EB09E-DB96-4968-AEE0-B0C9489BD097","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148773$B169806A-F2B7-4E6D-9EBD-1AD364F40F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148773$D78273A8-DCB0-46ED-A03E-95142339B77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148773$546A6163-2CC4-4A86-A981-807350A3DAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148773$CA16F4BB-648B-4E35-BBA5-639839E5B7A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"baf948fde49c7f5674900359ba32cf44bb1db692","datavalue":{"value":{"entity-type":"item","numeric-id":5973201,"id":"Q5973201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$1428544D-91F5-4F34-B7A2-817F47651821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$D45F88AC-48DB-4367-8D32-4FA5BC0A054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$47549252-4AE7-4FEA-9EA8-8A9F0F682E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"258db6abc88398dde5e9fdf64ccd7d61ea712a16","datavalue":{"value":{"entity-type":"item","numeric-id":40325,"id":"Q40325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$CCAF1B3D-056F-46D7-AD5D-80392C429C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$38762086-BCD1-442E-A27E-A180D6D569C7","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":"Q2148773$9FF33D7F-0DA4-4110-B695-0517F5309DB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5e7c6d9ac3b7643d3d47473708480dd3b974784","datavalue":{"value":"W3204835784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148773$2798E750-9129-4BCA-A831-CF3BCCDA8FB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$9367AE54-3889-4D31-9E31-F3C591064469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$3C3A8351-D8A9-41D3-9E35-229DE15D74A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$715A9E77-9672-4744-AE79-745CBD80B629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$02591CDE-F557-4908-880D-7CEA38ADE62B","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":"Q2148773$B44A08DE-B916-4A4A-8762-8346B24EBDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2819f9ef32f2f8f8e93304fd40b3320c98c9c44","datavalue":{"value":{"entity-type":"item","numeric-id":2096470,"id":"Q2096470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$31F40F04-C6E4-4056-8BEC-2C42E1194FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade297681f99165268de8e931d390854dd4d3634","datavalue":{"value":{"entity-type":"item","numeric-id":2148773,"id":"Q2148773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$3F7EF96B-95F3-4B7D-82C4-22D9B6B6AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$9C5B7A5B-77BE-44E9-97D7-7B8A648716A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$C5B00671-1E6C-4EDE-A723-92372ECF2527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33016e4094fda3cd5b32720a3e7b9851a82572b6","datavalue":{"value":{"entity-type":"item","numeric-id":5875443,"id":"Q5875443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148773$0FB9D958-26C9-4086-99B3-49B50F8E8CD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3400c4c98e399e0af5be89ac18a6b5b0f0585d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1978015,"id":"Q1978015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f001d61c28e757d05084091ac3b39ebe46a53793","datavalue":{"value":{"amount":"+0.7693556547164917","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":"Q2148773$E05DF6C4-311B-4ADF-B8A8-A211CE3EF9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350bbbcc96b3ac8c2c61b1f1bec9ed4cc54fd1e2","datavalue":{"value":{"entity-type":"item","numeric-id":2151399,"id":"Q2151399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9311312de710c24babc844a8d4fe9db8c19532a","datavalue":{"value":{"amount":"+0.7550817131996155","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":"Q2148773$02625F06-56CC-4520-B54B-D6835C8D59FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23071d44cf42c6a671af29cc74f4ddae3eb8209","datavalue":{"value":{"entity-type":"item","numeric-id":5872869,"id":"Q5872869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1833fe3c38d80b48890347d53754054dceef74","datavalue":{"value":{"amount":"+0.7521701455116272","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":"Q2148773$ECBF965E-7C1C-473F-A112-5447991BCCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509b37a25e143e966436e3ffc32f3d5c42341606","datavalue":{"value":{"entity-type":"item","numeric-id":4982512,"id":"Q4982512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da30e5a6677e7b2a2293a29c98cfe54c4debfc39","datavalue":{"value":{"amount":"+0.744671642780304","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":"Q2148773$0EE3FA05-B21D-47D8-94A2-3DD8E58284D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d01b5a835df6da91bce188498c39bc180f85f9e","datavalue":{"value":{"entity-type":"item","numeric-id":4612434,"id":"Q4612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809fe90d12359c48033f29cb3ba6ba27e2fbc695","datavalue":{"value":{"amount":"+0.7414910197257996","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":"Q2148773$04343B05-FACD-415C-B5D2-88B99D441E5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2148773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2148773"}}}}}