{"entities":{"Q3575308":{"pageid":5605212,"ns":120,"title":"Item:Q3575308","lastrevid":51046283,"modified":"2026-01-16T09:17:40Z","type":"item","id":"Q3575308","labels":{"en":{"language":"en","value":"Automatic modular abstractions for template numerical constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761687"}},"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":"Q3575308$0B2C6E31-5493-4A1D-9043-02AF1F0889BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f13215f3a917d0bd37c12f94a2a1be4448c47974","datavalue":{"value":{"text":"Automatic Modular Abstractions for Template Numerical Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575308$A79E07A3-E4F1-40EB-A684-85EC4072DE37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37a45aeace15ba80caa2eff0d05573cb0ca735ef","datavalue":{"value":"1191.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575308$611359E9-1E74-4FE7-A67D-73FEEC7B5B2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6db53b68d2927d119b57b13f5792097757b691b9","datavalue":{"value":"10.2168/LMCS-6(3:4)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575308$65B5889E-0FC4-405E-872B-F01F226E6CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$023B975C-71D3-4EED-BFFF-B0BE581571BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$C7065773-3B31-4193-AF2C-48570001F58B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d086622a6099e52a8742dbf9fa8cb5d40a375fe1","datavalue":{"value":{"time":"+2010-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575308$5C13E67D-0BEB-40E1-A03C-3CE013F1E9D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575308$9B9F9E2C-694A-48DC-B3DF-10F80F3CDF02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53fbcd58c198ddd69092267abaecf58ee13163d","datavalue":{"value":"5761687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575308$D1BE0FE3-5358-4733-917F-802AB6349687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575308$EDB0C814-61CE-4D11-8C68-AB1B99662A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575308$BE070D85-3A75-4A3A-8068-A508BB83454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575308$D6DF1D04-09D3-4777-B821-6C8A23B1AEAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$01DE21D3-EC49-4725-BD2D-838653D01D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$552ED40C-F892-4FE1-8B42-973F2A9509D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78a4d52ceefd5a6886d637155928b2ac7d1e7c0d","datavalue":{"value":{"entity-type":"item","numeric-id":13580,"id":"Q13580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$8E089E36-5CDA-4AE5-83CA-83DCDC59CD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$DF87338C-C6A4-48C0-A084-7534E2FC7EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$06E58934-7D80-4CA0-A8EB-F5EC261E3E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$9576E1D5-39C3-4406-B1DC-3E6575B14366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575308$3BE7DEB6-12DF-4A32-B344-6E7375FC722F","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":"Q3575308$44BC4BCA-68F3-4B08-A700-F41B7455475B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc83f42d28d63a2eaaa8b90e766567e54a9647a1","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1415f9ac327e79789675c5b57e9ed8aa3cba1d","datavalue":{"value":{"amount":"+0.9604209065437316","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":"Q3575308$EDFBB785-6E00-4F5C-A669-D2927674F3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b674ac40abb18d515c29929eadce7e0c1b1445","datavalue":{"value":{"entity-type":"item","numeric-id":5898628,"id":"Q5898628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3191738d8028fe793e4bfa12b7cab6a2f2583376","datavalue":{"value":{"amount":"+0.7631496787071228","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":"Q3575308$119A43DD-866F-4D8D-8B18-3A8F0C880D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82eb111a6b9f9cd24958fc2f7a6add09b81869e7","datavalue":{"value":{"entity-type":"item","numeric-id":3166219,"id":"Q3166219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c6c7aaf601fb43ee4be94c940700bfbe2150d7","datavalue":{"value":{"amount":"+0.7628434300422668","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":"Q3575308$AA31BE57-0795-49AC-AC7E-DBA6E0594176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2da8ca6915441e4485001a0f019d6313b91f43","datavalue":{"value":{"amount":"+0.7614313960075378","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":"Q3575308$A1AB2D1F-48AE-468A-A150-9D87D9B6BF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcabced946a4d7bf997a769b35f56f1df5f86bc6","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3d92f83a4c4f87f15b8b6184707d0b9ade3dfd","datavalue":{"value":{"amount":"+0.7585949301719666","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":"Q3575308$3B3FE212-C79D-4556-A380-775E825A019F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575308"}}}}}