{"entities":{"Q2844059":{"pageid":2854779,"ns":120,"title":"Item:Q2844059","lastrevid":83488208,"modified":"2026-05-07T08:23:26Z","type":"item","id":"Q2844059","labels":{"en":{"language":"en","value":"Abstract correction of first-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201930"}},"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":"Q2844059$264C52EB-46DC-445F-BD12-BEE038F0EB8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48f6b4839e773aa76c4ddeec8cbc37ddb8f9d2dc","datavalue":{"value":"1270.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844059$8243197B-211F-485A-92E6-D43548D1D21C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844059$27BA69A8-8E3A-44E3-91E2-050B29BDE933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844059$ECD8EBD9-8D05-4175-A7ED-D367238D6986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844059$BA67E02C-DACC-4AC3-BE30-DA0FA7E0B4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844059$119FB3F2-05D3-46ED-B1BD-361510FA6FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844059$5856BA2F-AE88-4547-BFB3-65E453F852A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844059$8299CB5C-1882-45F7-92D6-18B7203BD6F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9609023d2aacdb1b2eb8f0b93a0e41ae8ee2cf85","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104806960","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844059$43179778-55BC-4BD2-BA3B-86CF4F42E292","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844059$ECEE1DE1-CFB9-4F3B-A90B-E1B8C421AA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844059$02DF63DE-B5AD-40D5-A66D-75E850E15747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844059$788A37F8-1781-4249-8892-2A67324EA91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844059$14E6EB42-B57D-40FD-AB81-EBE1CF1C1C4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fab4fdff8e194b2e8bfa386538cd4bdbf7eefca","datavalue":{"value":"6201930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844059$D31E8CA2-CBE6-40CD-AD42-249D2006B120","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":"Q2844059$618DEA5C-282F-4775-80EB-6710CA485C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d95201b71ef78ad0ae49886539bf582ae9e2973","datavalue":{"value":{"text":"Abstract correction of first-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844059$395BA824-FA7A-43CF-8108-594AD4E82816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc23388b418aa3cd633c57962cc5ff3632ee65f6","datavalue":{"value":{"entity-type":"item","numeric-id":4417882,"id":"Q4417882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1e299afd2997487a4774e5c6cba591e6d70d41","datavalue":{"value":{"amount":"+0.7823768258094788","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":"Q2844059$8AC2CE83-A36D-479F-A25F-6A6D35B5BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8261f6cd6654d3888c8495da0ca8db3afd95b54b","datavalue":{"value":{"entity-type":"item","numeric-id":3079916,"id":"Q3079916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df1d0143ebe1170d228c351f7bf975f0d83f5a6","datavalue":{"value":{"amount":"+0.7725595831871033","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":"Q2844059$4B18B83C-3CFA-42E0-9AB1-FFAE61037E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb22db27e05aaa3b9d3ff65ac9a12f3f6b80c48c","datavalue":{"value":{"entity-type":"item","numeric-id":604477,"id":"Q604477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef719295f4afc0edb371272cad23cfb1918e847f","datavalue":{"value":{"amount":"+0.7689591646194458","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":"Q2844059$BD905B18-3A3D-4A5C-89E6-66E9A64905B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a9157143edb82790bcc28fc656bb0433750c57","datavalue":{"value":{"entity-type":"item","numeric-id":3003495,"id":"Q3003495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb3ca0d675184012435e0ff5ca474ba62b5d10c","datavalue":{"value":{"amount":"+0.7557500004768372","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":"Q2844059$BE1E0D89-35B1-49D9-B819-B908079AE27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1963487ed0f1b0b68ccef19a06922ec03f01bf","datavalue":{"value":{"entity-type":"item","numeric-id":2841284,"id":"Q2841284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fd6e552003f49468fa873d215736a12232da6b","datavalue":{"value":{"amount":"+0.735237181186676","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":"Q2844059$A785D53A-520C-48F1-9141-22EE7323F4C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract correction of first-order functional programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_correction_of_first-order_functional_programs"}}}}}