{"entities":{"Q1595922":{"pageid":1606662,"ns":120,"title":"Item:Q1595922","lastrevid":47573980,"modified":"2026-01-02T03:02:47Z","type":"item","id":"Q1595922","labels":{"en":{"language":"en","value":"Intuitionistic propositional logic without `contraction' but with `reductio'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565450"}},"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":"Q1595922$E9B23F5F-3CA5-4600-9167-D1458BAE3BE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3c578be761caeb8d1914c30ef64858ea06d1735","datavalue":{"value":{"text":"Intuitionistic propositional logic without `contraction' but with `reductio'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595922$28CAC5E2-51DA-438F-B8E9-3C2EB02B8153","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e92448d996e6b374e37cadd1b43757c48d2209b8","datavalue":{"value":"0963.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595922$71A8EF7D-716B-4D03-9E7A-B7C97F20D747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47ac22b1c620efaab07c47dee0c92ab0b384fab5","datavalue":{"value":"10.1023/A:1005216827905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595922$3B1B5838-3A54-4307-82DC-E4B0231067BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595922$4097DDFB-0FB5-4752-AEF8-0821AA7660C8","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":"Q1595922$B5264934-9209-495A-9497-597EC61A6EF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-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":"Q1595922$A8D703C1-2568-4AFD-A8DC-B6540845A01F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595922$4E04A748-AC2A-49C5-9BD0-15E7CEA4D3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595922$B3395CFC-C018-4C2F-934C-97FCD39BD5C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9922c945bf258c7fd1bd0dbf9fbdaf7b879d7d73","datavalue":{"value":"1565450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595922$0705B9AF-C230-446A-9750-569B07CABA9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72398f9a28f182ef9fd00964c3b0378b770645a","datavalue":{"value":"contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595922$9CEE8E00-9B65-4038-9AE0-BD3F89719F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595922$27AD35D3-703F-4736-A34A-CD851765F229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595922$7FABDAD6-73DE-4CB1-B944-0C2B5763BE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595922$61F8460C-278B-4525-A2D1-5A533DB7156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54fb9daad57b5921dbd802ae5c10ca7e1b90061","datavalue":{"value":"reductio","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595922$1C0BAE26-3DC6-40DF-BC5F-532408053DE2","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":"Q1595922$70C8DEA9-40ED-4B96-96D6-7EAFD0E3ADD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc025492c3f688012f1576558ed7c64211309902","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94c81f6adf6e53a1dd1b4d24e98309c03b16ba2","datavalue":{"value":{"amount":"+0.784784734249115","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":"Q1595922$1CD06B7C-6ACE-43E9-9DAC-EAFB186949E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85d878b0378a885d287ac4e5cf92c5dbb6318a0","datavalue":{"value":{"entity-type":"item","numeric-id":2782585,"id":"Q2782585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2cdf4bb68dcdbc10b18ded809a0082bd352fce","datavalue":{"value":{"amount":"+0.7847840189933777","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":"Q1595922$619AEE18-CD5C-4823-B03B-D27D74C3E858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cede4c6e2293f6ea3284df398ddaf644ec457927","datavalue":{"value":{"amount":"+0.7837927937507629","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":"Q1595922$203A714F-6415-4A03-AA46-D17AAF4C770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c339a94f04b8ccc2b33b20da9fbee5adef9a3533","datavalue":{"value":{"entity-type":"item","numeric-id":4826043,"id":"Q4826043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cede4c6e2293f6ea3284df398ddaf644ec457927","datavalue":{"value":{"amount":"+0.7837927937507629","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":"Q1595922$FA43E54D-C015-48BE-9C7F-EFB8E4DAE555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f55252876260fa9200af39ed91805817a699ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218025,"id":"Q4218025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7be218b36a2707696b02c9c3c08906c799877f7","datavalue":{"value":{"amount":"+0.7796506285667419","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":"Q1595922$74AB3A5F-B141-4556-9684-618E50A544A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1595922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1595922"}}}}}