{"entities":{"Q911319":{"pageid":913167,"ns":120,"title":"Item:Q911319","lastrevid":65290692,"modified":"2026-04-12T01:34:28Z","type":"item","id":"Q911319","labels":{"en":{"language":"en","value":"Two-level semantics and abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141534"}},"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":"Q911319$0E97CB3B-3FFE-4083-B58A-3D87B58C1C4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cfe97b7e2e8ba9db6928bb17827c3b2815cd20c","datavalue":{"value":{"text":"Two-level semantics and abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911319$CFB1E7A4-1AB0-4052-92E2-1AE074351307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a1db8f30979afc53a2728201e18c82d26387deb","datavalue":{"value":"0696.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$5BBB66EA-D80A-4A7B-B4E9-DCF08DE08ABF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84b98a17f9d6f6c8ae3f52b9be8158a59b767aa0","datavalue":{"value":"10.1016/0304-3975(89)90091-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$79AB05FD-C7CA-4D6E-9C13-05F80341BDFF","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":"Q911319$DA21C5A3-E474-49A8-8D96-5C5C8A2C2F7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911319$FC319542-E19C-4573-89CD-C356DBD961F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$38500FB3-3DCC-4158-8F60-4017454E1A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$5E1811EA-0F55-4568-9372-6AA783FFDDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$2F20EDD9-6874-466C-BE08-FFC03CEC9B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$97AB7178-32B7-4C45-ADA3-3450B107B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$A8EA9AB6-398C-419C-B325-7B477E256D1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51ed25fba0f74aad0e5dcd60123ee568a8e97cca","datavalue":{"value":"4141534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$57A1737D-EB6E-4399-80D8-5B2968F947F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8a460c0e4e1c27c16387f0cb5e032cf1a91589e","datavalue":{"value":"compile-time data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q911319$3FDE1957-8AED-4B64-97C6-DC7EBD9163F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5007e3227ca084304dc52c8771fba152fbf2c64","datavalue":{"value":"run-time data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q911319$E8607E1C-C958-46EA-B71B-D9DE79FAD6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a074174bbaf6d9572cddd1271bba521c279bfc55","datavalue":{"value":"Scott-Strachey denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q911319$B2C0E6C4-AA66-43B7-A839-A8B0000A4113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d575e3cdf119f9f9058cd9ad234dab9f9fa603","datavalue":{"value":"abstract interpretation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q911319$A6672A32-BD34-4EED-932E-CEF48C2052C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$68966F43-0671-40CB-9365-2F70A5F2E67C","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":"Q911319$8E863BB4-E5DB-411C-8B63-186C603C10E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48292fca531115057c85126165f2f3edb27d65bd","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90091-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q911319$C0D7E8DA-48CC-4093-8D9D-6BCE06131014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9c036e1dccc7b9e438a89f0c11b586338c663c6","datavalue":{"value":"W1981580304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911319$0ABA7B3B-3B97-40AC-8705-CCAD65CC2748","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$ED98849D-DE93-4BA0-9021-381F92C1425E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$B1BA4643-8095-4243-99A6-D337C77522D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53deeab461c661ffe280cd2f3064e3f5d36ee5c","datavalue":{"value":{"entity-type":"item","numeric-id":599836,"id":"Q599836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$9DB58F31-0A58-4081-9CBF-833C600E8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$18374C6E-B84D-4FBD-B185-38DB34FA3FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676b458c1dea153e4922c9d35eda49fa57a05b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3657413,"id":"Q3657413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$B916479D-B871-42EA-BF24-D169A3F161FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$71C2EF81-FDDC-497E-8799-06E064F9B291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e3a8a0d37049d9fa6256e763e6631d52d4732c","datavalue":{"value":{"entity-type":"item","numeric-id":3761674,"id":"Q3761674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$395023BA-DB92-4416-9737-79E20A88FF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d75f5a3e1354ae2fd8ae553df8cd8ed47767bf","datavalue":{"value":{"entity-type":"item","numeric-id":3860813,"id":"Q3860813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$4A9A745D-0EB9-4784-B3EC-27546624E6EE","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":"Q911319$52F7EC96-C57D-4B4D-A6D3-86F0D8342CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$2E4DC585-1429-4D1E-84DA-1885EBB41D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$E49CF46E-419D-4206-8B11-77CB36636BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$7B9BEEA1-6DA4-46A1-85A3-408E72388E60","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":"Q911319$7703D2BE-B600-482B-8BA0-DC3596FBE40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fba58ff256554daa3c7c00e75c486e7bc08ce19","datavalue":{"value":{"entity-type":"item","numeric-id":3664406,"id":"Q3664406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$A1658DA3-3016-4A06-872D-695E9E16A096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8de960a70541b3288752b5be00a181bf18e1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$D824FF70-7927-49BC-8AF2-BC3759566622","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":"Q911319$C6E8FB83-EA25-474D-ACB8-E1FA59422D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c041f75172a57ebbbacd43f363f521129e24c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3718128,"id":"Q3718128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$EDE0EACE-C17E-4050-95AF-D9FF801A5185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131435acac26fbd4c74aef522697456336033783","datavalue":{"value":{"entity-type":"item","numeric-id":3709854,"id":"Q3709854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$161142F6-DBBB-4620-8CF3-C4E8DC8B3D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08a9a3ef008eec58c2212b6cb7c459d1dce737e","datavalue":{"value":{"entity-type":"item","numeric-id":3709882,"id":"Q3709882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$ED8A96A1-5498-4D3D-B8CB-DC620F0F39F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c98ef0ce607618b86dff896c40810684b93640","datavalue":{"value":{"entity-type":"item","numeric-id":3718132,"id":"Q3718132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$6AA6A3EE-AE99-4759-A416-5BDED05BE6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf0600607c5bc17609f9d84077eec71edabfc31","datavalue":{"value":{"entity-type":"item","numeric-id":3713560,"id":"Q3713560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$7C9440FE-0677-4972-A8B3-C2F5BEDF8338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d800242e1dc493f23aa5c2dc79d56d70065654bf","datavalue":{"value":{"entity-type":"item","numeric-id":4430311,"id":"Q4430311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$A2744BFF-5D54-4590-9D63-613FF1C3EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b03de6f1dad401a15e7167ef5bc6e87332d6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1095636,"id":"Q1095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$88C6EECA-E5B0-4C9D-9491-3203ACA77A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3767f159e590433061833f579e59e4c5a397569","datavalue":{"value":{"entity-type":"item","numeric-id":3713571,"id":"Q3713571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$C3BF0FF6-818E-4E00-96BB-7416962EFF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade0bbf9ba9257fa3f0783a85792ec650fca3b91","datavalue":{"value":{"entity-type":"item","numeric-id":1107512,"id":"Q1107512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$C8E32518-DDDD-4CF0-9A50-69F5E66421BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$604C6FF7-7773-4A27-A44F-6E5ECA6916FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$9F382B35-FA6A-443B-89DF-B6E4C437990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55dd4e2a99a6c9d8c2cd0c085dc378ea6f160eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1085142,"id":"Q1085142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$C477357B-40BE-4075-A149-364DCAAADFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$A8117570-856F-4C0E-BDB1-8D44CD24E6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$63CED155-499A-4C4B-97D8-C2F9742B126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$B4AE2341-3E41-4B48-85F8-5C9B6560D3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$2BF0B9C7-D7BA-4A18-A853-687AF07D3489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e786ed2d54a288c125d6e303410f1007c73476d","datavalue":{"value":{"entity-type":"item","numeric-id":3666264,"id":"Q3666264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$EA85E9BB-996A-4A35-9B8C-D96D6862D7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$D4ACC647-01A4-453E-8C06-9F6A942C6043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$08BD35D8-AB46-44D9-96DA-5566DDA1C7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$8A4E475C-4A20-4E18-B180-36170A74B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea4680091beaae16b5982df94e51d3cbc734d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5342763,"id":"Q5342763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$715A175E-196C-4E07-8ACA-9E03530E0060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f32f04e00e542f620002f68c4a452e6a1aeb65","datavalue":{"value":{"entity-type":"item","numeric-id":3914393,"id":"Q3914393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$8B0D68A6-70C5-456C-85BD-1C3DD42891D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38544e4d5b9b72e55b740515a4b055c67b48ec72","datavalue":{"value":{"entity-type":"item","numeric-id":3942416,"id":"Q3942416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911319$4A72330E-13A5-44F6-AAF2-EF8F09983D56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb237b773a3b284869305eec2870fc2bbb23944","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62459580558efad65873b4e45d33965d2f012d2","datavalue":{"value":{"amount":"+0.8092969655990601","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":"Q911319$5FEFE506-A33B-40D4-8809-14237E24B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8bcda4db983745bfb7dd2ccc821c1fbb7d7adb","datavalue":{"value":{"entity-type":"item","numeric-id":1095636,"id":"Q1095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1fc256632778d3cfa1c2e3c7c9e819ea04dcdf","datavalue":{"value":{"amount":"+0.7869184613227844","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":"Q911319$DDF1F635-9F59-46D7-B365-EC9C67F9E890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7131f70b47538a8971620ef8764a1ee332da4ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3718128,"id":"Q3718128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0becfcf8090fa90e12d88d16eabe28893bf54734","datavalue":{"value":{"amount":"+0.78630530834198","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":"Q911319$07273484-6F76-48B0-9755-4B3336C5DD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4421b3455cd481e7c427e7a974099b3417620581","datavalue":{"value":{"entity-type":"item","numeric-id":1826626,"id":"Q1826626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44ba9bf53002d3e0701ee13d93a82ce62cdd607","datavalue":{"value":{"amount":"+0.7502112984657288","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":"Q911319$E2A1C284-17EE-467E-BD64-4EB0911D20C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeb352b2ff848c0e2be66594de844fa5c493cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3709854,"id":"Q3709854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9785adc02f03cec17420c19f98b0bb95273b0374","datavalue":{"value":{"amount":"+0.7458975315093994","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":"Q911319$D8D47300-9CEF-4587-93FB-05D297F98FA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two-level semantics and abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two-level_semantics_and_abstract_interpretation"}}}}}