{"entities":{"Q2852361":{"pageid":2863081,"ns":120,"title":"Item:Q2852361","lastrevid":83870810,"modified":"2026-05-07T13:06:21Z","type":"item","id":"Q2852361","labels":{"en":{"language":"en","value":"Automata games for multiple-model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214059"}},"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":"Q2852361$4B153144-1868-4DC3-976F-CF76ACE4030E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e33d8fa2ef88dcfafb15e230369b6fc3c891e1c","datavalue":{"value":"1273.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852361$6B697FF2-8F93-4F25-9E17-9917BBF4B523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1351d80d19b9bc2e7e6da4e8dd68127a4c720f63","datavalue":{"value":{"entity-type":"item","numeric-id":947780,"id":"Q947780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852361$51DD3D7E-B5D0-4F63-9D88-0765359BCAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852361$3A26D8EC-61FC-4AF3-B99F-A2B6155DAB82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852361$45435CFF-C1D4-4036-82D0-110DEB9B99A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040274002b217e5c44558c911460f6b8221c8a05","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852361$D39B8B44-188F-455F-A9E0-7B4AACB31893","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852361$EE33CD8C-F952-42C9-9983-72527849EB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852361$2DF761B2-3DFD-4D6F-83D0-63BAE40BF331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852361$0B2E25C5-7231-4837-8A36-FA924FF76265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d110c9813135098da94df4d851f983fd94e1dcc7","datavalue":{"value":"6214059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852361$2ED813C7-7BB6-4CAE-9B67-B57FC61510BD","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":"Q2852361$35995476-9F1C-4664-91BE-5280E90CB78B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35fdadf8236e5666e349cfa564c5748793a14cfa","datavalue":{"value":{"text":"Automata games for multiple-model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852361$27EB1F3D-2144-4170-B07D-FFAF057A8137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64399b0bf5dd74e68efb5cad3ea1bb72e9e83d33","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f0af7db88757bd4f43a5de32775cb6e29e1226","datavalue":{"value":{"amount":"+0.798320472240448","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":"Q2852361$F0F96FED-110D-4435-84AB-427BB75AA4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66b4fe52dca4fb899cd55869b801f54a5f2104","datavalue":{"value":{"entity-type":"item","numeric-id":3648707,"id":"Q3648707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fb8de00677187eb8b1f54680b56810320ef1fe","datavalue":{"value":{"amount":"+0.7898935079574585","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":"Q2852361$B1241F11-DA3A-4ADF-98C5-4105B08655CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28455a1e4bb6038f42a3a625d07f01f331a64fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5491877,"id":"Q5491877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2b9c7b7be9f406ec80e83ba062b8cc1ba8979d","datavalue":{"value":{"amount":"+0.7767998576164246","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":"Q2852361$7DE447DA-868F-4150-8CEB-A46F0A685A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7471bf3a6991f8a31cd53d6ea517eb692119f96e","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83339e2eb2ae9204ac7699d7416db05da9d9f8d4","datavalue":{"value":{"amount":"+0.7715280055999756","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":"Q2852361$89EC9DA5-5D42-478D-A235-86A90F7EE234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e1d7d7f9f1c2898990bca8de8bf6c56408354e","datavalue":{"value":{"entity-type":"item","numeric-id":947781,"id":"Q947781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c82d6bbacdb640200ec91f8130e12311ee19b1","datavalue":{"value":{"amount":"+0.768858015537262","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":"Q2852361$C8C6DED1-E6DD-41DC-AE85-4A277096B7C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata games for multiple-model checking","badges":[]}}}}}