{"entities":{"Q5030205":{"pageid":7059782,"ns":120,"title":"Item:Q5030205","lastrevid":54225587,"modified":"2026-01-26T12:16:15Z","type":"item","id":"Q5030205","labels":{"en":{"language":"en","value":"Abstract cofibered domains: application to the alias analysis of untyped programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474243"}},"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":"Q5030205$EC70E427-5D7B-4236-A996-F4A7D1858DF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e09d31e4ea15ce46dbba759d1e81110d25ab4cd4","datavalue":{"value":{"text":"Abstract cofibered domains: Application to the alias analysis of untyped programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030205$4D422952-8E08-4338-AA97-001811B4620F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59f87b4b515bc90d801c8ee07a695180abdeb569","datavalue":{"value":"1482.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030205$FDE26025-5C92-4D9A-9E1E-C68F2B2EB212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cd97ba1e74ef10b08bf47528fcf7cfcee185f83","datavalue":{"value":"10.1007/3-540-61739-6_53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030205$E3DBEE70-0E42-4AA3-A636-B42E9D52C58A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74919f41785b3e21e630ae6354a1c7fcc752cd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1702926,"id":"Q1702926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$A3203423-ADF5-40DB-9498-F5C41B3BE778","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$F401DC16-76C3-49AC-B61E-08017D56CF9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030205$A496227D-88A1-4917-B8C5-4A426F982E90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030205$06881E54-1E80-4002-9EE8-6737028A2D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030205$8D7F8B27-DEAD-49F8-A761-E0AAB62922A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2d1e494b9308dd35788d42300790ef27be214ba","datavalue":{"value":"7474243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030205$6CE71FE9-2476-4498-9A1F-F90DE3F05EBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"292cdc61ad8030c7a26cce3ec145091993dd1559","datavalue":{"value":"widening operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030205$F1E7632C-5B71-4DAC-9E98-4E49B5760873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030205$465A53A8-72A6-455B-A0FB-80141D63C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912b376560370ff10dddcb7739ed59342ba686a8","datavalue":{"value":"abstract domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030205$EBE65788-A7A2-43E5-A4A1-F710A83CC9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64be21dafb709ef45e85041e8a797f5eb16fd0ce","datavalue":{"value":"affine subspace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030205$9D100197-A8A4-46E0-960C-155A52E8314D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5ef96e16ad04069a357ef6a98a2823c300d1c3","datavalue":{"value":"abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030205$E42FA045-5C98-4F14-B958-8A08E5A3F8D5","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":"Q5030205$4F923165-D1F8-4BA5-858A-A91177021C02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b207534d6a5c88ea72d9a829c0a567ae88e39fb","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_53","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030205$C2974446-4926-451B-A19D-D1A8CAD1E8CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bbba858960dfa97adc821ba69f348bd505b1230","datavalue":{"value":"W1537510808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030205$313D562B-938F-4C85-8404-39FF2219811F","rank":"normal"}],"P223":[{"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":"Q5030205$21F7A0D3-6D31-4AE9-85E5-FAE56F5995E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d0f2bde7ff314c9838121d1b9500cf81c61227","datavalue":{"value":{"entity-type":"item","numeric-id":4100674,"id":"Q4100674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$503852CA-353E-4177-8C4D-A4DFB3B5EAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$BF6D174B-9970-4442-BF83-4BC519ECB201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a263c401f417bf4d00c8779e7786f6bb812d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3914417,"id":"Q3914417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$B1031441-621C-4F6E-97A8-05C3D92E9387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fe5096ebd237e9c4393d87931bca2c88a0a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2736342,"id":"Q2736342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$1C5E470F-6A11-4F3F-ACCE-FFD3E01BC1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1588643b46bb7595ed7eb54aa874b8401b35090e","datavalue":{"value":{"entity-type":"item","numeric-id":4729316,"id":"Q4729316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$E12EA654-4C51-4EEA-9639-985ED2B21F90","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":"Q5030205$594FEE9E-F4AE-4FE8-8208-921464D7DE35","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":"Q5030205$BAC13CEF-599D-425E-8C16-2D25D81A064E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$B6236262-30DC-489A-BE6F-96B027C05918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$BF6F2C53-29AD-4BF6-9B96-A8D8E0918CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$8EB948C3-9070-428C-A468-309EF4777A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030205$6BF0C729-C119-454C-B447-91462ACCED25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff05604f1531e7f2fe0b3b733b9b2517de6e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":1818078,"id":"Q1818078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277bdaf2217a70c7e3bc78b1826fb83289e93a8c","datavalue":{"value":{"amount":"+0.8454719185829163","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":"Q5030205$9BA8361B-EAD7-47B4-8EC1-40A743330B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302390c47dc9d5b7a6d35fbd977b9919b94b1668","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c5ae1e345f83afb0be155768e5418d883859c6","datavalue":{"value":{"amount":"+0.725050151348114","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":"Q5030205$E767F9A0-5C6A-44FE-9EDB-A4555498B2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee48923dc41867b3e45f7bfe4c3e9575ba7c52df","datavalue":{"value":{"amount":"+0.711012601852417","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":"Q5030205$A2776594-74EF-4FAE-A5DE-0DF660FF2267","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":"9ec65c22677b43ec3d54bc92117eec6160c51104","datavalue":{"value":{"amount":"+0.7097170352935791","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":"Q5030205$8A01352B-876A-4654-851D-1224CB116E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afc529f0a73900bdac4bdb77670b5af9b23cd19","datavalue":{"value":{"entity-type":"item","numeric-id":3079911,"id":"Q3079911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceab94f2e70098ccdaa792eb10c0e834d7b77c6d","datavalue":{"value":{"amount":"+0.6976159811019897","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":"Q5030205$8B0E34E7-C130-47E5-83CB-92779C68BBA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030205"}}}}}