{"entities":{"Q2272917":{"pageid":2283660,"ns":120,"title":"Item:Q2272917","lastrevid":71734326,"modified":"2026-04-14T00:11:59Z","type":"item","id":"Q2272917","labels":{"en":{"language":"en","value":"An automaton learning approach to solving safety games over infinite graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106034"}},"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":"Q2272917$B43E1B55-F316-4025-AE0A-701FDE890D38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79a823e5b5df7fed6ea4e8436fb89a2103b8752b","datavalue":{"value":{"text":"An automaton learning approach to solving safety games over infinite graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272917$9E36276C-E60A-4C86-ACCE-C754CD4A53D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a35ff3a83353efffb6d02c7bd19f0c981aa65ba","datavalue":{"value":"1420.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$C35569C6-77A3-4059-9850-7EC0181C1F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8402c2640da9fa6bcc1aeee73aeb5189413a9cd","datavalue":{"value":"10.1007/978-3-662-49674-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$8649DAF4-360B-42DB-B439-54C1E2DD8E3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272917$0037D621-BF7B-4CB5-8CBE-55167E553F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272917$426C93B2-B42C-4A0E-98F9-F948B050AEC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272917$618B55F7-3048-492F-83FE-F24DCC6839CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"784cae6c91e22574914320aade12d56a72295e95","datavalue":{"value":"https://arxiv.org/abs/1601.01660","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272917$A39CECEB-687A-48A6-B19C-8DEED5E22933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$37EE802B-FFB5-42A2-8B2B-A0CE43255B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$4D6A5658-E86E-43D2-883E-B73948677BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$4E77FF03-BB36-4D45-8C0F-4B0839B51A47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5961555ba0203ee4d91e594dd71e6c35fb9a1274","datavalue":{"value":"7106034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$BF45E6CC-C69D-4AE4-91F2-B99976CA373D","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":"Q2272917$132E94D9-D874-4029-BF41-F56112E7C865","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32730991e451e286a56c214ca0f925e83a6d25d0","datavalue":{"value":"W2226549490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272917$2F808B73-9A8E-4519-BC58-A72FD4907779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873eaeb0cea520a02d4891622f1ae368d9d12b6b","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d82d25f5253b4ff265b1859803b51741d724cf1","datavalue":{"value":{"amount":"+0.7739443182945251","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":"Q2272917$AC0FED60-09D1-4F7D-A243-156BEACEED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8c1f72bc148cd5e077adcdb17174d1fd00f06","datavalue":{"value":{"entity-type":"item","numeric-id":3172922,"id":"Q3172922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74577166efa5583cf6da80aad074cd0fed2761c","datavalue":{"value":{"amount":"+0.7697110176086426","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":"Q2272917$05BB3C36-0C08-46B3-8049-D6FCE31BFBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc4a3576617d6f33b380fb635e1eb874375b091","datavalue":{"value":{"entity-type":"item","numeric-id":3073641,"id":"Q3073641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1724eed2e7dcad35a6f733a4b4a7fa93b0802951","datavalue":{"value":{"amount":"+0.7658644318580627","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":"Q2272917$04131182-D5BC-4185-BDC8-E402CD6E376C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab71b17e56cd6bac5d2220ed9b6c0ec5bec6a547","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733f34a7fc164c9fc29c305c2824da575486acc1","datavalue":{"value":{"amount":"+0.7439748644828796","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":"Q2272917$0989D1A3-421E-4A4F-AF0D-5FD122B98474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76997d519f32b54cbe96eb309be9412deae0e99e","datavalue":{"value":{"entity-type":"item","numeric-id":2038085,"id":"Q2038085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fed88104f42ae8e37474d2ade4191871858d9e0","datavalue":{"value":{"amount":"+0.7434108853340149","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":"Q2272917$F21DD9EF-7653-4800-8856-557D5449A0DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automaton learning approach to solving safety games over infinite graphs","badges":[]}}}}}