{"entities":{"Q1840462":{"pageid":1851204,"ns":120,"title":"Item:Q1840462","lastrevid":47570926,"modified":"2026-01-02T02:46:35Z","type":"item","id":"Q1840462","labels":{"en":{"language":"en","value":"\\(\\mathbb{Z}\\)-modules and full completeness of multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1562995"}},"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":"Q1840462$9BED6B94-7A7C-4826-BA68-EB9762EE111D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18f0ed928768c8d4c03a8c51638de0048f711651","datavalue":{"value":{"text":"\\(\\mathbb{Z}\\)-modules and full completeness of multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840462$9705EECA-4778-48DD-9A0D-FABD076AD4C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd8bc355c6a46d6303cc9a133f57083eacd4983b","datavalue":{"value":"0968.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$E831FD61-6BBB-408E-95C3-618434B30736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b674b7360ed1c7753d974f45148e846a1bbce2e","datavalue":{"value":"10.1016/S0168-0072(00)00029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$C944B90C-F1A2-4D97-AC8C-91F30052F68E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fd10e0677a47c7fc103d0a61f6c004fc8766f5","datavalue":{"value":{"entity-type":"item","numeric-id":705529,"id":"Q705529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$837F9671-CF2E-4987-AF79-44F9358B07B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$177BBACD-C72D-4B17-9A53-17F205685C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"504ba16b453e79d30c0da0d69897f097075430ae","datavalue":{"value":{"time":"+2001-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840462$0480B8CB-4E1C-4092-95BB-4C1F53A63322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$D28ECA0E-7D2E-4607-9797-B5D1D6A4769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$33AADF11-2A99-4A93-9934-FE0181F360D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$2584BA7E-C369-43D2-A426-6A5C463A758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$063768D3-D728-4AA6-BD05-93E9EC6A5540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$0A96F9A3-3133-4CE9-8580-28D13534264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$078F4028-F132-4B7D-B1E4-2C4E3C1C7D4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc9e6c697e9970df6ec465f588a5c17f0fc428b4","datavalue":{"value":"1562995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840462$8CE10876-4810-4C10-828B-CA082445FE8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840462$6AED9CEF-27B1-4D55-BC60-A4EF03FEF1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d618f226183bde53afce8b6aff2fe62c734965ba","datavalue":{"value":"full completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840462$E77B1BDE-D60F-4FC9-A299-5484CD638ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a7d41d5210aea0dd8008059442be478e8f9001","datavalue":{"value":"*-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840462$B8352E3C-C668-4F5B-B029-7B8F5E8EE571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3428d102e3a7bd5c3d9e1d83798409e2c91700c3","datavalue":{"value":"topologized vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840462$A5A5306B-59FF-4221-83BE-3254239BF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840462$ABBDAF66-297A-452D-BA9D-796BB9C932B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840462$DF3BD9AF-5CB2-4CB7-9DA0-F7AF754B0946","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":"Q1840462$DA940EED-1CB9-4A2B-B80B-1D53F708C4F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5200de9e4aab4a1f22317681bee35f0c5834602f","datavalue":{"value":{"entity-type":"item","numeric-id":3933122,"id":"Q3933122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$54BFF92F-E379-44C1-9B42-3312F13F7BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$52E24160-72BD-4C8A-8267-02932FAF3839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b4f979eb81b4b7025a0cee5ac2be0013f5963f","datavalue":{"value":{"entity-type":"item","numeric-id":4100554,"id":"Q4100554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$F3ECDEE1-4125-4E40-87FF-2BF7A8319E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a37e1cea15f374069f32e15730dc1397414b0","datavalue":{"value":{"entity-type":"item","numeric-id":599898,"id":"Q599898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$86633479-9D99-46F4-A9F2-71B1023BFF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d60c2b217f319153631b8dd8991deb4f0b64440","datavalue":{"value":{"entity-type":"item","numeric-id":4882499,"id":"Q4882499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$8821C494-91F8-49CC-A43A-87318BC7CC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04308d00790b7a85cbe36d678a9ef5b0389be57a","datavalue":{"value":{"entity-type":"item","numeric-id":673964,"id":"Q673964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$977BBC33-4DCD-4D79-ABAD-0D2C4DA97F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$6CF09811-7D99-4458-AFF6-31B31760FE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b098ecb891499554ffb76b3254fe3ef5ec8f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4254690,"id":"Q4254690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$76773FDB-72F3-4DE0-B705-664D3F17374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$C0C75E77-FC07-45EF-AC42-D580C8CAE644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$AB8AEAC4-E33E-4EC8-815B-26966F651174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$386DFED4-13CB-4230-B2E9-9F134AB17AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7c8129c62fa78a6a79b206009659bebc14d905","datavalue":{"value":{"entity-type":"item","numeric-id":1575868,"id":"Q1575868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$18C95AF6-8C2E-4BDC-9342-CE53B5FF749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d910458719fa4b8b6b194265f13642c414193620","datavalue":{"value":{"entity-type":"item","numeric-id":4010357,"id":"Q4010357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$EE12457C-4238-4353-BDB0-708C6626DF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c2689f246fb41c7be50071d5aca7bb67695eba","datavalue":{"value":{"entity-type":"item","numeric-id":4487271,"id":"Q4487271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$54337545-9013-45C3-940C-94AA949DCBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$96B54939-45A1-432E-89ED-024B49FA141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa691fe41d6f2452f26db0f1972dd5adfae3dc34","datavalue":{"value":{"entity-type":"item","numeric-id":5837859,"id":"Q5837859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$0CC2F200-1C75-4DC7-A7A2-BE9ACD179633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f103bf19f98ddf120c93ad01051ecf5a2c64f71","datavalue":{"value":{"entity-type":"item","numeric-id":1345016,"id":"Q1345016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$CADEDD21-8665-4909-9F28-797A3ADE243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$7302CFC8-2939-4593-8FA1-1AAFD860DB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$88D5B2D6-EDF4-45BB-9658-DFEF17F26FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840462$AD9D285B-E9E3-4E5A-AC6A-734A39958B72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df019717161184eaea89c1224d67decfff6f28a","datavalue":{"value":{"entity-type":"item","numeric-id":4487271,"id":"Q4487271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de68d7df231073b2a09b6ea9f797bb5313b4bbb","datavalue":{"value":{"amount":"+0.8368784189224243","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":"Q1840462$1B413DF2-FFC6-4579-BA3F-87850002E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c23f2de4e15635f792fa246ec553a532cab228a","datavalue":{"value":{"entity-type":"item","numeric-id":705530,"id":"Q705530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447c00b34c94857d8ab4086c887efdbc97cd64ad","datavalue":{"value":{"amount":"+0.8337690234184265","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":"Q1840462$8C0DB855-AC48-404F-B445-1AAECC30A40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d178ace3e6ef69bc9f0dd36da63f4015ecfbe11","datavalue":{"value":{"entity-type":"item","numeric-id":4222900,"id":"Q4222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeeee1b80e43bd476cf253aff41bb96769d5b246","datavalue":{"value":{"amount":"+0.7904062271118164","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":"Q1840462$456212FF-E161-499F-90D4-B2CD5E7E04A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08244048fe8215cd8373e554edbb2972d2954c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbef10fec196791b025faf0b215bb5f8febeafba","datavalue":{"value":{"amount":"+0.7875321507453918","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":"Q1840462$BD9B5D3C-EAED-455F-9523-34F9A2ACAE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbef10fec196791b025faf0b215bb5f8febeafba","datavalue":{"value":{"amount":"+0.7875321507453918","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":"Q1840462$CD01A244-09DB-42ED-8CBB-D529ED9B1016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1840462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1840462"}}}}}