{"entities":{"Q5408048":{"pageid":7437622,"ns":120,"title":"Item:Q5408048","lastrevid":51970415,"modified":"2026-01-20T16:05:19Z","type":"item","id":"Q5408048","labels":{"en":{"language":"en","value":"Assume-guarantee verification of nonlinear hybrid systems with ARIADNE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6281651"}},"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":"Q5408048$3F558212-EEFB-4FD0-B97D-EAB10E90EC74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf4ace473015d800f9845875a6a76bb7aef3533","datavalue":{"value":{"text":"Assume\u2013guarantee verification of nonlinear hybrid systems with\u2009<scp>Ariadne</scp>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408048$3227CDA0-7538-4850-98E6-925552CAAD51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d89f79cd5cbb8883d1317c7ef964a8dc8f157d14","datavalue":{"value":"1284.93121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$4C9CBDD9-F234-4328-879B-105313793790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6c1b4bbc131ad404f69d9a1d6e0fd500d4ffee","datavalue":{"value":{"entity-type":"item","numeric-id":645570,"id":"Q645570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$C61F3B05-10DF-4B35-9809-B489E8369A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$BB401ABD-DC49-43C0-BAD9-16E38C5CB7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"635db17fe081212286c854de63a18ce3d9c1c92b","datavalue":{"value":{"entity-type":"item","numeric-id":1860098,"id":"Q1860098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$5839D0DB-6BF7-46A9-AF8A-61FA5BE75F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d002fb06ccf000e382baf5700f594e70e0c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2677087,"id":"Q2677087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$F0C5F3A5-10D8-4186-9615-6392589C6E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f89ef066096ca3e248c3cbc97dc37d82e003c08","datavalue":{"value":{"entity-type":"item","numeric-id":1020550,"id":"Q1020550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$6D413298-05C7-4EB4-B828-AA25A09B2427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7885c8cbd04ebb00767ebb2b7724535a595ff8","datavalue":{"value":{"entity-type":"item","numeric-id":857033,"id":"Q857033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$8E3266E6-43B0-454E-960C-D6FB8FA8972B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50b8674a675fb6cb1ce5f58b071e4afdb153e2c6","datavalue":{"value":{"entity-type":"item","numeric-id":2710025,"id":"Q2710025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$F58F0248-2F8E-4FB1-BCE7-DD7CA436372B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0f9eadeb459885e3bd96056c7ce63a55a5683f1","datavalue":{"value":{"time":"+2014-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408048$2A73AB03-3166-4FAD-8185-D69F1F03C62A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$AB915D27-1F1A-4DBC-85ED-5F37547FD17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1fdbd37ea55781316a099df1ac6c996bd515a2","datavalue":{"value":"93B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$D35BE63D-286C-4206-ABCC-B6D66A5764C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$7D523160-9E37-4E29-B40C-F8BE57F276E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56bca21d74cd46d04d2392da8e926d18a4daab48","datavalue":{"value":"6281651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$EC9FAD0E-808A-4E8C-B9BA-14AD9E233D03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce10f38a49337ff38c70ec7e1f7f3ea14707b917","datavalue":{"value":"nonlinear hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408048$CBA9E1DA-3DD8-407E-A842-E2927D461E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d09cee57e4ee6e3819fbe2aaa8d0298786c939","datavalue":{"value":"formal verification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408048$4A6363BF-645D-4D46-BB39-D35E2DC42815","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":"Q5408048$A2859077-6EFC-40B4-AA67-8AA52596E7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$D777FB31-6CF9-4F3E-93BB-35311ADFA534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$CE04FCDB-67F5-4A55-8A8E-2AB8879E21D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$28305960-2C27-4A85-95EF-3415F13997B6","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":"Q5408048$26320D92-FDFE-4846-802B-FB2FF82297DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c78bdf0926b89a3e72d47cd1ab227eeb1025a90","datavalue":{"value":{"entity-type":"item","numeric-id":18756,"id":"Q18756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$70CEA29E-60AC-4057-B016-4EDF34920536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$B578CD12-BF49-48BD-ABAB-87180410BE0B","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":"Q5408048$33A3978A-05C0-4295-9D75-460C320F9BD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95369ecd038466f18507a9453e83c07823ddf723","datavalue":{"value":"https://doi.org/10.1002/rnc.2914","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408048$6430CECF-0F23-4B8A-9FDA-E563350765DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c12c9a32d49ea88d55e055f5d68852c5f388cde5","datavalue":{"value":"W1772923315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$15E4F084-1024-499B-B4E8-E49A2996D2E3","rank":"normal"}],"P223":[{"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":"Q5408048$BFC6B714-DF6C-4F3F-B41D-82267416F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca9b29ae4579420e2eab175344d321019cd09c9","datavalue":{"value":{"entity-type":"item","numeric-id":2566008,"id":"Q2566008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$E1D537F3-5A7F-4B7D-8E97-C32CCCE4AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$E6FB13AD-2E06-400A-BF3F-089DFCDE391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$C0C88B09-9C23-4220-A714-0B1E0C3C0043","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":"Q5408048$1D7DEE7B-2592-4833-BBEE-6380F7370B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$D476259B-A149-45B7-8FF9-BD404DD53E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3e63c80eb78186ace2b0da5fec4010008404ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$63E14434-D414-469A-812B-16267FAA67DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$3B255CE9-1FCE-4E4F-B3D4-1727279F5EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$04701BA5-9DFA-411D-A2D3-4318A339F96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ee198e579ba9861b2bcaa47b1ed5eefff2e76d","datavalue":{"value":{"entity-type":"item","numeric-id":1427865,"id":"Q1427865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$A3488495-1465-49C3-9D74-4FE4BF7C5DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$CAEF38E1-B7E1-4AC4-BE5A-E577E92E439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8826dd264d7892fe04af0eccb81516a5a0d8ee65","datavalue":{"value":{"entity-type":"item","numeric-id":3021278,"id":"Q3021278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$FDBA2A09-AEC5-4AB2-AB31-293825ECBCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ca5c3d8d57fa8fa60f1eb773a67a7d01edc67c","datavalue":{"value":{"entity-type":"item","numeric-id":856502,"id":"Q856502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$F279EE42-E001-4AFE-97AA-A6EE3871B046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1299f57f214c4c9659c7db19e25c6d0461799","datavalue":{"value":{"entity-type":"item","numeric-id":5900062,"id":"Q5900062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$3F9A265F-CCA8-425B-8B31-144C2A15AD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$09504EA6-2DBB-4DDF-B45B-20ADB2CB7695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c30056d56a838425f17d97e28670895fdc857e","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408048$23EE24BB-C069-42AB-9463-F6D96C43AB05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc6288f1f969f274464e2980c130450af3a260a6","datavalue":{"value":"10.1002/RNC.2914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408048$08FF91E0-5568-4C71-8C15-E6B75984029C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeeb09312b30cd06d5555df44b2ab1803020d79b","datavalue":{"value":{"entity-type":"item","numeric-id":4560619,"id":"Q4560619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cdf09083ebed04b6d91c339af5b4232de7fd5f","datavalue":{"value":{"amount":"+0.8669666051864624","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":"Q5408048$F9759B47-D80A-4A45-B129-DFFADD05D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2545786ae4460ba0893606c3a02b281f1c7f10b","datavalue":{"value":{"entity-type":"item","numeric-id":4899145,"id":"Q4899145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8005f471b6b6b6881dd9bad58be02ea106fde07f","datavalue":{"value":{"amount":"+0.8402816653251648","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":"Q5408048$A2D4D7EF-1265-43AF-A987-E5FD6579F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307d5bfdb6af94f2dc83a912280825a0941683dc","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67b99957315d11a29024912e8177ec6d359c6c4","datavalue":{"value":{"amount":"+0.7249881029129028","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":"Q5408048$02366ACA-F3CB-47F7-AFFD-A3C70D56B89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b358e140207b41bb70612e09a861ca36038541","datavalue":{"value":{"entity-type":"item","numeric-id":2248097,"id":"Q2248097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b6637f91a948f0007ab56bee5306858d41c616","datavalue":{"value":{"amount":"+0.7229923605918884","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":"Q5408048$73547ECB-4CCA-4718-91CB-0442DEF5D6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e01117554cf20c9215b45a52e97248033fa135d","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e6d9c7f38b8611ed7ac04c1445e231f4db92c6","datavalue":{"value":{"amount":"+0.7177156209945679","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":"Q5408048$A229033C-9066-4F25-A0CB-26D19984DA32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408048"}}}}}