{"entities":{"Q2303577":{"pageid":2314320,"ns":120,"title":"Item:Q2303577","lastrevid":55372456,"modified":"2026-02-17T14:43:33Z","type":"item","id":"Q2303577","labels":{"en":{"language":"en","value":"On combinatorial proofs for logics of relevance and entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176915"}},"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":"Q2303577$85D102DF-7BBF-42A6-A0AC-8594C48E5FD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0af0e2f82d5872b81f375ab0ac7eff3ff453d44","datavalue":{"value":{"text":"On combinatorial proofs for logics of relevance and entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303577$CB8B05AC-A928-4665-A7E1-9454942860ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5b11b9a2e71d616e15cce1404497cdcac5ef046","datavalue":{"value":"10.1007/978-3-662-59533-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303577$987A662F-2C96-4D58-82E8-D42A85264815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303577$2310108E-0E2C-4D74-A3BA-372FADEF82A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303577$2654AA79-1DD4-4260-B517-2A0C8B774679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303577$FCFFC0E2-6BDB-4338-AEAC-328FB89A2086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d0b4fe8068ca3fdc143d74533d2f626b8addcb4","datavalue":{"value":"https://hal.inria.fr/hal-02390426/file/CPrelevant.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303577$D595FACB-462B-4A6D-A233-8F8B96200CD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303577$36F3BC75-82F8-4B92-AD5D-7B0A084E6AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"208b11f80c5e65f4f8ed7daed6469296e3ec9e2c","datavalue":{"value":"7176915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303577$553E0CA4-B288-43F1-90FD-3E96AA4A2393","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4309af4b8f8828493281cfa73802dbc17c80f7","datavalue":{"value":"combinatorial proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303577$4A56C938-E1CB-4C93-A95E-2190167F7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303577$7AD3A898-55FA-48EF-B8D5-C5A1470F4BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cae7dae32502f15dd3a8e0eea8323b697815aee","datavalue":{"value":"entailment logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303577$4710053B-0451-4BAC-BB79-047CFCD84D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cea617eff49b3d527c9daeb9cd57994463f00af","datavalue":{"value":"skew fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303577$A7B29651-8C54-4D3A-866C-67E137B01E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303577$2769C95B-D6B5-4F3D-9210-FC464558808B","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":"Q2303577$B706C6B6-AD2B-4AB9-BD4E-45DF8C5024CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5448ea7503689f84f7cb255316356b8f99b937f9","datavalue":{"value":"W2953246618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303577$8406CD11-76AB-4977-A224-D1233EFA8064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa68709690b3ab21367cba9a41a29d5984c19f88","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6755bde03b42e9b194a58560469eb3137a70e403","datavalue":{"value":{"amount":"+0.8357128500938416","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":"Q2303577$4BDE3535-75FD-4728-8DB4-902FA8FAE2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd8fa845b38dd909099ee3e571d9176b2c381f1","datavalue":{"value":{"entity-type":"item","numeric-id":5884933,"id":"Q5884933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d5ca3b89acf579ad8a66c130218ff8a5fe51d0","datavalue":{"value":{"amount":"+0.827812910079956","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":"Q2303577$DD681810-2D7F-44BF-A536-DC7C1A3E0D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef899caf93075f6fbcf47234b56b7c466b73722","datavalue":{"value":{"amount":"+0.8055101037025452","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":"Q2303577$3863E8FF-1C4F-4A03-A83A-01E0B430697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c241999438b67d7c7b3c4f30b7aaf2bad4fdeb","datavalue":{"value":{"entity-type":"item","numeric-id":2180521,"id":"Q2180521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac5e5eb170b78f16dbc826d58af344d5dce68cc","datavalue":{"value":{"amount":"+0.7655026912689209","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":"Q2303577$680388A9-23C9-4259-98A8-98901E4B490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c04a458e3bbae1e3c55f458bb78f9e37398416f","datavalue":{"value":{"amount":"+0.7633450031280518","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":"Q2303577$40D39CB9-35EB-4110-8B4B-87B8513C4A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303577"}}}}}