{"entities":{"Q4912845":{"pageid":6942424,"ns":120,"title":"Item:Q4912845","lastrevid":98162069,"modified":"2026-06-05T16:48:54Z","type":"item","id":"Q4912845","labels":{"en":{"language":"en","value":"Design and analysis of purely functional programs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148922"}},"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":"Q4912845$9609B32D-C255-45BC-8A59-6CEB5991C394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d98c50c96a864305913cdc10de3ed723133b5944","datavalue":{"value":"1283.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912845$EF2E1DC2-0C8B-4A60-B2F9-4DFBF59A44C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bb43122c7f4baadd8bc56fc781587a1a85520d","datavalue":{"value":{"entity-type":"item","numeric-id":2266942,"id":"Q2266942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912845$F78922DB-D49B-4EB8-B1AB-E734038F077F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f050e809bf0d98a9e4fb011b4fba825fa59b3a4","datavalue":{"value":{"time":"+2013-03-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":"Q4912845$D471EFF3-77B0-47D0-96BE-7EFEAC0D3D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912845$8E7A6B06-FA4A-4218-BB1D-3FB360F7E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912845$02FDFEC4-304A-4970-949B-F30F995EF665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912845$0568AA25-D67E-498E-B369-5A95304FDA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912845$399F7C27-F77A-46D6-8263-7F582FC7471A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca76e53ed05a1287d4b70ac92a1651c0e6fdb6ce","datavalue":{"value":"6148922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912845$6E822D28-8786-4260-A752-F304037DFF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912845$2020AE7C-3EA7-42A7-923E-B2CBFC4B9B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912845$8F0F345F-30F7-411A-B94C-43275DF725E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912845$453037F7-5C39-4244-BA09-992C42C6CFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912845$6E2466E2-6FD5-4B37-B1E2-408A64818536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456f9c001c99bcd68d711402fe9c67eb61b7fbf0","datavalue":{"value":"XSLT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912845$67790507-327E-44D6-ABC6-9A98D9EA2F3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912845$D0900E29-09B0-487C-BA2B-94D628A127D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912845$1E418D8D-EE95-4382-8BA1-85BC27A1A0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912845$1CC99310-A696-49FC-AA8C-73F702E1302B","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":"Q4912845$FCF1317F-C874-46BA-84B5-D5A990A8D61B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caf11d51bafc7f6376255bca9250e155a804d910","datavalue":{"value":{"entity-type":"item","numeric-id":3058231,"id":"Q3058231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0640806f9e1bad192022316e6f9640a8a4fdd0","datavalue":{"value":{"amount":"+0.7522414922714233","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":"Q4912845$F433BB95-5B93-47E5-9BFA-D00054002510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756f96789122dda0094736e4f600ccb370eff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":4558906,"id":"Q4558906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48673148eb96501e12f6cf536d73e47bae278de3","datavalue":{"value":{"amount":"+0.7508234977722168","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":"Q4912845$BA1C1E4A-A3E8-4EEB-B9E0-85CF9DF09B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593f7017da3e5503040aa5ba55c9f7f9d31ace81","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da337d8746d062b737a980a514eee417414eb28","datavalue":{"value":{"amount":"+0.7498824000358582","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":"Q4912845$8741B210-AF43-4C92-9603-8717229D8D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738e434adb62b3f3f96eabb09a06021696a5254e","datavalue":{"value":{"entity-type":"item","numeric-id":1916357,"id":"Q1916357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81974fb08a7410b5af35dde0fdaf8e5ba7f9558a","datavalue":{"value":{"amount":"+0.7380098700523376","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":"Q4912845$AC319CA3-7A2A-49C3-BACB-148BCBDDD8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77cc1d1dc74c3c2162c6f0495b6079b1e47b4758","datavalue":{"value":{"entity-type":"item","numeric-id":4366777,"id":"Q4366777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492b015868fd2b01ad80151b0e1c8c738a53f661","datavalue":{"value":{"amount":"+0.7365419864654541","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":"Q4912845$15037155-A2CD-4BB2-A1B4-3DA8BEB51A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design and analysis of purely functional programs.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_and_analysis_of_purely_functional_programs."}}}}}