{"entities":{"Q1104923":{"pageid":1115672,"ns":120,"title":"Item:Q1104923","lastrevid":49181899,"modified":"2026-01-06T17:35:39Z","type":"item","id":"Q1104923","labels":{"en":{"language":"en","value":"Knowledge, belief and time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057486"}},"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":"Q1104923$E2A2C2CF-F439-4FB7-8CDF-A2C78A175EC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e087366fc5556b71fc9aad1e8e8bd34e3c9fad71","datavalue":{"value":{"text":"Knowledge, belief and time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104923$DA320FBF-9BCF-421A-A925-C62E066DD4C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6123b5f7fda12977ecb6e4c341230c97fbfe52a","datavalue":{"value":"0648.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$A7231C6F-4795-4052-8E4B-033728FBB2AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d472d22e81e1e074af68e2bcdf31d8f30fdc735","datavalue":{"value":"10.1016/0304-3975(88)90024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$5C416114-C465-4C4C-A5F5-1C7C4EF990AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b56c443323added63d0c94d1e64ff4a29a32fb71","datavalue":{"value":{"entity-type":"item","numeric-id":194032,"id":"Q194032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104923$1E4FEE4E-219D-4166-98AC-359B84F7904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f85f98c6ff2425303621e54f305d7bd3065cd76","datavalue":{"value":{"entity-type":"item","numeric-id":1238414,"id":"Q1238414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104923$D2BB2E89-C5C8-4E13-915C-B3EFEDBFD3F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104923$BF7D4498-21EB-4D9B-AEDF-EEDF3415A59C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104923$1A0E506A-057C-4821-ADF0-55D4377BDEA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c40a2414c86abfe2b476c776c99bda89b8f8c49","datavalue":{"value":"A logical system with a language including \\(K_ ia\\) (i knows a), \\(B_ ia\\) (i believes a), \\({\\mathcal K}a\\) (common knowledge of a), \\({\\mathcal B}a\\) (common belief of a) is proposed. Possible world semantics with 2 binary relations for each person i, 17 axioms and 2 rules is given. For the logic thus syntactically determined a completeness result is proved. Different notions of belief are distinguished. The logic is extended to capture time by adding the modal operators next, always, until to the language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104923$28EC5BAE-CB69-4AF0-A8AF-07A320DABFD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$800E6D97-A4A3-41A1-B5B3-E9D88191633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$3F9B10B9-1F08-4194-B1F8-FB179A3B2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$4080F84B-4677-49D2-9F77-DB7439C584E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8080b451c1642216d4b5d0734a58509732fa7c7","datavalue":{"value":"4057486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$1156E026-2EC4-4BB7-9407-B982EDBA3C75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde1c80c25b9cedb9afc2d87958de13689ebf28a","datavalue":{"value":"syntax and semantics of knowledge and belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104923$C3ED8D8F-60C6-44B4-B430-CD8C0F4E8085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bcfb7b1703083789bbe853b21bd4d5b71c374e","datavalue":{"value":"time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104923$43EA185D-FB70-48B3-9030-0A30AB9FCAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104923$6842A1EA-2F87-4659-A210-32C161A45BC5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104923$7D42498A-B586-48BE-88FA-75B1580C4D64","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":"Q1104923$33A18CF3-C9C9-428F-BE7F-312947007C55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48dae37224aa8ceaa83ee61d5dc782b40ef1cae4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104923$2A81D3C8-A3C9-40EF-86FF-D39CAAFAF1A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d98b7ca070f81d21efc2bdc4ad51184ef90e1808","datavalue":{"value":"W2144501579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104923$DA5E94C7-5844-4D4F-A4EB-231709DA311C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"621cdcec343b8efd3c2373261ea2507bb6c2c9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3703315,"id":"Q3703315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104923$113CA427-B061-4322-9559-B76A2F43A79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104923$6BBF70EC-8F43-4AE4-B234-D6169E80D112","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f615059d5cfb2215d6ba3e343e2bc17e2c498a","datavalue":{"value":{"entity-type":"item","numeric-id":3769995,"id":"Q3769995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26748a78f23bbbab19a60c68f1f44a341050777f","datavalue":{"value":{"amount":"+0.8997094035148621","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":"Q1104923$6260C664-5DB4-4C2C-A458-0435C30E2A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cdedbd66f2748bd3257c5217169538cf6af587","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea6db93574da60c88af49a85e427dd730c0f296","datavalue":{"value":{"amount":"+0.8403313755989075","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":"Q1104923$57580A87-FFD0-4844-AE44-1B2B57996309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92c9a55175889d683b7251910df5fd4b78cee83","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5255757e0d3bf937faa1795baec08809e262679e","datavalue":{"value":{"amount":"+0.8289477825164795","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":"Q1104923$978B8911-8414-4726-9022-4E5A3E88569E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2c256a77f7063ade6bd8c5fe5d418e11b52feb","datavalue":{"value":{"entity-type":"item","numeric-id":4287501,"id":"Q4287501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c925640ff88684f6e3bb5125214c121122686664","datavalue":{"value":{"amount":"+0.8142789602279663","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":"Q1104923$343182FA-7990-4E96-9434-0C2D3808A369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82e5b920ada43ed26004819598c9a6217e1b67f","datavalue":{"value":{"amount":"+0.8122731447219849","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":"Q1104923$78D87C4A-80D0-46D2-809A-31C840DC011A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104923"}}}}}