{"entities":{"Q3612979":{"pageid":5642885,"ns":120,"title":"Item:Q3612979","lastrevid":50602373,"modified":"2026-01-14T13:04:01Z","type":"item","id":"Q3612979","labels":{"en":{"language":"en","value":"Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527771"}},"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":"Q3612979$2C0CCD6E-BEF2-40C0-8D1E-DC93F1D9DFCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22a96dd25dddf168cf3724be3581817f168be914","datavalue":{"value":{"text":"Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612979$9E057DAD-B97C-454D-99AD-61477661FE49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76bc0af03287b1772d220760e2164a056abed3c2","datavalue":{"value":"1221.93115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$4A0ED354-1FD7-4458-9C98-01989DFEBAA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"247342f619f00a000d96962d8e49255bde10bd0c","datavalue":{"value":"10.1007/978-3-540-71493-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$58473103-203C-482E-922C-BD4BD255E8DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3492802310ea237e48fe4aa2834169fa16ff3309","datavalue":{"value":{"entity-type":"item","numeric-id":533359,"id":"Q533359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612979$8758C9FD-8C8A-4EEF-B11D-2D6CDEFE2144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ac1c8d7a11c9062a06e56203362ec688330aa8","datavalue":{"value":{"entity-type":"item","numeric-id":832171,"id":"Q832171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612979$CF24B87C-31C7-4C37-B10A-FB42A5E51F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612979$5785B8F9-D2B1-46FA-882A-4E45259461EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612979$D53EB8EF-FC49-4F75-ACFE-DC1CD2A823E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612979$DA1B28BB-F550-41B1-9565-8A62E33CC77B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612979$09994E5D-4717-43BF-8518-FA88051A4B3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$3284F3E7-1AC9-44FE-BB11-C4D68F822909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$300B6371-60B4-4A88-9108-8139BE191167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$F7902B19-DC75-44B4-BE06-5CB3366BAC7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a58fd06579f23521d785f2cb43513f6c63d340","datavalue":{"value":"5527771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$1DCDE6E2-6C97-40C4-86D2-1E523FF9FCF4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612979$1C3C5A22-DA9E-44EA-A230-4B964D43B16B","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":"Q3612979$20FA62F0-3A99-4D1A-838A-AED37F28E5B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dd9e7825e8a7c6f1be925c6f2480e2af1f0deb2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71493-4_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612979$92759AD1-3BE0-4169-8553-448F2A867454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfa54a395aea2a35d2e00f2cf4766b8b247722bc","datavalue":{"value":"W1844911504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612979$24EB5093-3CEB-447D-891D-5C91F52029E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b4a8f57a24f13d28b6fe15160cb5ba3afdd99b","datavalue":{"value":{"entity-type":"item","numeric-id":3523144,"id":"Q3523144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4593242e27caea679c0f1c492e83f1989541301","datavalue":{"value":{"amount":"+0.802094042301178","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":"Q3612979$05DA9E42-FE9A-4369-A21A-7EAC04246B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec7866f7d50d75152ca45ca722e4c2b9caebd3","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e0580864782dcdb13d782a2a61145f39f13ef8","datavalue":{"value":{"amount":"+0.7831645607948303","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":"Q3612979$A36131D9-FFA1-4FE4-AB29-1982995E3D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14ad7c2b436480479f01d829aea05fd0672aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31faa6ab9dea9dae940372889d20cf39ad91224","datavalue":{"value":{"amount":"+0.7697505354881287","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":"Q3612979$55C73C38-F905-4728-847D-3FE03A4A7FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f2cb779e50d13cea7655b85aa0ff9190ba9c77","datavalue":{"value":{"entity-type":"item","numeric-id":479819,"id":"Q479819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7ef41a466a9d38156a640cbc8ca81dc04bd6b3","datavalue":{"value":{"amount":"+0.7661646008491516","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":"Q3612979$38D898B3-E96D-4AD7-8641-308F4698D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf0fe12fc0434ae3384afaf68b5865440bc12b2","datavalue":{"value":{"entity-type":"item","numeric-id":2864385,"id":"Q2864385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211e2bc7df9bfaf4bfb4738eb3a781dd5e0d205f","datavalue":{"value":{"amount":"+0.7596601247787476","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":"Q3612979$558E65CB-42FC-420A-9C93-730CE75369F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612979"}}}}}