{"entities":{"Q3189843":{"pageid":3200551,"ns":120,"title":"Item:Q3189843","lastrevid":45636355,"modified":"2025-12-11T17:26:26Z","type":"item","id":"Q3189843","labels":{"en":{"language":"en","value":"Lifting abstract interpreters to quantified logical domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344230"}},"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":"Q3189843$FC6D337A-7C8C-4561-A7DE-9001DED98106","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cc218ce702db32b9cbc8acc750b83359f9e8b0a","datavalue":{"value":{"text":"Lifting abstract interpreters to quantified logical domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189843$94850E1D-4FC9-4B89-B256-FCECE6FB0E71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4c35812e19f18dd0f04b1b81608f13c61acaf84","datavalue":{"value":"1295.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$A28748F6-40B0-4D92-94DF-4F6D939D99D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddc1ae6834cdca33c1d5a2b513ce94e768a2393b","datavalue":{"value":"10.1145/1328438.1328468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$41177076-599C-406D-AAE3-67E7474A0074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189843$A0D3F3E2-46F8-4355-A700-9C6D6A88658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f785e6db3da1a4486f804856f56efff904679c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3189842,"id":"Q3189842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189843$DE00027C-07C3-4235-9555-2D50244F438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189843$498ABE52-1307-4DAD-A34F-471B6AEAAFF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189843$54393516-C794-4369-BC56-21FC54779D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189843$F5EC1140-9CE8-4378-8FBF-0C07EE0E1775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$EB447659-F8F7-4F3F-9378-1C3C928144B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$8688C6DC-5CC9-4A47-A297-AA92B82CF3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$906C9E61-2A7D-4C5D-8841-D5F404524E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$2A354F14-D8B4-4803-A052-DBAB18F2379F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b03312a7685e391f64ad756d10ba2b1ff3159e6","datavalue":{"value":"6344230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$9C43865F-2C53-4DED-B395-778EFE419D56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ea5f87dae9b612e94bcd6066d915713c1cb1cd","datavalue":{"value":"abstract interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189843$12711031-3DE0-4B95-A4C3-24E492420B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1df973d8f46d3e483a02f3bbc763f3bb8ba491","datavalue":{"value":"logical lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189843$0B2BFBC1-EF9B-4CED-A899-51D586F20C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86975318a493d217a4019ff449104891cb125f56","datavalue":{"value":"quantified invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189843$A877BC8D-F2AE-4FB8-A0DB-2155CB99C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51a307fe10dd2a43a44ca16e02b711d7da2a8a9c","datavalue":{"value":"under-approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189843$98C00D26-D22C-4B45-A335-F1C107A2F0D1","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":"Q3189843$4CC79687-DB1D-4E77-A78F-9F7BBC516973","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad65bb39d12271f344259c664e63310c3ab0218e","datavalue":{"value":"https://doi.org/10.1145/1328438.1328468","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189843$B1301816-9823-49FE-A952-2E6CA42C56C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf9a60432737ef4b0983ec8508da7bd00b6a6e5","datavalue":{"value":"W2132251441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189843$FC811871-A409-46E1-AA0F-4ADEC21429C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caf56041d7738d4d6be899a4292fb9d63b84338","datavalue":{"value":{"amount":"+0.90191585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$25777537-4A2C-40F6-8D28-661644B3F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b19256178cf43bb9a3fff54e6bf2d7aef489c6","datavalue":{"value":{"amount":"+0.89811206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$37C126F2-7ACA-4A9E-9F3E-8ED586DB6BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ff270f6c002ee21d5ff4c188e45c1c58723c24","datavalue":{"value":{"amount":"+0.8966596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$8A8A311B-FAF5-4AD5-B8C3-99857C2A6F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31b27de769bc73aee2311043ed36c93842e4fa6","datavalue":{"value":{"amount":"+0.8872912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$599FF79D-19FC-466E-8AC6-D4078F796790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291509aa2d648b06a01b268b4d89cbc7e658b1dc","datavalue":{"value":{"amount":"+0.8863745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$A678F5FC-162F-4C62-AAD4-D72D9E4A6080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7958d27925c7de62b58e8183bd2203041cb9f1b","datavalue":{"value":{"amount":"+0.8828864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$297321DB-6B98-479A-9F6C-8A3FAE78F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7958d27925c7de62b58e8183bd2203041cb9f1b","datavalue":{"value":{"amount":"+0.8828864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$B8A9B53C-9FC0-4BB0-BAC6-8586BD2970E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950bdb637bfeaabc4a2e37e65736c504a92e0dfd","datavalue":{"value":{"entity-type":"item","numeric-id":4217930,"id":"Q4217930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaceecde21053808dc43ebd78793d56ad4d04cdd","datavalue":{"value":{"amount":"+0.8821186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189843$C4354A27-269D-403F-9927-78B3829C4C0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189843"}}}}}