{"entities":{"Q2986753":{"pageid":2997477,"ns":120,"title":"Item:Q2986753","lastrevid":85304057,"modified":"2026-06-03T06:48:56Z","type":"item","id":"Q2986753","labels":{"en":{"language":"en","value":"Reachability games for linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718026"}},"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":"Q2986753$8A40FAAF-BFA1-440C-A628-D77EBF30B64E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd7b548ee274ccdb5222116daa0e4fb8c6f9e3e6","datavalue":{"value":{"text":"Reachability games for linear hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986753$45C8314D-A305-4C1C-BE0A-4D43C47AE2C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63136d34299dec51fd82eebd0b1bc726074cdecd","datavalue":{"value":"1361.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$39CA4595-20DE-41CA-A240-80FD3844767E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"443f2405bb568257fc072362275b5761467f9470","datavalue":{"value":"10.1145/2185632.2185645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$081DE4FF-344C-40A5-9609-6B4CFF37D782","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986753$0E3D8DE4-4453-427F-8FF1-75BBA4AC410E","rank":"normal"},{"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":"Q2986753$FF667A11-68D5-4429-B609-8D41A8374A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6fa82ffc271e6dec09947def4ec4f24c145995","datavalue":{"value":{"entity-type":"item","numeric-id":391116,"id":"Q391116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986753$3C03E200-CB65-4263-A087-20C83ED635D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986753$E561612B-9707-4EA3-9E3C-90446B0CCF3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986753$913C32EA-15FF-4EA7-89DD-03E0F1D3E29F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$D2A0ED0C-1F43-45EB-9159-0723C5AFE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b10cf2d5239892c99d90d9e906d609a7e9ecb44c","datavalue":{"value":"34A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$686EA312-260A-4BCF-AECA-67DDB54B4893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$060D0AD8-20ED-46C6-ADE3-DDBC983CF24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$CDB6E97A-A3B3-42B2-9034-24363AD0B052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$32DBEE11-DE50-4049-B062-E67F525133EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$75FACF47-BDA1-4BA4-A735-1C331A6F1CBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8724257e2d3e890fc9a78f5ab3bbf9cd23847eb9","datavalue":{"value":"6718026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$785C9366-95C4-4455-8DC1-7D1092239D47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986753$7D27C54D-851D-48B5-9617-3F052053DFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986753$42055F87-E096-4C0A-803D-200E0A82CD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986753$1269CFEE-8119-4DF3-A73C-EA4A45EAC533","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986753$5B3A50A3-1851-4A92-9A5A-ADE3D555C6E3","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":"Q2986753$5C6BF56D-7150-4027-8FC1-08F02E978FAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9874089c9c2db94e0ce26ca11b00cdb18b2b0bfc","datavalue":{"value":"https://doi.org/10.1145/2185632.2185645","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986753$2AD38C7E-6D21-48AF-B2D1-157A581CF944","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35ce56cca04998eb31d2357b94aadd31cf19eb6f","datavalue":{"value":"W2052111815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986753$DF8B5240-6C86-47D6-8D41-8BB5EF345C48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4643a4a2d23444962e3537917240727f1cbbc401","datavalue":{"value":{"entity-type":"item","numeric-id":2628473,"id":"Q2628473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1b30dc65914a783eaa062f4f7406779ed07ff8","datavalue":{"value":{"amount":"+0.890414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$D0E67274-4D08-499D-A0A4-1D198A3A7108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70605785f7524bb38ba6d06ad46f03b84a4d499","datavalue":{"value":{"entity-type":"item","numeric-id":5423296,"id":"Q5423296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12d7c639591e557b0e206a30bf2cf00d0d7f73d","datavalue":{"value":{"amount":"+0.8817552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$63D439AA-B2AF-4D3E-B7B3-43A809EB4EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08031560e0d3f741f14854ffc411989272183461","datavalue":{"value":{"entity-type":"item","numeric-id":3587462,"id":"Q3587462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14873a0be1f22bf086512e84b73572477290748","datavalue":{"value":{"amount":"+0.87382233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$D83F2D04-25E8-4ABC-9EC3-53890140A6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4de3b906e1330f914fe6ae78f39b1159066bbac","datavalue":{"value":{"entity-type":"item","numeric-id":5754059,"id":"Q5754059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7099edc776d0aae3bc7f7a8c62eb62fb4f2e550e","datavalue":{"value":{"amount":"+0.87344146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$C59E12CC-6329-478A-BAB5-4EEB7FFD42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618ca43adfa15f5c0e5e0fe41cc24fbef8e96ace","datavalue":{"value":{"entity-type":"item","numeric-id":3569732,"id":"Q3569732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfdb4557f714a144d3d15ac95db79e20b664ccc","datavalue":{"value":{"amount":"+0.87228537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$8FE46FD8-DDAD-4BF4-BD2B-D99CBC4463E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3bd7f4b533479f8fec1bc793568eaae9efedb1","datavalue":{"value":{"entity-type":"item","numeric-id":5190321,"id":"Q5190321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1010a97596d2ded795d07437a234c095169e8472","datavalue":{"value":{"amount":"+0.8711164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$9454B155-F4A2-4BD5-B8BA-CEB34397E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a4942845fd741918d9db620614af2dcb26e6f3","datavalue":{"value":{"entity-type":"item","numeric-id":5163682,"id":"Q5163682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ff88b2ebb7c96e300f5da8204955bde4bd23a8","datavalue":{"value":{"amount":"+0.8698073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$05527093-C4DB-49F5-87E2-9D8ADA275F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18ba10a8f5acd460c746708e553ea1ac263efa","datavalue":{"value":{"entity-type":"item","numeric-id":5452725,"id":"Q5452725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04847305cea2c188a00351f79b771227b0ca97e","datavalue":{"value":{"amount":"+0.8677976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$F19A5416-00C0-40E4-8813-7F29553F8C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92918ce1936e9d4154d41d174a915fd4b3bd96c4","datavalue":{"value":{"entity-type":"item","numeric-id":1951600,"id":"Q1951600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a9a3189dcd5513d565b54a19af77c661c5ace1","datavalue":{"value":{"amount":"+0.86746377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$3C8A3C2B-E5D0-439C-8B85-A4842A0737F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc8f82d4a506bf698281c6b764f6acf69f951e0","datavalue":{"value":{"entity-type":"item","numeric-id":2920113,"id":"Q2920113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a9a3189dcd5513d565b54a19af77c661c5ace1","datavalue":{"value":{"amount":"+0.86746377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986753$BE33CBC4-9383-48DB-95DD-6A16D65F127D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability games for linear hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_games_for_linear_hybrid_systems"}}}}}