{"entities":{"Q5452722":{"pageid":7482281,"ns":120,"title":"Item:Q5452722","lastrevid":50327372,"modified":"2026-01-13T20:12:00Z","type":"item","id":"Q5452722","labels":{"en":{"language":"en","value":"Internal and External Logics of Abstract Interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259570"}},"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":"Q5452722$EDB57078-0BC1-48C6-9486-657EDE9BEA14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"982c9e95a2d1b8093ed7bab39af73b5e9b7b71dc","datavalue":{"value":{"text":"Internal and External Logics of Abstract Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452722$9658D424-F752-4797-8766-056A07544A95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c760506a7a0a0f1cd7a049cdd76ec2f73d0e2852","datavalue":{"value":"1138.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$43C7994F-A245-41FC-A747-E4A13CFE6A9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df262070d6b594b2343aadfc79ba208975d80a61","datavalue":{"value":"10.1007/978-3-540-78163-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$757EC800-A8ED-47D2-82B3-C20158E148E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$2DF45532-730E-45B1-9E99-2962EFCF903D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$F18E5820-B196-47F2-958C-65CEF26F3A42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452722$F719117F-8EF6-456C-9C7C-981A6433CC4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$667332D1-6A2E-418B-80B1-00B063B72333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$AA38DA3A-57CC-46C9-AB3B-4E63AE1ECEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$6CA3D18D-A587-4AB7-B40B-964907A2FAE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3474546191b8e80045fcac12b6bdd238e48b0127","datavalue":{"value":"5259570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$418309E9-4BC9-4D1C-8BD7-7DE541F2FB83","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":"Q5452722$C35455D9-B69E-44A1-9DA0-491C7F63C633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d1095459143c9b70fca64647cdd281e3a95c915","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452722$00852346-A5E8-470B-9022-D9AF10F2685A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d960464fedb7b7d56928baa4f42502ee1df4911","datavalue":{"value":"W1584674264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452722$13AF217B-01EB-4B20-8BEB-F9B0E4DF4DD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$26BA12BB-23FE-4AD4-BE1E-4601FBC9BD7C","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":"Q5452722$552A2174-F278-4D2B-B296-5BBE2D8036FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$3F09BB4C-F298-44EA-8FD3-69BDF5DDD3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ab828076764dd3c1c3bcd0118a6663e784bb9b","datavalue":{"value":{"entity-type":"item","numeric-id":1071491,"id":"Q1071491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$F4AA7240-C427-4E88-9BCD-C1D5818893F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$D55FB4FA-176A-41D5-BBC0-D06BF13A3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$EFB28BBC-7A45-4861-8359-3E5C49F1EE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$9A43EF74-A85B-4C6E-B5C1-A11C5E1D235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$FF46C14D-E53E-45C3-B01C-16310287C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$D6D76CB3-6E50-4377-B8F7-6CDA89501825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb3fe4e73828994024ff72066856596621c4514","datavalue":{"value":{"entity-type":"item","numeric-id":5178913,"id":"Q5178913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$EC541EBF-EA89-428C-AB81-7C9AA146C81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$50533138-17E7-46BD-A1AE-9E5A55DD362E","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":"Q5452722$7CD5955C-8D4E-4E66-B469-154A2B9B98FE","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":"Q5452722$7378412A-318D-423F-BBF9-0EC07E97C11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$67D8B215-302B-4EA4-B491-97B8396A5D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa1ba90b9a9496beac3dac8a141ae4a758c2ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$10049793-069F-48BF-9BFE-0BF264B5299E","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":"Q5452722$43F09563-9F51-43F0-B4D3-22119B777F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b77c5f37814d8ea2893f9adb3a6e78f05fa8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$A241A6A2-1129-4C07-A9BF-8E567EC1C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466a21fc1c7fcd39afa8d38d1b8bc1715703792f","datavalue":{"value":{"entity-type":"item","numeric-id":5385595,"id":"Q5385595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$40609CC6-4D95-46CA-81EE-F0FD60148053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cefa7f87764ae001f0af43f209f06cd8d24664","datavalue":{"value":{"entity-type":"item","numeric-id":3613382,"id":"Q3613382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452722$E6A600C3-EFB1-4B6F-A4DA-080CCF1727E1","rank":"normal"}],"P1643":[{"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":"600b1cbed41fb6b08875fd0266616de46d3e3957","datavalue":{"value":{"amount":"+0.7986317276954651","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":"Q5452722$8A0963C3-7CED-4E8B-AB5F-A70BF9EEDDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb699756df25a31694772574fad73e45244a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63eca13d2062bd819f5e629d45d94b14ff8780c","datavalue":{"value":{"amount":"+0.797239363193512","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":"Q5452722$4D4F7CE3-D3EF-4E75-A1F3-1C653A1A166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52eadab47cb14f2b1b3bc2c3a82e2f9d9a4943b1","datavalue":{"value":{"entity-type":"item","numeric-id":5262946,"id":"Q5262946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50345d52fc01f0e82b9c7de61827c081a0d6c638","datavalue":{"value":{"amount":"+0.7763668298721313","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":"Q5452722$1B68C17B-7C6F-4C97-945F-F03CBE09CCB7","rank":"normal"},{"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":"1463b464487dd7fdd23cff502074ae54cc14b731","datavalue":{"value":{"amount":"+0.7716851234436035","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":"Q5452722$24ACE3E0-CC8C-4A4C-8716-C7E562E0CE35","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":"ef7f04efe58f4ea183d2c7387a2765a9d597293b","datavalue":{"value":{"amount":"+0.7697203755378723","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":"Q5452722$D305330A-CC77-4BCD-B893-31D181620826","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452722"}}}}}