{"entities":{"Q2920115":{"pageid":2930835,"ns":120,"title":"Item:Q2920115","lastrevid":51580946,"modified":"2026-01-18T21:33:23Z","type":"item","id":"Q2920115","labels":{"en":{"language":"en","value":"On timed alternating simulation for concurrent timed games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098218"}},"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":"Q2920115$E6E0E6A9-4AFC-4877-9F96-7B40EFA647B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"935dd2b33b53ad505763f77aa43c3d27c04f826d","datavalue":{"value":"1248.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$F34A892E-86D9-424E-8866-B968A69292C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920115$0D37AF20-0B46-453E-9094-AD42872BC4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920115$5B3051FD-7FCA-4885-91A6-27F9F21B6B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920115$17911EB9-0F67-44E1-8058-4BACFC582F24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920115$54632147-6040-4A95-951D-5A83B02CCD2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc2d7c69737e4bcbb7f7752d0d69dcca5baf88bf","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_3a58.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920115$19263555-A2E5-4834-AC82-85182515E4F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$197D4DA2-8486-4128-8649-FAD20EA65DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$67AE7D30-C37D-4057-8AD2-915DE4ADA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$7CFE2513-795A-4B1A-B797-0D151530471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"410dbaa73c02e2bd5fbd3c00164dc18b5e93e8cc","datavalue":{"value":"91A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$56C3543B-619C-4026-865F-0F9517094279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a26471cd9a902dbcc21e9b3056e0ec3e697f7b","datavalue":{"value":"6098218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$201FBA8C-6E8E-4717-B8E9-F6DC578E31DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c003fdc0d849951a225c1a8bdd2878cba195bf6","datavalue":{"value":"concurrent timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920115$B17FD3E0-D30A-478E-898B-C5C8074AFB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165978579fc2c68af1e24c7a783888dcf841c031","datavalue":{"value":"timed alternating simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920115$94BDDCA2-1A9F-4454-91A6-43702AF7C286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9931faa3b5eb78eb76abce92ab340835f6202e9","datavalue":{"value":"timed alternating temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920115$E5DFB442-8AB4-42DD-81D3-C059742A1161","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":"Q2920115$3AA93053-388A-4CB8-94C2-80DBCE6A7B6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"718eafd902b3834d3a5775539fa414f3a4f2fae4","datavalue":{"value":"W1506190616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$FAD36184-FE5A-4B9D-8F82-7523DA9A9C38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79dd9a3b596dd962985fb1a6c7abdc1142156a0b","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920115$7E732C62-F4C4-4CD7-96A0-630D6D5F64FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"778001b880483ac9509c0c38e5ffcc7aec09a1bb","datavalue":{"value":{"text":"On timed alternating simulation for concurrent timed games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920115$E07979D4-CCE3-4A0A-AAE1-D8A41300DA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2b182ffcad39c691c136753e848b04cb59084f","datavalue":{"value":{"entity-type":"item","numeric-id":715043,"id":"Q715043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8b81e42511c61f6c270ecf213a1bbce0469fc5","datavalue":{"value":{"amount":"+0.9951169490814208","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":"Q2920115$F8FD6F87-DF8F-47B4-86ED-572EE1610168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8cd903a4dfd43cdce1c668a3848eea8a831d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3525654,"id":"Q3525654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780433aae6db7269255a15fb22616f81fc3f1892","datavalue":{"value":{"amount":"+0.836093544960022","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":"Q2920115$A5DAA6DD-CD0E-4CA0-9D02-A6BA41D24CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5114b18be2e34a54848ca96aabb0163907063251","datavalue":{"value":{"entity-type":"item","numeric-id":3511218,"id":"Q3511218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ecde598556f97ca5a55832765a27e77e0ef89b","datavalue":{"value":{"amount":"+0.8302325010299683","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":"Q2920115$049ACDCC-C616-40FC-B29A-C7AA1A2160E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e16be8de6727908d97fdd88664055d7a5c510cb","datavalue":{"value":{"entity-type":"item","numeric-id":3511240,"id":"Q3511240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b022c760bee09a3290a1048d930e316da4ab4d3b","datavalue":{"value":{"amount":"+0.8201608657836914","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":"Q2920115$27A32A0E-249E-4C8C-9E68-0C1D77ACAA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00a9e1dcd9260ca2298b562b592094d25f13c3","datavalue":{"value":{"entity-type":"item","numeric-id":3648824,"id":"Q3648824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad796fe9e818ab8c1dbc7770a91f132a418eefe3","datavalue":{"value":{"amount":"+0.8104221224784851","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":"Q2920115$F1B59B33-BE4B-40B3-B7FD-DE4BB2C05788","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920115"}}}}}