{"entities":{"Q4036551":{"pageid":6066269,"ns":120,"title":"Item:Q4036551","lastrevid":55240834,"modified":"2026-02-05T05:29:31Z","type":"item","id":"Q4036551","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176723"}},"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":"Q4036551$10BF746A-A6AF-45D3-8050-8CFA0581C166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37640a7ab8a50db2ab29bac6b0482a6bb5845789","datavalue":{"value":"0786.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036551$AFF07572-2F59-4DBB-972B-06878D43D1DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036551$08603FCB-A857-4453-BD79-D149BE65C3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036551$6F552680-6C39-429A-BAA9-98169CB0CE8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036551$0BD9F59A-10DA-4E78-BF5D-DAC59F24CDE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036551$019B5B0E-7A69-4DBF-9E9B-30B78812D6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036551$70FFFB86-DB4B-4433-8A60-C35A19CBE01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036551$8A283D7C-C754-4798-806F-1012B7CEE814","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a6f62ed6d81c2a304941833d55f99da56f46db","datavalue":{"value":"176723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036551$273AE761-BD3D-455D-B4CF-54538BD00A46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036551$4EA1E4D8-5A1C-4E2F-93A5-D52D9A5F1B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e20dc3a5b2016b07f5ff64dc413e321d0ab7ad6","datavalue":{"value":"simply typed functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036551$2DD3F17F-C3D7-484E-8F87-E777B949F690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036551$2C8E00BC-7220-4CBB-A5C5-AE7E6C652A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341a9f5aa37a2b13f8902b729e787ffb8fdb85d2","datavalue":{"value":"stable semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036551$B0431E86-6626-4D2C-8808-A4A7A262E0E6","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":"Q4036551$97132283-05B5-4AE5-8A4D-7E9087B226DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8adaf1d145935ab18520ee31ddaaeed00f44d2","datavalue":{"value":{"entity-type":"item","numeric-id":1919532,"id":"Q1919532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d3acb4f033964e66aca5910536415067638475","datavalue":{"value":{"amount":"+0.8022503852844238","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":"Q4036551$9A3DB0AF-98CE-42F9-B072-C5392BE75326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afd8a65194c2cd25a4a2a47f25f218ec86e0c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4513578,"id":"Q4513578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b634f356c23b734d496f9c3e8444df8a4981ba5","datavalue":{"value":{"amount":"+0.801798939704895","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":"Q4036551$274DAB10-C844-4E6A-96AF-B12997110940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f9d50a7f7fdf4f49a8ceabd0da188cc359299","datavalue":{"value":{"entity-type":"item","numeric-id":1854294,"id":"Q1854294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d232e14d1038d1730248de86746cc7b95259dd1","datavalue":{"value":{"amount":"+0.8017988204956055","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":"Q4036551$6066A01E-7A12-4EDD-8C14-F03AC154C170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5975a64c32539a02a4d8debb72fadd8bd5e4cd1","datavalue":{"value":{"entity-type":"item","numeric-id":2492185,"id":"Q2492185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757a91b2048c4e0ba4449ca1d79e774ccf122d60","datavalue":{"value":{"amount":"+0.7954859733581543","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":"Q4036551$4FA52709-FAAA-46C3-8B58-2C482B2D09C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e239b10eaa6658a00ef4cae0cf45f19aa3af3","datavalue":{"value":{"entity-type":"item","numeric-id":1327380,"id":"Q1327380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54d9f42b31e3a22408a4aefe0ea7453542e099f","datavalue":{"value":{"amount":"+0.7828587293624878","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":"Q4036551$51F0E07B-5F52-4C6B-9059-FCCDBF52AA64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036551"}}}}}