{"entities":{"Q1876098":{"pageid":1886840,"ns":120,"title":"Item:Q1876098","lastrevid":73922952,"modified":"2026-04-14T17:44:36Z","type":"item","id":"Q1876098","labels":{"en":{"language":"en","value":"A matrix characterization for multiplicative exponential linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091577"}},"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":"Q1876098$0733D4CE-C075-4ECB-9F54-A85ACC54506D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9e3ae1084a4a324a87e21148b886e7deb7faa22","datavalue":{"value":{"text":"A matrix characterization for multiplicative exponential linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1876098$A5274EB3-E30A-4143-8922-A78F4DD305AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a650546121b5feeeba7e026b39105d414b891ce","datavalue":{"value":"1048.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$406F50CA-8934-4306-9729-39FBDCF6A037","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876098$E7F56D88-909A-41BB-B9DF-ED44A3BD8A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876098$9653421B-7BEB-48ED-A873-73FE02E3CE7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876098$6316A12C-B114-4C86-B32D-0D625E5EC2F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"940bfd82d93d0a0f8bba8894177c9d9473a815f7","datavalue":{"value":{"time":"+2004-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1876098$AEBCC1C4-9F55-4CB2-BA7B-4BB06A9AA094","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$23FFFBEB-AB84-4183-B0C9-2864D7AF6107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$3122D4B9-280E-45A3-8F90-E31CCC1FD05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$12A6FA3A-60E5-48E1-9F0C-6CC582D675FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ef49dabdad834828a9373449251fbde04d9602e","datavalue":{"value":"2091577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$0C176952-7C2D-4934-AA9C-CEBBEAEFD6A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876098$D458F6AA-12B3-4766-AACA-E1F4B5E4AC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876098$C40D9DA5-B9D0-48A0-8CC1-E4A83317880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876098$44817DEF-ACC0-497B-A635-9063CEDEBCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876098$45A6ECF2-559A-4275-898C-1F0BAF8C80E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876098$4DAFA9E8-9CF8-495D-84B4-7599F66A18B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876098$0856303B-36CC-45A4-8BA1-125E86E350B2","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":"Q1876098$34BCA195-EF77-44D5-BC96-D7A3231C9F3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc96cc4d7d12dc182b5d0ce303b82b110877b50f","datavalue":{"value":"https://doi.org/10.1023/b:jars.0000029976.22387.ac","type":"string"},"datatype":"url"},"type":"statement","id":"Q1876098$CFE2D4FE-9DE4-494B-BC40-5D08AA898672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45a41fa7dc9c6b05ce4bafdec5143964fec21da1","datavalue":{"value":"W2003819287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$79DD561C-3E32-4E77-8A05-C42C369663D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a968366824e12bab60cc80b4e7c46da9edcd799d","datavalue":{"value":"10.1023/B:JARS.0000029976.22387.AC","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876098$981A6859-A92A-47C7-9F01-F2C1955BAE7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03979710e327ad0eadd7eb073743bae8e4fb672f","datavalue":{"value":{"entity-type":"item","numeric-id":4246968,"id":"Q4246968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f6b5f9712fd6620f2d02169aea79f13ba9948c","datavalue":{"value":{"amount":"+0.9642656445503236","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":"Q1876098$666036C4-C2DF-469D-A198-9BD46863E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd70246e4539b9380631f2a774ec2a7aaefaa41","datavalue":{"value":{"entity-type":"item","numeric-id":5234702,"id":"Q5234702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711f5a3c8917df985d405d9772692825d0bb8e9b","datavalue":{"value":{"amount":"+0.8499764800071716","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":"Q1876098$5207C984-FB18-43F5-AB9A-EE245D65FEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac575cf9e8986a6b20fe749a4e38bcb43a59f93","datavalue":{"value":{"amount":"+0.7275722622871399","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":"Q1876098$9F615975-BB99-40A2-89EC-6ACEA9DD877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c296e284c341a787d02fb7456570fa19e43dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3608429,"id":"Q3608429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cea49f99a823504610a19e082e00f00ea263f7a","datavalue":{"value":{"amount":"+0.7270833253860474","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":"Q1876098$B3960C58-B761-4A9D-80D8-936A0A2405BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7affa8d8292b86faaffda854df34dddb19de9704","datavalue":{"value":{"entity-type":"item","numeric-id":3613361,"id":"Q3613361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33971ed0cf24ebf2968e717dbbfe16d6ad039542","datavalue":{"value":{"amount":"+0.7264423370361328","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":"Q1876098$B0E601C2-504C-4050-894A-453E715EEDAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A matrix characterization for multiplicative exponential linear logic","badges":[]}}}}}