{"entities":{"Q2512180":{"pageid":2522923,"ns":120,"title":"Item:Q2512180","lastrevid":73215801,"modified":"2026-04-14T15:01:17Z","type":"item","id":"Q2512180","labels":{"en":{"language":"en","value":"Symbolic verification of hybrid systems: an algebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6326636"}},"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":"Q2512180$C15D245F-CB99-4B0B-BBDF-5592D74D8762","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cefcbfdf4ce17c4138bb95f2c84976978d2883c4","datavalue":{"value":{"text":"Symbolic verification of hybrid systems: an algebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2512180$17917491-29E3-4EFB-ACE0-B653DFDE4686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fe3b034b392a9f0a27046ac6d567bc0c12664a0","datavalue":{"value":"1293.93420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512180$EF28D5B6-62AF-4B84-A9DC-2C0C4918DD1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"425207e648bcd907479f5b609c6c8a218ec92768","datavalue":{"value":{"entity-type":"item","numeric-id":1273767,"id":"Q1273767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$2C248ACA-514B-42AC-9E12-79F767CAB078","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$3AED3E44-339E-473D-81C8-54EE2AB86D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-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":"Q2512180$67C66B85-3C69-499C-AE77-FF40767066E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74a8eecffb3919b23ab7bdb76c6c3b9824a4be82","datavalue":{"value":"https://semanticscholar.org/paper/fede5f6690fa9ecb90b3969bc391146c7187eaf3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2512180$FCA1EF1C-D8B2-423B-BA89-A47881310B60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512180$ACF812E2-BF54-4812-A2A7-BFBB3B062436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512180$FEA6C01A-73C6-4E29-A948-D5017E3C5315","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c15a02a4cbb10da37d52ae81ffade326bf0c011","datavalue":{"value":"6326636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512180$F56E7380-5EA8-41C5-B2C7-4BA8F69EFA02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512180$B7E0E7F6-1FF6-4110-A06B-F4436C4695AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512180$A841F6BD-183A-488F-8169-731D41A13B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512180$D1FCC6ED-69EC-4BBD-97F4-314D31A111A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a9033397a5de6afe1fc8af88b9d6eb7c5aa921","datavalue":{"value":"hybrid system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512180$89E217FA-926A-4B0A-A297-E9C91321E08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06165ef0a6e4efab39574a22830182d8ad7abeb4","datavalue":{"value":"symbolic solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512180$D5068A71-1A60-4B93-8225-C1EC47E57F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db158fb26b109c799e33bf311226359880ee7a54","datavalue":{"value":"system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512180$765A4CB3-292D-4CF7-AF03-39602580062A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$86826C6C-8DB1-43B8-998E-69835E1CBF71","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":"Q2512180$72EFBE3E-993D-4021-848D-9570D1943AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bdb55f2cee6146609c46e47f96cccbc6dc3d5e8","datavalue":{"value":"W2016235928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512180$A7BF9831-8829-432C-83F3-D8D05A0D7CF7","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":"Q2512180$D00FD71A-BC76-493F-A897-E5CB8CDBF34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6666292355a769950842c2035d1f6265fb48c511","datavalue":{"value":{"entity-type":"item","numeric-id":919410,"id":"Q919410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$1E6781B1-77CF-434F-95E7-EBF500D3A7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2978624eff08bc07780874cfe7fa6c72513337f9","datavalue":{"value":{"entity-type":"item","numeric-id":4395811,"id":"Q4395811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$9C58D8AC-F984-47DC-94EE-80EFAA0E09A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069c50a3e6859b691fb21b2fbe8847f6c7b76e18","datavalue":{"value":{"entity-type":"item","numeric-id":1273768,"id":"Q1273768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$1B4FD79B-4118-4B30-82E7-170D04D40952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acf58cbf8e3da53f8da1e739cc425d31326ddbb","datavalue":{"value":{"entity-type":"item","numeric-id":4375488,"id":"Q4375488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$2860C3A8-5DBE-4393-A862-2B725B29C73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$EB2BDBFD-6353-4CF5-822F-471425D90057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c837902a6f53fad67fe7327e0cab3352cb5d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":803209,"id":"Q803209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512180$FDF1F14B-F2D4-4CF5-B0A2-489CF88FE36F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dac2ffbc441a0a48c5b5b64678f5d088d19c1a1","datavalue":{"value":"10.3166/EJC.7.541-556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512180$1AD236C3-7DCA-42A3-89A8-866F51A25B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cf78114efcde97ad6f0ae2df230948c409c52f","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a967ee74174b32b40d70d552872382353c0bb1f8","datavalue":{"value":{"amount":"+0.837317705154419","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":"Q2512180$F9FD7E70-3B8B-4863-AFD8-E6E11171BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793f2a5d31681b98d97b30d89e36bb7f840e1163","datavalue":{"value":{"entity-type":"item","numeric-id":673873,"id":"Q673873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4636b17f893c7759ef28e9ef07f113a9bc9f4a","datavalue":{"value":{"amount":"+0.8225597143173218","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":"Q2512180$060FA0F7-39E4-4B42-96FE-0B37F77CD3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5ce513b9742a42b51b6140a547f8d1f2d355a4","datavalue":{"value":{"amount":"+0.8151379227638245","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":"Q2512180$49EA4F69-C135-4D07-BDE2-657933B54070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c96cd4a2916c232da181473f3a64f2cc728969","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170c24f4cd8cb32520d9cf71e9a590d71bfba722","datavalue":{"value":{"amount":"+0.8142004609107971","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":"Q2512180$F3288CA8-75DA-4709-8CE0-1276D8FFDA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190fde07ccf0cf3dd92981a789065a432485c664","datavalue":{"value":{"entity-type":"item","numeric-id":3104005,"id":"Q3104005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d44027ae469f7dac5f3d43b38f932cfb9ecb33","datavalue":{"value":{"amount":"+0.8137012720108032","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":"Q2512180$7C796BE0-20DD-4477-BC11-251C19F8C49B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic verification of hybrid systems: an algebraic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_verification_of_hybrid_systems:_an_algebraic_approach"}}}}}