{"entities":{"Q3000613":{"pageid":3011337,"ns":120,"title":"Item:Q3000613","lastrevid":51249251,"modified":"2026-01-17T10:56:07Z","type":"item","id":"Q3000613","labels":{"en":{"language":"en","value":"A game approach to determinize timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897374"}},"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":"Q3000613$8A59B904-6990-4E08-9BC1-F50AFD023741","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bdce30f7e80cb579df23a02c31ad958176feaae","datavalue":{"value":{"text":"A Game Approach to Determinize Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000613$E2B37ABE-EDB9-4976-872F-4B5DA3CDC4BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92308df645c3e6ba73552302c23640878fe9919a","datavalue":{"value":"1326.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000613$32F0A964-D355-4774-B3AA-01187D88106D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c055d22a7eb9cf64a12c9b05239be28d61daf96f","datavalue":{"value":"10.1007/978-3-642-19805-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000613$1DBC686A-2C80-4517-9E98-17CCBA7D2124","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000613$D37412A0-D277-4DD2-9A1C-41F1041BAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10090c00094d410f953d392dea2aa91bb096dd99","datavalue":{"value":{"entity-type":"item","numeric-id":2018057,"id":"Q2018057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000613$5FBF58EA-47CB-4E5F-B431-4FFDB04E92D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000613$9A8219FC-4023-4FA6-AB2D-2ECDA73BD6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba65115dc067c98e9f21b9d06577b2912f62f344","datavalue":{"value":{"entity-type":"item","numeric-id":842582,"id":"Q842582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000613$1F0B3696-108E-49A2-8D10-46B09FE1705E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000613$6D8286C5-B3A5-4B1D-BD51-BA80092CD968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000613$C5738417-3056-4551-8819-BDD0CB91301A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000613$B7B1C508-4210-4D21-AE84-931991EA0213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000613$13362C34-0922-49AF-B6D1-5CD94ECD0DA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebb80f0838d853457e197ee5cbce6f5bde8264b1","datavalue":{"value":"5897374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000613$0A7DDC20-93E6-4AD6-91D6-56301FE3D061","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":"Q3000613$485B6037-2501-47B3-BE8A-D7CD71CED95B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7dc5fdc3e1d122f38d2151811485bc24ee8324f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000613$42C36523-922F-4C4D-89E7-58FC45DD951D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5820d9114e43162958539f613e243e32769e49a","datavalue":{"value":"W2152069471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000613$BB53E38C-0AEB-4A79-961A-0616C5038FA9","rank":"normal"}],"P1643":[{"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":"a2c9212b4d6e18cd44551f02fdcc24e68addc725","datavalue":{"value":{"amount":"+0.9899574518203736","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":"Q3000613$A5FFDF93-661A-41AE-8F27-1A193CE964B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03379044b5eae50f2888ec692ad1236b3ad5d19","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee338b10ce531df9d9df6cb99add2026153b93c","datavalue":{"value":{"amount":"+0.8278971314430237","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":"Q3000613$A00C2A82-F1CF-43B4-AFDD-A40530A161EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff1bfacd132785188af0b736bc9f3e104b5101b","datavalue":{"value":{"entity-type":"item","numeric-id":1683431,"id":"Q1683431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654cc6c28bb1c4376ba31f06c28b01e8512b5989","datavalue":{"value":{"amount":"+0.8247756958007812","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":"Q3000613$DB49C764-2235-433D-8DF0-C4942AE2FCE0","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":"4b5a9543fcc4e50b636273f0b5f5a556af66ae56","datavalue":{"value":{"amount":"+0.8073479533195496","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":"Q3000613$160E8D9D-07E6-4858-AC6E-76CCC59F9E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1a6c4b6f92c768359d763caea18d181e83795","datavalue":{"value":{"entity-type":"item","numeric-id":2945604,"id":"Q2945604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19c3250732a82c156a31e5a4e7c9305762d2e72","datavalue":{"value":{"amount":"+0.8043434619903564","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":"Q3000613$DA6F7377-C2F4-499E-973D-CFF2DAFC310F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000613"}}}}}