{"entities":{"Q2178216":{"pageid":2188959,"ns":120,"title":"Item:Q2178216","lastrevid":57763836,"modified":"2026-04-02T10:35:28Z","type":"item","id":"Q2178216","labels":{"en":{"language":"en","value":"Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7198080"}},"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":"Q2178216$C1943C39-EBCE-4604-832E-7B8344817730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53386b73594b5bcc1c4ec95d2e89aafbb6056275","datavalue":{"value":{"text":"Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2178216$C8F5988C-46C2-4F9E-8D66-21B46C67C8CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d98118bccedcc147add9051c186b482b4c781e5e","datavalue":{"value":"1441.93132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178216$DC7523BE-524C-40B5-A4FD-AF1A01AE52E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd55940bb574b60083118273e134fc07b1d8c9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2178215,"id":"Q2178215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$6BB44C43-E41C-4D6B-9617-7E59C47B548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58337003ab1facdbf372d4002ce21c0c936757ac","datavalue":{"value":{"entity-type":"item","numeric-id":254615,"id":"Q254615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$FEA5A77B-5EAC-4E5F-827B-8E590FD87A59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$C73421C5-09E3-495F-BFAB-15F8C1B16A6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b0b521676d950468ecb32ef53d7d65df0b91dd","datavalue":{"value":{"time":"+2020-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2178216$A0784C61-74FB-4C69-8477-75E4D8EFEA25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad11304a65f4a3674804099a9119ff09a9680580","datavalue":{"value":"https://arxiv.org/abs/1807.02574","type":"string"},"datatype":"url"},"type":"statement","id":"Q2178216$FD4BE077-3AAD-489F-B8DF-02B751D5C41F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178216$6358F43C-3EFF-4565-8BBF-DA324BE7CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178216$122BD69A-FEFE-4FBB-84F9-0CDF7F1771DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc252bf57443c73f2f3b90c2ad9b2431588e17d9","datavalue":{"value":"7198080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178216$6D9145C7-5FB2-4905-84C6-1794E296CE00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178216$1CC6FF72-CE62-4209-9C58-E0A9ECA4E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178216$4C2D166F-255E-4597-B807-46CEE07254AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41aaba06c7139eb96679a753e92027a8d2a5e212","datavalue":{"value":"forward invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178216$9E300D33-62D3-445C-BDE7-AB3BDFDE4690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f2c98fe6c0fec55ffd6bb5fd49cb6aef742016","datavalue":{"value":"finite time attractivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2178216$1ED04069-CB64-41A4-A6B1-825A11EC2EB3","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":"Q2178216$BD55D047-729F-403C-B823-E04BC50E2F94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c652acf8192aef40edd39a2c659ad59df8d82d0","datavalue":{"value":"W3004765214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178216$0230EA5D-6C1F-41B0-B297-3E9AA408BD34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$812C9926-75E7-4BAF-8FDF-8E7C4E644CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$D42D7273-8F41-417F-A516-6D9F618A4BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea12181fbd7544dfb9b8e4733dbce4223cc0353","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$5AC73806-DA2E-488C-8A66-E8E550652713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$D10EF3CD-7F03-4E61-9E41-4ABD3C925E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$135C6833-52BE-45EA-BA84-BDA930D8367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a83a220deb3074e3c7bcc3b2d6494b4729981bd","datavalue":{"value":{"entity-type":"item","numeric-id":1807502,"id":"Q1807502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$00598333-0D4C-433D-9815-66B3927AB74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998a03aa8eb41fed5482cb1126317fbd0004a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":5266959,"id":"Q5266959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$E571222F-1493-46EA-987C-F5975FD68650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdec3b0f9b839e3a71024404f4454250eb4803e5","datavalue":{"value":{"entity-type":"item","numeric-id":5488741,"id":"Q5488741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$D12353B1-4165-4CDC-888E-A8B2143C4EAB","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":"Q2178216$D22D5F7F-5BB0-409E-A4B0-5B2527DEBE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162ad88a2aef39b6356dfc2373b4f5d2f1931126","datavalue":{"value":{"entity-type":"item","numeric-id":1978482,"id":"Q1978482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$C149DE08-CE4B-4229-97A1-6EC9D8C4C411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$1D29CC27-4725-4C66-932D-9B2AE23D6DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ea87415565eda28ce9eecec0ceebba0d3f5f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5223748,"id":"Q5223748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$56F3F1AA-AFC9-4981-8B60-2122FBF2AB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58032075e4a0c655582fb6d4e856c848e427597d","datavalue":{"value":{"entity-type":"item","numeric-id":1737639,"id":"Q1737639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$7BEE09D3-7255-4A94-B4FA-4EBABA65287F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a670a194b3df2c0f5b41838157e526f52de18fe","datavalue":{"value":{"entity-type":"item","numeric-id":897648,"id":"Q897648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$39340B58-44B9-4D2B-9E60-EFE5BF507E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b76e379d67a63dcfbf1966cb6f73851d58c1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771497,"id":"Q2771497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$5501DD5C-6BD8-4AD0-A343-EAFF1412CC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44584e78211e3edf22a5bc4364cea46fb283804","datavalue":{"value":{"entity-type":"item","numeric-id":5963128,"id":"Q5963128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$C0518DE8-FE8B-4799-B7A1-55E8FCA90A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6159373a1d0a1e59497e6d18e726457c82a2f45","datavalue":{"value":{"entity-type":"item","numeric-id":5375688,"id":"Q5375688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$D1DB52CE-5207-4DD3-B8DA-7B549A24C91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$E9F164BA-676B-40A4-B933-611D82836D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$B6BBE219-FC6A-4214-94D7-55B30E6931B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$C5B82B5E-0F22-442E-8955-D4F495C8AF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919881585e904fcf87fa5b5c2df77d99a2752255","datavalue":{"value":{"entity-type":"item","numeric-id":3996569,"id":"Q3996569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$822A9616-D64D-43C6-B58E-6A0C4C82A1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d0bc4d88b2260369d517f8672515fd21b3e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5282311,"id":"Q5282311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2178216$067025C5-A41A-4464-B853-11BA11DED9E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d608a302acdc024874e52cca33d3bab4f97d7e3","datavalue":{"value":"10.1016/J.NAHS.2020.100865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2178216$D6F34B2B-EACF-45B7-8AB6-1224C41657B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca48c3aa153488be9f30c590fb33c3ecf6be5c9b","datavalue":{"value":{"amount":"+0.7743308544158936","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":"Q2178216$E78DBE20-3084-4487-B26B-345A09912846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78be524cbc989a39f2f5c7b38cf75389cb9a2613","datavalue":{"value":{"entity-type":"item","numeric-id":897648,"id":"Q897648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e391a97ab80a964bc128b12fbc58c31afa52ed","datavalue":{"value":{"amount":"+0.770025908946991","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":"Q2178216$F09546C6-8942-459D-AEFF-A32517DA3C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510a157bcaa18f709ba21a31557a7fe635a8280","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acab05970ea8fa377423c435096b728408cd6a6","datavalue":{"value":{"amount":"+0.766287088394165","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":"Q2178216$320C8091-A7F5-4C68-ABE4-C2EC9858923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9e36f94de71ca95c2257b99eee573aaba78495","datavalue":{"value":{"entity-type":"item","numeric-id":3192200,"id":"Q3192200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b50f10e343dad557610a402a3d78a9668d79d68","datavalue":{"value":{"amount":"+0.7650396227836609","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":"Q2178216$CA3F9A65-43F3-4B43-8DC2-5332C19F3FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4c70def8befba6f20d59225af428f7b1a50c5d","datavalue":{"value":{"amount":"+0.7558673024177551","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":"Q2178216$FC6D4106-F317-4F3F-B968-6E726C1F30AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2178216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2178216"}}}}}