{"entities":{"Q386611":{"pageid":388378,"ns":120,"title":"Item:Q386611","lastrevid":61454175,"modified":"2026-04-10T23:28:46Z","type":"item","id":"Q386611","labels":{"en":{"language":"en","value":"Automata-theoretic decision of timed games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236851"}},"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":"Q386611$24D94A63-B7D5-487A-B9E6-CCC368BD78D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a2806b85a81933c0b2ab5aacc7b9229392774b0","datavalue":{"value":{"text":"Automata-theoretic decision of timed games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386611$DC481B32-0908-48F8-B513-7CE97BE8F526","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e995b5a85ec77ff79b03128f06c04175b8ec9bfa","datavalue":{"value":"1301.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$88BB7BB0-2355-4D62-A64D-7FFD8ECA197F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79eb43ca4898bf0c605980468e2cfd77498bc71","datavalue":{"value":{"entity-type":"item","numeric-id":386609,"id":"Q386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$5D5CF299-BF1B-4D6D-951E-D031DC11D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$611D180B-F891-40A1-8B4C-9603FE4B19A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$BFD77435-DA4B-47FB-8E40-BC7839F9B3F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$EE9EAC18-9377-4CF3-B0E3-395E745F1AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386611$D8EC3B24-D7C1-44B9-B6A9-AF11378C29C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8fe7ce4e5d1f7abde8da9cb7bcaededc618fd34","datavalue":{"value":{"entity-type":"item","numeric-id":266862,"id":"Q266862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$B7BB0109-C9C6-46E2-B3D3-D55E2B027530","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$2F36F24B-75A6-4606-9983-7F9A6FD3C79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$084679BF-0233-40B4-AC49-7780389D1255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$C94328E4-9AFA-410C-93E5-0DE4D6A01C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$3B8FAE1D-DD8D-4752-866E-B0E80146AA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$A63463AC-903E-4972-BD5A-0EFEC691695C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5d24c2d966b001e5bfb47dfc1bbe04bb7631f63","datavalue":{"value":"6236851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$D6C7F867-B67E-4DC9-BFE3-32CDBF90F157","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b967df58bd1b5e5fe380a36a7ee5d31c751f1","datavalue":{"value":"timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q386611$100A8650-286C-43BE-A404-48E3D6AAB20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q386611$CD5C183E-48E9-4984-8A45-095090FB838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q386611$A94A6A46-0BC1-4FEA-8673-7D3583131A70","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":"Q386611$4519D361-C7A6-4577-8B19-E1A89C6FECBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68535453c6e86bcaa548156adfe1f8cb4e821e8e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.08.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q386611$049E9FE6-9622-4B08-8832-99D4F00D2D52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2fd0e951b2774b7e980e1504a4f55c68c7e82f4","datavalue":{"value":"W2147098470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$8D8F1B20-56E1-4FE7-A61E-53B2FA41532B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$9BF81B7F-B619-4220-987C-ED788AF48086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$1470ED06-BCF1-4F09-ABB6-525AFFB2F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$5A735145-EC09-4456-B1D8-38F959878684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$88E14C40-E976-4CBE-977E-A4817B67C8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$93A09795-ED5B-4272-BA0A-BC9CFAE25595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afaa1d852f39ae52a99ed708b8dc1172a453b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5900671,"id":"Q5900671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$FD3D0F25-F82B-4D55-9107-65F4EEDA4B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7abe657e72f3daf8eaff63078da88ac7bd19c9","datavalue":{"value":{"entity-type":"item","numeric-id":2368953,"id":"Q2368953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$404B8AD6-156D-4F7D-89F1-61F78108D8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$DDC45852-2381-4234-8C22-83E39650EAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db169c0702923a9044a5e73e76d9e4cdb83839db","datavalue":{"value":{"entity-type":"item","numeric-id":1951589,"id":"Q1951589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$897731A5-B8AC-4C0D-86BA-8E091D16D3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$1E0D177B-7A36-47F2-BE60-F89F1F366990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55aa037effa8acdc919e009e95dac914e5bf5fd2","datavalue":{"value":{"entity-type":"item","numeric-id":391117,"id":"Q391117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$1134C4F8-0909-4D0B-BD2E-13E1A6AE67A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db46db76d0023c025ce9f7fb9cf293438608b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5190321,"id":"Q5190321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$2B58D53E-DD1B-43FF-AF8F-55746AB06B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f073a102f73a768ec97f96a5b036fb05adda19","datavalue":{"value":{"entity-type":"item","numeric-id":3167005,"id":"Q3167005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$311FB51F-EECC-4D36-9A75-C7A3CF145E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$23741ACF-07B1-4791-9B69-5EE68F7BADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6eb349a791ef34219aa97210664902e99ca1cb","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$B116942C-9B34-4364-A087-919CD8238CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee5d1a47fed42f4cb305863bd5a206fba8d77e8","datavalue":{"value":{"entity-type":"item","numeric-id":5897954,"id":"Q5897954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$A304B447-A845-4504-8BB2-673F7DFABDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$50117316-6288-4F7B-9E0E-286DC07CE08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$F79AE3CC-F8AD-495D-9ECB-838889D3E7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0ff171afd6ac8bc73847ff588b790c3abdbbf5","datavalue":{"value":{"entity-type":"item","numeric-id":2908843,"id":"Q2908843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$08AD23C2-C2D3-4BA8-BADB-1A02724F1314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27abfb6446279e286578ecf9df9ba6238833c82","datavalue":{"value":{"entity-type":"item","numeric-id":3564866,"id":"Q3564866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$E8D297E3-073A-4F1B-B0A0-4187B914BD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$7B579459-02BB-4E54-9907-15DB69585662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e28a63a473458ad1a14e4d5393c47e4fe0b188f","datavalue":{"value":{"entity-type":"item","numeric-id":4736990,"id":"Q4736990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$8E73A01D-38F6-49C1-9F5D-C9608C983431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f744953abe92fee7ebcca2ae553853038af50297","datavalue":{"value":{"entity-type":"item","numeric-id":4270068,"id":"Q4270068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$0DA7408B-87CC-4786-A3BF-B3E1987B814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af25567ed0b911a6092652dd419a4726b8e49b1","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$43948EE6-6283-4CCB-B884-3A7C95D716A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$16988ADB-3746-4284-8C7F-459D779A8F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$F376873E-37E7-4910-BA4F-7199217B504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c5bbd3b8e470dd31dc1212c99b172ffe923fdc","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$3A40732C-8E5A-424B-A2EC-FCFFA85815E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e819a7401ab6849b5889a3d2056677d0a10a0cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1608932,"id":"Q1608932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$C822E5A5-F487-4259-81CA-75B687BC72C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc0e27210deaf38dc035daa9bab6e0bc1f442ca","datavalue":{"value":{"entity-type":"item","numeric-id":1395427,"id":"Q1395427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$FD9409A6-6CFE-478F-9F82-8D37C35A8927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf17a72fcc32baaf51630e51b10f45149d6f862f","datavalue":{"value":{"entity-type":"item","numeric-id":2914371,"id":"Q2914371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$DDAE74EA-4ECD-4483-BA45-2C0BF09F5374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddf3a2d99d17f37e7420b8893adaca28652231c","datavalue":{"value":{"entity-type":"item","numeric-id":2908844,"id":"Q2908844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$F65C79E7-7B56-4E07-8175-8370DA8F783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fef18e1cfe012362d428323226ebd3a9db1f5e8","datavalue":{"value":{"entity-type":"item","numeric-id":5505563,"id":"Q5505563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$7DA41BE3-1441-49E7-A63F-3465880F9298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$68E57627-C689-4E8D-9333-C7923E797930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$6BB45B95-3BF4-40F7-A762-0CC2F9704E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$F53BBDC3-A4DF-4A47-85DB-A468FA13CBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$0EF4D04B-3A88-4522-9BA9-8222BEB5DC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$DEE54ABF-1C76-48B1-8750-ADA75B7DDAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$DA6665DD-A901-4390-87BC-7DC432138329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17289d83554f7d2d64aa354bfeecb4fc774e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":4964725,"id":"Q4964725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386611$B69340DC-311E-4D4A-A1E4-FB824C491EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab21707e34fd05aa6321f51cafd16d9878bc424f","datavalue":{"value":"10.1016/J.TCS.2013.08.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386611$EC8553E2-46F0-4C19-B3FC-25F5198FE7CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3f47ee88d2f25b43cb7a9f11b9bb6aac28a532c","datavalue":{"value":"This paper presents automata-theoretic decision procedures for timed games with winning conditions given in either (untimed) CTL or (untimed) LTL. It extends the preliminary version [\\textit{M. Faella} et al., Lect. Notes Comput. Sci. 2294, 94--108 (2002; Zbl 1057.68057)].NEWLINENEWLINEFor a CTL winning condition a winning strategy exists iff the intersection of two tree automata is not empty. The first automaton accepts representative samples of strategies. The second automaton accepts trees that fulfill the given winning condition. The number of existential quantifiers in the winning condition is used to limit the branching degree in both automata. The procedure for LTL winning conditions is based on the same principle, but somewhat simpler as the branching degree of the automata can be limited independent of the winning condition. The complexities of both procedures match known lower complexity bounds.NEWLINENEWLINENo implementation or experimental results are reported either in the paper or in papers I found citing the preliminary version.NEWLINENEWLINEThere is a paper [\\textit{M. Faella} et al., ``Dense real-time games'', in: Proceedings of the 17th annual IEEE symposium on logic in computer science, LICS 2002, Copenhagen, Denmark, 2002. IEEE, 167--176 (2002)] by the same authors that uses part of the ideas in this paper for decision of timed CTL objectives for timed games.NEWLINENEWLINEFinally, there is a small mistake in Example 1/Figure 2. If the dashed edge is removed, then \\(r'\\) cannot be reached: in \\(r\\) we have that \\(0 < x < y < z < 1\\), on the edges we have either \\(x = 2\\) or \\(y = 2\\) (hence, \\(z > 2\\)), but in \\(r'\\) it is required that \\(1 < z < 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q386611$6523A7F5-F948-43F3-8F7B-9A5871C70719","rank":"normal"}],"P1643":[{"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":"44d10416c01fbfce9cd884b957a31a73853cf145","datavalue":{"value":{"amount":"+0.8308124542236328","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":"Q386611$B5E3E645-A498-4BB0-BD94-D59C99B821E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14380a7508591f79a0a28c3798f717a15fc6b581","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549077b42ad68a12b0cd7ebe5976c90c394b409d","datavalue":{"value":{"amount":"+0.7743942141532898","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":"Q386611$974A9E1C-E484-4EDF-948B-8371C2EC1766","rank":"normal"},{"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":"89093f1eefb6ec1cd5426f0347fee70ff00d3b5f","datavalue":{"value":{"amount":"+0.7540425658226013","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":"Q386611$F22FD61B-AF0A-48A4-B294-DBB993B7D7F0","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":"eab9d253d0e47f769126d56551abeabcf88d3a7a","datavalue":{"value":{"amount":"+0.7509912848472595","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":"Q386611$B54028DC-1667-4A1D-B12F-2B090C0F7278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8f60320e03a3256f254d68a867ebd034ab9dc7","datavalue":{"value":{"entity-type":"item","numeric-id":2851673,"id":"Q2851673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080191a317e4b1ad0cc51ec8e3ebe9a483cfe69b","datavalue":{"value":{"amount":"+0.7389792799949646","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":"Q386611$5CA720EF-1E6A-4210-9350-71ED0476CA47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-theoretic decision of timed games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata-theoretic_decision_of_timed_games"}}}}}