{"entities":{"Q5878291":{"pageid":7907842,"ns":120,"title":"Item:Q5878291","lastrevid":97546808,"modified":"2026-06-05T14:59:21Z","type":"item","id":"Q5878291","labels":{"en":{"language":"en","value":"Game equivalence and expressive power of game description languages: a bisimulation approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7655499"}},"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":"Q5878291$98181CEA-0C1E-46DC-8EF8-E1979A4B8137","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcceaa1a9843e85fe0abfc323456699b9ceb30ff","datavalue":{"value":{"text":"Game equivalence and expressive power of game description languages: a bisimulation approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878291$23CCD827-394A-4822-A32C-9545CC67B9A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d892305e4f9d4dc0a6628e3d6baf5e9b7ef4cef6","datavalue":{"value":{"entity-type":"item","numeric-id":1679804,"id":"Q1679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878291$84462F39-3D96-4B2F-A7AC-B04352F82B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17faf3cbd36a01447bd33c0ebaa0f357f3efacc","datavalue":{"value":{"entity-type":"item","numeric-id":622589,"id":"Q622589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878291$953F82E9-5711-4619-8CE9-36BDC59A9A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7785237cb371d479ad82a094d79db9e831c41be4","datavalue":{"value":{"entity-type":"item","numeric-id":829199,"id":"Q829199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878291$532669DA-D02F-44B3-802D-8ECDDE8685F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"685337b6c617f14eea55a618dc05776b93ee2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":655736,"id":"Q655736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878291$487F9B7D-DE70-4634-B0F5-DA1F88036240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4be8fded4291293daca5bd8efde8f75c572ac3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1968588,"id":"Q1968588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878291$AE3AC76D-7DC2-4C4E-993F-699294B4D03A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cf6fdebab2500677acafd11fbb3e87f5e50c3dd","datavalue":{"value":{"time":"+2023-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878291$C447336F-25C6-48AE-9DB1-EDD5016F52D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878291$0D8DAB04-15CE-4D2B-A632-28D80842E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878291$FE81894F-6E0E-4655-8F7E-3865433DF435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb388bdf8214a9117162fb050f5ac1553f1746ba","datavalue":{"value":"7655499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878291$18E82020-A2BA-4A6D-B30C-C46D7FD15C00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878291$2E4C16BB-CACE-48D7-9E54-3CB4F6A0D9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878291$97C8FC04-B6A8-4D77-83C0-F38851645FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0afc9da43497c44b1f96f5d77006addb33f11f","datavalue":{"value":"game description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878291$7C631AA7-1B83-4EDC-8B1B-5F92743D20FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0046453a52f9c70fe09ac2789497cf61fa49a855","datavalue":{"value":"general game playing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878291$8CCB7C2C-1176-462C-811D-EFD7312AE97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c6edcdbe8cbddc504c60945e57c45199070d083","datavalue":{"value":"game equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878291$F4772FF3-6F62-4D3A-BEDC-326A3C67A672","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":"Q5878291$11D5A1E3-C429-4BEF-B3D1-D1088242B706","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1aa92c0969c60797fad2111f40865cae56032bdd","datavalue":{"value":"https://doi.org/10.1093/logcom/exac034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878291$07881813-A0B7-4946-AE77-79A2B3DEF450","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06045f6e41502a6617a695909e0b89f0858da41f","datavalue":{"value":"W4226445270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878291$A657EB8A-C9E4-480A-833E-DB4236A85D82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02abd4f8e57248e518264b57aaf3fa43fae38ebb","datavalue":{"value":"10.1093/LOGCOM/EXAC034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878291$BEEEC364-A0E5-4FEC-9B5C-E41C5289949F","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":"Q5878291$4F271326-240D-4424-9399-F47D9206AA6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457221e4fd6a28b6cd064f1f31cf667af07720f5","datavalue":{"value":{"entity-type":"item","numeric-id":4596797,"id":"Q4596797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d955ae5605e981f19d7c6eaf409f2e1eae951283","datavalue":{"value":{"amount":"+0.89243114","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":"Q5878291$BE628E92-A080-4177-9600-7CF28CB1E7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0caf9741c2c86786ee7114a044a574165fb84beb","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbc9498a0d96a13fdf5476c5ba723a6b68f983c","datavalue":{"value":{"amount":"+0.88496494","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":"Q5878291$823D43C8-3245-430D-AD6C-21DBD5B2D4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575ae9db7bfe05fed99e9f62d3c45f071f107f01","datavalue":{"value":{"entity-type":"item","numeric-id":6096733,"id":"Q6096733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435fcc4e2fd3a6859efdfe30ed86ea0c79680d2c","datavalue":{"value":{"amount":"+0.8823651","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":"Q5878291$937B30EA-6522-45BB-9583-CBFACDC2BBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc98212eaf27f4e338e2ecd17bb97ef59740332","datavalue":{"value":{"entity-type":"item","numeric-id":2753694,"id":"Q2753694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85698e91163296e23977fbbce2a57699f66533b4","datavalue":{"value":{"amount":"+0.8778696","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":"Q5878291$2485981A-1287-4A71-8FD0-817564956BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e1a846448cb7a50c916ceb585516b2dc097625","datavalue":{"value":{"entity-type":"item","numeric-id":4847022,"id":"Q4847022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9462b710f25cfd8b9c664cdd84bcaf8b0407d4b","datavalue":{"value":{"amount":"+0.87237525","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":"Q5878291$E5A57991-69EA-4DA4-8CFD-5FCE71F52494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ab192d6bba6dcaa0d75ad918dc22d1296aef22","datavalue":{"value":{"amount":"+0.8704239","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":"Q5878291$6295E9B7-B86F-45C1-8EB0-38BDAAF7631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8a4ca2615c4954dd7353cb27f781ac9f1f4e68","datavalue":{"value":{"entity-type":"item","numeric-id":2965814,"id":"Q2965814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcae9c26f9840d377d80eed5c4640acda0ebe1b","datavalue":{"value":{"amount":"+0.8564972","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":"Q5878291$D17C36F4-26CF-4C99-B148-3370AE8067D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2679bf6d7f55eb56863b28f7291d2ac664d885","datavalue":{"value":{"entity-type":"item","numeric-id":2238672,"id":"Q2238672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d804f42fe4da33e90f3e330263f20c8d866d254","datavalue":{"value":{"amount":"+0.8552865","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":"Q5878291$4F0C7241-B072-4A0D-8AF8-837A375DF902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112896f6d49069e4362da24932f7db79a9d8812c","datavalue":{"value":{"entity-type":"item","numeric-id":4736988,"id":"Q4736988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c081003cbc1e6ae379d934220f34c331983c226","datavalue":{"value":{"amount":"+0.8551121","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":"Q5878291$288E687B-586E-4A41-A097-457BB3C7B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86169941cd75ab61e9176695b3e56418c6e6a427","datavalue":{"value":{"entity-type":"item","numeric-id":4558784,"id":"Q4558784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603c7f18d9388a737362b93022a42dcccf40617f","datavalue":{"value":{"amount":"+0.8529713","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":"Q5878291$78A70DCC-837C-44D5-ABBF-F0EBC3A6D64D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Game equivalence and expressive power of game description languages: a bisimulation approach","badges":[]}}}}}