{"entities":{"Q2986714":{"pageid":2997438,"ns":120,"title":"Item:Q2986714","lastrevid":52804355,"modified":"2026-01-23T13:18:08Z","type":"item","id":"Q2986714","labels":{"en":{"language":"en","value":"Quantified differential invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6717989"}},"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":"Q2986714$52740718-643F-4442-8D4C-7D7A8B9BE349","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6747aa496ebc1d60c0649a63c067c5c62669d55d","datavalue":{"value":{"text":"Quantified differential invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986714$172E7637-84A2-467F-B0BA-70C8753DE557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87817609628d687607cf91d50edeadf49574693d","datavalue":{"value":"1362.93071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$2D2CD454-B9B3-435E-AAE5-D7255082E237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8b2eeea63d7c42c0b1dfdd9eb5506f4ef55e640","datavalue":{"value":"10.1145/1967701.1967713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$2DBD6D46-7F8C-43A0-8C0F-F08868301674","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986714$D2662650-5965-43B4-93D2-0C29EAD6D8C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984d74fbf1f2dcac2a23d24afac7178667c2dabe","datavalue":{"value":{"entity-type":"item","numeric-id":2986705,"id":"Q2986705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986714$34A85973-0086-46F9-8A8C-B59AF4A202A2","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":"Q2986714$B295ABA5-1AEB-4915-8CF4-B8C0B1FA7C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3e53b0abcd2498600fbdf35fe7a705a507461a7","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.916.2508","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986714$B29A7C25-1DFD-49A8-ADC6-A70493B821C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$B39D6FC5-17CC-460D-B533-7CDA02256BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$553AD960-5B05-4652-9F78-CDAE793C18AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a51013239e705dbb008583c85b92be535c924c0","datavalue":{"value":"93C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$5FDDA246-CC58-4AA6-9C9F-B0773373CA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c186912cf1b537929a58b59842edf82a1604881c","datavalue":{"value":"35Q93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$F6548350-022C-4DB9-87AA-7B917E7E565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$24E3CB7F-55AA-49A0-897D-3C22AE2235C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cb595651aeeca0ce74a921c02fcb118ad9d46fa","datavalue":{"value":"6717989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$83351FBA-DEB9-4FB1-83C7-08E953F31E84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2fe86ebc5b4b88dc18c2b544e2bc1aa5deeb7c","datavalue":{"value":"distributed hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986714$5F0EA2FC-FD94-408F-8525-A2EDCBE2245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65a697b2b4c788e299723db0cc6a03ded003e4b","datavalue":{"value":"quantified differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986714$E06A7319-AA66-4DF4-AA23-B99143676DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661a761934045076d35c67525a08de52f0886b28","datavalue":{"value":"quantified differential invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986714$C5C992D5-530D-46E6-8A2C-3BBE04E2C4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b0d18197da8fbf30dac0f0efa8f60b6c45a1f","datavalue":{"value":"verification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986714$75FEB0BE-977D-40F3-991F-1B20D5156406","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":"Q2986714$3415E7E1-0EF8-4B7F-A27F-4CF00462E7ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a353e7971d917acc5f09b191d71186d936a54b0","datavalue":{"value":"W2060284851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986714$AEA4AC61-F44B-48B1-AC3D-29BFE4528493","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de89edea48d44d05a6188dc7146a4613a00ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":3512492,"id":"Q3512492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cbc8ad298799812a0a29032dd0549e81127616","datavalue":{"value":{"amount":"+0.800915002822876","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":"Q2986714$17213BEC-5131-4CC4-9AFC-3782A9DA8139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9aca51c7b8c2227f152d7ef28de7f8bd744c13","datavalue":{"value":{"entity-type":"item","numeric-id":1039853,"id":"Q1039853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5708394524cefa4184c23768b814fe9e708d10a9","datavalue":{"value":{"amount":"+0.7979229688644409","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":"Q2986714$2BEF68CC-4B7C-40C6-8111-F338DDCB87CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd89bd7a1c6f8d83b4a9469b59082131d032e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd240d8b7e57d66d998800211da8d86caab626b8","datavalue":{"value":{"amount":"+0.7973311543464661","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":"Q2986714$06F350BC-462A-4C79-9660-A2DA237377A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d41d96466245c466ed9ebfec1cb8b28af8867e2","datavalue":{"value":{"entity-type":"item","numeric-id":3455848,"id":"Q3455848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c56fbfa60446fb36f89870cca84cd2c6cb956e8","datavalue":{"value":{"amount":"+0.7867941856384277","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":"Q2986714$6325AB55-9FFB-4BF5-900C-2B5A718F92EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00bb929f1fe32b34d3c4a6bf0f2f50334a257a01","datavalue":{"value":{"entity-type":"item","numeric-id":4899117,"id":"Q4899117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54d49b5ce97bd8d09848f25e6b70ebecdf85c9c","datavalue":{"value":{"amount":"+0.779961884021759","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":"Q2986714$34941FFF-F10B-4AFA-A1EE-273F1FA8EEBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986714"}}}}}