{"entities":{"Q5255065":{"pageid":7284633,"ns":120,"title":"Item:Q5255065","lastrevid":91719680,"modified":"2026-06-04T23:53:48Z","type":"item","id":"Q5255065","labels":{"en":{"language":"en","value":"A verified compiler for an impure functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445087"}},"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":"Q5255065$B48EEF2D-073A-4122-986A-B038A982992F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31752f0d35ca522b7316d635bf2559b8ce2026b1","datavalue":{"value":{"text":"A verified compiler for an impure functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255065$275F123D-87F4-4871-B890-9E724688E4F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ea33395064bf671cf2b5dd295e386dd43ab4a1","datavalue":{"value":"1312.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$EE703FB7-9B65-4CCD-AECA-A42551107D16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d7d538d915bed4cbbd6b57c9703da427d6b16bb","datavalue":{"value":"10.1145/1706299.1706312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$3F837752-7581-4004-97A2-37876D3C6821","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255065$3327E192-1494-4A9B-9AE3-1B86E9062F4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255065$97091DCF-3617-456B-B9F6-EC7D84048B26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255065$31512171-4AE2-4FAC-AA0A-E0C3FDD957A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$6DDB5A36-F18C-410A-B073-FD636546084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$A7FE46DB-3EE2-47A1-8362-5D100C4E2DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$070AF3CD-5FBE-49E1-8417-C3E871280D28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f54243ad94d9ab6f29802f2d184c725d19ed1e6","datavalue":{"value":"6445087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$69B1AA5E-AE72-4F0B-9C84-4CA7A1E33BF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255065$26FD4E74-AEB9-4784-B07A-B2DDB191B42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18a74c599c9ab6e6047b499c4529cfa47686616","datavalue":{"value":"interactive proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255065$93A9B303-4214-48F5-A031-115999C565B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255065$51287840-A07C-4FB6-AF68-667DABA8D8C8","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":"Q5255065$50B9E6B3-B927-476C-99AC-42ECD70DD0BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11753cc73ca3640c9ee8a9fdf1b454ed801625c5","datavalue":{"value":"https://doi.org/10.1145/1706299.1706312","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255065$63AC9FDC-89DB-45C7-9291-2738D1AC30D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ff0cb0ed3be6ee68300dc76df4e3e65ca984d70","datavalue":{"value":"W2091345373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$873B84EF-4BDF-4197-A83A-127B7637683E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58b42eb9addf8e1cc9c8ab00cb8db9f365c6e460","datavalue":{"value":"Q130861996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255065$E90FB1AC-AFB4-4AFB-93F8-E640862FE156","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71eb046c2e6c477b535f262612c1469d6db08839","datavalue":{"value":{"amount":"+0.7755948901176453","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":"Q5255065$39CACFCE-837D-445A-AE48-EB43FFAACE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6031fe744f4e03cf1783607b44264b0be7e5f6c7","datavalue":{"value":{"entity-type":"item","numeric-id":2945646,"id":"Q2945646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4726d35f3b30d187377783d9c9da470ea4736355","datavalue":{"value":{"amount":"+0.7661225199699402","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":"Q5255065$5C238FB8-2709-4735-B58B-D2982C86AD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd754e58e462dfe2034ca8960284836cafc585d","datavalue":{"value":{"amount":"+0.765742838382721","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":"Q5255065$D444FE34-4307-4FA3-9573-3D24B00E3C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c864fad0c72513e1cec61672364c2d8a635e49","datavalue":{"value":{"entity-type":"item","numeric-id":2981953,"id":"Q2981953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790bcf4ed58e1ea312816c23d03116b2d3c72b7b","datavalue":{"value":{"amount":"+0.7641292810440063","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":"Q5255065$B5523B80-BC81-432F-B576-FE80EA105FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e719922ba9485be185698af13118ce9341a112","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f79054bbb65944f16cb7772c2c6949dd06c96f8","datavalue":{"value":{"amount":"+0.7591707110404968","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":"Q5255065$6F647E86-0D4A-4626-9BD4-24C36F6248A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verified compiler for an impure functional language","badges":[]}}}}}