{"entities":{"Q3522915":{"pageid":5552819,"ns":120,"title":"Item:Q3522915","lastrevid":50446034,"modified":"2026-01-14T01:59:42Z","type":"item","id":"Q3522915","labels":{"en":{"language":"en","value":"Automatic Verification of Hybrid Systems with Large Discrete State Space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321067"}},"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":"Q3522915$766E039B-9C2F-4D60-A39E-B7C858F734D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"287c3e0964daa107310a763a28fd8f9bb0002f6c","datavalue":{"value":{"text":"Automatic Verification of Hybrid Systems with Large Discrete State Space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522915$39D7D72B-8B5A-4653-ADB1-7043D302210C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d6f52632e2b7758faf75cc7c3901f913a007462","datavalue":{"value":"1161.68562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522915$B5AB3255-5804-4363-B601-E93048D7F614","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f306b2908d8174ae591ab2df1be4f0b791244e4b","datavalue":{"value":"10.1007/11901914_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522915$C72F16DD-6CF3-44BE-9F9F-7AA09335646B","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":"Q3522915$3336941E-BED1-4449-A26F-1FB99632C940","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":"Q3522915$D961C436-24F7-43A7-9050-0776D519689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"529befe38d0a6ba09412eb0a1deff4d2b35f1d09","datavalue":{"value":{"entity-type":"item","numeric-id":3442636,"id":"Q3442636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522915$CA393D46-E2BB-4D46-90D0-5E1280D58126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522915$6D0BD8F9-B827-4D67-ACC2-CC85CDD5D76B","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":"Q3522915$18BF97C0-A5BC-4A71-8D5A-C843E466EF3B","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":"Q3522915$6E1024AD-EF9E-4805-9D63-B9A2D7E5B370","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":"Q3522915$85C10246-E54E-42DA-A456-E140DABDC81E","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":"Q3522915$CF21BD25-FD6B-4768-8C15-701B05B7580D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522915$7A202BE2-4FC0-44CF-9805-F5780E7568F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522915$F362A51C-F827-445C-A927-9646FB6322C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522915$773421A3-85DF-4F7B-8B69-BEC70E885ADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"191b66259d3d88534d8f559678365dcf554b2adf","datavalue":{"value":"5321067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522915$BBCF8079-D3D0-4F42-B428-B72A24025B7E","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":"Q3522915$ADE403D2-808A-4991-9594-51E281BC3CFA","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":"Q3522915$B875619F-E337-45DC-95A2-A6DEF84B882F","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":"Q3522915$4DE91740-450C-4E7E-ABE8-75C999F73F09","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":"Q3522915$9D2CAB7D-558C-47F4-8E5B-7BC169FF65FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b964c396f2e878565cd89b9ff2c0e571a6911182","datavalue":{"value":"https://doi.org/10.1007/11901914_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522915$43928E38-716C-4700-982C-6F51672FC573","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"839142739976718a4f40f007ccc009d276698252","datavalue":{"value":"W1599863298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522915$A82A97E7-683F-451E-B444-A304DC484D4F","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":"17a283e7fc26e4c3d8c9bfd539625dd2b905e43c","datavalue":{"value":{"amount":"+0.8503251671791077","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":"Q3522915$4F6290D8-14C0-4A25-9A4B-BB3EE088C483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb964de034de371cd048d49626debebe234a8eb5","datavalue":{"value":{"entity-type":"item","numeric-id":436418,"id":"Q436418"},"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":"Q3522915$CE57D4E4-9046-4300-A31F-644825853E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a2c00d156902668c0979d24425e406ec681c81","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b659007ae177d43d44c66326a7481df773df4d","datavalue":{"value":{"amount":"+0.7919110059738159","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":"Q3522915$4B0AE2D7-374C-41B6-B7ED-D5FEB6588052","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":"fab27ec8402a452d48511810f7121d98efdabf4a","datavalue":{"value":{"amount":"+0.7841405868530273","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":"Q3522915$906DE882-E262-4734-992B-E3BD1E3ACE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791cf737ef7f9fd032e937bf530521a62c362abb","datavalue":{"value":{"entity-type":"item","numeric-id":3612989,"id":"Q3612989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b6522a0189db45fe987b5107d800562de479d5","datavalue":{"value":{"amount":"+0.7811848521232605","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":"Q3522915$05B500B9-051A-478D-B766-9D115A3B1CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522915","badges":[]}}}}}