{"entities":{"Q2986749":{"pageid":2997473,"ns":120,"title":"Item:Q2986749","lastrevid":85741946,"modified":"2026-06-03T11:20:44Z","type":"item","id":"Q2986749","labels":{"en":{"language":"en","value":"Transcendental inductive invariants generation for non-linear differential and hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718022"}},"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":"Q2986749$26FD2BB4-4D2F-45EB-961B-B33FFD6317E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e01e55d0aa81e86bbee9de6aa0b37e1ad35253d2","datavalue":{"value":{"text":"Transcendental inductive invariants generation for non-linear differential and hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986749$4DAE8E18-87CF-4D27-929B-E239538957C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e44ecc43700e49bfa84fba944595fe629563448f","datavalue":{"value":"1362.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$394075AE-71F4-472D-94E0-DD1A819E6FEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba61cf819aa53394391810e7ce108db1df26021","datavalue":{"value":"10.1145/2185632.2185640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$F4411A34-25A1-434E-A65A-8DF9241F87CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a39e86a8e0ed60736ef11909a69475bfa0cdc074","datavalue":{"value":{"entity-type":"item","numeric-id":903491,"id":"Q903491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986749$5044C2B9-1FDA-45DA-AADB-6FB031AAAC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18bfce964e2970148187569860a0732d94e9c44","datavalue":{"value":{"entity-type":"item","numeric-id":473111,"id":"Q473111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986749$945405A6-C85F-4736-BCE8-57DC42E56B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e5814b970b5f0fb67456a9171b66036917a49b","datavalue":{"value":{"entity-type":"item","numeric-id":891045,"id":"Q891045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986749$D7AFF4F4-3BB4-419D-B979-45D49515C8B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986749$AAEA0BD0-D409-4CBD-99E5-37DAE17FC750","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":"Q2986749$DFDCC7A3-3215-487B-9578-A76BF9164FE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$C74523E3-9376-47A4-ADCF-0CD064AEE198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$E574B052-7127-4357-BB42-1F98975308EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$1F92BE5E-1415-45BB-B27B-E48F7FBD5C40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b1ab03a86a9ac27a99fa885938f77841d021e9","datavalue":{"value":"6718022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$18F1C3C4-12F2-4BCC-B987-2CBF9B4197AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986749$976B0348-2196-4615-91F3-542285F073E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d704e366961b71603ff2c368bc683519bedd36ad","datavalue":{"value":"invariants generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986749$CAE849BE-E0B3-46CD-99FA-E5CBBD732AB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986749$DE17E330-7EC8-4A70-AA5A-D908BB6A53B9","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":"Q2986749$45BDB19A-0E58-4158-AB29-A319B1754937","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"574b5eef06a325807e875cc67e3b8f3a4a72bb37","datavalue":{"value":"https://doi.org/10.1145/2185632.2185640","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986749$0F00AB10-D560-4842-B64B-13AB045CE89D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"993283e200e1535ec4055c6fa1de1faa0aef575c","datavalue":{"value":"W2071442928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986749$69C05452-13A1-48B2-939B-678427E78066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7d3b8606e3170fd0ffbb8dcd3abfdcd922fd44","datavalue":{"value":{"entity-type":"item","numeric-id":2355695,"id":"Q2355695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838f620bd1cd3ce8e70112ef0836e06cb130d61d","datavalue":{"value":{"amount":"+0.8056552410125732","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":"Q2986749$95D4E051-3E90-404C-A74C-EB7EFE742026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91780bddd8cef2844c937040704d61b3bf4a9eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca028f53c40cbe2d2a8eabef4a0bb452b18e45c","datavalue":{"value":{"amount":"+0.7921434640884399","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":"Q2986749$6F9EAC7F-7556-4563-8F80-075464CC3E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0241b468b78cc0004ce7aadf41bb9a2f7c42d5","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5d66b018c4dbe8f4a8f955194e2c3757adbd34","datavalue":{"value":{"amount":"+0.7880522608757019","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":"Q2986749$3CDE7511-E599-421E-9071-FC936C7DD265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5422a47269105e4fce33fc04a22edc8c6eb50e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2796055,"id":"Q2796055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bad2fcc3f405a3efdddb2d70fd5fd5417fafec","datavalue":{"value":{"amount":"+0.7835311889648438","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":"Q2986749$7861DAE6-3578-4AC8-932A-4C27B40022A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bc94ce1d255a60ed5c9faa551cdd83938cf3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82deeac704ac28a9b90499329988ae164cd27122","datavalue":{"value":{"amount":"+0.7771276235580444","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":"Q2986749$C3F80A56-AF89-4FA3-B86A-610E01CBBF52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transcendental inductive invariants generation for non-linear differential and hybrid systems","badges":[]}}}}}