{"entities":{"Q5711486":{"pageid":7741040,"ns":120,"title":"Item:Q5711486","lastrevid":48606952,"modified":"2026-01-05T09:01:03Z","type":"item","id":"Q5711486","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235901"}},"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":"Q5711486$027B4CB8-FFAE-4EA3-83BC-D4561D2E4EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a02cd8b709edfe4ef5e948e182769b4812906466","datavalue":{"value":{"text":"Verification, Model Checking, and Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5711486$D3E7FD0A-0005-4606-A9AE-67D233CBAA46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e314610b727f8dddbd4171e0d71a8dddf9dffd36","datavalue":{"value":"1111.68503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$25DEC6A6-C121-454A-A031-A2D8137ED0A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$E632BBF6-6028-4231-B08E-D212DAA5B0E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$A1A1300A-F309-4328-82F8-46BAD6AF2248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5711486$59E7967B-81B9-4B53-B5FA-29D1F5849C95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$6940294F-A042-410E-AFE4-25E83B9DBF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$78AF2DDE-7220-4D11-8A1E-C40B5BD48D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$390CD8D5-1DDF-4BE6-A547-550C56F447AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b4f3ee803aff5a412347fca90a17e9a019e8158","datavalue":{"value":"2235901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$36897859-66EA-448F-BC45-90ECC80CDB3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7fa6d6ccccc2865acf4eb35dfb5cd465b13ed1","datavalue":{"value":"bilinear matrix inequality (BMI)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$77614D1A-6CC6-4BC2-ABAC-F5E07B3343B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa9082850ef5aaf62ad9291428eef26530da341","datavalue":{"value":"convex optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$818DB823-1B4A-4422-AFF8-09873F70520A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$B64CD95C-938D-46AE-8B6E-93B330469CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a59e0c1eb51c50ee8b2be5656da8a2be878f5f1","datavalue":{"value":"Lagrangian relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$CBDB6725-D7BC-4F28-80E3-5FCF9782AC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfa6993e08a2bf5c4ddb1f1f7f090b4389374b1","datavalue":{"value":"linear matrix inequality (LMI)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$FA02A241-CE0C-49DA-BBAC-5F37E8E35209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$A7E93675-1CDF-4BC8-B347-E471548EEDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e42f2183613b51a113fe2f14a93db63e27f8f5","datavalue":{"value":"parametric abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$1E67BE20-09BA-4FE5-B2EC-261D8DF6A60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa437bbd3dbe6249a1c18556e84bd41e9c855e0","datavalue":{"value":"polynomial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$7482A961-FD81-4A53-B088-F9978143DA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$816C88C5-D7E0-417B-9241-18799F0F2861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbdd8d2201adf45f4cce4e679780005091f794b0","datavalue":{"value":"rank function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$D7A8ADD8-34C1-401A-A8E0-CE7D9FBD1D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$F37A531D-6E63-4608-A2F9-B3EE03250381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9f60134ff802a8b823715c17317771530c8016","datavalue":{"value":"S-procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$953F4479-D69C-415B-8EB2-871BAB7B8E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$05AE6AEA-699E-4DD4-9DBC-C9EB7E4E0DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8104396e23c348e9ff42786b9f9a3c879956cb5d","datavalue":{"value":"termination precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$42B59EF1-F0CF-4C6F-A0DC-56923D8869D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$5C5BDB86-C838-479B-A737-E9469CB29544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711486$4096942C-57B0-43F7-B5AA-C60AF3B91A9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$EEC39DC4-C156-405F-9681-080F013CCF23","rank":"normal"},{"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":"Q5711486$3F02036C-EA4D-4CF6-960A-B1D94B3C03C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$488FA9C0-45C5-41C2-B391-65675EED9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba38666b847b4b6791ef188ff5703b737cb3f61","datavalue":{"value":{"entity-type":"item","numeric-id":16199,"id":"Q16199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$95784233-3794-4A05-BA56-74CF0026A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb49b224a19e386a51f00b2e918eab30f85cb3f1","datavalue":{"value":{"entity-type":"item","numeric-id":16913,"id":"Q16913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$2516A982-D417-4D0A-BAB6-72C54CB6FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c5814a0a3b47b1b5455e3eaa345adcdfd08dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":16192,"id":"Q16192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711486$E0F65614-EE5A-412F-9D60-0264DF8C943E","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":"Q5711486$8FAB9324-87FD-48A1-A799-A5491EF76798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97b7a53335c177dc0cb73f05e06789c64e85523","datavalue":{"value":"https://doi.org/10.1007/b105073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5711486$FDD6191C-A0F8-4C73-9EB5-13A016F4B942","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$6268CE35-7118-4EE7-AE18-733EE362E47B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711486$571A19A7-ED83-4D94-AF87-3CD680853B8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16905f02a7d6df19e40b20cfd0002d0077db29d","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6042758578151f475a749e457a2b7943dd3365a4","datavalue":{"value":{"amount":"+0.7764805555343628","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":"Q5711486$5A6B3370-E85F-40C2-9768-ACED78137D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97b809f46798cfe26001a6fa5bb91555f1d3b95","datavalue":{"value":{"entity-type":"item","numeric-id":5915715,"id":"Q5915715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc82f3b4a25791f1ed2b9588aec03addf424124","datavalue":{"value":{"amount":"+0.7564018368721008","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":"Q5711486$52485406-9956-48C5-B904-E5D546E22ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a39c4529b82ad1822835100a140745943f5dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5916266,"id":"Q5916266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc82f3b4a25791f1ed2b9588aec03addf424124","datavalue":{"value":{"amount":"+0.7564018368721008","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":"Q5711486$3B58BDAF-4849-4D61-8610-0F520C13234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780918f395490124eba94a6367e771eeb565c0a","datavalue":{"value":{"entity-type":"item","numeric-id":2881067,"id":"Q2881067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef458eaa23ac6fe7a3c11db57deb32e2f6ab99d","datavalue":{"value":{"amount":"+0.7458658814430237","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":"Q5711486$A9B8B054-E1D5-458A-9E86-3F64AC33F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bd5c002627e83ede0421eb26494640b696b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3558213,"id":"Q3558213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd5e849696bb01640f8862e24909f9a913f647d","datavalue":{"value":{"amount":"+0.7423619627952576","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":"Q5711486$E358C396-39D9-4C13-AC26-CA5C33B51CCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711486"}}}}}