{"entities":{"Q2263301":{"pageid":2274044,"ns":120,"title":"Item:Q2263301","lastrevid":78380453,"modified":"2026-05-06T11:27:19Z","type":"item","id":"Q2263301","labels":{"en":{"language":"en","value":"Using the compatibility analysis of logical specifications of automata to solve game problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416360"}},"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":"Q2263301$2AA8C15C-CB19-452E-994A-DD38BD40D846","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1c88b5ad684c33fd1f8b39db25c35cdf4213c59","datavalue":{"value":{"text":"Using the compatibility analysis of logical specifications of automata to solve game problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2263301$4C978013-9996-437E-BE32-793608778613","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74c393c1939990d1de8193a5d56fa58b7eac6930","datavalue":{"value":"1311.91051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263301$53A2B3C0-BB7F-4D29-B3F2-84754F51746E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$32541BEC-6BD1-47B9-9B12-5B059FB69D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2263301$6DC268AE-ECB6-4E1A-8FE5-AD5DEC244F06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263301$AD29854E-3D1B-4108-A6AF-761960109570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263301$760541CB-6960-4F56-9630-FCB361D2F658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c967920d2963fb9c2bd0065208d4ea8b5d51c6b","datavalue":{"value":"6416360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263301$0A6DD43F-7228-4879-8654-0268044F82F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f538dc3e672c45a8832bc63aaf0368a91ecad911","datavalue":{"value":"specification language L","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263301$544A4341-4025-46CF-806A-D8EE753C0FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"519763d58a1b9c79c5b7041bca42430176d30ad8","datavalue":{"value":"making automata compatible","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263301$6E131517-D119-4039-BFD6-9F9DA3C9CC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a8b898eff5038529c54e59cd7097441f7191c1","datavalue":{"value":"synthesis of an automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263301$6668F569-C0A1-4E00-B86D-51C98487D64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb106643e0b5b8a9cc1d6f10c2961101e6f96435","datavalue":{"value":"game model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263301$83DC888F-D659-4CDB-851C-FF342363D6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117816c464c7958f447f6e07568eeff4b735729a","datavalue":{"value":"winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263301$FFACC0A4-316A-4991-AEAE-8E39F5206D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$72C6BC5A-0C27-4B1B-B812-076A5B7D90D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$CF1F3FBA-31D9-4BCF-B989-78403BF30F68","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":"Q2263301$F82208EF-3DE8-4162-A7BF-DEA83EE504D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b204970293a57a7fb3853110e416010c93cfcb7e","datavalue":{"value":"https://doi.org/10.1007/s10559-014-9637-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2263301$A906D36C-5D1D-44E2-8C01-03A912212751","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60832c8742249d76a20c300ad4ce5a7e1e7ec05c","datavalue":{"value":"W2003866040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263301$0F8F9CDC-353B-4AA3-B9A2-8563D27743C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fcae465dc4811db27d47a7a2639a8ba2f7a41a","datavalue":{"value":{"entity-type":"item","numeric-id":1582909,"id":"Q1582909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$7A2101F0-90A6-4CA6-862C-049C1E1977EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92229fa51badf6439310ef0010581f48ff22dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4791273,"id":"Q4791273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$CE1B3229-9020-4C77-A049-18DC493191D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031cfcfd4fea3f8a3fe578c9daadfe0870bc4023","datavalue":{"value":{"entity-type":"item","numeric-id":4473719,"id":"Q4473719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$A42D0A71-92E5-419E-9E43-3742C3EBE297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b44f8e589b20c85d87517a7b807e5a4e5b030c5","datavalue":{"value":{"entity-type":"item","numeric-id":5147350,"id":"Q5147350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$A65E2434-A738-4BB7-A50C-07B6CD402F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3e875e3ba038b614b938597c7f8aa588deb2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1816030,"id":"Q1816030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$02B22EBD-E9B2-43AE-947D-EBEDC5ED9D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$6C544D05-3E1F-45E8-9BCB-1FDB49BD3120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263301$03264CB9-8A2B-482D-81D5-88EB74FBE6B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8feb79ee2462e04c29052265597acf73cc11dd62","datavalue":{"value":"10.1007/S10559-014-9637-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263301$449BC6BD-4AFE-4CAE-B021-195447390EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe42a06c24d5cb9bb8947f6b9bd120b89c436a8","datavalue":{"value":{"entity-type":"item","numeric-id":3166989,"id":"Q3166989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafd36166feba6830bf104e852dfedd021ecc9fb","datavalue":{"value":{"amount":"+0.7050025463104248","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":"Q2263301$F0F33D5F-1385-40A9-B920-97D7B89DBD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac0e0b11f321d0ebaa6defe6a41ce243aa736c0","datavalue":{"value":{"entity-type":"item","numeric-id":2408790,"id":"Q2408790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35932a92a1a31eff07daec35aabc1e38e8d1af3f","datavalue":{"value":{"amount":"+0.6909281611442566","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":"Q2263301$836676AE-4EBB-4545-8874-EDDFA05BBBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8a565ee3477e7e55ac825f001ea5c210218362","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0add168e32ac5e4b9f59930c5be96c4324a0358","datavalue":{"value":{"amount":"+0.6886436343193054","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":"Q2263301$6B20E0EA-C871-4FC8-9AC1-ED49467272E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8d19dcca8402674ada8ac5638608a69dfe8640","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85461240a8f99a010192f834699e42f2134f5947","datavalue":{"value":{"amount":"+0.6823081970214844","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":"Q2263301$8CDD0EBF-60C7-45EB-A111-03561B76EC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213ab3ed30f14979dedf999549da1bcf3c57629","datavalue":{"value":{"entity-type":"item","numeric-id":2845509,"id":"Q2845509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae7389e275f04d8f1e0e18efbdcba7bd5c62b52","datavalue":{"value":{"amount":"+0.6688418984413147","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":"Q2263301$58FD345B-FE88-44C1-AEA6-D7389E897BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using the compatibility analysis of logical specifications of automata to solve game problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_the_compatibility_analysis_of_logical_specifications_of_automata_to_solve_game_problems"}}}}}