{"entities":{"Q2704331":{"pageid":2715076,"ns":120,"title":"Item:Q2704331","lastrevid":47586682,"modified":"2026-01-02T03:53:47Z","type":"item","id":"Q2704331","labels":{"en":{"language":"en","value":"Reasoning about functions with effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1578083"}},"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":"Q2704331$F6FE6BFB-8F28-4507-A59E-21E9C9C9DD4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1febd0b6bd7776a624584bfed3de36acdac39b84","datavalue":{"value":"0971.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704331$328F205E-4BF1-45EC-850D-F0AED526A2EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2704331$99D651E2-6221-4313-80AF-6791A186CDAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704331$23EC0531-FA69-4EEF-81DA-6014E9AF42C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704331$D8B4301C-4EA2-4DBF-A76C-64AFDC5C9BFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da3ac68a3e61b2bbbccc9d6899d8d90d1d6eab2d","datavalue":{"value":"1578083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704331$70FC7BE3-0340-42BD-8309-DC0C8C7BDD22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a6f8410f0455c27f490e91623ae4ffc3538c637","datavalue":{"value":"imperative functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704331$4FC16934-E70B-4F05-929E-BD779C280EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704331$C69CEE61-2C8F-484A-A63D-339B7F684F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704331$E8BCACA1-5F8C-4A78-B97D-A4C85DB3997F","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":"Q2704331$8E3D845F-3A26-4095-9898-E7654ABA9F8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fbc5d398146cdad9ba0102dd0fdcc7c597ae131","datavalue":{"value":{"text":"Reasoning about functions with effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2704331$E9272D3D-66CF-415C-B7DE-DD1FC4350148","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd29fa1b1ae9f629423860529a9b98cd61d4cf5","datavalue":{"value":{"entity-type":"item","numeric-id":5176957,"id":"Q5176957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9b6963de124de95a89ea9e8477b113fd2b6c8b","datavalue":{"value":{"amount":"+0.7806631922721863","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":"Q2704331$86D49418-D6A9-474A-9ADB-04CB5987DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cb6ea631bb1b4a20014eb11c209a3d5e397924","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782a137815abe7b465bcce0c2e4d651f3c24ee58","datavalue":{"value":{"amount":"+0.7574923038482666","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":"Q2704331$329D1AD8-1534-4908-AF06-341653729C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040d1e0b8d9f5e97e46baad4df25f7aae1d1b1b2","datavalue":{"value":{"entity-type":"item","numeric-id":4366771,"id":"Q4366771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baf961cccbe319e7ff6836ca338e4a23c3069ba","datavalue":{"value":{"amount":"+0.7542200684547424","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":"Q2704331$E2E3510A-100C-47C7-B68F-20F634A0CB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3746e0fab7921b7af377dceed9bf8c5ca69c7fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2037435,"id":"Q2037435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd824574e220be21d4196dfea206f0dd1de5c1d7","datavalue":{"value":{"amount":"+0.7487031817436218","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":"Q2704331$FA4F0DBD-84F9-4BE1-8E83-67B7BE252C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef375055e128d5ce974effc663bf7f3f9384c84c","datavalue":{"value":{"entity-type":"item","numeric-id":5018775,"id":"Q5018775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798f85ae4434b77e4847b2fcf5865caf3d5d1ffc","datavalue":{"value":{"amount":"+0.7482479810714722","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":"Q2704331$1C4616DF-358B-4F08-99B6-A5D884661C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2704331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2704331"}}}}}