{"entities":{"Q4792972":{"pageid":6822552,"ns":120,"title":"Item:Q4792972","lastrevid":74831496,"modified":"2026-04-15T00:33:59Z","type":"item","id":"Q4792972","labels":{"en":{"language":"en","value":"On K\u00f6the sequence spaces and linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870302"}},"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":"Q4792972$1CB6C736-B63F-4CA6-BE66-2FF70652887F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8f788c5d10d5cd83eb07ac4a619cf778bb0d3f8","datavalue":{"value":{"text":"On K\u00f6the sequence spaces and linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4792972$9CDC31F2-ADDF-4ADA-968A-32AB0C621A88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feff99b8e98c6d9dc8ad68cc9092fdcc73ab09e4","datavalue":{"value":"1025.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$F8B3C0F8-CB69-4EE5-A0DE-DC6900BF51A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbe769cb9e728ab4a21b2036abc947d1e24940a1","datavalue":{"value":"10.1017/S0960129502003729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$978DA66C-85DC-4BA3-AC2D-8732D0534AE0","rank":"normal"}],"P16":[{"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":"Q4792972$9D62A1A0-9F3D-431D-ACFF-D21063C50999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792972$F06EDEC2-F1F3-413B-B0BA-01E9576C3934","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4792972$59638454-BB1C-4536-AA01-85EA93CB278A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$3AAE8920-7E1B-4AE0-B798-CB7FFD7983AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$C278E383-BFE1-4AA8-A32A-458224B22498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$1377F0B9-BAE6-47FD-8E0F-082BD9140B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$8F113D57-13CA-4CE0-89DF-197E47972BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"22d2a3a118e9582fdfbbcdc1acb664145592ec19","datavalue":{"value":"46M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$601ABABE-39F4-4BC1-8AD4-D1E036BB9EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba4e0449494f6be8f10fe2c317c64d50d00c9b84","datavalue":{"value":"1870302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$29BD4E3D-8160-4AB2-AA0D-21BC33FC5A3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d05f6ed2a4abddb21fe854f1285f71989bbf011","datavalue":{"value":"category of locally convex topological vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$5E097396-0080-423C-B712-3FE70BF552FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$EF9EB0ED-9C6E-4834-B2BB-1DE8ADBF47DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b2f5334935782855f9ec3f7578e1f88981f79","datavalue":{"value":"K\u00f6the sequence spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$01457A18-2A9B-49D7-BF87-F50763A7F7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fd4328296f2fcabac692b0a742ecbfb715c16","datavalue":{"value":"Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$E0A4A7AA-9864-4DA9-A91E-97FDDAAF0F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96269dea133eb108cfe0f827182a1f6d160dd3ba","datavalue":{"value":"co-Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$118C8128-4BDD-4B56-82AB-3A9ED411C4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$C29D7FA6-E70F-4161-8DF7-D097FBFE4E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$A0D77358-FB38-4DCB-BB46-7EB6C197BBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f6a550d55985181d07fe4b0962f0e204f5bcf9","datavalue":{"value":"differential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792972$03811831-62F7-4AC1-8E80-3A94A374542B","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":"Q4792972$5ECF98E3-D8C2-426B-BBE3-07A7FA38E7E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84b2dbf87acf0d7ef242a531426a0cda198cd477","datavalue":{"value":"https://doi.org/10.1017/s0960129502003729","type":"string"},"datatype":"url"},"type":"statement","id":"Q4792972$53A23490-358A-4987-81EA-F10A8BB32CF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6288913f690011858e1a654b21109341490bd570","datavalue":{"value":"W2053791527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792972$B763C896-858C-452D-AC43-38AD4B83CA23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000d032e27b1261ecf35085c7eb87055417a9916","datavalue":{"value":{"entity-type":"item","numeric-id":4611198,"id":"Q4611198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97144bb21d74df0810726e10087ea15068db207f","datavalue":{"value":{"amount":"+0.8986976","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":"Q4792972$5CC14B76-AA8C-46BC-915B-99BA0CF34306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38fa78c4bac4d0069af58c94a01d3882dce3467","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3ac062b5edd5c66fadac5a1016f5d8618f20b5","datavalue":{"value":{"amount":"+0.8758389","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":"Q4792972$554722CD-FEA8-4847-8779-3960929420FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787942aef5567e35736302f73bfe9147f95e9608","datavalue":{"value":{"entity-type":"item","numeric-id":3772217,"id":"Q3772217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ef59eb38e316a8819b381d8f1be5fb7ab1ed09","datavalue":{"value":{"amount":"+0.8734659","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":"Q4792972$3C28E475-DCB9-499E-9DBC-6915BC57CD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94dbeefd378c1cb29324ee814a5c1c06c1c70e49","datavalue":{"value":{"entity-type":"item","numeric-id":1291095,"id":"Q1291095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1719bfaeb447c2ba056bd6d932b78525c297a9b7","datavalue":{"value":{"amount":"+0.8693817","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":"Q4792972$7FEB408D-5492-4601-8AFC-A63F2F068970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0721c9a5265cc702b65cffaebe526cc026a80ece","datavalue":{"value":{"entity-type":"item","numeric-id":2922494,"id":"Q2922494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cca359a062f172eb0075dabc4359b8490c257c9","datavalue":{"value":{"amount":"+0.86880034","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":"Q4792972$57A7F290-444A-40A9-B9B4-9365BC8C6CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7e0ae95b8b2c2a09355ab60b762853bef151a8","datavalue":{"value":{"entity-type":"item","numeric-id":5095625,"id":"Q5095625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9dd8ad8e9baf9a01f47281d31e9938f972b0ac","datavalue":{"value":{"amount":"+0.8685262","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":"Q4792972$03BBA1EE-0D7A-499F-89D0-0350AEF9350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93684fd04a25a38b65a73f521d78e298704218d","datavalue":{"value":{"entity-type":"item","numeric-id":5423095,"id":"Q5423095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6924ac4ddfcd4f434b6b91cad023705f4cc117ef","datavalue":{"value":{"amount":"+0.86728185","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":"Q4792972$2254C0A4-7C4B-4E06-B8CF-18CCD2D9698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa95cab7b9520d9a76b40b2df52aad274dd6e0da","datavalue":{"value":{"entity-type":"item","numeric-id":4353290,"id":"Q4353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ae37a97eeba9c4e0114b59e28278c8a6e65b81","datavalue":{"value":{"amount":"+0.8643534","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":"Q4792972$78CCE79B-8530-4130-B8E7-BCC3109C0763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb18cb9e5cf3b45147668f58e877cf7c0994b117","datavalue":{"value":{"entity-type":"item","numeric-id":4706559,"id":"Q4706559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce4df6cdfa1d9917a59dce97700dbeb6a36fe05","datavalue":{"value":{"amount":"+0.86253786","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":"Q4792972$9063D0C9-431E-4C74-9B2F-71A9DCC216BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc63a84a8ac1f5e7b58c6c51e927f2204ec59f6","datavalue":{"value":{"entity-type":"item","numeric-id":4384019,"id":"Q4384019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14369c92a552c7c0564deaefd75fb91065ec716d","datavalue":{"value":{"amount":"+0.8600105","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":"Q4792972$26B29FD0-24EE-4DCC-8F27-9C6653D86E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On K\u00f6the sequence spaces and linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_K%C3%B6the_sequence_spaces_and_linear_logic"}}}}}