{"entities":{"Q1693831":{"pageid":1704572,"ns":120,"title":"Item:Q1693831","lastrevid":53008193,"modified":"2026-01-24T00:41:35Z","type":"item","id":"Q1693831","labels":{"en":{"language":"en","value":"Falsification of combined invariance and reachability specifications in hybrid control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833067"}},"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":"Q1693831$9752AA2A-80C2-4254-91C0-94EEA8D6D0F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0273a29e07ec161573f1c9c9a22c5343133611a7","datavalue":{"value":{"text":"Falsification of combined invariance and reachability specifications in hybrid control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1693831$D905F8B8-894B-4F99-8AF3-631B78B4384B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc407e49331a8ebe464d861eaa097da52444b074","datavalue":{"value":"1379.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$11083EAF-C603-432E-81F4-1AA7A8082BF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d267af53c05ef8a59d51186de6d0deec02acc8b","datavalue":{"value":{"entity-type":"item","numeric-id":682358,"id":"Q682358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$BD08BEA8-D01E-4560-868D-FCAF07659A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0247a9c2376be1a1f27bb4457444a713a13d89a2","datavalue":{"value":{"entity-type":"item","numeric-id":217834,"id":"Q217834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$DE5B2A90-D603-4184-9F1D-91A985ADED26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$3B8FD5CB-827A-4AB4-B17D-9856A31C3E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da8c0aa6df967c6639d7fba7f3234dcc05081616","datavalue":{"value":{"time":"+2018-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1693831$D4B373B6-B18F-4783-8FFE-CD4E4068BAA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$D22D8B0F-3C1B-4CF9-AD45-B9EF99BD24D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$EB04772C-8CCB-4312-A8A9-A6E37E2BB9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$F3BA78BB-67AE-40BF-92A5-64CA1EABBAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$951F42D7-0BDC-4E2D-B4A4-F03738C6C513","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26d0cdc0b97639cf870e23a51810e8ddb7904afc","datavalue":{"value":"6833067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$5F390F50-79E3-4FE4-86AA-90961FE3F797","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693831$E625F8F2-3623-46B6-B34B-B5C9DDC00CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693831$EF79DC64-0218-4482-9949-F61292213931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693831$7448E25A-8E47-4335-AB73-5D457881C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693831$B1B8E3BA-7AE6-433B-87A2-4F88A8AA8636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693831$8C01F4F4-C8BE-4395-AC39-CFDB5847A4FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$89C879BC-7CFE-442B-82AE-1B3A8EE48298","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":"Q1693831$D5E50DC3-CDE6-449B-AC3E-BA655B0969C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"763e1d7e780dcf0a47632be0f5d68c3d8fc10aad","datavalue":{"value":"https://doi.org/10.1007/s10626-017-0241-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1693831$C61C481E-796E-4005-9530-9D3AB3EE6FCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a6076e6e9c246fd7ce3c75ae041090fd0d43532","datavalue":{"value":"W2604553089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$4ACEB9BE-6112-481F-B996-E0E63F2B41D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$03460038-4C68-44FC-A17A-1A0FEADCDA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb24b2fbbc8df282d5ad9fab3a580bd2906e1de4","datavalue":{"value":{"entity-type":"item","numeric-id":1693819,"id":"Q1693819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$09421842-C70B-47CB-A4F4-F2EAB1EAD821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431c003f2fddfe24da4a952e8e4d16d9ce0bf2ab","datavalue":{"value":{"entity-type":"item","numeric-id":445917,"id":"Q445917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$DA402D64-EBDD-4B39-ADC5-B0769A9D6B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006105d6cc35a4c0c56f5ce79a9166a8101fd845","datavalue":{"value":{"entity-type":"item","numeric-id":3224358,"id":"Q3224358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$A15C9F22-30C5-4AC9-B81D-39DEFE5CB9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0af101ec2b4a57a5bd6580fb73a1e1551fc121e","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$B3819B39-0912-4E26-927A-D3BBED663F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b682a7759c78d8128ea2ef59d90cbd98256969","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$4AB85110-E096-420E-943D-D3E532F1DFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$15F9AD6E-70FC-4E52-943D-6D462FD452D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820738a090159326019a3bfeea91c7b5c48d8884","datavalue":{"value":{"entity-type":"item","numeric-id":2986759,"id":"Q2986759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693831$0CD4FF0F-A599-4D1A-9270-4B46CC1DEDC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"473531ecca07b22777e6a01672af23ba698ebe4b","datavalue":{"value":"10.1007/S10626-017-0241-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693831$011DEBFA-5B1D-4B77-9308-2034EACA3B20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91a48d11db7f4ee0942145d6c97715ec481d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33efde299095608b50eb34951319ffe3b3ff65f2","datavalue":{"value":{"amount":"+0.7784692645072937","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":"Q1693831$438C4E61-913B-41CB-A48B-3EB17ABF5BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7858d338ce183ceb46d4c501a552a68bceedc607","datavalue":{"value":{"amount":"+0.7441924214363098","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":"Q1693831$CC2A0553-BE18-410D-A65A-CD768F6F4DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ff6f73f8b89810baac6e385d0335a27f64cf45","datavalue":{"value":{"entity-type":"item","numeric-id":4246808,"id":"Q4246808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b9e25c9b7277e510844493d2bf5d8054434041","datavalue":{"value":{"amount":"+0.7126122713088989","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":"Q1693831$9390C4FF-E820-4701-B490-0E73009CBD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d6303ae62c20e2c1cd56dbc8affc68eb299212","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56d9fba657a4d2c417ff808793c9eef61c97579","datavalue":{"value":{"amount":"+0.7064943313598633","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":"Q1693831$5417E80A-0155-4E8D-A591-9983BC880D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a87d7b3029b20b70299b6564dd73d769f1349929","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd94e9ab89fbcf2763ea9044b8fceb8106c92e58","datavalue":{"value":{"amount":"+0.6953909397125244","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":"Q1693831$648057B7-3571-4A64-83C8-436F45D1274E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1693831","badges":[]}}}}}