{"entities":{"Q4487271":{"pageid":6516870,"ns":120,"title":"Item:Q4487271","lastrevid":47479537,"modified":"2026-01-01T20:47:15Z","type":"item","id":"Q4487271","labels":{"en":{"language":"en","value":"Pontrjagin duality and full completeness for  multiplicative linear logic (without Mix)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463119"}},"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":"Q4487271$201FAE58-ED9C-499A-A3A1-1AE08080C0E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac413bc55b0f085bbb9a15149a2889d46eeeb2d4","datavalue":{"value":{"text":"Pontrjagin duality and full completeness for  multiplicative linear logic (without Mix)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487271$48B13F14-CC2C-441E-B11E-BC38D2B124A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fc15b8a0730ed526e6c60ca504264ab2b545532","datavalue":{"value":"0955.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$79D4E569-EAFD-4811-82E3-62B0560C42F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3929ae33e22f43e2e9ba7b45753a9e214b861d8","datavalue":{"value":"10.1017/S0960129599003072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$CB8DCB3D-89A7-4331-BCE6-5C12E14B3BB0","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":"Q4487271$930BD815-3D4C-4433-B0A8-DF6C603B9DBB","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":"Q4487271$E055D2A8-708C-4BF4-BDC0-8C26ACA2B3E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bc2311a1e4c7e0048fc3ed2a563730637474b4d","datavalue":{"value":{"time":"+2000-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487271$2ECD3115-6292-44C3-8288-5A2CAB010388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$B27EDD84-CD9F-4189-92F8-48D2FAE1429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$DDACF94A-93C1-47B9-9078-73F8C8E068DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$A5C3E6E4-E5B0-4942-B747-82EC69A01004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d64d7739fa74b4b51ebf2fd6a8896fc1e242ce5","datavalue":{"value":"1463119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$0105DC48-354D-4932-90A8-52CEA950E5EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487271$E6600B8C-3E78-4CB7-A149-EACCEBAC260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487271$9EDDD14D-D67A-4983-94EB-13DFDDA829E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5c0da6788682d7587b212dd908554f72fcb3ba","datavalue":{"value":"*-autonomous categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487271$95E9100E-7261-42BA-90F5-4C84C667E527","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":"Q4487271$B2E9D84B-E3FD-4908-83E1-232058059C29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7d83fe269b3caff53179497968ded3d079edc34","datavalue":{"value":"https://doi.org/10.1017/s0960129599003072","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487271$BA85F923-E81D-43B7-9298-42809F70CE79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"856ee5451e8b0d08a114e2438b190d77a2bffbca","datavalue":{"value":"W1984173115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487271$3D3B8FFA-AB5B-411F-9469-58D925F03EB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df843f74dae19690f95e659a4f964d14eeffbce","datavalue":{"value":{"entity-type":"item","numeric-id":1840462,"id":"Q1840462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e479c2b6cfc6cf61f09a67b34527282d2c39477c","datavalue":{"value":{"amount":"+0.8368790745735168","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":"Q4487271$5C457216-1620-456A-8EF7-C52238E69684","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":"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":"Q4487271$8C14ACA6-53D5-4997-9878-20C8D25197DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaac62a126f95f2c67d0de92bb73a5099713bc1","datavalue":{"value":{"entity-type":"item","numeric-id":3444645,"id":"Q3444645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40c8a44c94cd1103dfc22c392250f3263ab70f8","datavalue":{"value":{"amount":"+0.7773635387420654","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":"Q4487271$69EC8400-A39A-4F66-BCE0-B2099C2BE690","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":"a3f3fa9f841c941c9f0ec3dce59e6a96ec995203","datavalue":{"value":{"amount":"+0.7721055150032043","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":"Q4487271$3073BE3A-A4B7-4B55-87A8-3E7E72DDB8DF","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":"0fcac22867df899a1cd29527890159f513c585f3","datavalue":{"value":{"amount":"+0.7659177184104919","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":"Q4487271$0FBCEABC-A8E7-443F-AFE0-EED332CB73CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487271"}}}}}