{"entities":{"Q3478401":{"pageid":5505273,"ns":120,"title":"Item:Q3478401","lastrevid":46830714,"modified":"2025-12-25T16:36:26Z","type":"item","id":"Q3478401","labels":{"en":{"language":"en","value":"Quantales and (noncommutative) linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148076"}},"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":"Q3478401$5BBC39B2-1AA8-457E-B4A4-055D19D19F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36eb3ae0d6615ec2f04c768b72c608344b04d8b9","datavalue":{"value":{"text":"Quantales and (noncommutative) linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3478401$B232810A-5CF3-487D-8FDF-233A832F3E34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7922a7653667c54dd1563e774e197feccbe17dde","datavalue":{"value":"0701.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$41C3A094-4A4C-4392-B5B6-13D8FB9962FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94a8e576d5e51003924f49e442e59df3a0d86501","datavalue":{"value":"10.2307/2274953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$E866D931-8B9C-46C8-A345-C7B5EE7C809A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d81fe64e68ea54559b5c418727f64f059ec2bef5","datavalue":{"value":{"entity-type":"item","numeric-id":848659,"id":"Q848659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478401$3FE18B60-6255-4FFB-85A5-AE132DFE34DB","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":"Q3478401$590C7262-E81F-4FD6-9487-7213B2229BE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3478401$17C693F3-0297-4AC6-9056-0543D5C6602A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$A71D718D-FDF1-421A-802A-E0D29D42117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$11C111BC-3449-4FFB-9361-82E525432BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$C9ADC6B2-0034-4141-A31D-4AD2FAB95DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$6B14C9B2-0565-46EF-A294-D995FEBCB9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$348A65D3-9E90-400C-BAF6-67AA48425528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$B1821DEE-1CE9-4694-BA21-DC9E00B21940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d26fb9ca0b4eb916963e89d2ec1934d4c73ed6d6","datavalue":{"value":"4148076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$D142058C-234F-4D70-9721-18BD4272A681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0696d3d58c1550014939af3d5f50ee617c0c83cc","datavalue":{"value":"graphical proof as equivalence class of drawings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478401$FDCE16F6-E4C6-4764-964F-8DA2014DE18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e856f2dbf4d6c07e1d7f6df1beae02826b468b","datavalue":{"value":"Noncommutative Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478401$1F10B2E6-B66C-47CB-8A96-31B9BC47149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa897c618b85c5a5d6b4eaff71228006a8b56e9","datavalue":{"value":"pure succeedent sequent calculus for NLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478401$70574342-A500-46B5-BA71-53733545C4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f517b5e2c7ac578748deede85858a95063777","datavalue":{"value":"Girard quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478401$F002C12A-C7C2-4471-98B2-75F38B577654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478401$4A1EF667-7257-4843-8569-3B09C7711FB5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac26560a698eb4f164a5464b932965d3fc8b0f4d","datavalue":{"value":"Q56391419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$3CF4ACDD-2753-49E5-B982-234E50EDD929","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":"Q3478401$5FD6666C-9EED-47D1-A8DF-07B877307D17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b144c1d66f1d0b8b4d90257e17904dbf365f5e3","datavalue":{"value":"https://doi.org/10.2307/2274953","type":"string"},"datatype":"url"},"type":"statement","id":"Q3478401$55293AEF-3F32-499F-BC87-661E1B3620EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59c9e077c38b47106fb89eeb61719c8a64232daa","datavalue":{"value":"W2078432227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478401$73B9F8DA-A56F-448F-B4B9-A64EE359E2AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478401$8A4243A1-8AEE-4464-9B47-DA585FC6A9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478401$FA7956E8-2AE4-450C-91FF-B5727A3E2AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed7831a70add7bcf12768da28495fb8aecf502","datavalue":{"value":{"entity-type":"item","numeric-id":3807268,"id":"Q3807268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478401$1B05C03A-5D92-48F8-98E3-93B8433950E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992386b5c7846a62c5ba47bdbcb74781227e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":2774267,"id":"Q2774267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f781233623a70d206893f044a4802944a3584626","datavalue":{"value":{"amount":"+0.98456866","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":"Q3478401$78125719-A6C4-415E-B749-5DBD753B0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1c42645739f35c96193b05e0d5791972d47ca","datavalue":{"value":{"entity-type":"item","numeric-id":386648,"id":"Q386648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97caef275e2d33d580396b1ddfebc4d2d920e345","datavalue":{"value":{"amount":"+0.9571015","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":"Q3478401$705195B9-DB35-4AE8-8BE7-9BA1BD128854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c10b6b9e41744bd3810fa170a550421c0bf767e","datavalue":{"value":{"entity-type":"item","numeric-id":1770594,"id":"Q1770594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d988dd0b9f45602cf25f351794520a5d8ed63d","datavalue":{"value":{"amount":"+0.93886393","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":"Q3478401$98B0742A-E6BB-4B37-8863-B6C7871EAA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300bee42bbbebd513bde4a2f93a6feb946f320d4","datavalue":{"value":{"entity-type":"item","numeric-id":4972728,"id":"Q4972728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5326b6613400dc131f3e07f55e4c5ff75031b8","datavalue":{"value":{"amount":"+0.93553776","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":"Q3478401$E5B0AE7F-9419-45A8-8B2B-2502F39B93C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16361bdee4d0ce6141885d3450936c86f68c7d47","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39e06cffcbf33d2f275cc76b919c1035edc1c89","datavalue":{"value":{"amount":"+0.93482935","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":"Q3478401$7094311B-5A9E-4BBF-A374-66F4AF50043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d640d640f2c22f48ddcfa3a994d0132ee9699026","datavalue":{"value":{"entity-type":"item","numeric-id":3509054,"id":"Q3509054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2326d3f43d5436e0ec08821cc55f9047a2ff78ff","datavalue":{"value":{"amount":"+0.9274477","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":"Q3478401$00E5095F-8664-4A24-BC13-0C49B71B10D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82217944cbe8ed823007cb9824312ba60fa7d971","datavalue":{"value":{"entity-type":"item","numeric-id":1910723,"id":"Q1910723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637ad57bc14415473a81f1bd1873e8f4ae9d319e","datavalue":{"value":{"amount":"+0.9261043","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":"Q3478401$45599FA8-62ED-4650-A930-7D18CF1B95D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fd19b524f2d8460f727a177f1fce5b1ad52206","datavalue":{"value":{"entity-type":"item","numeric-id":5096259,"id":"Q5096259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91f057940df7c7f3046d85c5c47f784c9c3d270","datavalue":{"value":{"amount":"+0.91603976","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":"Q3478401$6C6146C6-51A0-4913-8FB9-2665353F5825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff643d203d86b1fa55fb859d2f5ab278319d1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4438096,"id":"Q4438096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607879800483790e23dd76383297d906e25a394f","datavalue":{"value":{"amount":"+0.90574473","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":"Q3478401$3AC83C23-EC49-435B-A63A-A93CB2B15950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd973483a26d509c07830e26f8818de0b6c6d323","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0902064ce9090d73eef709ea336b3149b3b21e26","datavalue":{"value":{"amount":"+0.905333","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":"Q3478401$E4968482-6265-4AB1-85CC-48A93E530E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3478401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3478401"}}}}}