{"entities":{"Q4358059":{"pageid":6387658,"ns":120,"title":"Item:Q4358059","lastrevid":41859309,"modified":"2025-05-09T03:47:02Z","type":"item","id":"Q4358059","labels":{"en":{"language":"en","value":"On the unification problem for Cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067274"}},"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":"Q4358059$095B2EBE-8C9D-40FC-8CE5-18CB4AB3823E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"104c4fd0b456d539814fbd37e2dd47a7d106008f","datavalue":{"value":{"text":"On the unification problem for Cartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4358059$7EA4DF19-1A9C-4F03-AB40-7D6DAA2760B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e524e50891839c888274a2b8ce9bad750817bb98","datavalue":{"value":"0882.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$9C90058F-41A5-4081-BC69-AA7C1F03ADCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7c624a9103949f9e381a7be92d6d2ca75560d02","datavalue":{"value":"10.2307/2275552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$1906F371-53A9-41AF-9C99-F6D3DC491655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$AD25A228-0900-455A-AE74-A50B544A1135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$E07E2F99-3048-4DEC-BC93-15F5E1C8DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$37D418D1-10D7-4746-A449-E4F468814874","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$A5AEF650-670E-4CEB-B251-B59DCD4362E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1742a10e6409607193ef806e8f573a0e208ec887","datavalue":{"value":{"time":"+1997-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":"Q4358059$39A99C50-B4CF-4CDF-B352-E974A284C2E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$343AC40C-A048-4E72-ADEE-61A17BE1E1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$7A4582C8-9CF3-4812-A31B-A9674B8A6FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$D3EA30A7-F0B8-4872-BC95-71E07C2DC2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$B83E448E-909F-4AF8-B98F-D8D4F9814F2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc0661b674aa7396014ed3296bf36b8c80856663","datavalue":{"value":"1067274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$530B19B6-ECB0-4BBC-B108-AB3D59B9E726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$EDFFEA33-52BE-4914-82E1-C8562F5B1E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$70EE0314-C03F-4260-8AB8-0CA12E1FEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$AA9522FD-01CC-4035-86E0-B8652E820371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$A454DA1E-6604-4812-8C39-5D4C5353FB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c5dfdad6587baa08f513614625ce25ede058a4","datavalue":{"value":"unification modulo the linear isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$860ACE66-A930-425B-BAC2-F4B55959FEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$E26392B2-46FD-4C68-99A9-71389F90B110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358059$EC739547-00DB-4827-9088-B220A8E70988","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":"Q4358059$8E2D0BC6-862C-494C-8F0C-71527511740C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1badbf84196fd5ae6cc8ff6865930fb9d6ab9ff","datavalue":{"value":"https://doi.org/10.2307/2275552","type":"string"},"datatype":"url"},"type":"statement","id":"Q4358059$38F70239-4FB3-4348-B501-0C74505FD2D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cef892705112aa8a594e78eca90684e2d0bb30de","datavalue":{"value":"W2051020081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358059$9CD8B6E6-DC4F-498D-9F16-304D1C4B2F98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$024D6D79-7D09-4E38-839B-C48AA32BC12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c99fa0a7e611b596ab488618416f0f46dc94a1e","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$1EAB59AE-666D-4293-AA6B-D5B03DEF8202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$29107A1A-35DE-4C1A-A175-47743375CD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$B3A2A917-6FD8-457D-AE6E-F4D290CA0CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$63D5C41C-99B9-4B2E-A441-B4C2FED477D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40e37cc2852313e42b30a846d586a20994f3ad8","datavalue":{"value":{"entity-type":"item","numeric-id":4304554,"id":"Q4304554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$391663CC-D3A0-43AA-9C21-298A7B10D3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$B1D9E2F8-4879-4228-9CF3-D171BF6C57AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$1477FAF4-266C-4077-AB92-5708C5E53F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$3EAEF4F3-1B1C-4214-9F62-B85213AD92A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358059$249EB066-FD6A-4FCF-9987-24182700C98F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0085955ed77a4c3b3af19d7b14022510d9a7bd4f","datavalue":{"value":{"entity-type":"item","numeric-id":524707,"id":"Q524707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b170d33a8e634f36a9a29976cb204cdf1756aa70","datavalue":{"value":{"amount":"+0.93329895","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":"Q4358059$5FBDE3A4-885E-411A-B502-696BFEE09DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30d28864abb8c7d5cc5094f209e6f4fe57ddd6c","datavalue":{"value":{"entity-type":"item","numeric-id":3832739,"id":"Q3832739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed3d230a2a727eaee86389e10e8a48bef786fdb","datavalue":{"value":{"amount":"+0.91468817","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":"Q4358059$04842523-EA48-4331-B380-6ECBA8CA4A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ad79179beb3beca6513a219e422cd24cae768f","datavalue":{"value":{"entity-type":"item","numeric-id":4286320,"id":"Q4286320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84d1b956cbc1861e22d790e937653a1e96de161","datavalue":{"value":{"amount":"+0.90895075","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":"Q4358059$AC8A3012-AADE-40C5-83EE-D9E24B9F5825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abea80fdc02a2183c01693dc50faddb95ead7747","datavalue":{"value":{"entity-type":"item","numeric-id":5152335,"id":"Q5152335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0348054aa85b6a8ef2ab3906b7eb729d669bbca","datavalue":{"value":{"amount":"+0.90598667","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":"Q4358059$D6E5A795-19EC-48C1-9222-75762197114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6119fa61c5d96a4b48aeedb994748d9572ac498","datavalue":{"value":{"entity-type":"item","numeric-id":4714248,"id":"Q4714248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a235eb95381233cd9faa3cf7545649c49a6597","datavalue":{"value":{"amount":"+0.90263784","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":"Q4358059$2A0184DB-A9CD-4D9B-9030-50A64F7F5B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abc89ac7d05c851d22d26a7ff164f4cb4fbeae2","datavalue":{"value":{"entity-type":"item","numeric-id":1325823,"id":"Q1325823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97c1cf07faa7ba84a2d90ec919ed170d5a9dca7","datavalue":{"value":{"amount":"+0.9014611","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":"Q4358059$C3538DEB-8AEE-47F7-AEAC-6EA7B94B272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34a6a93a9ee9b60841d9a6c4985d91d9cdbc7e1","datavalue":{"value":{"entity-type":"item","numeric-id":4240502,"id":"Q4240502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ff0549416136e8f4fdc34e800f01610c7b1db8","datavalue":{"value":{"amount":"+0.8993455","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":"Q4358059$9274EEA9-7E29-4786-8C7D-27C8F69DEF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e586a0aa4e45f840b602c015f42ca95d12dc33b","datavalue":{"value":{"entity-type":"item","numeric-id":5096265,"id":"Q5096265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df7568473371aef465d17d5dab2ccfca0ee3b25","datavalue":{"value":{"amount":"+0.8968409","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":"Q4358059$D9B5326A-48E0-45DC-B8E1-7964E9735C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065e67a4e0f8891976b7e2539bf192e27a44a2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3735912,"id":"Q3735912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4eeca56ccf7500a6c77186d2fd73376976fa13","datavalue":{"value":{"amount":"+0.8950237","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":"Q4358059$E1CCA8DC-D830-4ADB-A501-11F88B28F0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d20425bf359b700d8b7c544d9e4b5f2e18c96ca","datavalue":{"value":{"entity-type":"item","numeric-id":3729135,"id":"Q3729135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4eeca56ccf7500a6c77186d2fd73376976fa13","datavalue":{"value":{"amount":"+0.8950237","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":"Q4358059$5B402777-61F9-45B3-B452-EF66043C4F99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4358059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4358059"}}}}}