{"entities":{"Q1576374":{"pageid":1587114,"ns":120,"title":"Item:Q1576374","lastrevid":47031270,"modified":"2025-12-26T02:14:50Z","type":"item","id":"Q1576374","labels":{"en":{"language":"en","value":"On a contraction-less intuitionistic propositional logic with conjunction and fusion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491199"}},"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":"Q1576374$4BBD3813-609E-46AC-B73C-6775E704E599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6234098e76d4a17b8208128ea2c9faca72d97ba1","datavalue":{"value":{"text":"On a contraction-less intuitionistic propositional logic with conjunction and fusion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576374$8612275D-F428-46C7-8570-10A64D1EBCC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f87ebc9036560306ecf57ae8fba088a54ebb1894","datavalue":{"value":"0953.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576374$8C61839C-04FC-495A-975B-E57CBAD1C3F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"def452e116cfe42cbb1d116bcbf5bd20a44aaf0e","datavalue":{"value":"10.1023/A:1005238908087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576374$614212A9-BE90-46AE-9344-BDE5FFDF8B1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b2913e529cfee8cafdf4b91c833bec9913ac94","datavalue":{"value":{"entity-type":"item","numeric-id":1576373,"id":"Q1576373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576374$335729CF-8964-455F-9792-51FD2D77CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78eb03c5b6b6b3872c69f87326379191472f34ce","datavalue":{"value":{"entity-type":"item","numeric-id":850802,"id":"Q850802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576374$1DE8D011-11A1-4DB0-B688-8D6B54170F1D","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":"Q1576374$9C5DE971-E79B-419F-A738-5FFBDBC62FA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576374$7C10DA55-46FA-44F2-8CD0-EE51AA284DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576374$7D0263FF-1B4D-4595-8AEE-44A8348B1A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576374$E89C8E74-CFD1-4D8C-8D22-03F153272B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c286db3957968423e998e8dbf1c13e702d7f724d","datavalue":{"value":"1491199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576374$B921F2AD-8AE1-444E-8E54-4C1075CEBB45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1e282e767a4b17e1bd1d2268c1a8f502bc3b88","datavalue":{"value":"algebraizable Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$CADBBA73-0942-48A3-B6FF-F91DCC42AA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$028561E7-97A0-42A5-ACC4-2F72843C71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$6E86E6AC-8661-4C73-8B55-35CB73F2BAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$CC7EE2CE-8599-4469-9BB1-1B2ED7B5D8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c55faab83e4cf85ecc3f52e693b0fe3261c7b8b","datavalue":{"value":"equational system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$5916E220-E763-46D1-825D-B9D03021C630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$5003D1E2-7461-40E5-B1AB-58A0AA0DDCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576374$0C31D7E1-FD8A-4EC5-86D4-994F48B8F0F8","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":"Q1576374$9BA12ED5-AF65-4C75-B5A4-F486A81285B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9abd3be160be1c3928284fc6dab17934a848c5c","datavalue":{"value":"https://doi.org/10.1023/a:1005238908087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576374$D4C517CA-5927-4C25-B5A4-249683E1C440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b76cb78c53bee397cfcc9a4408853b75782c9701","datavalue":{"value":"W1495898183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576374$02906078-B03D-462C-93DA-66EB53F4FB21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9001d88f33cbebb78eafb547d53c5950f76e76a6","datavalue":{"value":{"entity-type":"item","numeric-id":4438232,"id":"Q4438232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82faf5b77b24bdeb05c8dd58e8d35460eb101735","datavalue":{"value":{"amount":"+0.839346706867218","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":"Q1576374$D6BECDC8-5669-4A15-85EA-D16DE629C6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68343b4643f8d7a8cfbc94b8e5bc4c4a731ce469","datavalue":{"value":{"entity-type":"item","numeric-id":3466596,"id":"Q3466596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09c376da1f7ff001852e9525364e8e4ec27512f","datavalue":{"value":{"amount":"+0.8222091794013977","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":"Q1576374$27C6755C-EE50-47C9-9FCF-DBB8BFC2481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30ba1eb53dc941630135b4d8e214a0d23ad243a","datavalue":{"value":{"amount":"+0.8035297393798828","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":"Q1576374$6151006E-5F16-4C29-81A5-A3DC1D877DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d1823f6ab9896798edb158b31b35117786196","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660905150c077ae4caafee8ab478e962f03c3106","datavalue":{"value":{"amount":"+0.7942255139350891","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":"Q1576374$34DA93E8-3E10-41FF-B7C7-5704333FA7AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1576374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1576374"}}}}}