{"entities":{"Q784113":{"pageid":785962,"ns":120,"title":"Item:Q784113","lastrevid":64306893,"modified":"2026-04-11T18:58:27Z","type":"item","id":"Q784113","labels":{"en":{"language":"en","value":"The correctness of a code generator for a functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228502"}},"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":"Q784113$A1C256DE-6CC4-4746-8108-0F24C427B5D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59fe479b2ea4dbd8cb14ebec78c724e5d7d4a32f","datavalue":{"value":{"text":"The correctness of a code generator for a functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784113$04AA92EF-7662-4788-A3B2-1EC2BF235DD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a968e88af77d19c73555e877ffd18907cbcce862","datavalue":{"value":"10.1007/978-3-030-39322-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784113$ADBEB0D6-B3D0-404D-945C-36DD0E53E53E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f062c802a89eb9f3b6860f9dd0b7721cd3d8e429","datavalue":{"value":{"entity-type":"item","numeric-id":784111,"id":"Q784111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784113$60F06648-679E-4740-9C67-788C07D0C8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a32a8225748863bbb62759e78e5cd1dc7fb1d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":784112,"id":"Q784112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784113$8B36E43F-0DC0-490C-B3D2-0B6C9F3B439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784113$45907C7E-7B19-4279-92BF-1B4B91B2774F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784113$77FAC031-C9DA-4929-B3ED-1B3982D9595B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6122bae4e30ae82b45c6dfe075f59f9e2963a2ab","datavalue":{"value":"https://zenodo.org/record/3965629","type":"string"},"datatype":"url"},"type":"statement","id":"Q784113$6C222C2A-5D05-4692-BBB9-C902DF4E10CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784113$CCA8AE13-7938-424D-B8FF-B680B7C89315","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9245e3083213f5c095d3cffd15c13a676dda5266","datavalue":{"value":"7228502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784113$6C8772D3-D1F2-4526-A598-C27BC6904EA4","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":"Q784113$F667F975-688B-4E93-9719-F7712F078E9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae096b85e93fc2073cf14ec7af0138c586a6d1ff","datavalue":{"value":"W2998866949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784113$2D65B14E-7E6D-4660-8124-92A3243D1885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d34c8f32cc8c1b42071b25aed3ade1018f9e626","datavalue":{"value":{"entity-type":"item","numeric-id":3718132,"id":"Q3718132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096e63a0643621b2c999a05a602125fee37479bb","datavalue":{"value":{"amount":"+0.886369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$0BA49CC9-3770-424D-B20D-CAD12A6D76F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780c219a4f0de08347f99e69113423f23745f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2849553,"id":"Q2849553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a343bac3cd645f492a15dcd6cbb17178424311a1","datavalue":{"value":{"amount":"+0.88101995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$0CACDDBA-3FF7-4951-8601-F6511A57F239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc57ed44d3cfbc4dc9c40efc9e497b687785670","datavalue":{"value":{"entity-type":"item","numeric-id":840060,"id":"Q840060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122e61c4e1d6f9d33e78cf9f584b8bbbaa1e4189","datavalue":{"value":{"amount":"+0.87619275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$F204C1BF-453A-48E9-93BE-BFBC4C7AD1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4ba86ee42429dcb3b824f74af4a37037fd7936","datavalue":{"value":{"entity-type":"item","numeric-id":2639631,"id":"Q2639631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2754773282cccf47cfbcf9d57d93e446b7e983d8","datavalue":{"value":{"amount":"+0.869151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$2DC50740-4EF4-4319-BB2A-D229781B95B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4378a70f2913be0b6193290cc8cc54cdad05208","datavalue":{"value":{"entity-type":"item","numeric-id":2912122,"id":"Q2912122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c528b328b3f9fd196ded2fd7456ccb03b1e0af9c","datavalue":{"value":{"amount":"+0.86765623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$2E7CEFCB-8564-4A2B-8D7D-5CD8AC0A3D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65417b7c4d8073794042aa18b3464d8aa7dc19a2","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96f9eb3e058a68a5556c74d4372dfc14d58176e","datavalue":{"value":{"amount":"+0.86681515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$447A5B49-FBED-43E5-8E22-EB88022EC376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f873c17c9ea5e3f38cc0d5a5856d55eed74006","datavalue":{"value":{"amount":"+0.8661841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$61D7B4D0-A8FA-4D2D-9679-FCF10DE09824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ee1c02d1468c2d7f9a9a9c554d4d08625f6982","datavalue":{"value":{"entity-type":"item","numeric-id":4621210,"id":"Q4621210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36e3ae41a64ff2109f81e414fc13e6ea911d9b4","datavalue":{"value":{"amount":"+0.8607789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$AE6027C9-BFA4-4DF1-BF83-19BEBBBDBE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c61b3e3d676b7301e320a29fc80f0c5345d54","datavalue":{"value":{"entity-type":"item","numeric-id":2936790,"id":"Q2936790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a202d864caede0bf7392b3c501e67710bb95b445","datavalue":{"value":{"amount":"+0.8560355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$D302FAB5-C96C-4EB3-B6DA-A552ABE83A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1375df40880817b74ea1f45ffc442d465c6f52e8","datavalue":{"value":{"entity-type":"item","numeric-id":4729320,"id":"Q4729320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b750031a188d1311abfa353aab5ec2ae733651","datavalue":{"value":{"amount":"+0.8550665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784113$2EAF216D-BCA1-4A65-9554-02C1FD97E91E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The correctness of a code generator for a functional language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_correctness_of_a_code_generator_for_a_functional_language"}}}}}