{"entities":{"Q832100":{"pageid":833948,"ns":120,"title":"Item:Q832100","lastrevid":64674432,"modified":"2026-04-11T21:28:15Z","type":"item","id":"Q832100","labels":{"en":{"language":"en","value":"High-level modelling for typed functional programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498072"}},"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":"Q832100$75F41D50-38B7-4DA5-A7C4-727CB9D369F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85a0a4240eca85d2b62e65e0172d56fe300e7e93","datavalue":{"value":{"text":"High-level modelling for typed functional programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832100$38AC9CC8-D867-4951-AD36-FC82932F1A09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"291307f7d51b2d500e0a6c81b3b57ecf89ef43ef","datavalue":{"value":"1490.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832100$744221B1-DF71-436F-BC8A-88801A816B45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd44d0415334cfb8d9f8a0b5b82b3a8632158d00","datavalue":{"value":"10.1007/978-3-030-83978-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832100$D5DD5F4F-81E1-4A6F-B697-2303F6F34E7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef1749671da49588d0bc98637acd5d47769ec23","datavalue":{"value":{"entity-type":"item","numeric-id":832099,"id":"Q832099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$891D7607-38B7-47A4-A06C-36E145E741BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832100$8D52EFCE-47DD-4B17-B0AD-92666EA30B1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832100$9ABC8B76-01EC-42E7-A8E7-A17C76E3541C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"698de029358b733944b78134c9d9c08b8a66ebab","datavalue":{"value":"7498072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832100$7C115555-1AAA-4EF7-A2DA-DF8BA9F06728","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3281115951265ffcd9cf2235436583498869d2","datavalue":{"value":"structural modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q832100$9965F813-C6FF-4ACE-8C03-C23B3DAB0A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q832100$B15D1E48-E692-495B-87DA-CEFF2F55277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"174618379f3c43f87561579823cca424138ed803","datavalue":{"value":"type model","type":"string"},"datatype":"string"},"type":"statement","id":"Q832100$97350895-AC0C-4F9C-8E05-F762D85750ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$F2F081C2-ED20-4CFB-AC5B-1D3DB01148F1","rank":"normal"},{"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":"Q832100$AE7D8DA1-6AE6-43BF-9242-19CA6B7E1DDB","rank":"normal"},{"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":"Q832100$816F50A4-CF25-4BC0-8F33-BCC8334A8FBE","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":"Q832100$D0186A78-ED35-4711-99A6-E95DEA738E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64eaa80c4150c81063e1852e7a8f047efa8383ea","datavalue":{"value":"https://doi.org/10.1007/978-3-030-83978-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q832100$0854C06D-8FF2-4993-9B24-B97CF89DB0FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a23c9e0e4faccb4fab4c1605385827a58e75442a","datavalue":{"value":"W3196278837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832100$9857A740-7979-4136-88D4-378C75C9C826","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c3b0365271069021f3546ebb78862590a57a62","datavalue":{"value":{"entity-type":"item","numeric-id":5781187,"id":"Q5781187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$F42E034D-8222-4ECB-95A2-F0C31AEA0570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13b1c907506ed25eaaec816e912c9604df86ef","datavalue":{"value":{"entity-type":"item","numeric-id":4923371,"id":"Q4923371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$12010132-6F5E-4558-9AAE-E02D5DBE67EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b095917798c91a58bf76e0425197209c17738919","datavalue":{"value":{"entity-type":"item","numeric-id":5379782,"id":"Q5379782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$62997DE7-9AC3-4660-AD4B-65FDEA0A1529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9656f101a9d31950a102f3d80db35fe042a1cc","datavalue":{"value":{"entity-type":"item","numeric-id":1940486,"id":"Q1940486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$25276857-24E0-4D9D-899B-7692144E6255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e57ba93b0d86c0b1bfcde4b2a2b6ceeb36a3ce","datavalue":{"value":{"entity-type":"item","numeric-id":2891283,"id":"Q2891283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$1AD208F7-39D2-40CD-A19A-969619876439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098b6ae3cd9a320cc587dd5d064b139876153926","datavalue":{"value":{"entity-type":"item","numeric-id":2374309,"id":"Q2374309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$83FBC825-E85F-4EDA-BC1B-1E3BEC1B5134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7a97e9e4a7442b14071b5490047fb2d8273c7b","datavalue":{"value":{"entity-type":"item","numeric-id":4357063,"id":"Q4357063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$F183145C-55AB-41CA-89A6-646F5417E603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$98B7C1AF-DBE3-4FB9-9BAD-E5D1101CAC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$F51B1B92-184F-4019-AA45-6AD8385E7EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07342e0a3af0110818960821d276b10325878d7","datavalue":{"value":{"entity-type":"item","numeric-id":5476866,"id":"Q5476866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$EAC184F8-51B5-4FDF-97EA-36AA277A1ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$0940BA73-BA00-456F-88D4-2E825D012DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8211fedd67c51c474669af08fd6810a7ad139e","datavalue":{"value":{"entity-type":"item","numeric-id":2933665,"id":"Q2933665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$CA8A5450-8281-4112-88B8-35BAA19B9D8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed67a1fc914341ca343a9badeca5ced0dcd7c12c","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180811eca00d7638e6d261db40ac7a9eba5f0b41","datavalue":{"value":{"amount":"+0.8769198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$22F7A49E-73CD-4ED1-B733-EBA81B31C9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607e7cfd5886a9a44558e89afc8664ff1f3e2b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3754604,"id":"Q3754604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9f56581dcc6d3f5c2d44c1093f5438da35c20c","datavalue":{"value":{"amount":"+0.8629244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$849327AF-1DA3-439E-A37A-E7CA75FD4C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987f7131b23f69c0b2f341ea8409b6bf0fee6fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3611993,"id":"Q3611993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1437e18cf9ae05043a69060f483d7cde698104f8","datavalue":{"value":{"amount":"+0.8628737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$132374E0-135A-4F31-B760-F10CFBA4E795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b2e6ba4439f38479153120eba085f8959e729e","datavalue":{"value":{"entity-type":"item","numeric-id":4847376,"id":"Q4847376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9aba440824a62a7d88703d6447ca44db18db83","datavalue":{"value":{"amount":"+0.8619036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$86F06A75-ECF9-4FAD-84FB-844A535F39E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e9da2cc42ab667fa09cc70726f6e080545e501","datavalue":{"value":{"entity-type":"item","numeric-id":5094117,"id":"Q5094117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc1ada6668e11ccdbc7da1f778dff212fd8847d","datavalue":{"value":{"amount":"+0.86125624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$97030CC0-A032-4B93-808A-B1E5596EB880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b65c4ba81c379fe634399ea73b4133445b95775","datavalue":{"value":{"entity-type":"item","numeric-id":5145661,"id":"Q5145661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc1ada6668e11ccdbc7da1f778dff212fd8847d","datavalue":{"value":{"amount":"+0.86125624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$07FCC73D-4CB1-4B9D-9F7A-72DC0D660A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6addffac10d1336d4361b49efd084fb8ab726d39","datavalue":{"value":{"entity-type":"item","numeric-id":4738349,"id":"Q4738349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441f684766d3b8b7caed21236437fbf6b84ff0c9","datavalue":{"value":{"amount":"+0.8609319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$1A79365F-657D-4D43-8462-19273F5A4CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639bcab5333efd3ff4f363cbd0bb701c33ea9481","datavalue":{"value":{"entity-type":"item","numeric-id":4880524,"id":"Q4880524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1248a9fa881e651c4e75f3d4634162b12d052236","datavalue":{"value":{"amount":"+0.8608079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$67F7C4C7-3241-4A86-AC19-B73373E23949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a75ed1d1b4df18ffb753a3fb1642a9d1e04df6c","datavalue":{"value":{"entity-type":"item","numeric-id":3343411,"id":"Q3343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f715556ee2255d4f9fc0e55cd12cabaca95f81","datavalue":{"value":{"amount":"+0.8607544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$8558C885-F762-49AE-BDE1-9D9376BCB34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25126908f0f288917263d4e3a85ff29d23562da","datavalue":{"value":{"entity-type":"item","numeric-id":5697711,"id":"Q5697711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36f7ddbd1f7e77d14cc80a62c818794a328ed9e","datavalue":{"value":{"amount":"+0.8603662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832100$5FE87640-37E3-40F3-B9AD-798706389768","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832100$E61AB62A-6747-45CC-A9B9-0767646AA062","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"High-level modelling for typed functional programming","badges":[]}}}}}