{"entities":{"Q1970643":{"pageid":1981385,"ns":120,"title":"Item:Q1970643","lastrevid":47466325,"modified":"2026-01-01T20:01:28Z","type":"item","id":"Q1970643","labels":{"en":{"language":"en","value":"Substructural implicational logics including the relevant logic E"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420291"}},"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":"Q1970643$169091DC-061C-4C84-9736-9D72971FD8C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310713c91b210289cda62681421f25e366071495","datavalue":{"value":{"text":"Substructural implicational logics including the relevant logic E","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970643$E4E4FD9C-77CB-47E8-A47F-388B08076640","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9bc9852269dc1a5bd68076e65d3cb813f015c40","datavalue":{"value":"0943.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970643$5FFB1FB5-7055-4ABF-AC02-F5C84B16732D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b7340ebd4c531209638ad35fe319044a4470d0a","datavalue":{"value":"10.1023/A:1005210613711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970643$B248B426-04D7-4163-A41A-F7FB2D767837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970643$7F91A642-AC8A-4263-8A3A-E977E3DFD47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970643$8932BA1E-4FB8-4ADF-9715-55E0230E99E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970643$0E2228B8-D2FF-4653-BAB8-70C773FFEDEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19945cc67174d34ebbeae4b89d0f3c36236e8191","datavalue":{"value":{"time":"+2000-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970643$87C274DF-FD83-4178-B843-F859B7629941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970643$41C31E18-1BF9-496A-9C92-64FB622602A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970643$DA50B756-3FDF-40BE-98E8-58EA35D22DEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ace3c54ad9ab586fe77526fc83bbc6000f2da3","datavalue":{"value":"1420291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970643$8F0D725F-76A4-4C68-BDBD-2C9C778E5B05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$99549241-5883-4F37-AC30-1DA95053B223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$FA122039-E13B-4D3C-BE8E-764BB1973600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdcf0fb774706b01388c9dd89ebe4e9155e9722c","datavalue":{"value":"theorem-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$813A1F78-6335-41EE-AD70-29EBEE40F351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$C45B1E27-AEB3-463D-AD1C-A1A03636485A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637cab94c87a5b556b1043f03f56b4600824940f","datavalue":{"value":"implicational fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$C2C80FB9-9DE0-44C3-B609-E7DD9F391B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$1E4F0F6B-9D0D-4913-A058-C0D55B12BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78cc863b0d0762c6dc3bff4b839cedc7aa3b494a","datavalue":{"value":"BCI-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$19E81816-E142-4D51-8E0C-864C75050DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e6230853178ae07c963996ccc88c435cbb674e","datavalue":{"value":"BCK-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$3B2F5317-7DDF-423B-9A80-33D47A1DF92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970643$1B825D55-E51A-4214-B728-589846E02032","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":"Q1970643$AC834562-F10D-4037-B65D-919471FE9AEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2f863f8f9a32efdde95af0949a746e0605e2c64","datavalue":{"value":"https://doi.org/10.1023/a:1005210613711","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970643$30D0A787-82EF-4FB5-BC04-5CDDDECF6495","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60305b3bd244429d601c7f7612b8fd01178b8246","datavalue":{"value":"W2338277731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970643$EC3B163E-5ACF-472F-A327-75CDD2F630E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cde84b0dadb34b2891205b22e897ee0c2ae56b1","datavalue":{"value":{"entity-type":"item","numeric-id":2758081,"id":"Q2758081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c0b776ac832519c4bfe02fc5407daac30db84f","datavalue":{"value":{"amount":"+0.8939158916473389","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":"Q1970643$46960901-27F1-40DC-AD17-627B49D54E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcf38ee87304823dc3e9df88b70135155fc0752","datavalue":{"value":{"entity-type":"item","numeric-id":4703130,"id":"Q4703130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c5e8851983b07cc5d24aabbfc407eba5f0b96b","datavalue":{"value":{"amount":"+0.8358056545257568","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":"Q1970643$95BB4720-E795-4D47-99E3-BB216D15ED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c5e8851983b07cc5d24aabbfc407eba5f0b96b","datavalue":{"value":{"amount":"+0.8358056545257568","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":"Q1970643$B2A011CC-AC23-401D-B84B-E52F65CF925A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26466f7793d6875a17a98e9b29fbec5b0778d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4796457,"id":"Q4796457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8a3334222c8ae9958c67babad729b5c505fd8a","datavalue":{"value":{"amount":"+0.8039242029190063","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":"Q1970643$283A2B97-EDF4-4463-8BC5-D9A08E84C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107c2345fb3e94611929c91b499d275153337e74","datavalue":{"value":{"amount":"+0.7974177002906799","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":"Q1970643$AE5103FD-6F1F-41F5-A5C1-27D6ADB8E96C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1970643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1970643"}}}}}