{"entities":{"Q2182314":{"pageid":2193057,"ns":120,"title":"Item:Q2182314","lastrevid":57111558,"modified":"2026-03-26T16:20:33Z","type":"item","id":"Q2182314","labels":{"en":{"language":"en","value":"On collecting semantics for program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7203029"}},"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":"Q2182314$0A1B9B26-0809-4D5B-BC4B-4A9148026A6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71ddf18d404b0cecea4c4d43e54a82444d58409a","datavalue":{"value":{"text":"On collecting semantics for program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2182314$5B73BCB4-092E-4FF7-9BB1-A9B07570DD9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0f977055fff24d3fb7d4a31c007ccaad0612319","datavalue":{"value":"1440.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182314$A170A021-A313-419A-AB2B-48EEE5D78B58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$95F10FC1-460E-4B0C-AA7B-29F081D425F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2e86a415f1d5bcb22ada61dbde8bf5253a38e9","datavalue":{"value":{"entity-type":"item","numeric-id":281281,"id":"Q281281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$C79D10EF-5F8E-4408-A67B-8CF44F1FA7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$8B309AF7-F437-4B58-AE9C-53DF9A913300","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":"Q2182314$38168492-9A6C-4BCB-95BA-2B733DBB05CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7f157455450e9af34ed66ce1d308afc0b05988b","datavalue":{"value":{"time":"+2020-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2182314$3F03B4B7-334A-4E0C-98F7-4E23C2FE3F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182314$C28A3C16-D04D-478F-B8FE-B232F3D2EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182314$10D08FD7-F591-49FA-9EB9-1394DAC5418A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d38a18b8a9bd958bf5e1367985452784b066bfb","datavalue":{"value":"7203029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182314$F92DFE2D-7EA6-4C4D-A961-D9E8C518CB26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182314$F260DF3A-5B69-4B82-B44A-A454040B5A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182314$95E6C676-F31F-43DE-8F29-F0C999287C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25540c47471feaa9106858cf42204d46378622a8","datavalue":{"value":"collecting semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182314$30DBCA53-4785-4859-A0BD-E0A708ADADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182314$32E8826F-D911-4ED5-9724-0B8AE5D3D8B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$B688FC83-6173-466B-967F-E88B9535B8DE","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":"Q2182314$00E6DCFA-A500-47F5-A6D2-F397390FA6B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3de05ede2df5f8f5d9ca07b4670446533cdfd2d8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.02.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2182314$AF005B01-0A5C-409F-8181-1029D0E941C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72040d56bb038d74bd19bb82e4c2e647b73d09c1","datavalue":{"value":"W3007870257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182314$80DD87E4-E154-40E9-B6A3-C709B86F696C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb81bd457bbe741eac4d814dc1090b2d9998aade","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$26112E2D-3DA4-4115-9804-9CD219BE16A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8e604ca0bd36883e0330f76e82a9ffb16e189e","datavalue":{"value":{"entity-type":"item","numeric-id":5894358,"id":"Q5894358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$6A168011-529B-4998-8CBC-43130062FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bdb0f5d5e104354e62820ea0af9b5727364a0ef","datavalue":{"value":{"entity-type":"item","numeric-id":766300,"id":"Q766300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$87FB8197-F3D8-4251-8B01-1DC1FC1C8E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$C8DADD00-0636-4FAD-A58A-F40ED38E1945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20dc887c746c8531d17f345e8258f435bf7d4b29","datavalue":{"value":{"entity-type":"item","numeric-id":1881270,"id":"Q1881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$766711EE-D017-4F16-AA8B-4AC57936EA5B","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":"Q2182314$10956F6C-B55B-42E0-96A0-7DC23CC6B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ed0b34c0c7c39cf52c2b57b3122913e565beda","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$A4651BA0-7F8B-43EB-ABCE-C43AF37F7B72","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":"Q2182314$6164071F-82D3-4FB0-9545-214E9D40FC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$1569ED47-7A67-4DCE-9BE6-87011A4E745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f305c08ea779e2a1b33d6ca000b1ea10edfd3691","datavalue":{"value":{"entity-type":"item","numeric-id":4635587,"id":"Q4635587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$DFCAB1C3-64E1-4FAC-9B95-40C192285BB3","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":"Q2182314$C2055648-4658-496E-8D1A-08F072248548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$58C0388F-2CF1-46F7-82F8-497176AB93BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$0707FA52-A3C2-4F90-9760-31A9EE22DF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a37ccf5052b7ce5ca76a052d514d466f26181c","datavalue":{"value":{"entity-type":"item","numeric-id":5030205,"id":"Q5030205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$5A5B82E7-337D-495E-B540-3CEE33D9A4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b644b15a6886f262aec494ab05cf1502d49f16","datavalue":{"value":{"entity-type":"item","numeric-id":3028326,"id":"Q3028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$94C38CE1-3E88-4FDB-BEA2-598900CB2AE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"374c632b0e3b15bc7fed3e5ea727847aeed3b150","datavalue":{"value":"10.1016/J.TCS.2020.02.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182314$F0079C40-E3C4-4933-A2D9-892B42A4B53C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7165856be3926bd32cd910d18bdf6dcd4bf533ae","datavalue":{"value":{"entity-type":"item","numeric-id":5030183,"id":"Q5030183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da68df62a450f07c378e92fd589658559943704","datavalue":{"value":{"amount":"+0.89267474","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":"Q2182314$A97E0A5B-C5DF-4B06-AA84-ED2039ED52C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955da1880ed4c2ec8784ef1a663a18726b303a4d","datavalue":{"value":{"entity-type":"item","numeric-id":5370922,"id":"Q5370922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbeb00ff601f845ce458a3c7543c2e3f9e89118","datavalue":{"value":{"amount":"+0.8843284","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":"Q2182314$E56BCEBE-FF73-4884-8E73-E6F1E44A3053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202220c6fbcc86eaf73cd13e67301ef04335c259","datavalue":{"value":{"entity-type":"item","numeric-id":4593956,"id":"Q4593956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9199d0f0a071673b6c1cc411a2938daeae6d8cc","datavalue":{"value":{"amount":"+0.86803627","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":"Q2182314$93F4F706-D7D4-48A6-950A-8A05AF12CA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7978de843c9d23c183a3319a88897583f83c03e2","datavalue":{"value":{"entity-type":"item","numeric-id":4917055,"id":"Q4917055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd922482c90f95bf57b0c1729c46a8599dff2bdb","datavalue":{"value":{"amount":"+0.86531854","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":"Q2182314$2B3FECF5-1361-45AD-9B28-2D8253BA7A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ef1292f72c28fd1e68bc573e499d734f8c4605","datavalue":{"value":{"entity-type":"item","numeric-id":4414729,"id":"Q4414729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd922482c90f95bf57b0c1729c46a8599dff2bdb","datavalue":{"value":{"amount":"+0.86531854","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":"Q2182314$504E7383-441D-41DA-AFB9-201A264F6AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fa7c50595a348265c7519ad63c89c020d38327","datavalue":{"value":{"entity-type":"item","numeric-id":4637221,"id":"Q4637221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc576bb48c30a5213151ff80572737d71fbcfc3c","datavalue":{"value":{"amount":"+0.8583536","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":"Q2182314$813C86B5-C181-4D87-852A-97CF9804A2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3133f4c42e5fbbae7f82e7a19aeb192c8d744aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3460078,"id":"Q3460078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0844322a8fea88b5233609ee00c1d462adc570","datavalue":{"value":{"amount":"+0.8509689","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":"Q2182314$CA880103-0F04-443B-AC1D-213AAB79E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00b0b942310a027109a9d5f30966bef6363432f","datavalue":{"value":{"entity-type":"item","numeric-id":3613309,"id":"Q3613309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81387bec855d262400364f8827305ec4b9e3a3db","datavalue":{"value":{"amount":"+0.8508994","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":"Q2182314$01674035-8FBF-4452-BBD1-3D69F64CB6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba53a72cf4089a96b2af82f353a1ec85a4824c93","datavalue":{"value":{"entity-type":"item","numeric-id":2766794,"id":"Q2766794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b2a2ca28ecc04e2bfa4373c5ef9c7632586ca0","datavalue":{"value":{"amount":"+0.84931004","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":"Q2182314$AC53C0C1-E19F-4B94-8CF5-D02F83B89939","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182314$137C99F8-02FD-4C30-9A79-F07F9783DA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2182314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2182314"}}}}}