{"entities":{"Q5145290":{"pageid":7174861,"ns":120,"title":"Item:Q5145290","lastrevid":58456650,"modified":"2026-04-05T07:30:30Z","type":"item","id":"Q5145290","labels":{"en":{"language":"en","value":"Sound up-to techniques and complete abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298742"}},"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":"Q5145290$E4FDAF52-6C31-4B23-A52A-9916E7704650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bf94d6ae8bf4f2bfd088c6d286eed58b3e0e9e4","datavalue":{"value":{"text":"Sound up-to techniques and Complete abstract domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145290$77C96F73-D944-4E66-BD4B-800C7A1DEA83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8c6ae466b4dc4273b99467c47b9000d2667b827","datavalue":{"value":"1497.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145290$B87DA1D6-FCB9-4A39-8A29-41678E26A8C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4df4c88baa6bf91b7a978352e8ed6da29aab536","datavalue":{"value":"10.1145/3209108.3209169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145290$C5CC78B8-90BC-462F-BFA7-DD9F2F6CBEAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145290$4AA3BE68-E7AE-443D-8C11-6E5C77C96E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145290$6B37D08B-349E-4D32-B8B1-EA55FE7BA555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145290$1C736DF5-970E-4611-8DAD-B1A72D75FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145290$315CD45A-F3AB-46C6-A395-FD290E261A69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145290$12DC405B-8222-4967-A367-821F5E65F0A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145290$84BAD4AA-184E-4387-B1F7-A03547743324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a60b4d7fb40ee5d96ee56ae90dec677c3c191d6","datavalue":{"value":"https://arxiv.org/abs/1804.10507","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145290$DC8E2FBE-C6E7-41DE-8B1C-DCC2FCA70E01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145290$93913BD4-BF79-4A38-820A-4554FA8BA702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a805ff6ef9b54eeea8e7027b3740494b8bd71410","datavalue":{"value":"7298742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145290$26F0ABF3-349D-4B02-90F1-36FDE8D9C9D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145290$C70E9659-44FC-4649-AD5E-2FD639AB8E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3239d11dab30c81bdda72adc97b4d9ccd8b7f1f1","datavalue":{"value":"coinduction up-to","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145290$1C98D19B-9A53-4DC9-B835-A47D8CFCA235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32dec02f8d1262810cd294d9e9d947fa7cb5bde6","datavalue":{"value":"complete abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145290$C7445CFB-BF26-4DC3-8BE7-E5147B625417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d518440b6b9e5a0d2e250defd9b5231b13ae58d","datavalue":{"value":"cross-fertilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145290$7BE3F553-9D25-41AB-86FB-B4D02C319F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62eb468c816a33a750a0bccaa600f85e7b1d0b5c","datavalue":{"value":"sound up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145290$35349069-BB5A-4365-94E8-5853744B0E68","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":"Q5145290$0BC9CFA0-3C43-4CA8-96CE-8CBBE806F78C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc3b13715b633ee51b3a343780c5fbe3bc4e093c","datavalue":{"value":"W2964318636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145290$C26D44FE-65B6-4E6E-AF46-92BB85A54786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf27d5dae19db8c72f3cca506d13266ff8ea821","datavalue":{"value":{"amount":"+0.7987536191940308","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":"Q5145290$36A0529B-61C1-4F48-9547-F8A537251212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a317bc729f6189008545abc165920245f50d629","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318991ac81e7eb7fd1fc036e1ae094f0424c562a","datavalue":{"value":{"amount":"+0.7616128921508789","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":"Q5145290$73CA8E01-14FD-43F9-A954-8D4781269D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e55007e39b2ec350cc88cd6063e1a5ba81599","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84b075b3e84b67f20650e3a0c8b2dcac6fb98c9","datavalue":{"value":{"amount":"+0.7561564445495605","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":"Q5145290$84B20799-077A-4CD0-95E1-CEBD3A1C2D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72c92880bfb28fd19f4271251254ad8a0e3c1fc","datavalue":{"value":{"amount":"+0.755115270614624","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":"Q5145290$0FAC3D9E-0F77-4090-A735-3E1ED438C134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1e3143baadacd9de757995dab24bd4d4030a4","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b37cbe7ab7ef27781bd979bdf5ab1a1a0d56db","datavalue":{"value":{"amount":"+0.7512773871421814","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":"Q5145290$B8D36E55-1021-454C-A46A-301E44859876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145290"}}}}}