{"entities":{"Q4972728":{"pageid":7002307,"ns":120,"title":"Item:Q4972728","lastrevid":91777712,"modified":"2026-06-05T00:02:41Z","type":"item","id":"Q4972728","labels":{"en":{"language":"en","value":"On noncommutative extensions of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7136656"}},"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":"Q4972728$AEB3F04B-D7FF-451A-90AD-C5B9909F18FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"682e0060a035724c9988f324b4c707af7f73f198","datavalue":{"value":"1496.03253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972728$F45E8638-17A8-4B28-AEFB-61C05AF2490F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2292847ba58bec89f1751693bedbc9b8c065619d","datavalue":{"value":"10.23638/LMCS-15(3:30)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972728$3BE0937C-19F5-4ABB-BA64-C526EECF1336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aea00a698ddc1b4092e36cceadca3d25ee7917ec","datavalue":{"value":{"entity-type":"item","numeric-id":392295,"id":"Q392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972728$41C64793-148A-421B-A3B9-7F3E384865A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbafbdb1f99f69bc0ac1745c614aa03b0ae34444","datavalue":{"value":{"time":"+2019-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972728$C7D1AC88-EF9D-4D42-ACB9-DD64FFE9FDC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c19b10f8e25d736204ef6b6ea67dfed3b79693","datavalue":{"value":"https://arxiv.org/abs/1703.10092","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972728$F7FC5076-258C-4CEA-BFE3-561383DED8B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972728$0CFBBA34-BBAB-4894-8E40-2B63669451FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed5259f30790684ebcbbc469894ab2b694809982","datavalue":{"value":"7136656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972728$5FD2FFBC-7FBD-4710-85CD-E837150AC30E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553096cfa330d70fd18153dfcd3c28d6fb9ba063","datavalue":{"value":"pomset logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972728$5AE60E22-A72A-4D60-B256-8890345026E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c69420e617fd32bf6a4203f58356b04114a53c","datavalue":{"value":"noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972728$08DD5FBF-124C-4D28-AEE9-0319B042AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972728$66FF4820-4346-492C-8726-197E235D48DB","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":"Q4972728$3EE9CFB9-377C-487E-816B-ABC9848EBE92","rank":"normal"}],"P1643":[{"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":"066fc8c7f0298980524a29b9e5cf32d5e52d5a7e","datavalue":{"value":{"amount":"+0.9502497","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":"Q4972728$DD39E8E6-0898-48EB-A27E-48261C8054A7","rank":"normal"},{"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":"0aa3a53c904b3c2cc0d5116641244675acfab737","datavalue":{"value":{"amount":"+0.94918823","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":"Q4972728$874422A2-AB53-4959-9AE3-032A5E37F8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3924521044bbbc5cfbcf0d10f59ef25d87d4553","datavalue":{"value":{"entity-type":"item","numeric-id":3159275,"id":"Q3159275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b6d76f19b229aacb7ad4216c9ecf8bf8959d6a","datavalue":{"value":{"amount":"+0.9428146","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":"Q4972728$398BA96D-826F-4081-880B-3E91276F45A7","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":"faa604b0ca8aaec3a4f2a50c47b7268ed784a775","datavalue":{"value":{"amount":"+0.93909144","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":"Q4972728$975DEE10-622E-4371-AF84-7BE7A061FE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070cc6d64bb4a1c784dec11b9b9b16e110861e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"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":"Q4972728$12DB44A8-3108-4B7B-8FA1-A9D342D4F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c843486c24c2a9525ea81f42bef652aa1a0adc","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695e6824984c7b795b4cafc06432570406213b7d","datavalue":{"value":{"amount":"+0.9300889","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":"Q4972728$FA3DCF6C-422E-4272-9A29-DD49AA3EE916","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":"1c1e6d56e73d123dd64cebecfc86a7534f9f8054","datavalue":{"value":{"amount":"+0.9194559","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":"Q4972728$4FB7EFF0-8989-41B2-B43A-5668453321C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228e9cabf1c52a6a2ab07e9579977b874c3383d0","datavalue":{"value":{"entity-type":"item","numeric-id":2104536,"id":"Q2104536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2bbda6dce2d04dbd4eaf0aa3f0e779bd5d2313","datavalue":{"value":{"amount":"+0.918742","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":"Q4972728$521351AF-3A09-416E-9E60-73EBC3C4CFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1399cbe5cf55cb618de5340de885d24a5062377f","datavalue":{"value":{"entity-type":"item","numeric-id":2847859,"id":"Q2847859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4ef4f90f2a12d25a4d484d0042b6c6b4d3ba66","datavalue":{"value":{"amount":"+0.91069967","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":"Q4972728$C1588D32-98BB-42F9-A767-1FC94059F604","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On noncommutative extensions of linear logic","badges":[]}}}}}