{"entities":{"Q5285984":{"pageid":7315558,"ns":120,"title":"Item:Q5285984","lastrevid":91888385,"modified":"2026-06-05T00:19:42Z","type":"item","id":"Q5285984","labels":{"en":{"language":"en","value":"Relational Reversal of Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223344"}},"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":"Q5285984$BCA91699-897E-49C6-8E91-49C5DE1930D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c95a6b7ca6e33c437683dafe1046518f42b8a60e","datavalue":{"value":{"text":"Relational Reversal of Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5285984$6777A2CD-57D1-48EF-801F-9DE5687B9BBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"790947bb284238b28658490bd40b5a41d5289d74","datavalue":{"value":"0784.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285984$E7D753B0-F687-41B7-9B25-6BD87071F510","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5285984$CF21E596-F786-4D8D-B4C2-A16E7E36D00F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285984$3B0D5738-3D19-41B8-8662-267DFF3AB6DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dc7bf26f0b5d68ebfcc811da1ee28968756f962","datavalue":{"value":"223344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285984$F3989376-F6C0-422B-A142-FB7DAF301C2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb22888c890d62d9b0c0326f7c5ce4349e893032","datavalue":{"value":"semantic analyses of functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285984$DE3B478D-44D1-4FE7-BEDD-5860590D72BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285984$755BC1D6-602E-44FC-9BCE-451657EF79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f2908b80aa8c5c7c3dc2238ea33e2d59951c32","datavalue":{"value":"abstract values","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285984$A2D03F9F-67A0-46BC-85FB-A2FDD44393A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4797cb1367635a918e7fd0730ba87e6d715cfb6","datavalue":{"value":"forwards analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285984$7918703F-0BA7-4743-A1D9-08D292734A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9ee541eaa244f4fba6e325a711cfcd3fb43dcc","datavalue":{"value":"abstract contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285984$78D03407-CE44-4083-B823-3768D07B3A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e616a947f7712366ea36155533cc634c86b7efa5","datavalue":{"value":"backward analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285984$C393743D-B891-4FF0-B205-E6E9B8425F2B","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":"Q5285984$BED5B014-F2D4-4F29-998A-172FC74FA842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9957ea715da9877b4d2799d5e4848f99ebc6224","datavalue":{"value":"https://doi.org/10.1093/logcom/2.4.465","type":"string"},"datatype":"url"},"type":"statement","id":"Q5285984$31DDDC7A-B301-46AA-BE34-F1F93E6F6F67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e14eb8c6785c3c6c117da982158857f33c1ef6d9","datavalue":{"value":"W2027512804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285984$577A64C6-6D92-491E-8E43-7691CF7BC8CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"619d4fe1af3b87595451e97af130e89e1167d29d","datavalue":{"value":"10.1093/LOGCOM/2.4.465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285984$22726FF4-6652-458F-BA81-0D668405DDDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285984$18A1708F-4087-411C-9B91-AA7FD8728192","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3486c66393ed979a48cd2dd3cc6393825a334e12","datavalue":{"value":{"entity-type":"item","numeric-id":1330440,"id":"Q1330440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f99641e777c463e77110cf4ede64de8a9d6cf3d","datavalue":{"value":{"amount":"+0.8520553112030029","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":"Q5285984$D02B5F0A-C70C-4274-B963-488643146A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b416dbcde09ef6d7cef6d0c2ac0281b43c9e13","datavalue":{"value":{"entity-type":"item","numeric-id":4414380,"id":"Q4414380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46928781e4bac7616c44b78619ce74503ed8eb9","datavalue":{"value":{"amount":"+0.7742147445678711","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":"Q5285984$95060B09-AA87-4887-B4AC-C52A3202F93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68d03788774669eaa8b68ff412a9ad08b550a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4949939,"id":"Q4949939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1109dac8e65e14f78842fd4a6405c49f28005fa","datavalue":{"value":{"amount":"+0.7697992920875549","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":"Q5285984$5D54CC83-3226-4E3B-B2A4-AD860AE4AEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d95d6d7506fa4529079a19a9ba063b919df62f","datavalue":{"value":{"amount":"+0.7449229955673218","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":"Q5285984$4CE4BF6F-8C31-4479-8A34-9D45DAFE8790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational Reversal of Abstract Interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_Reversal_of_Abstract_Interpretation"}}}}}