{"entities":{"Q5428863":{"pageid":7458437,"ns":120,"title":"Item:Q5428863","lastrevid":58567764,"modified":"2026-04-05T19:13:14Z","type":"item","id":"Q5428863","labels":{"en":{"language":"en","value":"Reachability-Time Games on Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215620"}},"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":"Q5428863$42C85CD7-F940-4DC8-A731-C611332F2724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71677474af14eb43c9fe280dea60d9c065fbb9c2","datavalue":{"value":{"text":"Reachability-Time Games on Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428863$E71B688A-E04F-47B7-A095-0E52DA653FA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21ec192cbd36b87c552726b2b9a196c92f16dfab","datavalue":{"value":"1171.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$5C0FFCDA-5C02-4A3C-BD9B-ADBCE7AF63EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79650617bee3c799c5a9caac7283a3f61b73ca1e","datavalue":{"value":"10.1007/978-3-540-73420-8_72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$02D4ECAC-8B9E-4996-A896-95AB3D3C8FDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428863$D5017D8E-BCE1-4C52-8259-861CD3D5A4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428863$8707C8FC-B78E-4E57-BAC8-1D1ADC1BA719","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428863$3E45C258-FD6D-482B-9A99-A903F0ED5846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428863$81A83131-9684-406B-964A-D8A2F17A00A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b29265ec5a2b77c6f837cd5c2212639b699370ab","datavalue":{"value":"https://arxiv.org/abs/0907.3414","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428863$0E9BAC37-16A0-4A27-B7BF-28D24921F1FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$B07FA7BE-9BAD-4BB7-A412-FF43478B9E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$64BCA922-3C95-4D9E-9484-AF17B4A772F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$B91E8DE2-B6BC-4E06-8A39-6A7FF88F2B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$E6509E5B-8D60-41D5-9313-4612DC8B2787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b70a4f7a86e7a78085b958fc62f3ebe69f663255","datavalue":{"value":"5215620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$646AA06C-B286-47AF-BDC0-CC4FCEE5BFF5","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":"Q5428863$16AE3204-57DF-480A-8357-5A0FB6950341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"068c4236e8b330e039198eed405e315a9e119338","datavalue":{"value":"W2951439219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428863$DDD239A0-8F6C-4107-8361-A4B814F391E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba265931e97e3e5c07d06f80d76eb145a640b18","datavalue":{"value":{"entity-type":"item","numeric-id":5428862,"id":"Q5428862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db60bfea6ec2d09b4a9a8120312bbf3e80bfa5c2","datavalue":{"value":{"amount":"+0.8930021524429321","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":"Q5428863$A2579FBB-04B4-4BF6-875B-0F64ED246913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594b38a05abb704cfc94b7ed50a9e8213a0c33a5","datavalue":{"value":{"entity-type":"item","numeric-id":5897953,"id":"Q5897953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774d491b848a90e0fca61e2a3981db44da1c821a","datavalue":{"value":{"amount":"+0.8819782137870789","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":"Q5428863$0308086D-F601-4C34-86A4-44595AE8EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18efb13dbb5cade345379fe16e13869d05e6c171","datavalue":{"value":{"entity-type":"item","numeric-id":4965809,"id":"Q4965809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82be64b173c6383303282608f81510223da836f","datavalue":{"value":{"amount":"+0.8682031631469727","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":"Q5428863$D1AE6DB2-4D05-42CF-A8F6-6290D8D37824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df4cf8c8849b3342835b001b819027f70f09184","datavalue":{"value":{"entity-type":"item","numeric-id":278757,"id":"Q278757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dd991d9765a5051d55e8d9f671e7a13c1ccb76","datavalue":{"value":{"amount":"+0.8644494414329529","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":"Q5428863$45F6A11B-0236-4E56-81C1-E443A29A8C45","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":"09fd7379492b1a7bcc0e0c2598efe0db8c4c0562","datavalue":{"value":{"amount":"+0.8508332967758179","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":"Q5428863$C1CFF6AB-FF39-429F-B7E1-EE670CCDBBA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428863"}}}}}