{"entities":{"Q557807":{"pageid":559574,"ns":120,"title":"Item:Q557807","lastrevid":62730252,"modified":"2026-04-11T08:04:38Z","type":"item","id":"Q557807","labels":{"en":{"language":"en","value":"Transforming semantics by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184046"}},"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":"Q557807$ACC3E659-F103-4320-9B7D-9FF7496B2E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0830a4906f856803fb0ce89b1e596c0318ad583","datavalue":{"value":{"text":"Transforming semantics by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557807$290F0AC2-1D55-4167-BF3F-62DFFF278004","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6904dcd5d0d3045a5d2490ca8c1cecac6de257","datavalue":{"value":"1080.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$7514D81A-9943-422E-A31D-7F242C286026","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":"Q557807$60797DB1-E5C0-4C38-A220-F689AE09E25E","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":"Q557807$81F42D46-0947-4F45-9294-31D21F9821A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$AA43D674-4F43-4387-B54E-AD39DE774E28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557807$8A7234D4-6217-4938-95F8-1BC775FDB6A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"997135b738a826a1e4929d8a55405238406b35f5","datavalue":{"value":"The most well-known structural properties of semantics, such as their precision, compositionality, and relation between complementary observables, by using standard abstract interpretation techniques are analyzed. It is proved that most of these properties can be characterized in terms of properties of the corresponding abstractions. This is achieved by isolating a suitable set of abstract domain transformers which allows one to design abstractions accordingly, providing a characterization of semantics of programming languages as solutions of simple abstract domain equations, involving both some basic observable property which has to be observed by the semantics and the abstract domain transformers necessary in order to achieve a suitable structural property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q557807$BD46F2E2-E839-46FA-B8D4-8A52CFE06BB9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$2DDA08C3-DF34-443A-8B53-6D8BB9DDFED7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$4A5BBBD2-19E3-4317-80E0-CC9E284E484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$02291A6D-0FB1-4C1D-B9B4-8EC9BC2851A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cebed9fe6d22bdd58c40b36876f3ce640c69063","datavalue":{"value":"2184046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$77CF0348-6F7C-44D1-B9D8-6FA0C53BC0B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q557807$94B8FFB1-82A9-48A7-BDD9-E0DC1667B61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3918e965ea656188ff0d6dc3e4e4d9a3f6dbc2fb","datavalue":{"value":"comparative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q557807$A12A5052-FB4F-4BD9-8C2D-2F2637385455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q557807$D0E76B35-8583-48A3-99BD-90914BD0A66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q557807$70CD7766-849F-4156-B1C6-9431BD01EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q557807$61DC8522-FE0C-42A6-80C1-FA3CEE1E8572","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0cd5dc9b27848fcf8faae11e22486f144e279164","datavalue":{"value":"Q62046240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$60474A21-F28F-4921-A1E1-5BAD16EB0F0B","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":"Q557807$B7F4F82D-489C-458A-B7A9-EE4D8E690496","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3fb85063199270fe2825bbe11fa83a22f42ef45","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.12.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q557807$F0172C7F-6EEB-476B-8DCB-B742C8F7C798","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45437e250291ddb0c12f92a424809100a0086e08","datavalue":{"value":"W2069431698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$7B75CABF-84F3-404C-AB0A-87F897DB13DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$75602961-B868-4B67-8CEE-002069D443F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$BBD74D3D-D061-4C01-80AB-671392C0DB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$634816C8-A4F6-4820-8D12-D013A6A19D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$019284C6-67D3-4739-A198-AD6E772F1524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe26d27e2744e8b6ab9b1fa6716abab7b968cdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$CB49F81B-2CE2-4E5A-9CD8-44FE72443EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498e9f122ecd76dd7e75a65105a3a53c0ea6ff3e","datavalue":{"value":{"entity-type":"item","numeric-id":4222883,"id":"Q4222883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$B7066E08-D79D-4098-B67F-C22C6D2EDD5B","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":"Q557807$B5154D15-330B-4B95-824F-06CFF3C4A607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$9D9001AD-7A8D-447C-9F02-935A7ABAC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$F2E8934A-6DEF-46F2-BFBB-1044167BFF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$9AD5BD54-BF7D-4F98-AD2D-B85B5DC008E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037bc5e7dbb973e85b53a4883d8674e20034d919","datavalue":{"value":{"entity-type":"item","numeric-id":2767186,"id":"Q2767186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$4337C64F-178D-48EB-A0C2-EC2F76D0FA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$861B0230-6CE4-4A94-B799-F4F87026CA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$EF788316-8BEC-4C29-947B-101FDAF84966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac064edfee9ed430c37f6923863f50c51c8aa60","datavalue":{"value":{"entity-type":"item","numeric-id":5829077,"id":"Q5829077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$A39D97C1-3BC9-497F-A889-01C7EDD8000A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e640c9f35893b4c0cbac8cf11b1607e0636da0b","datavalue":{"value":{"entity-type":"item","numeric-id":4593956,"id":"Q4593956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$34CEA062-97DE-49A4-AEF8-544F6C87ADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632a47efa4a62cf764567cbfe493c44d2f90d","datavalue":{"value":{"entity-type":"item","numeric-id":1426864,"id":"Q1426864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$398CCFCC-F8F7-4C41-BF4C-8452E71596AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c826802362fd2e69416c88fc6976635f9b38bd","datavalue":{"value":{"entity-type":"item","numeric-id":1272226,"id":"Q1272226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$5AA9CE73-AE90-41A6-BA47-C752B08E4F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9509e84d0d9f956dd36c226b8de4c9297eda69","datavalue":{"value":{"entity-type":"item","numeric-id":2956725,"id":"Q2956725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$50F594AD-9207-4FBC-B01C-43651090DC24","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":"Q557807$10CB821D-7279-4F52-A037-DF9EF5C644B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c6be5b948bd0c51b43bd06bdf6774d93d9c414","datavalue":{"value":{"entity-type":"item","numeric-id":1285656,"id":"Q1285656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$642AA093-3052-4370-8ACC-0E86ECAAFB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ceb58db0f80f91d64e5415ef4d0a7fd5c76f16","datavalue":{"value":{"entity-type":"item","numeric-id":4217930,"id":"Q4217930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$E80E2B0C-A2FD-462D-9CCA-AAB89A5B7F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$CB02AFE6-1366-4ECD-8F4F-8FB6472A850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e13646a1d8686064c0703b5143cdb7b49ecd3","datavalue":{"value":{"entity-type":"item","numeric-id":4245937,"id":"Q4245937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$73823E4B-418D-4CEC-812A-18BE4D28EAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$EBE27791-AAF2-4512-9903-79AFEE92FD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2b8faf21da8c943557c9250edd801b67320a04","datavalue":{"value":{"entity-type":"item","numeric-id":3294260,"id":"Q3294260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$A7E34A57-A488-4C66-B13D-65FB2539D47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c012e9e7f8615bd9f015df51cf98112471a0adb5","datavalue":{"value":{"entity-type":"item","numeric-id":3713564,"id":"Q3713564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$6C87733A-DD93-4222-9073-D4068502BD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$B5DDE485-9E49-47C7-BB5D-59811E37BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357bdfb4c5e9980ec5522cdcacc1a9153d4ab8bb","datavalue":{"value":{"entity-type":"item","numeric-id":1605228,"id":"Q1605228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$2A8D3D73-BEF7-4BF4-A985-3B776FF61F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c5d0dc839b08162414ca2698aa76f7111ffd3d","datavalue":{"value":{"entity-type":"item","numeric-id":2265442,"id":"Q2265442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557807$D754C050-9BC8-476C-9CC0-2EF6478984F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"762892fa2088f6c06477a24bcdea2ec834d865bd","datavalue":{"value":"10.1016/J.TCS.2004.12.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557807$83CFCC0E-874C-43C2-9A47-7DC1CAED0D96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064fdbccf0da01ce4ddb9657b0f452992bfee24e","datavalue":{"value":{"entity-type":"item","numeric-id":3522058,"id":"Q3522058"},"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":"Q557807$C3DF166B-25EB-4D5B-9571-3997D6AB15B5","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":"567d59b57e48ec7812fd384eedcdc5cf8ee6c9bb","datavalue":{"value":{"amount":"+0.7634613513946533","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":"Q557807$F9B4108B-4686-4D0E-B18D-F684339CFBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9fa2baaf6ed339463cdc7a9faed2f121825fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8393500690a9a47d13e3651b54a010fe875c7e","datavalue":{"value":{"amount":"+0.7512892484664917","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":"Q557807$BC9D3438-EF93-4A24-98DB-D7CA4E5CDE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656486f250633abf5554fbc58fd9a379412b9579","datavalue":{"value":{"entity-type":"item","numeric-id":4736494,"id":"Q4736494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6415083da7df17d2dabc0fc4ff94455342e76655","datavalue":{"value":{"amount":"+0.7462478876113892","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":"Q557807$C787D769-329E-4662-9AB5-BBCF06194FCD","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":"943d6e81caed3761bcc13276a7ef12dcd26067be","datavalue":{"value":{"amount":"+0.7317215204238892","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":"Q557807$2B792AB4-CC63-4BFE-BB3C-640E457D1DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transforming semantics by abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transforming_semantics_by_abstract_interpretation"}}}}}