{"entities":{"Q5222683":{"pageid":7252253,"ns":120,"title":"Item:Q5222683","lastrevid":53472929,"modified":"2026-01-25T00:37:39Z","type":"item","id":"Q5222683","labels":{"en":{"language":"en","value":"Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7078497"}},"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":"Q5222683$24D92C81-2FBE-4140-8D44-F871E8DBE16B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a8ba2b544e168e7fddc24fe43417862aed82d84","datavalue":{"value":{"text":"Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222683$525C2D11-98B0-41F3-BE78-1F20C96A89B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec11b6b433c225f53857403e7b26f5c706a1df7f","datavalue":{"value":"1444.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222683$F179BC32-5039-4595-A39E-561E4EAB0C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4c5ce9058e70e86b27db6383241102ef321cb0","datavalue":{"value":{"time":"+2019-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222683$7115715C-9FD4-47C9-87E0-BD1B652B346F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222683$D65E298E-2CD6-4C58-9CE3-71123450ACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222683$48567DE1-8427-41AC-B697-B1719CE1D186","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"679638e7d8c8a13c6f623cff01e6399750c4e02b","datavalue":{"value":"7078497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222683$E49713A8-592F-4F75-87EC-9096811B2624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"513497659168eabe82287322e3007c0ba95f5bf0","datavalue":{"value":"epistemic awareness model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222683$B68FD7C3-89AA-40EF-893F-EC6FC4C77574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222683$7FBDDF20-62EE-488E-9CEA-93E86E279213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06a0530d6e656770d4e3cbba7617d6c7a5072c5","datavalue":{"value":"awareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222683$26054585-EBE1-45E9-B810-9CB0A9DFF19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46386232ce22237553a09399db388958f7e4ec1b","datavalue":{"value":"language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222683$D9245AC4-3C35-4FF3-9116-D1940AE9742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222683$3FBEA036-97C7-429F-B4EB-55B15D99CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222683$442B111B-37DD-49FF-85C7-7C38178C7B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886c1025e5302941fa489496dba02bf74a66b603","datavalue":{"value":{"entity-type":"item","numeric-id":1036063,"id":"Q1036063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222683$C73AAED1-3167-434B-8EC9-361604120FD4","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":"Q5222683$2747C356-DCE6-41F6-8F65-07AFDADD1255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc91a96470ac5c359dfd7724699b4e29311737e4","datavalue":{"value":"https://doi.org/10.1093/logcom/exv023","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222683$585E62E2-1327-464C-9CB0-2B73FD506CAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83dddc2c1424ebb202881a39476f76e29c075570","datavalue":{"value":"W2122295626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222683$96946326-F479-43D5-A764-214786408133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66a1ef3492da243613aae598ea2f51cba797f0a0","datavalue":{"value":"10.1093/LOGCOM/EXV023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222683$9202DCF3-4A00-438A-B51C-165003F9E02E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222683$BC555DFF-2C8C-4ED3-8CCF-52F8104C6A0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d674ccdcac0dcf1d657cb49cc97152130637b1d5","datavalue":{"value":{"entity-type":"item","numeric-id":2859110,"id":"Q2859110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06569c5e63aa8b87c763aa97cc9206a3f5cac88c","datavalue":{"value":{"amount":"+0.9255765080451964","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":"Q5222683$5071912C-0FED-452B-AA93-61FA04822AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f3927c4a0aa9b2147c3023fd5ff202425fae17","datavalue":{"value":{"entity-type":"item","numeric-id":2939298,"id":"Q2939298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5765181c789379045a5beee0a7fd7da69dc59a70","datavalue":{"value":{"amount":"+0.7381255030632019","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":"Q5222683$40EA7E1F-E67E-40AF-A0CC-DEDE078B8779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ca842783f9a7341df297beef54e9adf198e346","datavalue":{"value":{"entity-type":"item","numeric-id":2258808,"id":"Q2258808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc73340cbb3a0205561a06256c2ee6c84bfb9c8","datavalue":{"value":{"amount":"+0.7368671894073486","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":"Q5222683$8A5A7182-3901-42E9-927C-51A70C57ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0947ae56ca6f9cc4a7ab2e60762401e89bc03639","datavalue":{"value":{"entity-type":"item","numeric-id":1748464,"id":"Q1748464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0225a3e29d522cec4fd9dd30304c28ed60c9cf2d","datavalue":{"value":{"amount":"+0.7334862351417542","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":"Q5222683$A7B2AFB3-E7F5-4F28-8769-57FD948DF735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4445885f5256b80ce792d1beefadc3e4e6564ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3092294,"id":"Q3092294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ed60188ec3e20435035ac7d9388588d592f0db","datavalue":{"value":{"amount":"+0.7239095568656921","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":"Q5222683$C8A30476-E44E-4C16-A7C1-C6F9BE926AAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222683"}}}}}