{"entities":{"Q436418":{"pageid":438185,"ns":120,"title":"Item:Q436418","lastrevid":61815216,"modified":"2026-04-11T01:51:35Z","type":"item","id":"Q436418","labels":{"en":{"language":"en","value":"Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059159"}},"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":"Q436418$EA7B7656-434B-48C6-80F8-F18B29DDB666","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37343e96673637fc97b6afb346e0306dcf6a678f","datavalue":{"value":{"text":"Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436418$B6B3C650-7BF2-4620-B371-FB5E54F87E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b30af2df0880721662860de809d3d59e9d36c2c0","datavalue":{"value":"1243.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$9985FB02-A947-4DFC-BFAD-0D3067C175DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$D25D2765-5233-438E-8181-A8BA3D454063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9a9cccaad167939f3489dab6922592bb34a72c1","datavalue":{"value":{"entity-type":"item","numeric-id":436412,"id":"Q436412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$F98D3959-DB37-4C67-B9B9-D4700BB4C190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea8994ac8e4844f007ba7edf1860409bb4fabbca","datavalue":{"value":{"entity-type":"item","numeric-id":436413,"id":"Q436413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$153F943F-6ED8-4866-83BD-191BB2C2AAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"503ca8dfdfc3ea4e21c31638e27aeaf04ad9b104","datavalue":{"value":{"entity-type":"item","numeric-id":436414,"id":"Q436414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$47E11C68-336B-40BD-AA06-2A02F29D15EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e88757c0dc2b373d4046f0ce6cb5ed0163d931b","datavalue":{"value":{"entity-type":"item","numeric-id":436415,"id":"Q436415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$E341D631-07D3-40C0-A1DD-F328FA86FF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"618dff94aec38f24478b8597ebb886639eab98cb","datavalue":{"value":{"entity-type":"item","numeric-id":436416,"id":"Q436416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$30A1CCE1-FF84-4D50-BDC1-7A9DEC0A0C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$2B365F30-C40D-432A-A93A-25D2B5017B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9829c97940c180a7668c76b94f4880525364f96","datavalue":{"value":{"entity-type":"item","numeric-id":436417,"id":"Q436417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$DCF7A31F-ABA3-4131-827A-01B76EC8BFB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$EE36D8A9-5719-463A-AC0D-E1FC89471093","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436418$7ED4DF00-8395-4AB2-8313-BCFD105F7E8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$D055F3F3-EF2C-4F3A-B6A5-E9AF49378BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$E54AB8B6-E5FF-48E9-9230-648A283AAB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$35B5367D-9BFB-464E-893C-8FB21972A2FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91888166631f202400719b6167ef2d0d1c619ebe","datavalue":{"value":"6059159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$89DC048C-808C-4D83-AEDC-A1E05BA3FC42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436418$17CC073D-F113-43F9-B308-C15BD75AD5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4f4c6f22735a50175f03e5056e3b26acd23404","datavalue":{"value":"linear hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q436418$A19AB92F-DDF2-4360-A084-AEBC148779E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"babb6ae5ae653eb04c9941ae0ea38eca6ed58b11","datavalue":{"value":"symbolic representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q436418$71D3CBA5-882B-4EAE-BA46-5E03629E27F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dabab7474cbb0f2699a46898700dc8e95c8c6c8","datavalue":{"value":"non-convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q436418$3963AD01-F701-4B92-92E3-67573766516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7388f4049cdec623b7c6cbf80db7a4065a4a5350","datavalue":{"value":"redundancy elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q436418$5E9278C5-FF56-4782-9C4F-F2C43DA03A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75999b4145baf8e36d1aae9da7d6c1e17358728e","datavalue":{"value":"satisfiability modulo theories (SMT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q436418$6D7897A0-1F30-4884-88E9-3EF9A6B02C3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$81BD1FFD-71BC-4F3D-B441-39BAC4E5D8EC","rank":"normal"},{"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":"Q436418$5EAFEB1B-3BCA-4B5C-8FC2-7C47BE9540C8","rank":"normal"},{"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":"Q436418$D24F53D5-8187-4D2C-82FC-5AFF81F9B7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"772db43e12768da74f4da05c4ebd857fbb5ddbce","datavalue":{"value":{"entity-type":"item","numeric-id":18049,"id":"Q18049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$8BEF433B-20E9-4593-8EAC-ACDA28EEBFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$C739E1D7-E1DF-482F-A3BE-3406303349AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$FAE8B878-0417-4C12-B3F9-217DA6FD667B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b81a8c052e6b0f2f4261d853c035c983ec07f14c","datavalue":{"value":{"entity-type":"item","numeric-id":22277,"id":"Q22277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$650B3338-20FE-4E88-8287-C7EDF28803C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$82AFD7B9-9B1D-4828-AFF9-A19CF690E4E9","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":"Q436418$7B231E8C-9652-471D-900A-9B0BC017579C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b61aa5874fc97afa21591ee474273993d3069ef","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q436418$4F0B0ADD-5C77-4899-8BCA-E8ECAA247908","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6420b648901a640f4ec4714425d407b87c048df9","datavalue":{"value":"W2170622387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$B2F71628-0009-4AF6-B34C-20C0673CADFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85d471a4d13fba0fd1604d9ceb723dd9a597f49","datavalue":{"value":{"entity-type":"item","numeric-id":3522915,"id":"Q3522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$CC3F90D8-9FA4-4F57-BF73-0B8C27C93DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904c273cf2db7d190e558d5926261b1ee1c8bace","datavalue":{"value":{"entity-type":"item","numeric-id":3510811,"id":"Q3510811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$9C7B3D4F-888E-4EF9-9D50-56A87F36DF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deedeff2526c542156f111ef5b73ee3e5c728e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3617770,"id":"Q3617770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$436BB255-7389-452A-894D-9D3A6FF75B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cede91bdc77b210998cf5377e6c5a7cac216413","datavalue":{"value":{"entity-type":"item","numeric-id":5429335,"id":"Q5429335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$C3AF4D52-1F96-461C-B74D-778E5BB33C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$87B91824-3A7D-46BA-8D0E-2FD11B18DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9664b166d641fcc88f9dec148e06cd33528b438","datavalue":{"value":{"entity-type":"item","numeric-id":4806208,"id":"Q4806208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$CC94B705-55A6-4430-B28E-535389231FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$15979604-7D07-498D-8E3E-CAEB380E427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$D1CA7B35-0614-44F6-8A8A-613F73A6C835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$EA8243C3-AA37-4BE7-90DC-6FB14AC0CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$80977ED0-1A54-4C6B-9D5F-90025BCF64D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$CD2F5F63-53B8-4E9E-A122-F0B63883448A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$3EE00AAC-49F6-4BD8-B390-AD569583133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8540526587ba9ab44ff377f08358a333a676da5","datavalue":{"value":{"entity-type":"item","numeric-id":5900954,"id":"Q5900954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$B2B73246-356A-42BC-AEBF-DDCDC0E6347C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$F948F7B7-5155-4155-B1A2-10C38DCC4250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$1E0F42DC-C4D1-4A12-A9CD-2A7D8B8100E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5158b11b75accf5232fa18276318ec26e463f3","datavalue":{"value":{"entity-type":"item","numeric-id":5491856,"id":"Q5491856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$563BB092-603B-440D-8D0C-DCFA45F58527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287044077b582e9a462122d8a37c632519d945ea","datavalue":{"value":{"entity-type":"item","numeric-id":5307451,"id":"Q5307451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$BB8201C2-AF41-4A2A-A45C-C64328073EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$86BD1AE7-15FE-4134-8D92-7C866698837B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e3b9080287225db99f33816b5af9675f145d43","datavalue":{"value":{"entity-type":"item","numeric-id":3612995,"id":"Q3612995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$7C38E959-4EFA-4497-AF49-B623FF54A98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c4252d7d980545543cc918e92286a79060f15e","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$2348EAD6-6BFA-4C29-833F-4C6ADDD47FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17227eab8c4ab9c03769b3696e360e757a8518fe","datavalue":{"value":{"entity-type":"item","numeric-id":868432,"id":"Q868432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$DB2EE361-16EC-4900-A490-1D66DBEAAE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$50C03ACD-EB25-44E8-9A57-6A02CC56EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$5199823A-3880-4E03-AB97-3F86C3A9A52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b37db1f75b1fe2bd91d3915bec89ade0194420","datavalue":{"value":{"entity-type":"item","numeric-id":5659571,"id":"Q5659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$81DA6D4C-CEEF-4DA3-B8D7-5C6C28C7165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436418$FEB14CBD-BE40-4FE3-962B-18711B699BA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47a43e6ea493b10b0cacd02369975cede0d3cebf","datavalue":{"value":"10.1016/J.SCICO.2011.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436418$C6DF9B96-D111-4B74-B2B6-923FF1E46612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade777c2f0f26336d4719420e4d23dcba4f39a68","datavalue":{"value":{"entity-type":"item","numeric-id":3510811,"id":"Q3510811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8251fbc26e38c4dfa3e71fd891b271c1ea3486","datavalue":{"value":{"amount":"+0.8948708772659302","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":"Q436418$6235EB1E-021A-4DBC-B15A-148A19B8EEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feae8dc0560b7264c4493046e4beea2afa5d066","datavalue":{"value":{"entity-type":"item","numeric-id":3522915,"id":"Q3522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbf6e817458132c52b9d735ab10e56d0e8f1bac","datavalue":{"value":{"amount":"+0.8498740792274475","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":"Q436418$A8D8BE82-224B-4A37-B688-905C001ED0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255f99d09dbd1959be21800f909d08bf03c9130f","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea75ebbe1e58d38c5a0e0f73288bc27c875baa47","datavalue":{"value":{"amount":"+0.7668582797050476","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":"Q436418$809BB5A5-E60A-4649-B572-50FC8C47B9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071652d2a3eb0f138f079ac34f7ca08f27d9d80d","datavalue":{"value":{"entity-type":"item","numeric-id":5429335,"id":"Q5429335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c905cd37bfbe781e07c4a24fdf3fae8d9b586784","datavalue":{"value":{"amount":"+0.7621058225631714","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":"Q436418$D89FB48A-B86C-4E80-B9F1-6F65F36567B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc090f046e06c5ba7334a65d09ac894baadafbac","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b1bfc23754006f465f823eeb738ecc908b68d8","datavalue":{"value":{"amount":"+0.7580288648605347","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":"Q436418$DAFB2C56-FD56-4DB9-B559-798CEA3AA59E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_and_fully_symbolic_verification_of_linear_hybrid_automata_with_large_discrete_state_spaces"}}}}}