{"entities":{"Q375313":{"pageid":377080,"ns":120,"title":"Item:Q375313","lastrevid":61361760,"modified":"2026-04-10T22:52:02Z","type":"item","id":"Q375313","labels":{"en":{"language":"en","value":"Action emulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220791"}},"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":"Q375313$284CBDCB-5C8A-426F-903B-D20BED54D5AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46a298a76d117fe5b607e9f264ba3685c28705aa","datavalue":{"value":{"text":"Action emulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q375313$76E9B9CE-C64F-481B-9C49-1F181225F88C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f794cb3824a9115df1196fe0d05655f79b95720f","datavalue":{"value":"1274.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375313$9458787B-99B3-492A-9CF5-49CF865040FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d30f3a2f26d23423d765b4d1925d27a0413ee3","datavalue":{"value":{"entity-type":"item","numeric-id":195248,"id":"Q195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$676400BD-7580-4DE4-9D63-528B71A8668E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f436257580e4263492e08a58b6e761a941f3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":375311,"id":"Q375311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$18A35BBE-9B15-488A-A90F-A4560119DB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c6397b0fe89f474e6e417fff226f182ffa465ce","datavalue":{"value":{"entity-type":"item","numeric-id":375312,"id":"Q375312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$DFEB97A5-A528-4CE6-A580-1A8825083C05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$0FF90A20-7935-4571-A288-2BF54013883B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13d892113b757c853e0bc4f886dd8886203ae619","datavalue":{"value":{"time":"+2013-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q375313$62010494-B266-4FEF-9A75-E27C98BF58F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd059b2117b7ff86345a644edbe663b31176bcbc","datavalue":{"value":"https://ir.cwi.nl/pub/20626","type":"string"},"datatype":"url"},"type":"statement","id":"Q375313$A3E2244A-5B16-4A6A-8387-94DAD832C196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375313$52CD4E61-E144-4D16-89AB-492784FE6FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1cf8b0178ec36ca465ea0f91796171cba1dba1c","datavalue":{"value":"6220791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375313$3347BE83-BEE4-4EC3-A5CB-DF149C1D33E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee35f5690a93d2048238fbef9321fe7a1836f9b","datavalue":{"value":"update logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q375313$41C02447-BA54-4F4A-91FB-D479AC8DB2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q375313$C8F286E0-7A0E-4DEF-A191-8B3D0502D134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q375313$E9C86D0F-0A68-4E21-9822-FC3C71E79D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q375313$B677556E-F35E-4EB4-9833-7E477CDC3C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q375313$75E2BEC3-D504-473E-B97D-C31B89AC2E84","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":"Q375313$D39AF07D-0106-43F7-A918-9D6A13047663","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f56675f6f59eacfbc13d6f38a3a1a40c49db21ed","datavalue":{"value":"W3192506939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375313$42204B70-5CBC-4606-A77C-5E161B024BB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$DA5CE2E5-CBB2-47D3-8CB0-C451B910C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$5FBC5FB9-6021-4C1D-8816-36F70A5A76F2","rank":"normal"},{"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":"Q375313$883A428A-DB80-416C-93D4-63C530DAD577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38977d123654853ace0c471d6d8409e75d61283c","datavalue":{"value":{"entity-type":"item","numeric-id":3644777,"id":"Q3644777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$D45B6BCB-F643-448D-B320-B7714D1070B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$8351CC89-44D8-4CE5-A112-F55F75CF39B2","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":"Q375313$0845BB9C-E042-480F-BB9F-A82361AA7FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$FF768D2E-7455-43E4-AC70-6F6494AF2077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$AC7455A2-3BD4-4E7B-A89C-5248ACFFEAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$25A387F2-EBA0-4ECF-A189-9B17BE160A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d219c6154bf9d779b1657cb8437b2a7b6bbe7c89","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$F5C3EEFA-5A31-4213-A351-3CD56C65319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375313$72F092CC-AC1A-4E67-B2BE-74564F70FD06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8773734c2de98d03826c54fe6e1240ea2251a03","datavalue":{"value":"10.1007/S11229-012-0083-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375313$BB312EF9-5605-461E-8943-E073BA566DD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee28fa815f960bca2e3cbfcfe1636e62810abbea","datavalue":{"value":{"entity-type":"item","numeric-id":2499823,"id":"Q2499823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7f1089b275323c823334d57a01847fce788a89","datavalue":{"value":{"amount":"+0.8046649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$ACF332FB-B60E-424A-8622-E4F859B2A167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8203b8ea5a41587b66cb1e98fdfd300ca6f8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2441479,"id":"Q2441479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92927c9d6c3045c40d09828548e8f69917166366","datavalue":{"value":{"amount":"+0.80352575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$CB24E370-27DE-4010-93CA-3273112215AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d56c86cc90b8003454e42ca0ae0a7eba29b429","datavalue":{"value":{"entity-type":"item","numeric-id":3734351,"id":"Q3734351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d0ea6ac8906fbb5f54f4a34c21161158815996","datavalue":{"value":{"amount":"+0.7875264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$811CDB84-764D-4840-9C50-643EA813D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73899fdbccee4ffe40de1ddf5046cff9c366b68","datavalue":{"value":{"entity-type":"item","numeric-id":3323912,"id":"Q3323912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d0ea6ac8906fbb5f54f4a34c21161158815996","datavalue":{"value":{"amount":"+0.7875264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$DBC7EFC5-6F35-47E5-9401-A7BDA8A17F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada221aea9fe070a70410135e45b4119f5bbe697","datavalue":{"value":{"entity-type":"item","numeric-id":1805602,"id":"Q1805602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9314f820f2dfbdd4f2dc5e830940f9273ab27ed2","datavalue":{"value":{"amount":"+0.7698727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$00A4832B-0002-4713-BC33-197B5FB41598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39dda523d323ca66a7dd2da90ae2dc12f3d0d2f7","datavalue":{"value":{"entity-type":"item","numeric-id":5750466,"id":"Q5750466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9211f56b6c27ea4b290f0e235716cdc322e058f6","datavalue":{"value":{"amount":"+0.7635052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$C2071A20-953F-4872-9C84-9997BD3B3414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c874d7df89e3e29a49fb930c87732fe4857b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4013820,"id":"Q4013820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbaf227862744e4020acb281e3e6eb47fa3a856","datavalue":{"value":{"amount":"+0.7582723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$02BB3B2D-8237-4CA4-A388-57C02888CB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c246782705db10ff36368b0ade17db795aa54e90","datavalue":{"value":{"entity-type":"item","numeric-id":5862703,"id":"Q5862703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1b9cc48a323757d2f7c7b557997b06e4364980","datavalue":{"value":{"amount":"+0.75736874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$F23173C1-2625-4448-8B66-0D251B10D8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c74c9af0715a89d56c59f6cfe3317c80480cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":3408861,"id":"Q3408861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1b9cc48a323757d2f7c7b557997b06e4364980","datavalue":{"value":{"amount":"+0.75736874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q375313$225749F3-876C-4278-9DAC-FDEE000FB830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Action emulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Action_emulation"}}}}}