{"entities":{"Q3510811":{"pageid":5540715,"ns":120,"title":"Item:Q3510811","lastrevid":88438343,"modified":"2026-06-04T14:31:28Z","type":"item","id":"Q3510811","labels":{"en":{"language":"en","value":"Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297053"}},"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":"Q3510811$892033DD-A31A-41C1-9005-ADEA3DD3B6BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2a9507faac1718eb7fbf4840991c1d241cfc93a","datavalue":{"value":{"text":"Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510811$B6FA8AB5-FD4E-41FC-9BF9-B5B048F55F58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9af0d29d1108865921b5fbe26fbf01977cd5d0e","datavalue":{"value":"1141.68461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510811$CE4612A4-AECF-49D2-B47C-C91229CA7D74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ec56137ce73b19f9c97cd7f58b1dc73189925e0","datavalue":{"value":"10.1007/978-3-540-75596-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510811$B008D22E-3A8F-41EC-936C-EF37DB9125A4","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":"Q3510811$77FA81D4-A9CD-4003-9FAB-CB80D198EE5C","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":"Q3510811$3CA0D941-1AB8-4831-A86D-8F7418DE813A","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":"Q3510811$57FD72E4-8E41-4419-92D2-2545E7ED4DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510811$FDBA9B89-A567-4323-A410-7B220F822A2C","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":"Q3510811$24FE3571-B29A-4D28-AB17-40A1FF361185","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":"Q3510811$8C332D7C-049C-4453-B8E5-FFBBCD620C91","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":"Q3510811$4FFB85D2-42F2-4127-BD15-B1ED02CCE5F8","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":"Q3510811$489E1C08-8CA4-4226-B87D-B341F7626A2B","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":"Q3510811$834856E4-B6A2-46F9-B317-415A250FA7C5","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":"Q3510811$A99B9587-1291-4EBC-98A8-012EF10E7A68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510811$BB4BD167-DD42-4DB8-A00C-3CA339D86AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510811$6575D331-09DF-4E0A-BDB6-37FFF24F3CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510811$2D126519-1FBD-45B6-B2B2-A257E3399065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ba526e8214c9b5847c16ffe508a2f7dac50fe58","datavalue":{"value":"5297053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510811$030D0F65-41EE-484E-A2DC-25B6123C4B33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510811$277E88D7-1AF9-4419-85B5-1A0DD5208E39","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":"Q3510811$A67F0E63-C0B1-482C-9BCA-695D0B4543FB","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":"Q3510811$A7434032-4343-4187-8F31-1E0948434AED","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":"Q3510811$5C5EBA66-D7BA-4A37-82AB-B04429A0E816","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af1cd0cbe7c75c08c8d13aa68bb15e1bc189363b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510811$91B58242-B01A-4CC7-87AD-00B684C2828C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25b2b035086ef95e035799951ee78956b1bb7a1a","datavalue":{"value":"W2121909093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510811$C6E5C858-07CF-4F67-A5C9-8D8E8089B204","rank":"normal"}],"P223":[{"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":"Q3510811$5B68F3F7-06B8-4A76-A3A7-E76A9C729C89","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":"Q3510811$E75C044E-1FB2-42CC-B8E3-5DF803C105E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510811$AA82BB1A-B4BE-427B-9C4D-7CF2D73B3C97","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":"Q3510811$188C753B-CF59-4A34-A9D9-23580137AA9B","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":"Q3510811$52DD91A6-BEA6-4549-8E51-4D69E7C0B64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa6252f9611a459f0900a236bd5a2a5de342d69","datavalue":{"value":{"entity-type":"item","numeric-id":5756730,"id":"Q5756730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510811$FFA7E917-C434-4351-8862-A0C969B9911D","rank":"normal"},{"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":"Q3510811$8518345E-0FA7-4B8D-A2D2-20305A9D8E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4e2c9ced5d4712927dadd7766b626d1457443a","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510811$13D8B7B5-9F38-4A7D-995D-23E5EDE36E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510811$8E5EF334-54F0-4AD6-8A97-9C4DAEB6AD5E","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":"Q3510811$8522D637-6D67-46C3-96B9-9859B9D6F67B","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":"Q3510811$E917B656-8DE6-4F11-9F3C-1600326A9AC3","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":"Q3510811$1D7E860C-08D6-4568-A10F-2AFBEAF6A574","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":"Q3510811$2E6CD272-5B78-45F5-A958-05B2CC0DF477","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":"Q3510811$BE6A9676-FE1B-4AE1-BB7A-47290FBD1261","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":"Q3510811$74CE7B8F-9785-43AA-BF06-717339ED10A6","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":"Q3510811$73147A14-468A-4466-9FDF-6982DCF3CBEF","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":"Q3510811$AE932BAB-9543-49F7-B68C-EE877412BB25","rank":"normal"}],"P1643":[{"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":"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":"Q3510811$177A1D0F-BFB0-48D2-9167-0AC6D5A24B8B","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":"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":"Q3510811$5F5FF1B4-D44F-4B0A-9EE4-16E828853F7E","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":"c21dd2acd9567de50f464268cc9a9ea9c152ba87","datavalue":{"value":{"amount":"+0.7315917015075684","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":"Q3510811$D1A0A133-1277-4F16-B103-5BD51D0B8360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2267b227110c7c83865e58b945338946a9028675","datavalue":{"value":{"entity-type":"item","numeric-id":5696928,"id":"Q5696928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea42a143d3b4831a8e7533d7efcfbc23671b99d6","datavalue":{"value":{"amount":"+0.7251814007759094","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":"Q3510811$079B86F5-56AB-4F3C-B352-E9B9AB096CBE","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":"8814f7238ef2ac17b480372d9af541e56495e64e","datavalue":{"value":{"amount":"+0.7245684862136841","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":"Q3510811$F5D012F4-51CA-4151-814A-5B29BF964A67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space","badges":[]}}}}}