{"entities":{"Q2939298":{"pageid":2950018,"ns":120,"title":"Item:Q2939298","lastrevid":52175228,"modified":"2026-01-21T02:30:58Z","type":"item","id":"Q2939298","labels":{"en":{"language":"en","value":"On the definability of simulation and bisimulation in epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6387954"}},"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":"Q2939298$72316B2C-ACA2-4A7F-8670-0CC3F11D538F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b3fa7ac3b110fea39fb8983acbb5ea9f0a77fd9","datavalue":{"value":{"text":"On the definability of simulation and bisimulation in epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2939298$E065E09B-8FE1-40F6-B22F-2B47ACDC13EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c68c5385fe3fc1b005ed825e5b31c6c1b7497b58","datavalue":{"value":"1431.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$B673A03F-3DC8-414D-9DAB-536175E00670","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939298$B8F9D0A3-EF2A-4599-8B33-8FD33ABC3326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939298$3A8CBA4A-2066-40A1-B06A-DC952D7B11AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939298$7C00A8B0-8947-4967-85E7-817314999ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23e6ba576eeca2c6f926b5ca32f399afa8cf58c8","datavalue":{"value":{"time":"+2015-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2939298$DFAF99DD-6E2E-4CD1-8014-9A37D251AC19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77888db8f241d59af8a852b0eaca5dbc5964657a","datavalue":{"value":"https://semanticscholar.org/paper/8b90a53bc364e29969aec670e3c6880af550f126","type":"string"},"datatype":"url"},"type":"statement","id":"Q2939298$188EDB2F-7D5B-4BD6-8FBF-DCC9A894593A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$4CA99933-B03F-426D-AACD-A0AB575C5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$AAA0D0E8-89E6-423F-A965-2C30202539C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$80902C9D-E08F-4914-A7FE-4F453BA8D7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffd87c0a02db3b74209f53972e51fa72b649a694","datavalue":{"value":"6387954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$4B35ACDF-FF01-4058-88C2-4C7648D60BE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939298$743EF516-440D-4F99-9363-4CFFB5F93E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939298$D35F0BDC-6645-45A0-AA35-6C3F88CC47EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939298$3DC059A4-08F3-4983-8193-28FEA4B7A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939298$C760D565-250E-4CA8-9A20-1E5FECFE10E1","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":"Q2939298$499EA83A-3F18-49B7-915B-A36F40238E13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b086da0dbd04d80391e1f83efd5bb5b22e935485","datavalue":{"value":"W2028258741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$20D915AB-ECAE-42AE-ABD6-FCDFCDB388B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d3fb4286640c8f6d387addd3411971d0fc928d55","datavalue":{"value":"Q58883284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$C5B032CC-7887-48AF-A0A6-DA9C39DE23D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f9387d4a749908d7b85b0f149c9157174face4d","datavalue":{"value":"10.1093/LOGCOM/EXS058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$EE24AA0D-E08F-4A83-979C-F1C206567E7E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"aa861a7065061231a803f708b212b98dcca4feab","datavalue":{"value":"journals/logcom/DitmarschDH14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939298$E7719DC3-C0F5-4686-96F4-F6B64DF9FC49","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":"Q2939298$88799D9A-8FDB-4370-A76C-E3BBF4CBBC28","rank":"normal"}],"P1643":[{"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":"498d0731b2e8e2bcc449c697fee764e0389706d9","datavalue":{"value":{"amount":"+0.9581316709518432","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":"Q2939298$AD4FCB17-BCEE-45FE-8F73-F6D2E378ED4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68cf7d2cf746a82c44af83e56b8b12d79064ac","datavalue":{"value":{"entity-type":"item","numeric-id":1708097,"id":"Q1708097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ecb4c9050ce3ab867084ffa703725ade85b018","datavalue":{"value":{"amount":"+0.7737191319465637","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":"Q2939298$A76EF097-67DD-44D6-AF3A-34A0FEECFF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566e31d6ca8b060718e25aefba0c5f0d736edd18","datavalue":{"value":{"entity-type":"item","numeric-id":3644777,"id":"Q3644777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e4edc385d5421e1f5e3fc3c153a8fca9350d80","datavalue":{"value":{"amount":"+0.771193265914917","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":"Q2939298$E34964F6-E1BF-4D01-A3A8-1B3066A4FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b83bf9f740ab07c3ec36569a399044a2173d222","datavalue":{"value":{"entity-type":"item","numeric-id":2901219,"id":"Q2901219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6129b72e7f561acf15a0c90f9ec0803554866112","datavalue":{"value":{"amount":"+0.7602921724319458","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":"Q2939298$232C9D77-A575-4002-8CA3-979537AE7303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaad292d74a91cdd7eaf90c4ebd96395b334e393","datavalue":{"value":{"entity-type":"item","numeric-id":763328,"id":"Q763328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1acede030b2e352d578a94ad74f28c4b35bee39","datavalue":{"value":{"amount":"+0.7581915259361267","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":"Q2939298$CF57898C-BFAF-4766-B117-87C0C82D6D8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2939298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2939298"}}}}}