{"entities":{"Q2986914":{"pageid":2997638,"ns":120,"title":"Item:Q2986914","lastrevid":85304507,"modified":"2026-06-03T06:49:01Z","type":"item","id":"Q2986914","labels":{"en":{"language":"en","value":"Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718232"}},"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":"Q2986914$7A367733-440C-443F-8967-27EB53BF4D13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1361d1df321147e2243b23bf80b8fed52ab26ce4","datavalue":{"value":{"text":"Stabhyli","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986914$063490B9-E772-49BD-8EF9-58C1750F8AAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0c5756d9558957b88eae10c3b7d56a119e2d6d2","datavalue":{"value":"1362.93111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$E18FB1B8-06F0-4BFE-8EBE-03E984F2B1A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282c46c8b28e7a8826a4dcb11c86e024ce3ca07e","datavalue":{"value":"10.1145/2461328.2461347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$57831A6E-DA9D-4DE9-8EC8-F5D5BBB2014D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f56be09d23b0619c224723ebdf5f8b3255baa2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2945597,"id":"Q2945597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$338F4122-32B8-4EEF-847A-670370686E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c0ec2f8e6a6cab17f78b7120af7dd1d5ee4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":394330,"id":"Q394330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$A649679A-B2EA-4C2C-AB7E-283211E1590B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6451d3247f0abc57e95c36b772cbc5d6298df016","datavalue":{"value":{"entity-type":"item","numeric-id":2986904,"id":"Q2986904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$75731A6D-D654-4CDF-AAF8-89D5091653B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986914$FEFBDA4B-58E8-4FFB-9834-1010208134A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2650696ed3935a49b70cc972e8bc0c67a8cd2c3","datavalue":{"value":"93D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$E30419FA-A6C6-4A58-8B4F-80B63F283171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$2992C786-C583-415F-987B-767C746ABF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$8557FC8A-8B90-4345-A851-4AEC2D3688EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"221b5fc14e97cdada6d7203f4784575556f5769e","datavalue":{"value":"6718232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$A0021490-128F-4778-BDB6-24306415FEA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fee4ba0aae5120ac82459e4c4fcdba705110ccc","datavalue":{"value":"LMIs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$1AF4E0C0-8451-4E74-A0C1-73F6C16B5B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$8DB47D30-ECF8-411B-B3B3-5AE3D17BDB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0a32771fdcf706d822bd0af348c97c5ff6aa15","datavalue":{"value":"computer-aided design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$8F01F1DB-E350-499B-B7AC-223AC2D33E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$2C4967AF-493C-4888-840E-40B31E679295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338ca446442efb530f2e25aab3ed31d5097ea7e7","datavalue":{"value":"Lyapunov theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$0A99F95F-76FB-4CA2-A188-664619C7FD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$01A8E011-F9AE-4944-A858-BD544D4A3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9a962a472b68f7001074b6fd15db4d47ba5ca4","datavalue":{"value":"sums-of-squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986914$CE89205C-5E6E-4D4C-B801-0B31CC080F3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33789359f9b960afff5924d56436a42c169171df","datavalue":{"value":{"entity-type":"item","numeric-id":12937,"id":"Q12937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$7D2151E0-6A6A-43C1-856C-011A9B119EF6","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":"Q2986914$E4EF89E9-19B7-4685-9CF7-131024D6872F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5afccf7d76fb26cfa8860b47300bd3023b5734af","datavalue":{"value":"https://doi.org/10.1145/2461328.2461347","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986914$E7421057-F64B-443F-9E7F-CF96040B2DBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e417da909ff2557e68ec390865dfff6bb80303e8","datavalue":{"value":"W2085138905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986914$BD495F0F-E94D-4277-A858-C159A995BE85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$D5930B28-56D5-4543-A1E1-E4540861040A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$C3A41952-8555-4EB2-9A89-A21AFA0BB83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$E524492B-CF01-4A6D-AE87-9CDB4659DE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$744D1ADC-9370-4305-863E-D441F68D6864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$EAC24E75-E972-486B-A72F-B85890AC87B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$82F76D54-0C08-435A-BE81-3BB164740609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$FAB98FEB-88A9-4780-ACFA-A612FD67D813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfadda0faa512cfc7404e1701fcf546dc198dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$47611D41-4398-47A8-864C-6EE86A6022D4","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":"Q2986914$B486FEB1-AB99-43BF-8F7F-A14346988E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$A6591AC5-B1EF-41D0-A5B6-C8BFBC995B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986914$3F8764C5-FED8-4903-86D5-143C6DE9D06F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111c8abd414d1e9c55dc8eb82b2d7b9d5e7a17c9","datavalue":{"value":{"entity-type":"item","numeric-id":2945598,"id":"Q2945598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24162a3b651c454551bb7a8cbdab147c887bfe53","datavalue":{"value":{"amount":"+0.7944055795669556","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":"Q2986914$C3F68CB7-0827-44CE-A282-94828B5C6779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49deaaf0f94a6ed8ba2e667602fd140a73aab5ce","datavalue":{"value":{"entity-type":"item","numeric-id":3510850,"id":"Q3510850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556d7ad18ff42150236499ffa1a0c86ee624b41f","datavalue":{"value":{"amount":"+0.7826167941093445","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":"Q2986914$2C7D3E9B-842B-413E-ADA5-C3EAB7B0CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a130a4288260334ac89eac7d4b2f2e7f869d4843","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f345d3b584aaca3d34a5c84bc87f0fa245219b6e","datavalue":{"value":{"amount":"+0.7631245851516724","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":"Q2986914$9CE1CDD5-EC6B-4195-8078-2CD3D9C5BCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b510ad5230a98cdc9aa123cc63d1e12f0d8caa","datavalue":{"value":{"entity-type":"item","numeric-id":2458053,"id":"Q2458053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c0d64967b13d86485ce0e0df8ac1be7f27c468","datavalue":{"value":{"amount":"+0.734520673751831","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":"Q2986914$E6C51113-2F8F-4416-A878-72860325C0B5","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":"fb33cad8f081b1a845c4ad80bc91d24085d93988","datavalue":{"value":{"amount":"+0.7325907945632935","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":"Q2986914$346983C8-5405-4D29-BC3D-55EE1593ADF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems","badges":[]}}}}}