{"entities":{"Q1098274":{"pageid":1109026,"ns":120,"title":"Item:Q1098274","lastrevid":66125880,"modified":"2026-04-12T07:43:24Z","type":"item","id":"Q1098274","labels":{"en":{"language":"en","value":"Strictness analysis and denotational abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037171"}},"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":"Q1098274$0CEE4919-0B6C-4317-A4D4-DC003E4358A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5500bd3a7aaba0e54c544bf62b19776253cb414e","datavalue":{"value":{"text":"Strictness analysis and denotational abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098274$CB2917D6-F606-4596-997C-8ADDE91FE71C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58b591ca7d4834064740a143f46fc06b798440f7","datavalue":{"value":"0636.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$5866DB8A-4A1D-4A53-8239-F9042933A262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29e5fd8a91f5ca0831932b0f8001d282a74b95af","datavalue":{"value":"10.1016/0890-5401(88)90041-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$002DC1CF-ED42-4EEE-9329-5AB59BF87AEB","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":"Q1098274$F7EC6B78-B15E-45EC-91FA-5D2965C35581","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":"Q1098274$67FECA7E-B36A-4689-9CD9-08D1383D471E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1098274$A55DEA5C-C032-4530-9134-DCDD99E9A156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$4315A8E4-19D6-43B0-A9D7-7EBD2676170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$2A98FD85-F5AF-4878-879F-76B1BBB32131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$0C58FE8D-3306-4E27-9681-BE9B8E346175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80477ede0256684a73a75c14a6e1e291ec6ea101","datavalue":{"value":"4037171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$F29EA58D-E85A-42A6-B3D6-5BE0E80CF7A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$D468E723-6F87-41E7-828B-CD7747F38C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$CDEF2DE8-F69B-4B8B-A553-CFFED5DEB7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$928E1CFA-45C6-4719-A59A-0B3AF4C67E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"674a75719cd894ea9a20476a62599d9e8e2e0272","datavalue":{"value":"representation functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$8578B2D2-CE86-4AF1-8D94-17EB8A93129D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a89f07284d4e213ee3dafd2b3dc4a80a582d35","datavalue":{"value":"faithful functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$19564374-5204-49B2-B65F-28E24A035843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d6d9ce1b91c1ed5391b7546217fca6788833bb","datavalue":{"value":"level-preserving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$CA7D0D04-AD0D-4F0C-9BCC-EBF286B26E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db7c8970240eba8663d40b78bebc4b801bc41c0a","datavalue":{"value":"higher order strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098274$E193148A-F1BD-4817-84D5-7F7655EFA2B5","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":"Q1098274$E0731C40-D595-410E-A255-FCA1CF9061D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"737d0c3d17cfd8588cef256d07e5d93a6074cc80","datavalue":{"value":"https://doi.org/10.1016/0890-5401(88)90041-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098274$AF1BCA91-7A76-4C6D-9D13-EB566983EFDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f37c4411c1272e5aea81d4328f72d8debc5b8511","datavalue":{"value":"W2069293912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098274$F1DE401D-6DD7-4267-9372-0EC4FE41B824","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":"Q1098274$111AA4C1-AF3B-46FA-9808-C0714617DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9096a0ca9f65e95a33efc00d5fbb13405c0a31e","datavalue":{"value":{"entity-type":"item","numeric-id":1054459,"id":"Q1054459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$F2F16A3F-0D08-4DC8-B9E4-B10EC5CA8209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de880688783f8430991fcd8dea08e941fcd50481","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$0BB66456-DFD9-46E0-9994-75F22A311F81","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":"Q1098274$D928FE1C-EA87-46D4-97FB-815C2F0A9884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$A0915164-A129-46D2-B39E-76B2EEE8909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$C5D2BC57-9148-45D3-8042-C0985845E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d965ae90a7eb20eb916fce33c55baba1ba71594f","datavalue":{"value":{"entity-type":"item","numeric-id":3735054,"id":"Q3735054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$30C86ADA-2298-4F61-9E88-F46E95783517","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":"Q1098274$75A5225B-2710-4C7A-A718-F007DE097004","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":"Q1098274$55C330C4-9DFD-497E-95CE-CC7628166AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$CA072BD3-E497-4698-9698-1E2452715C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee11c29f2cd39ec0f5cd745fde563272453559d7","datavalue":{"value":{"entity-type":"item","numeric-id":3746868,"id":"Q3746868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$E42D03ED-0596-4E34-90D6-A391D0EB7DA4","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":"Q1098274$A40A0B74-02B2-4F68-82B5-B6A36CB271AC","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":"Q1098274$56BD2649-611F-421D-9D47-CCEDABF1AD99","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":"Q1098274$34761E08-EA70-4ABC-92B4-6C19C91BD422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b92fd2e1ef6327ac929e8d74f7e6384b5f32cf","datavalue":{"value":{"entity-type":"item","numeric-id":1162139,"id":"Q1162139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$A45D3820-5CB7-40A4-945D-778C338441D2","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":"Q1098274$C6D1A1E9-CAD2-460E-9BBC-38B7E5C7DBF0","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":"Q1098274$0066F1C8-2857-4F75-A59D-F025CEDCE0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad30fc9d0e257246e7704bef1d150d61ddbc861","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098274$38C221F9-47AB-4B36-B4D9-2C1A0E882945","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":"Q1098274$7B3C89AA-A737-4676-9223-2935F9AD3D95","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":"Q1098274$4820F383-8559-421D-9906-DA8D65328C30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e4f483a450f14c52b124bd2de4d610514091e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193597,"id":"Q1193597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6687061fd2d785236e43ce566a9dc1c5ed68ac13","datavalue":{"value":{"amount":"+0.93923044","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":"Q1098274$8AA0F043-D1B5-4A8B-A081-CBDC0857573E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de4c93b0f7af52c93b440efc1da8df981f32a9b","datavalue":{"value":{"amount":"+0.9254733","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":"Q1098274$F204CDF8-701F-4D71-B88E-B002E443D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b406de871f98bf61cdfacc5467522b06f599d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3026333,"id":"Q3026333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9311b978e2157b19aa148d8580b521afc09fea0b","datavalue":{"value":{"amount":"+0.91591305","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":"Q1098274$C147CCFA-1D94-4ABC-9C89-E33F11158395","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":"a22a588c56d87b7ca8a609bf6b3e8363ee901906","datavalue":{"value":{"amount":"+0.9064203","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":"Q1098274$657A8266-08A9-407B-A9D5-55390227DDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595fcb28ce3c8a31cf8d6346d8f8886ea41528a1","datavalue":{"value":{"amount":"+0.90457326","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":"Q1098274$DA6A29F9-1C41-45BF-842A-01DE3A2972B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24817ea0b21cee2a5b2e62c3d86ab616382e95b","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2929bdde50640e60831b8bc2525cebd30d8fc308","datavalue":{"value":{"amount":"+0.8949725","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":"Q1098274$63719FBD-7011-4178-97A7-1E8EC13A87F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e478ae7c70ec4afc6c78e224f2f83f91924cc13c","datavalue":{"value":{"entity-type":"item","numeric-id":4376980,"id":"Q4376980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700d39c0dfa9c6236b58582013bc5089f0e22e3c","datavalue":{"value":{"amount":"+0.88983446","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":"Q1098274$CFA098B8-6E2A-4CC4-8D81-ADCF073EF110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac5fc8ff0618732ad270845236507f325982e50","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127d5fbb08a95a2f05486338e87905514ff7ae05","datavalue":{"value":{"amount":"+0.8871573","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":"Q1098274$AAA86FBD-FB23-4DA7-BCF0-29B161F4A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58e99d0d81a68ba8f6d9c1bd09c620dda4f39d2","datavalue":{"value":{"entity-type":"item","numeric-id":3130262,"id":"Q3130262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400314d09a59e2fdf4453148623b636a1e143bfa","datavalue":{"value":{"amount":"+0.88674927","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":"Q1098274$5DA854B1-1B1C-4AB4-9058-098F744CB1F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strictness analysis and denotational abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strictness_analysis_and_denotational_abstract_interpretation"}}}}}