{"entities":{"Q2252528":{"pageid":2263271,"ns":120,"title":"Item:Q2252528","lastrevid":43758693,"modified":"2025-11-13T09:57:35Z","type":"item","id":"Q2252528","labels":{"en":{"language":"en","value":"Correctness kernels of abstract interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318231"}},"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":"Q2252528$28331E67-B2AA-408A-9E22-7305E75089A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90298c309b4080936efdfd325ae86916b2a17ba3","datavalue":{"value":{"text":"Correctness kernels of abstract interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2252528$A0A52FC9-1584-4B8C-B0B1-6BB2C12960C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed66b30bf63132cfaa5090f1b1a84dd96364cd86","datavalue":{"value":"1360.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252528$1EE8966F-9E2E-43DF-AAC3-2455A2418AF1","rank":"normal"}],"P16":[{"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":"Q2252528$63EA399F-6427-4D2A-9FFB-790397A80AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$71EDE9FE-F3E5-4E8E-97F0-9C263AA6B1DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$7A2A3FB2-0FC5-4A6F-9406-83B1A7EDFC10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fbc29fe33876c964126870990decd0d905ec965","datavalue":{"value":{"time":"+2014-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2252528$A7E62414-700B-40E6-8E1E-D1B3915FED6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252528$2EFB7DAB-066D-4D47-AA41-787F3761BEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252528$4D14B593-153E-4073-83F5-0DE69F0A33D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde53a520e53cfff326ef69601baf6279b586091","datavalue":{"value":"6318231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252528$C18BA025-EC92-4170-A998-AA1ED5A5D89A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$E3A43D3D-5A5C-4BF1-9C87-B6D6429E506A","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":"Q2252528$721C732F-8C10-4F7C-8065-AA223CF67B28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58bf8229c49bb38da841d984edc630b10c9f5705","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2252528$C9722FDF-0108-422D-BCC0-A48223888853","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e925e118e53a0ec7372620988cdd17bf33e51e34","datavalue":{"value":"W1968011359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252528$B2A35E15-A9E3-47D9-8591-573063A759F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$A16580EA-26C0-46BF-B821-62107DA7D9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$A15C83C0-37CA-4074-AEC9-737AE41B45DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$5DDC8A1C-C4D3-4288-B254-4B8405B9C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f0d18a8d7712ea803530805070336d433b5cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$F64FDC77-CCB9-403D-A914-A0E3BA35C9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$E23B43E5-0A12-4EFC-AD30-5FCDA9F04044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d778944b6c7eeafdfa2c8076f8b44cac4fb982f2","datavalue":{"value":{"entity-type":"item","numeric-id":3522058,"id":"Q3522058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$19F028E5-6FBD-4F28-9217-B8FEBE14E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$5E79EF61-4CB3-4C09-A441-430E688757EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c5f143921a59174cd3ed61a5b1aeca1c11f68f","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$480BF80B-0B67-4DF7-8871-8EDB48570861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9af677e614b80799ce2fac10e1841dcbb8e90c","datavalue":{"value":{"entity-type":"item","numeric-id":1818325,"id":"Q1818325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$4DA279D3-A4D9-4DB9-87D0-E23C6C57C3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a655c5661a8ae6825dd218fb9d35d3c725c3dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3587440,"id":"Q3587440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$8502F2E7-6FBE-4B4B-8030-BB6A3A9EE3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$A18D73FA-7BA4-4BC7-A5EC-F5004875394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658c5c3c73fb61a98475438793aed35d957f8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5452721,"id":"Q5452721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$0DD24FDA-7DE8-45F7-80C2-4D418564F58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"874c19bde7432608ea0527b655e3302b03f250ab","datavalue":{"value":{"entity-type":"item","numeric-id":5308686,"id":"Q5308686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$F8092D10-F9F3-4D2E-A05D-576BCA499C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3349d98487c183203fbd7365efbb609bb808e8","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252528$C505DA80-3C9C-455E-875F-50F29C5E01B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dd9d40d87c8275cdb2406a26ea46ad259693b65","datavalue":{"value":"10.1016/J.IC.2014.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252528$1FB9F5C0-3DB4-4239-A83D-D58194BF046A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118aa8d5a3d1bf7bcd3b855c5cf661a63df8d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e877efc2401058bb21f2f6505b2503e0727b34a3","datavalue":{"value":{"amount":"+0.8928501","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":"Q2252528$E12CE7B4-00C9-476F-811F-D2F9BF8F262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b407e11fb90ddddd2e762b4f17d94b8119585b5","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7911748e21e291b21620f43c6820f0cb68df4bf5","datavalue":{"value":{"amount":"+0.88113284","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":"Q2252528$165066CC-F870-43F9-B3C1-8A7871092F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d67bed16c4a617f5d43396ddb703f830c31c992","datavalue":{"value":{"entity-type":"item","numeric-id":2105439,"id":"Q2105439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d639990fa9369cb20c4736e29dd35191d45167c","datavalue":{"value":{"amount":"+0.8711529","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":"Q2252528$3607C287-A0A5-4ECC-BF07-76CFF681B30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c618116ffba129ce2245f8a3b3753edcf1797","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca5962a633490b2393fb4175f36bcce2a971c90","datavalue":{"value":{"amount":"+0.86964667","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":"Q2252528$7BDEDC57-0B6C-4800-9A20-82725C9D50B1","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":"60f1db2fd408c80fccfc2c8e588c96304b434e05","datavalue":{"value":{"amount":"+0.86904997","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":"Q2252528$FE09017B-6340-4A14-B81E-E82E5F1C1122","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":"60f1db2fd408c80fccfc2c8e588c96304b434e05","datavalue":{"value":{"amount":"+0.86904997","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":"Q2252528$3691981A-E6B6-428F-9792-669D50D51B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef494c58be51059a1e7a175ce2f6c97386f8176a","datavalue":{"value":{"amount":"+0.86354065","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":"Q2252528$3CD444C7-92EB-4947-AA20-090D8BF89E4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2252528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2252528"}}}}}