{"entities":{"Q4288287":{"pageid":6317888,"ns":120,"title":"Item:Q4288287","lastrevid":46314672,"modified":"2025-12-24T13:25:52Z","type":"item","id":"Q4288287","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554485"}},"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":"Q4288287$943A28E8-5AB7-4A17-90AF-6DAA165A1F93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce4420f1c8804815529c77c0e212239ae34a1b75","datavalue":{"value":"0802.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$D676B5D3-93AE-42F0-B2E5-91EDF700E28A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4288287$6A1B4AC4-EEBF-440A-877E-84B130DBC2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a702e570ecf8aed98e72e89942a73416ef524c04","datavalue":{"value":{"entity-type":"item","numeric-id":1194325,"id":"Q1194325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4288287$ABDD5A00-082C-4529-8365-2C40610D84AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198e1cf6b5241864422b78fe5a16d94ea3d08eab","datavalue":{"value":{"time":"+1994-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4288287$D809BF11-A6C5-44ED-870A-D9727B2C1A42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$F774E121-F757-4249-A77D-A6A10ED595C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$1E38811E-A171-4EA3-90CC-32D1A6D7D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$DEFD5EE3-66D1-446E-9D92-0E5AB5EBB3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$D648339A-A757-4A33-9400-75693B1C9291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$C9FC987A-B74C-4585-B814-F906188FC65E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5289116d43164fcf7758220aab27f9dc33571f61","datavalue":{"value":"554485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4288287$99B25F28-6361-4170-A70C-A388457E2C9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$57177C94-24B1-4CA5-9C8D-AA0AE8EA68B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a427fce7f8576c44fab982c3915c01f61c05f379","datavalue":{"value":"intensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$CC11CE9C-A485-4CC4-996B-8128BA31E151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$D100FE36-D69B-49FF-9D7D-914AFF2F7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$A75C1E03-CA79-4DCD-AB6F-7962FE7C0F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87e9c132cbc0a79cb84c291fe27d1fb23abeb79","datavalue":{"value":"co-Kleisli construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$5D4A5E72-6C5E-42A0-A5D0-D7FFFB965617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af2940fa25cdbc6085d5be0b461ab184a2b13ebe","datavalue":{"value":"computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$AEE73A67-5762-40B5-9367-05B233EEBC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$E3C3BA3C-0192-443F-9EA8-F8BF775FC8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$E9D9A90B-8816-4F49-BFD4-CBDFFB4B027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4288287$A13ABDA9-D458-4531-BF2C-911EB9A1DC4E","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":"Q4288287$79377207-73A3-49DE-A486-C79EA31EC97D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a587a5f1852a1e8c0af8e74f7b9e89e017703be","datavalue":{"value":{"entity-type":"item","numeric-id":6116580,"id":"Q6116580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71199b4725e1ed3d00a016e265dd6e0e43eb9971","datavalue":{"value":{"amount":"+0.8564659953117371","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":"Q4288287$56EFB787-D0F0-41A0-9E6E-6D8C8D8A9907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285a311e7b12606474b5e6d0b657418e8329e658","datavalue":{"value":{"entity-type":"item","numeric-id":3138535,"id":"Q3138535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd878382dc5dcabe2781b1a7f15a037906c4e408","datavalue":{"value":{"amount":"+0.8489447236061096","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":"Q4288287$80175270-5AD4-40F8-AD6E-187DB91E171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f39e3da8fd7e45e1ccfe8285f82f51ff04b685","datavalue":{"value":{"entity-type":"item","numeric-id":1194326,"id":"Q1194326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12836306b1582bd59b873368e35e186646abf31b","datavalue":{"value":{"amount":"+0.7818934917449951","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":"Q4288287$A4E7B05E-5967-4411-B61D-994A1570DD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998ce59b2e2182e9a17f7061382d98f6f3ee00a7","datavalue":{"value":{"entity-type":"item","numeric-id":4028343,"id":"Q4028343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9455aaba8c38b2a89c80a532ef1b161dbe3380","datavalue":{"value":{"amount":"+0.7627243995666504","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":"Q4288287$1E86D374-73AC-4EC9-A067-332BE856D786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4288287","badges":[]}}}}}