{"entities":{"Q1035705":{"pageid":1037553,"ns":120,"title":"Item:Q1035705","lastrevid":66089919,"modified":"2026-04-12T07:29:01Z","type":"item","id":"Q1035705","labels":{"en":{"language":"en","value":"Abstract interpretation of resolution-based semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624948"}},"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":"Q1035705$70A9AF7E-61F5-40E3-8B2F-54EDC433AC57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a9fc117f6501a400ed9f83854e8e41783607758","datavalue":{"value":{"text":"Abstract interpretation of resolution-based semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035705$90724B8A-9DED-49A0-9F04-15BCEE9D8228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9733a08d0f72ae19c99dfb4f0fa86d91c172074","datavalue":{"value":"1187.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035705$CA977D20-D67C-478B-8863-2134A63E21C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$BA98FA77-C14F-45EC-B224-0EDF8B590977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$67D8E7D5-AA82-4AC8-ABFA-1B22281E4EEA","rank":"normal"},{"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":"Q1035705$7B71A446-6927-4AA0-89F0-FA253C4D2F70","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":"Q1035705$760613C5-F531-405E-AA0B-387D4749CDC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-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":"Q1035705$3D393B56-C4E8-4BCB-A35C-562C37DA1698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035705$FE52A323-FEF2-440B-87D7-9CD03F1AFCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035705$BADD709B-C9BF-4C57-AEE8-ACB4B2D07962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a64a743acea576fdb8e49de53c87a430b77ac454","datavalue":{"value":"5624948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035705$88722178-3BE0-44A0-A5FC-F58B301D8137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035705$5CC8B246-96FC-4583-A60D-E83A58853760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f75da3bb92b03fa9ce062c2d04fcacc109c306","datavalue":{"value":"bottom-up semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035705$55414F14-DB2E-482F-AEF1-35E13638480E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8223070af44dbcd5535d113eb5a26a71e7a318ca","datavalue":{"value":"Herbrand semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035705$BF9926D0-9C0F-4F27-820E-C3637A981B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035705$05E5CAC3-F198-488A-AA7E-EF3FAF3E9E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f103bfad6582d0f3b260409c442a865a112d53","datavalue":{"value":"\\(s\\)-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035705$827B171F-B357-4547-8314-93332D63C7E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$D4A7D353-C288-4110-9A80-09B602DC10C5","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":"Q1035705$D21C32D2-7505-49DD-A0DB-16399823C355","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc3c12ed015d6af8d6073ef4debabb0a06ab7c42","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.07.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035705$51EA8D0B-0C1F-45A8-9134-6487B9EB2883","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c3e63ccebb950daf5712b0028a8ef0038b63b61","datavalue":{"value":"W2156720745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035705$3E90731C-BE34-40E8-BF08-34847F1325A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$374EC10A-96BC-4035-876A-FE1271D6A031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b2cdb408e129191380bf97864d34919350425e","datavalue":{"value":{"entity-type":"item","numeric-id":3768369,"id":"Q3768369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$2FEFC818-9583-4973-9117-1D33E0BFD681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a7a8faf60be76979d48d806fb07c9b8e53a682","datavalue":{"value":{"entity-type":"item","numeric-id":4268493,"id":"Q4268493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$D0E51DA9-E82C-4948-A374-0C6BCE101391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e217eb02a93b62ec72d4398717f35f636278655f","datavalue":{"value":{"entity-type":"item","numeric-id":2508326,"id":"Q2508326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$98E5DCD3-C027-4CBE-A5CA-0D7D303F3DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$D7173F54-365E-4179-AA6E-8A9215C23B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$499CBB94-D1F0-4351-9312-9884222649BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a811245dec6a39fd5ccdfc31835dd157059d9b37","datavalue":{"value":{"entity-type":"item","numeric-id":1803658,"id":"Q1803658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$F7FCA305-0D48-4752-86C5-A02286AF1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e49d24efc4d6e28e97928249b399027bfe2db6","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$09B59BDD-8CE9-4745-913C-FF815812E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf26eb6ef0a2cb5ec8accba41f732c223856278","datavalue":{"value":{"entity-type":"item","numeric-id":1900312,"id":"Q1900312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$910518A5-086F-466C-8E82-8D3DCF50710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2114c9350b1f720e1f9db06bfc016c47c75de","datavalue":{"value":{"entity-type":"item","numeric-id":4895546,"id":"Q4895546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$98A1FCDD-378A-468D-AAC6-4B54DB7A405F","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":"Q1035705$19647492-C2B9-4D0B-9FFC-4AD47A6B68E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1a30e4a1e825b8ea19af09b7888d103ea0a561","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$C30303F6-03D6-4C44-B40B-F4D806471A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3392c00211215ea2b6bc16d14713823091e58c9","datavalue":{"value":{"entity-type":"item","numeric-id":1274454,"id":"Q1274454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$A16B766B-CFA7-402E-93CB-7DD7103B3AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$9A2A880A-3FD9-4D33-AF48-4FAD41C23730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e520ac910e5e7e247de7017e5d4cfab23d4f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3998976,"id":"Q3998976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$5C120F65-AE82-475E-9BAD-E17CA918C5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$5AE8C10D-AA98-4084-8360-9B5167045DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$BDF143E9-7E3B-4149-9405-301C5AA145FC","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":"Q1035705$69325324-83B0-432A-BEFE-199AFA02AEF1","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":"Q1035705$BF8F886D-C9CE-4764-896C-3C9F019AECF1","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":"Q1035705$EF17B43A-D0B2-4B3E-93F8-643A9E843B53","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":"Q1035705$3A0476ED-FFEB-4C0E-A6D2-EABDD0BDD0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4c5df0a142e825f10aaf217015567d11fd8a99","datavalue":{"value":{"entity-type":"item","numeric-id":4038706,"id":"Q4038706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$BC646259-0724-4ABE-A484-C00DE18EB573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$43993B9E-1185-4685-BCA1-FCCEAC5C4F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$5A235935-2BE0-4774-A563-3077434DCADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$2A9D8212-CCD0-436B-8068-264C7000B0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035705$A406398B-9329-4008-92D3-D5A9872889A0","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":"Q1035705$D1FC0F4F-5DBE-4D05-A5F5-6A2CAEE57D96","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":"Q1035705$21433AE8-E342-40F2-96A0-EB56BA049D73","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":"Q1035705$9742A38C-F074-4BCA-A148-08CF0F522196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b75098c217aebb4ad0afa6e5731951c56d6de79","datavalue":{"value":"10.1016/J.TCS.2009.07.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035705$F3C4BBCB-58A3-4AE5-B2AE-3B5A3D240FB5","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":"aed256181addcd0ed789007cf286656d74020d4c","datavalue":{"value":{"amount":"+0.8390794992446899","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":"Q1035705$FBD06989-37A5-499B-A0CA-09650CEA512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be5da3e6f26618547990e63d66c95bc314e0c94","datavalue":{"value":{"entity-type":"item","numeric-id":4281588,"id":"Q4281588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5498cd3cc9508529efbfd80edc933acf89ef67e","datavalue":{"value":{"amount":"+0.8387335538864136","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":"Q1035705$216F0DE6-8FC5-46C9-93E5-6615521D886B","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":"289beec0271f02f1cc52600f9a56cdcb1208ff7b","datavalue":{"value":{"amount":"+0.8239994049072266","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":"Q1035705$BD1F8066-BFFC-4E7F-8FDA-A1FF337C1DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710689999062aba102967f0498074b1d8198c12","datavalue":{"value":{"entity-type":"item","numeric-id":2956724,"id":"Q2956724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9755c1721d759b8fac5630656e3d9174b30d00a9","datavalue":{"value":{"amount":"+0.8207290172576904","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":"Q1035705$D3ECADBE-647E-4601-8FB4-7DD362704A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b08b1da6cae6342c6e3bcbe404b84a355f9b3f","datavalue":{"value":{"amount":"+0.8120589256286621","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":"Q1035705$6BE0D16B-DE7E-475B-B72E-F737C0CA7BD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation of resolution-based semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_of_resolution-based_semantics"}}}}}