{"entities":{"Q1377482":{"pageid":1388222,"ns":120,"title":"Item:Q1377482","lastrevid":47002758,"modified":"2025-12-26T00:57:39Z","type":"item","id":"Q1377482","labels":{"en":{"language":"en","value":"Belief closure: A semantics of common knowledge for modal propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109477"}},"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":"Q1377482$AEEEC4A2-F365-4768-BF24-6798C24F5D64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68ca069600c411ac586c5f3df0d738ff2e1896aa","datavalue":{"value":{"text":"Belief closure: A semantics of common knowledge for modal propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377482$8EC12107-AA57-4EAF-8E9B-5803409C5437","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca8e2703ad4267aaa20379a60e1387f130edb5f9","datavalue":{"value":"0886.90063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377482$B63DE663-1504-4DC0-94E8-7A2108D121B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55e16bece181be13ac7e26d2a88c1b790f71bd9c","datavalue":{"value":"10.1016/0165-4896(95)00785-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377482$A9707D48-183E-4751-B854-84B826A87C0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f0cbed73a18739a35a3938d9f70fb5af2f867a","datavalue":{"value":{"entity-type":"item","numeric-id":1330012,"id":"Q1330012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$DCB504C4-CAD4-4AD7-87AF-9FB20541031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d6b74a5208925046eb9fbd5c64b6e16a0c9d4d","datavalue":{"value":{"entity-type":"item","numeric-id":192121,"id":"Q192121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$C9C25ED0-1D87-4D62-B85F-9BB42756377A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f166790ec34f4b6b0fbf53f80bd31461e449db4","datavalue":{"value":{"entity-type":"item","numeric-id":177530,"id":"Q177530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$ABC2B45F-93B1-4A33-9CFE-639F5F2E371D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4792ae2ab319fd603aad0c994faff1f40f5e4ae","datavalue":{"value":{"time":"+1998-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377482$4BA057A7-F90A-4701-B146-65E215C5BF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"76d8123c1cac41ffa7082ce44a855d6a86fcb6dc","datavalue":{"value":"91B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377482$9F75C8FA-0889-42F7-99FB-E79652C7A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377482$86D559A6-B105-46F5-9371-1677AEEECDA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ae93be1b92c4092236dd80ccf21265a9c8f32e","datavalue":{"value":"1109477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377482$8B481DD5-D960-4DAF-9804-44AAE09D091C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3693e1f9d405516dad183066590e3f9b552cd338","datavalue":{"value":"common belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377482$6B44D2B3-BD0F-4B24-9048-FED038E08493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852f9e590723c4501b4ca8ca9ca9a1ef1e15cb96","datavalue":{"value":"epistemic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377482$34F6E641-F01B-4E48-B871-E96540BCB6A0","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":"Q1377482$9FC086B5-8965-4483-9F5C-E27888A4C348","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d571d9b913ccc9b8f1f831427221ff0a2ad97d7","datavalue":{"value":{"entity-type":"item","numeric-id":1247127,"id":"Q1247127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$98B62986-1C81-41FB-A218-675A62A35812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1502804f006e9499eab4617360e671dc96368574","datavalue":{"value":{"entity-type":"item","numeric-id":1079452,"id":"Q1079452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$1CE791CA-ABF3-4B62-AC04-89F956B54744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$01D233EA-9594-4BE7-98FB-0FB572213043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$3C0CE26C-9F0F-4D23-90DD-367CD55E5EB9","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":"Q1377482$2E3CC4C1-E4E2-4475-8449-CF003EA19EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b66ae54d7870cdabd68b0b6c2b837a2529d743","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$083D1030-9187-4304-AFE1-DC00C88D0406","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":"Q1377482$92733CFF-13CD-4755-8DAB-2A96E8D077C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$DA5CC1C6-C6FE-455A-AA43-D0790197D7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$E51D5488-E80E-430D-BCA4-C3DD929236AB","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":"Q1377482$C8F736A2-8DCC-4D50-BD2E-A581C926549B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$CD35B1D4-77FF-4CDA-A5CD-2AA764FE715C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37fa9cae039206d4ab849aad19246c2e212dd11","datavalue":{"value":{"entity-type":"item","numeric-id":4351923,"id":"Q4351923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$969E1968-54FC-4F27-9583-31C0AB7282FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b411918e890ce15fe1253f233bc356fdde1045","datavalue":{"value":{"entity-type":"item","numeric-id":1278568,"id":"Q1278568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$2320018C-8825-4165-8A22-32F6D93FDA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155e68b0c6caf91c563f8b0e1436e319dbc729a7","datavalue":{"value":{"entity-type":"item","numeric-id":1181755,"id":"Q1181755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$06E4CBD8-CAF3-4B15-8262-9CE79EC3D777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6dd02115f65369df5026b9f3677a207ca76f38a","datavalue":{"value":{"entity-type":"item","numeric-id":4955426,"id":"Q4955426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$0AF4125B-24A6-47E6-B256-342468D32E5C","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":"Q1377482$1F1D4452-BE90-47C4-A098-D9D7A3E7BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02595a64a5eed9a6c7a9b02653a43db80863b97","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$BECC525B-7F38-4D68-87D4-9481A25938C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5e1ecad6e3503f28405a22e26b3170fce76c43","datavalue":{"value":{"entity-type":"item","numeric-id":4295879,"id":"Q4295879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$7D54CB53-A138-4362-A0C3-34E00078AD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c576b2a68df66dff58a7e6645a97267b7a75752d","datavalue":{"value":{"entity-type":"item","numeric-id":1330013,"id":"Q1330013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$4003430C-8A81-4C3D-989E-EED51ACBEA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7d0c2640fa79efda8e530ea2ef6bcc37d7365a","datavalue":{"value":{"entity-type":"item","numeric-id":1342230,"id":"Q1342230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$423576BD-8BB2-43F7-8A6D-306664A800DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341f9b351965a3e26d02ae2f2e2d38fa74c947d","datavalue":{"value":{"entity-type":"item","numeric-id":1060139,"id":"Q1060139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$F114772F-EB7E-488B-A82F-3EC8DEF1B8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150bd303c0bc12dbddf0384691a9f7da8560deb3","datavalue":{"value":{"entity-type":"item","numeric-id":3901265,"id":"Q3901265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$0DC22F82-881F-4D52-AC36-B790EECD00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ec34fb19343e1427fc4bad46d8af5510cee2f6","datavalue":{"value":{"entity-type":"item","numeric-id":1330014,"id":"Q1330014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$3ADEF528-7570-4337-B260-135DC28083BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa42040c87bb1e2fb7d6ff2a00946c28eda2d847","datavalue":{"value":{"entity-type":"item","numeric-id":1191820,"id":"Q1191820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$A14DF5E8-5EE9-4083-A5C8-C3F923CD96DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fec2d4f6d25cf82d35c506af8d491cb286c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":2640429,"id":"Q2640429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$6D1D702D-7667-46B0-8862-E047CDA1F123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48984cc6382065ff46c03cdfa549e82f9d0ac2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3204443,"id":"Q3204443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377482$B280809C-F61B-4CF3-B35C-69C279FD5A10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e6967d6e8a8d7d7a6a45b40931a44588c893526","datavalue":{"value":"https://doi.org/10.1016/0165-4896(95)00785-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377482$391B7D94-BB1F-4F60-B89D-7F947EEF8CF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63a709726f1dae815d8c5277ca5339a067786d5","datavalue":{"value":"W2048218250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377482$B17122C5-BF87-45EC-93D7-F9743EB11234","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c959d486e7507d91d49ca44163be607ba821eb38","datavalue":{"value":{"entity-type":"item","numeric-id":4295879,"id":"Q4295879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2daf32c76d6000139981b9f3aa17ed4696a715a4","datavalue":{"value":{"amount":"+0.8715019226074219","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":"Q1377482$A8114E45-C372-4655-B0B2-264053074656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe2cf2230ffafd1ddbac2bd89a47fd3d8edc233","datavalue":{"value":{"entity-type":"item","numeric-id":1342230,"id":"Q1342230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32118379f3dd99a61de6bfe78faf982d3434c70","datavalue":{"value":{"amount":"+0.8107463717460632","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":"Q1377482$FB669A41-BD96-4064-A0ED-C53ACF13548E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b257a674eaf536128c1a643bdc619e81662b02","datavalue":{"value":{"entity-type":"item","numeric-id":1330013,"id":"Q1330013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4eeed0c1e4f785927c2082d7708dfb1041c2850","datavalue":{"value":{"amount":"+0.8005688190460205","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":"Q1377482$3447A65D-D48B-4A4C-8731-DEC6A0049609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea7411898b6ab9f0657d4c1607d3d4da16390f5","datavalue":{"value":{"entity-type":"item","numeric-id":1407585,"id":"Q1407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40066ea1e6197003e7b57c7a062461b6e04aebd","datavalue":{"value":{"amount":"+0.794213593006134","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":"Q1377482$A4065D85-FABA-458F-A994-30E5EABB7327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1377482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1377482"}}}}}