{"entities":{"Q5117666":{"pageid":7147240,"ns":120,"title":"Item:Q5117666","lastrevid":58436076,"modified":"2026-04-05T05:22:33Z","type":"item","id":"Q5117666","labels":{"en":{"language":"en","value":"Proceedings Fourth Workshop on Mathematically Structured Functional Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239950"}},"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":"Q5117666$094EF6B4-8A99-42E7-809A-5D19CAD69881","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15caac7a6c220ffa22fa19e0e556992a67e5e11f","datavalue":{"value":"1446.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$9CE8410A-5652-4C8E-9309-961A07AE831E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef159a04ecf35c97f1ff57cafe410ea70baf946a","datavalue":{"value":"10.4204/EPTCS.76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$F5EB689C-36AB-4B7D-8100-4279C1DECE2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117666$E1D106A7-EC36-4219-A26A-60D696CAE715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d4f132e262cfd90bc6820d79fa2935957d2a6e3","datavalue":{"value":{"time":"+2020-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5117666$76E9E097-E023-4EBD-BA67-3EC765CF238B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e67da7ef00e0ad1c0add1fc86c6ed4dc3db2938","datavalue":{"value":"https://arxiv.org/abs/1202.2407","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117666$44874CA2-0168-49EA-AD4C-EC81DC0A0CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"44e7effc7b1b6c91d8bd208c5e74e755c10b6c46","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?MSFP2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117666$DA722E74-0B8B-45EA-BDBE-89AE70E00D5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$335D8617-23B3-4D54-BBB6-ED6064EC348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$939891BB-6EEA-416D-B4FE-DD40BD952AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$FA09C5D6-89EE-4EFE-9A26-CAD35809CE54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1d87c9951bf24782f1955dcfb09f89b1b19f418","datavalue":{"value":"7239950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$DB991CEC-1401-4485-9EDD-8C47676DE3CD","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":"Q5117666$7123A6B3-351B-4BAE-8EB0-97208BAA7A13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db1265109a01e4ed95cfdb7b41e081693d1b78b0","datavalue":{"value":"W4231118985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117666$D8526C94-7A07-43E3-9F5E-4AECD6E979A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91461ee8e546989d24e37a19a162127f428eca3d","datavalue":{"value":{"text":"Proceedings Fourth Workshop on Mathematically Structured Functional Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5117666$71CDB007-41F3-4206-9BB3-9CA1969DCD1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a47d1220c47696f470c50a537e0c4eafbb0d156","datavalue":{"value":{"entity-type":"item","numeric-id":5118975,"id":"Q5118975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07aa154b3e4fa77c014e6979a74887766398d054","datavalue":{"value":{"amount":"+0.9457436","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":"Q5117666$561B637A-2B4E-4992-BEFF-B3333863B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33392f653413d732f0bf7767e4b848ee895d8fd0","datavalue":{"value":{"entity-type":"item","numeric-id":392265,"id":"Q392265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5273e67d385058c59044e21da29ebac332c1ef9e","datavalue":{"value":{"amount":"+0.9394213","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":"Q5117666$201377CD-99CD-4B78-9933-6F69B5AB7E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1044a44def8f0ed33f1eac280a4ed150ba8f95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5118976,"id":"Q5118976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315312a76bf7fb86005882d0e7ba756ac772eb1f","datavalue":{"value":{"amount":"+0.93289804","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":"Q5117666$68C0CC76-9D4D-49E3-A652-3C85829CE370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f4cd17ae064513e890bc8845d3ac123ed28ead","datavalue":{"value":{"entity-type":"item","numeric-id":4993749,"id":"Q4993749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3882b2fc5ff6a2e4400f32e83aed3964d427c5b","datavalue":{"value":{"amount":"+0.9305057","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":"Q5117666$2E637248-E5D6-4EA1-9E7E-CC17950DC0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83c0d0fb260d8a32dcd1033045a68f25d40732a","datavalue":{"value":{"entity-type":"item","numeric-id":6076050,"id":"Q6076050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab80dbb3533ba974d177912349085db0ab59586","datavalue":{"value":{"amount":"+0.92904997","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":"Q5117666$AD8FC68D-0D1A-46F1-9BF8-ACDA9EB5E537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9995876db637a2eaf8e7583cc6b6207d12a83d1","datavalue":{"value":{"entity-type":"item","numeric-id":5118978,"id":"Q5118978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc68e0999d53b7ca1baa60d5fbd4dc2aa7a317db","datavalue":{"value":{"amount":"+0.9158413","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":"Q5117666$D2C9EF55-5A2A-49CE-867A-169D7422368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64e71ca22a629e0eb1498135622623b9f63ec57","datavalue":{"value":{"entity-type":"item","numeric-id":5746236,"id":"Q5746236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dfd05994b2416a64793bc5ffd86ed6bfdead5c","datavalue":{"value":{"amount":"+0.89038885","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":"Q5117666$4CF594F5-CC5D-457C-A281-800DC8C2FF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ee2d968f22298f6f602d3b8133873ff9a27366","datavalue":{"value":{"entity-type":"item","numeric-id":5746411,"id":"Q5746411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1e95402867127c7d43d4a4ce1d995bf2809834","datavalue":{"value":{"amount":"+0.879499","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":"Q5117666$DE13CA73-B014-4ABC-9AA5-E5D73725D23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edeb7add2351d1b5f8f5fb5eaf738c504644cf","datavalue":{"value":{"entity-type":"item","numeric-id":5746235,"id":"Q5746235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f662c2579771af82e1aa663bf51a93634e647f","datavalue":{"value":{"amount":"+0.866011","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":"Q5117666$A85E20B7-82C0-4772-BB44-90F58440509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c753d3799eff43f7ff386e02ca351a19b0b275","datavalue":{"value":{"entity-type":"item","numeric-id":5746412,"id":"Q5746412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7736ea84038e03b1020d8ca127b705230846df91","datavalue":{"value":{"amount":"+0.8650589","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":"Q5117666$59CEFACE-0AD2-4F05-9B52-83D5548C9494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5117666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5117666"}}}}}