{"entities":{"Q3334047":{"pageid":3344755,"ns":120,"title":"Item:Q3334047","lastrevid":48728956,"modified":"2026-01-05T17:44:23Z","type":"item","id":"Q3334047","labels":{"en":{"language":"en","value":"Functional programs as executable specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3866550"}},"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":"Q3334047$1785D1C8-9D9E-4121-B839-E8D95E815826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdf6b5da399ca9c26d486b8d923dcaba6a87cede","datavalue":{"value":{"text":"Functional programs as executable specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3334047$6D8CDA53-8EFE-4ECC-B08E-2A4C63F318E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb300a44396a791af9a4ec74b532068936cda957","datavalue":{"value":"0544.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$481AE644-FC33-4C39-8C31-BDC8DE0022A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e136bbdda99981f780084921153c27ffb0ef7a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3028582,"id":"Q3028582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334047$456B8910-9EFB-458F-916A-ADFCB73777D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3334047$95F17177-8AF6-4039-A6EE-CC2354812FC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"223e501e81866a6a68dc3e0ae0333cfca9cf7e32","datavalue":{"value":"http://hdl.handle.net/2066/113882","type":"string"},"datatype":"url"},"type":"statement","id":"Q3334047$E1BE6414-04B9-4585-B194-7C7BED3CBC35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$8D9A8979-7DAA-422C-9456-B22AC4D7BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$75B29A2E-D0FE-4074-92D9-11F37A69BBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$0D675C89-BF26-4C94-9DE1-973E1AD1D985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc32577ed58e9aba31c6b16617847dd37064f0e","datavalue":{"value":"3866550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$43BB26EA-4C26-4D98-ACF6-508632F6D9A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334047$21D90736-B3D3-4055-9C38-539046E46805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9213bcecfdfb12d35eddc7b9a7acdad29617c177","datavalue":{"value":"function spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334047$E0572FB5-C06E-4744-8F14-16559B943EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9558824866c082ad82f2d6f91392db9b67bfe332","datavalue":{"value":"data domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334047$9085A60F-8F25-4890-8FB9-FCD5B559E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334047$49997562-CAB1-4C6A-9F80-71157FC82DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334047$3F6E502D-77B4-4583-A7D6-48D34B70FF1B","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":"Q3334047$30D947F2-3580-40B5-8C0C-64FD6B8658E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"915965623b79577d94ec9a9377e9986edfbfd123","datavalue":{"value":"W2006346808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$DE1AD86E-6245-412A-803D-A7BB740E6146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc01f52244b174cae0d1673bc493c67d81dd9d6b","datavalue":{"value":"10.1098/RSTA.1984.0065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334047$008F7722-0626-4D59-AD8D-C98CA9464890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929e4fb0b19dc1cb0d80e23ce051a03b75926070","datavalue":{"value":{"entity-type":"item","numeric-id":4281675,"id":"Q4281675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a088cf93742c89ee6176926edef63a8d0c53995","datavalue":{"value":{"amount":"+0.8024886846542358","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":"Q3334047$BEFA2D73-14A1-4748-91CC-1C586D9FE9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748dea9e531ce47b7d5aaebbb9541902424fa528","datavalue":{"value":{"entity-type":"item","numeric-id":2996141,"id":"Q2996141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a088cf93742c89ee6176926edef63a8d0c53995","datavalue":{"value":{"amount":"+0.8024886846542358","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":"Q3334047$5F455682-A505-4259-A16B-636C8C706E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261495d113dda49342b3a646c81438541a7170cb","datavalue":{"value":{"entity-type":"item","numeric-id":3680248,"id":"Q3680248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6582703504b038d50c3b58bbe143dd52c908bfa5","datavalue":{"value":{"amount":"+0.7963297963142395","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":"Q3334047$13833EFB-EBD0-4148-AB59-AB3FB0545A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e2159e452265af1ec4ab9a245dc12133901d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5184366,"id":"Q5184366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c240f348e40b79137b701924e37a6925dceab1e","datavalue":{"value":{"amount":"+0.7563681602478027","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":"Q3334047$34924FA4-4428-44D2-A883-DBF165330DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd893bd285452a9721e30ccc3aa0c0f1e8f3fac9","datavalue":{"value":{"entity-type":"item","numeric-id":3766811,"id":"Q3766811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947581328f74e5cf14861089a599d6d3bc8af4b8","datavalue":{"value":{"amount":"+0.7531765103340149","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":"Q3334047$00535B48-8C61-4D3A-B832-DC308FC20DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3334047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3334047"}}}}}