{"entities":{"Q4992499":{"pageid":7022076,"ns":120,"title":"Item:Q4992499","lastrevid":58390098,"modified":"2026-04-05T00:27:36Z","type":"item","id":"Q4992499","labels":{"en":{"language":"en","value":"A unifying approach to decide relations for timed automata and their game characterization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356840"}},"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":"Q4992499$11CAACB6-F462-44C6-BC5B-0B72C73E4F4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5eb3f8ebb7b00b69e5cd4197ed0e0ed68b6a39f","datavalue":{"value":"1464.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992499$D0A18B1A-3CDC-407D-B650-62F2749A3A46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ec7cf533a9e797506d0d9cf6304c0b66208f71","datavalue":{"value":{"entity-type":"item","numeric-id":832073,"id":"Q832073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992499$8839B6AC-7EAD-4B9E-8F58-F89E646F57F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992499$5AE8F609-65A8-41D5-BE1C-E515867F3252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f74dd7eb07bab7dc13936a1be45d18d3ad57b69","datavalue":{"value":{"entity-type":"item","numeric-id":3190140,"id":"Q3190140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992499$339C1EDA-71AF-489C-8388-C8015448F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7c5ae506eb8411e23825d0ef2e8772007b32369","datavalue":{"value":{"entity-type":"item","numeric-id":1062766,"id":"Q1062766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992499$CE4DFB18-F46E-4A58-9561-9A866ED882DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992499$E152C0A7-63E5-4560-8203-6856AF35CB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12e5d402ef265bda25978e00c1e9f0dc44a0a218","datavalue":{"value":"https://arxiv.org/abs/1307.7443","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992499$C2C3427A-2A7B-494E-A4EC-8198851780FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"82b983aa952751aba876276e69795436dad5ee72","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS13.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992499$71DA0873-1A04-4CA0-A99C-6FF2B6C16EFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992499$F2996362-697F-4194-9420-564F6C033CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992499$1B7EBF21-E868-446D-9566-50790526206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992499$2E099BF6-BAFB-4E7E-97FB-7C1F12BEEF4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8ad99537bedeaf4b0ba5aede07bace3c35e5244","datavalue":{"value":"7356840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992499$4ACFCCF5-4EE4-4275-89C1-9D59CE72BED7","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":"Q4992499$0AE4F851-6EA5-4748-85C9-DEEF547CEDF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94ff7567d8465d29136fdd773acc78b9e61efb","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9a921c5a2b6a0d31cfd32cbdbf7f9fc6e344b9","datavalue":{"value":{"amount":"+0.763139009475708","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":"Q4992499$6D1205CF-8962-4A5A-8565-8F62627D229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c82c4c408c6b92cea9f65a7df7a796a0b6d30ae","datavalue":{"value":{"entity-type":"item","numeric-id":386611,"id":"Q386611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57f82c6a5562582a75e1dc3581cdeb6b21110bd","datavalue":{"value":{"amount":"+0.754064679145813","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":"Q4992499$F6A21004-21FD-429C-8F5A-B551C84E9AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea44dad9bbb9a070b72fdd9d0fc9f81892e318b","datavalue":{"value":{"entity-type":"item","numeric-id":2018058,"id":"Q2018058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc75e7a0ee68eebe82ad4b9c1190229dba70683","datavalue":{"value":{"amount":"+0.7494672536849976","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":"Q4992499$F3A1E515-8935-4C97-889B-A787CA58569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aada139e4cdd12646aeacbda54eef8e373730f86","datavalue":{"value":{"entity-type":"item","numeric-id":4736990,"id":"Q4736990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9cf2fa105bb2cad7d88acf49da32a48ccbb742","datavalue":{"value":{"amount":"+0.7467364072799683","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":"Q4992499$63650A96-CC55-42E1-AE72-870D144AD952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e4b993dd259bb49ab2d4aea2c8857a3e4fc540","datavalue":{"value":{"entity-type":"item","numeric-id":2920115,"id":"Q2920115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a99f5a15bbba24cbc035d62ff7b158c9ee06cf","datavalue":{"value":{"amount":"+0.7392947673797607","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":"Q4992499$B1A05FFF-2D15-4AA8-8A64-78C0F9C1F896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992499"}}}}}