{"entities":{"Q681340":{"pageid":683189,"ns":120,"title":"Item:Q681340","lastrevid":63435969,"modified":"2026-04-11T13:10:14Z","type":"item","id":"Q681340","labels":{"en":{"language":"en","value":"A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832417"}},"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":"Q681340$4DD89CA3-B82A-4481-A2AD-D9798B94E1D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3021f2d1e27d1f39eba108bb466e576d2dcef9e","datavalue":{"value":{"text":"A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681340$5D839F5C-218D-4F7C-9C62-9560751AAB52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29367f3874f7ce558139d95e630896a86753a3ca","datavalue":{"value":"1379.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681340$813B1D3F-2C58-4A9C-AB5A-C6BDAC8E3C77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b498cb0a1f2a1626548f708985cc88e2e26bdd","datavalue":{"value":{"entity-type":"item","numeric-id":681337,"id":"Q681337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$4F3A38DE-45E5-43F7-A2BD-DEE5B9FF9814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c266f039dc6060320eaa17f05328c86c3c95be0","datavalue":{"value":{"entity-type":"item","numeric-id":681338,"id":"Q681338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$0FD09340-211E-4769-B601-9EDE3016B53E","rank":"normal"},{"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":"Q681340$F8834F53-A0DE-4488-949D-DCB522B03067","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$493EA4FE-31FC-4106-BB23-57417921D331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681340$C135CEC1-367E-493A-B070-C3A9BBE65F75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681340$7CA30788-66EE-4879-8B62-5B34E7CCC2EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e852ba069cb9245099f3f1e31112e2b2f98037","datavalue":{"value":"6832417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681340$3584382C-E054-47E3-8870-677BA7048B7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q681340$DB252514-0245-4B14-A619-BB260C94071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f7d1e900d520eebacb9dac5439e60c5630e23c","datavalue":{"value":"polynomial differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q681340$17FA5227-9B30-42FC-AB13-DBF460A906ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7533c753b4fafc07a04749432af452902d637cf1","datavalue":{"value":"positive invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q681340$12B54E56-29B7-466A-84BB-DE6E7E4C4C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5476053b68f7ae5e956caf36c7b9578260c489","datavalue":{"value":"deductive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q681340$ADC8668E-B320-44A5-ADF2-401D7BB1DFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q681340$AEFD5E7D-8F19-4446-91A2-8EDC13C1CD57","rank":"normal"}],"P1463":[{"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":"Q681340$3F2DA334-BF3A-41A3-9DE2-207229A70708","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":"Q681340$D16B6598-48EA-4F48-9703-0D436095A46C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"443604fdf844e87e554c289ab37b9559edbc31d9","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q681340$D3FED5B1-787A-40D1-8F33-6D9229895D5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c8c175bee629cd7ea2aea0e8fea64e265bd288c","datavalue":{"value":"W2217989345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681340$469C731C-8D9F-4C81-BF96-1A8A17735968","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661438afabfc55e25d2d4bf6b19e2486427094","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$05C1DE51-923B-4575-804F-6E6132A201E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$A3439275-C63F-4DAE-B0F1-5E36269A6411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$0292F45D-CF48-4888-BD03-3D38E421D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b4fb149d65ccc6cbdebe305cc6df78b50fe79","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$9B97762A-77EC-44DC-B810-2CBC241A8F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7cc6a1527768a6365170c65c41a77d81e6135be","datavalue":{"value":{"entity-type":"item","numeric-id":2494645,"id":"Q2494645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$05485146-206F-44CB-BAEE-E404FB9F6940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ed728217c9a408addae55491dbb511d658cbe6","datavalue":{"value":{"entity-type":"item","numeric-id":5172656,"id":"Q5172656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$C770FEA2-D3D5-4921-A2CF-033B3400E36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65aeb240fe86ed1d1dc3bc4f2194cd78d52efacd","datavalue":{"value":{"entity-type":"item","numeric-id":2756510,"id":"Q2756510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$8C5A887C-5D3C-4C4C-8EF8-513ABBCF0884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b246b64afaee2c41e55f38e2bd04fdfffe6b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$300157CA-1FE5-4A00-8601-B66B582E4B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24f5eef2c31f4b3029541882abacbbb3a68ab4a","datavalue":{"value":{"entity-type":"item","numeric-id":5096173,"id":"Q5096173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$55283ECA-38B1-4A52-9994-AEC6628902E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49a2e92b945557d16dcd0c9aeea9ccdee9b10fb","datavalue":{"value":{"entity-type":"item","numeric-id":5839061,"id":"Q5839061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$DE23D299-FFAA-464A-8AB9-C4490BA9324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b471c92ebd5ca4dd70ca6b270dccac40e45b12","datavalue":{"value":{"entity-type":"item","numeric-id":4942663,"id":"Q4942663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$C2985C66-F9D5-4EA8-93D4-976A545F74DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$21DD5B3D-92C9-4C74-9BA5-BA3EAD7F990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21dde64b16abccffdee12515a38e7b2cf117681b","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$195D293A-76C6-4061-B9BB-32E722BBD4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df50ec43f5fe1cf9495da45564bd67d2f85b11c","datavalue":{"value":{"entity-type":"item","numeric-id":2914730,"id":"Q2914730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$DD0E555C-2354-4456-B1BC-DDBF040B50CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149a1c519527de5b27ddd1bd16db514da62def91","datavalue":{"value":{"entity-type":"item","numeric-id":4899116,"id":"Q4899116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$6247D94B-2B89-4955-B9C8-E0F82A5325C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$1BFF8277-E66A-4E32-8B2C-941DDF423FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$0DFFEC2B-6C36-48A4-B306-50C6FC54A311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$7E2A1BAA-F3F5-424E-8C89-F484418E1041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$1B74E03E-C991-4A74-A9B1-1EF98DEBB450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40f6858455ad9c5e2f63d555f71a634eb2a8eed","datavalue":{"value":{"entity-type":"item","numeric-id":2920146,"id":"Q2920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$E690F93C-4B0E-468F-9A10-191A988C1163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$A41844B2-7DA8-427A-A9C5-DFC948B9A86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$C374910B-27F2-4CED-92D3-09FBB948DF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e09e0965a007fcb2d4ffcdb0b592ac5ad99b17","datavalue":{"value":{"entity-type":"item","numeric-id":3838091,"id":"Q3838091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$E7215E00-0475-42BD-B1F6-1A441AE49C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042d7ef6daad1dff6e1f9ff7a8031a45bf87d8cd","datavalue":{"value":{"entity-type":"item","numeric-id":984091,"id":"Q984091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681340$F6B7E57E-1182-46C6-83FF-5DABE05586B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a22885bdc5c44571aa4b748286da80a3a9113031","datavalue":{"value":"10.1016/J.CL.2015.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681340$FFDA0C08-DF48-4AFE-81FE-DF6B39FD784C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad6036a0d30e0a5e0065d8b4d7fd2456e2c17bc","datavalue":{"value":{"entity-type":"item","numeric-id":5172656,"id":"Q5172656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fc063f0ed275c8f4855fb271ec160ddb8e5813","datavalue":{"value":{"amount":"+0.9355188012123108","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":"Q681340$B12B865D-66DE-4C6F-98EE-856AFCB1D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcc2c23dc69d83195cd4f74e72f83eaf6dc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2920146,"id":"Q2920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb8fa96ea3f88d5db61bf05ea6c2bed6a917575","datavalue":{"value":{"amount":"+0.7913033962249756","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":"Q681340$8F0F21AC-47D1-48E8-9099-DA157A48EC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0161f4e53210eb8d236c27cc939f2f04a7e5b1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2133909,"id":"Q2133909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a527d989058b7a3d6d28ec609e810b75105b7ee3","datavalue":{"value":{"amount":"+0.7862680554389954","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":"Q681340$6D7B441A-4B4C-41B9-98B0-33D421E3BCD7","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":"ac09ad7f06142a8f2c61e897769ecce84f31493c","datavalue":{"value":{"amount":"+0.740275502204895","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":"Q681340$5ADFA1BE-356A-4938-9B34-A4CA9F8376B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d3cce729f4d8616944da60c295635755c85a76","datavalue":{"value":{"entity-type":"item","numeric-id":4507013,"id":"Q4507013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a004b4a56e4df3c31f442298fdbd918585d3b9df","datavalue":{"value":{"amount":"+0.7305243015289307","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":"Q681340$54921A63-9B18-42F7-BB67-ADD273976197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hierarchy_of_proof_rules_for_checking_positive_invariance_of_algebraic_and_semi-algebraic_sets"}}}}}