{"entities":{"Q3522058":{"pageid":5551962,"ns":120,"title":"Item:Q3522058","lastrevid":50438873,"modified":"2026-01-14T01:36:33Z","type":"item","id":"Q3522058","labels":{"en":{"language":"en","value":"Transforming Abstract Interpretations by Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317372"}},"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":"Q3522058$8772C94F-B469-4835-B664-F1524D86B379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f93eb2b3316840e64d5737830928d0030ab91857","datavalue":{"value":{"text":"Transforming Abstract Interpretations by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522058$BDDAF4D6-CEFA-46F6-B328-161157F1DE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3c989e9d98369db9488a8db4425cc49e107e6c6","datavalue":{"value":"1149.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$9784F051-F7CC-4FE9-BEFA-76004F26F7EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ad8e53ff97176088360d2c9f80054a7f053f388","datavalue":{"value":"10.1007/978-3-540-69166-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$CF6667D3-7A69-4AB8-B571-007B72528A4A","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":"Q3522058$0A1DA5E3-24FA-48D2-BF4A-56730240F80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$66E1ADA2-0392-4708-BC4A-8B4C474CAD29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$568A2CFB-B551-4D62-97F5-61545F61B6EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522058$5C947F1A-53C9-4B63-BBB7-4E37EC66DA8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$65922916-A593-4370-9D32-C33C617DA74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$6B087097-62E9-4C06-BD6D-A343D21EBEDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6068535d83d099509c5ed6057c20150760ced67","datavalue":{"value":"5317372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$4162A380-5695-4AAE-B3FF-5ECF2E92413A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e66144cbf13a41239a7a9651c339f14f709af2ee","datavalue":{"value":"Q62046232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$00C6BF53-F628-48F8-86A1-86F176232AA2","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":"Q3522058$1B06542B-7012-44A5-BB37-BF8D32DDAB02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f6175946d6cafd218eefc2f672670ef3f136e7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69166-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522058$235A3DD6-3C45-4A79-9F70-2DC9BD59F4FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e0613d7447a8ca8e3f378216b6a7c211ca9e415","datavalue":{"value":"W1558230924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$83941E46-D279-4CDB-9C62-67DAC4FBA51E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74f54dbad1eb78956910b5ab1f1e285a4c4288d","datavalue":{"value":{"entity-type":"item","numeric-id":5262929,"id":"Q5262929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$67198772-E3DF-4BF7-9D50-E6FABC6BA385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$0CF53290-CB08-465D-A163-FDB26722EFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab9cec473c39d1eda43d5cb22727844c9ee500","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$5EAC98C8-671B-4212-9C48-B25A1A2DC447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$59F731E3-1142-4886-8558-2811DD8EBAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc198779b4fb01fb0dc4918d4383de23c1f11df","datavalue":{"value":{"entity-type":"item","numeric-id":3968981,"id":"Q3968981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$42C36191-7D5B-4847-822C-BF1180977A9F","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":"Q3522058$9A1E4426-E33A-4D75-B568-E054D502FFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f1b78db25ce6783ab9324e0cd5fa22edc5414c","datavalue":{"value":{"entity-type":"item","numeric-id":4414386,"id":"Q4414386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$BDDE36A3-D0D1-4CF6-9A9E-39BDB4725FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f8a8e4de435b8ee5d9a32f1300f43143475771","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$2C2E08C8-008E-402D-9A59-4B83F80ED150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443c4c151a80773a685e07a1bc0f26f827aa390f","datavalue":{"value":{"entity-type":"item","numeric-id":5316572,"id":"Q5316572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$15C5475E-05B9-4153-8D30-CFDF26C55990","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":"Q3522058$AC9435D0-F6A0-4D8D-902D-765D93933528","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":"Q3522058$711237B9-0925-419A-846E-0574EC91442D","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":"Q3522058$11E05CE7-A66F-4DF2-A593-831E8CD6C734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77160fa5eaacba4239ffb79c1e85bebb20d6574a","datavalue":{"value":{"entity-type":"item","numeric-id":1275821,"id":"Q1275821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$ADA71EB2-35C1-4A08-BB5A-2A0D13E69983","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":"Q3522058$9075637D-5BA5-4FF2-B49C-3318A0F9F8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c27df4e5b6f34390aea0f7b9a694cbda45edccb","datavalue":{"value":{"entity-type":"item","numeric-id":5277715,"id":"Q5277715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$1C2C594D-AAEC-42FF-9FB9-25469A9BE3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d114599b65c5a1eb5be04eb280ca37b3d420909","datavalue":{"value":{"entity-type":"item","numeric-id":5602132,"id":"Q5602132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$38D1D4F8-3AA4-47FD-BD1D-79DF98EED69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef35927efdca637d550edc4b800fe98494502b69","datavalue":{"value":{"entity-type":"item","numeric-id":2653385,"id":"Q2653385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522058$E192433F-051A-44DE-9BC4-DED58C4C36AA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e300cfe5fcb5fe78f20667288746737178837b0a","datavalue":{"value":"conf/sas/GiacobazziM08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522058$0E714F77-9282-48E8-B7A3-27FC58521270","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff5a3a02891211b28f5b21ef6b501d8bbaa68f1","datavalue":{"value":{"entity-type":"item","numeric-id":557807,"id":"Q557807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682a5d30faf48de69f74fb5cb337e4c5a623d45f","datavalue":{"value":{"amount":"+0.7853318452835083","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":"Q3522058$2B952F9C-808E-4FF5-977D-1CDF3C824396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274b8fd3bc5daf63ca5b01fc3ab55fe4e5895a53","datavalue":{"value":{"entity-type":"item","numeric-id":4994686,"id":"Q4994686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8b17916f99f6a9d55c4cce481a67aad11fe69a","datavalue":{"value":{"amount":"+0.7652023434638977","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":"Q3522058$4D14568A-D77C-47AC-80F2-E5AA1BC2B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f9b65047fe1bab172fea07ccb70001d6f54e2e","datavalue":{"value":{"amount":"+0.7613447308540344","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":"Q3522058$9D0DB110-3360-4282-AEED-378E50BF4E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c7f3d91df77244891dccde6a84e26c5aef0736","datavalue":{"value":{"entity-type":"item","numeric-id":456469,"id":"Q456469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b83d7821a11c4d98ae9984972dbe01c4771efb4","datavalue":{"value":{"amount":"+0.7566767334938049","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":"Q3522058$51AFD68A-318E-4AE6-9327-01D6F8649511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c45d081081954201ed6147b22adc377d3cd248","datavalue":{"value":{"entity-type":"item","numeric-id":5741575,"id":"Q5741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955cc7d5227415b4efba2bf241463f9a12206ce0","datavalue":{"value":{"amount":"+0.7534927129745483","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":"Q3522058$C085A5F7-5739-4E67-9E86-620907D41421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522058"}}}}}