{"entities":{"Q2145322":{"pageid":2156065,"ns":120,"title":"Item:Q2145322","lastrevid":57751377,"modified":"2026-04-01T06:47:05Z","type":"item","id":"Q2145322","labels":{"en":{"language":"en","value":"Verified functional programming of an abstract interpreter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543911"}},"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":"Q2145322$F3A7CE16-AE46-460E-B1DB-5BD6DBD94C4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c867e274a5375f49f7048c58f79e1b2817f8f802","datavalue":{"value":{"text":"Verified functional programming of an abstract interpreter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145322$A14315C3-2B58-423C-9C66-2B7576708638","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9342ec9eace83f0951177c7ea8135c11deae5a79","datavalue":{"value":"1497.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$B0223E3A-5727-4501-A7F3-9C8CC4FC551D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80d6af8efa73a2457b2e3484ba5da9f5de35217b","datavalue":{"value":"10.1007/978-3-030-88806-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$C0D42246-552B-49D1-B578-6FEA505D0C10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66eedde50e52cd57bcee032ea106f2f3743f2f48","datavalue":{"value":{"entity-type":"item","numeric-id":2145321,"id":"Q2145321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$C02145BE-B7D0-4164-AAF9-AA95B8C4EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"322d1bbf43d96eabe74baa00ad17d618005c3800","datavalue":{"value":{"entity-type":"item","numeric-id":287368,"id":"Q287368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$03CD540D-65B2-490E-913D-F2CFAC351100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$63D4673E-3008-438A-8900-717EC6FD5570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145322$F9BF249A-751A-4CBC-80F1-904A909C527C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2f3ac664864924036c86de1b8e1e9151ae98945","datavalue":{"value":"https://arxiv.org/abs/2107.09472","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145322$59564E4C-6BEF-4A1C-A1AC-A70C7B994FDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$EFF46D76-3F4D-4D18-968E-01C2C270AC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$00481F93-54B9-4532-87DC-25A74C283B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$A1BB1DAA-2596-4B74-AD15-A270CCF99AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e4d3f11d5da252a49c88c65d0407f031f1614d","datavalue":{"value":"7543911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$ADFD6123-8008-41B3-8B04-69F218AE4F40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bd0d2004971db48e861ecec36573f0c8bd7609f","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$AB90A1B5-E171-486F-92A0-3E7C8E338F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$71CF1BB6-C488-4B72-8E33-23434142478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cc9c769c3668a0a1aa50bb552f5f533bb41a964","datavalue":{"value":{"entity-type":"item","numeric-id":31808,"id":"Q31808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$D566CAFF-2BAE-488D-83DF-6EEDB4B81D4C","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":"Q2145322$28D370CA-951C-4161-80CC-384DA8101EC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05506263e5f467c0343ee73f7bd776fe45647717","datavalue":{"value":"W3201393941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145322$596D0AA2-B2F9-437B-8604-45A33B0DE192","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7be68e1be31d2ce9700b09f1fd401d03db7ae02","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$8AFA53D4-1EA7-492A-93E2-68F30605A1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$243FE60B-B098-4DDB-B22A-5373D810CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77aa498e70f7de60f6f3c68c01c6e39dd05d49f3","datavalue":{"value":{"entity-type":"item","numeric-id":2914736,"id":"Q2914736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145322$144E6407-B6DE-4188-8C71-37E64F091F18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b980f02bbfdab06904251eb25e41ba0a430fc4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5191090,"id":"Q5191090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d44340104f62e97d94183449872f70af8e99373","datavalue":{"value":{"amount":"+0.8031516075134277","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":"Q2145322$91288ABD-BB6B-4E0E-B573-20AD0E34700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c33c391832d57846724c374f3f0808170a26122","datavalue":{"value":{"amount":"+0.7814944982528687","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":"Q2145322$9A986BA5-3708-4590-B375-32333C22C689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52c891947e91854de30aebaca437718bd924345","datavalue":{"value":{"entity-type":"item","numeric-id":2985780,"id":"Q2985780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afa1dc8d53e3766316bfdce46a638bbca76d82f","datavalue":{"value":{"amount":"+0.759147047996521","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":"Q2145322$9C0D5F1D-D9A8-479D-87D1-8C86AE55E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2480c67b1bc2e8debb7d262e53133396ff905f43","datavalue":{"value":{"amount":"+0.7542893290519714","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":"Q2145322$099B2EA0-C5D2-4B68-97F7-E6EAF431E65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580c5b3f68084d9418f36bcaec44cdad866e5119","datavalue":{"value":{"amount":"+0.7510930895805359","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":"Q2145322$50A2C655-BB42-4D01-A09A-8D3EBF5927D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145322","badges":[]}}}}}