{"entities":{"Q1799082":{"pageid":1809824,"ns":120,"title":"Item:Q1799082","lastrevid":68987166,"modified":"2026-04-13T03:33:28Z","type":"item","id":"Q1799082","labels":{"en":{"language":"en","value":"A logical framework with commutative and non-commutative subexponentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958102"}},"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":"Q1799082$E4460647-9155-4A14-85A4-BE46D353A8D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04a6631191f684d3b3c93d97ccf56a9dc8183ec6","datavalue":{"value":{"text":"A logical framework with commutative and non-commutative subexponentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799082$6989EA08-3002-457E-AAD4-583E8D25DB30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd235993b0edf3f41b68e39694358845025d5b28","datavalue":{"value":"10.1007/978-3-319-94205-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799082$3DF4D245-FF22-4FC5-A32F-4E2533DE414F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799082$E0BE55ED-8802-4057-AA97-5BEA773203CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799082$0C985DB2-5058-44DB-A0C8-3D475EC966F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799082$2744677D-B9C4-445E-B286-A6D419A1423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799082$1D2628F4-16D5-4D06-946A-A0DC323B80D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799082$2DE8F5DC-6F40-4477-83B9-4156EE3A3782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799082$24031CC2-7849-4522-AF8A-BCC019524AA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"085de9d84470f6fc388cd13f9888c7dcea44c224","datavalue":{"value":"6958102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799082$922B34FA-B84B-4DB3-A68E-6BF3771B22AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daa89ae910e3f82d3dfeb662ff83750310e4a1af","datavalue":{"value":{"entity-type":"item","numeric-id":35989,"id":"Q35989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799082$9463D4E7-B93D-491F-B9CE-41D454645C14","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":"Q1799082$7819F370-64BC-4F20-B147-3A99D23A9BFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93c910d73a790b50874b4c5ff575039c824e0dbd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799082$AEE0F094-4D03-4D53-B51A-EBF533D020E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca84d232f72f8d0318436891c089d0b0dec02097","datavalue":{"value":"W2810130918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799082$E3FC2A03-D393-418C-A758-194D56D39A2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da3c26e4c860af08adb0b32fd4f9746564765c7e","datavalue":{"value":{"entity-type":"item","numeric-id":2803995,"id":"Q2803995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8da06a2b4cf2bd40afc0386de546f7b03f17d82","datavalue":{"value":{"amount":"+0.8626713156700134","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":"Q1799082$0EB8F08F-2155-4632-BFEE-D2165550540C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584aea6b25d72635854056c782e883c6f0f118c9","datavalue":{"value":{"entity-type":"item","numeric-id":5240161,"id":"Q5240161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a065dbcce501e127e0897b57a910b5fe536169","datavalue":{"value":{"amount":"+0.8462056517601013","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":"Q1799082$F1CEF575-7E2E-404E-8A9A-CBE9BCAFCA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2ef53da86af21fe597335ebc9f92c1e68378a9","datavalue":{"value":{"entity-type":"item","numeric-id":5850871,"id":"Q5850871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b313adc8b00d450e8d85fc3d441a2179687891","datavalue":{"value":{"amount":"+0.7869055271148682","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":"Q1799082$E6604466-1915-4C7C-8EF5-37FBAA9FB668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3e459c1ac237eae33ebd7c95eb1dc4f27ca4a3","datavalue":{"value":{"entity-type":"item","numeric-id":3402141,"id":"Q3402141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f49507484c2f03c07c634a5ade025c17ecfe7d","datavalue":{"value":{"amount":"+0.7773648500442505","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":"Q1799082$A840A975-EECF-494E-80C3-BCFF95DC1488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89a20c69d50560d6a7172ca37fb31f0af0792c9","datavalue":{"value":{"entity-type":"item","numeric-id":1980003,"id":"Q1980003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4531a5616a8aa0461cb827fd5190e4b5bc07abd4","datavalue":{"value":{"amount":"+0.7707626223564148","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":"Q1799082$CD68E2C3-B6A6-44B4-9992-57837E36AA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical framework with commutative and non-commutative subexponentials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_framework_with_commutative_and_non-commutative_subexponentials"}}}}}