{"entities":{"Q3400792":{"pageid":3411495,"ns":120,"title":"Item:Q3400792","lastrevid":80848580,"modified":"2026-05-06T17:08:18Z","type":"item","id":"Q3400792","labels":{"en":{"language":"en","value":"Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666988"}},"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":"Q3400792$7FF760E3-739E-4AF4-BAF2-BED9775E8F48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f52f9932d7291520d5f801c977da7327214d161","datavalue":{"value":{"text":"Negation introduced with the unary connective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400792$39EE1F4E-B528-459B-9F30-FFBDAE36EA6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c870a7cfc75cb9e942fc4eeaebfac025081bdd8e","datavalue":{"value":"1227.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400792$D94A45AF-2BEB-41D7-AC81-563F6F9B47A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a58eb4c4b59a1ad954c8e82e60e204e3e9001a6","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$44241D45-7FA0-46B0-8110-3B11F307C33C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$1B8F1791-F2C3-4F65-A5A0-F6133034CAE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-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":"Q3400792$183FD39A-490E-4CA9-BBD9-1F11A7C0193D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400792$D59D4FA9-B002-4EBB-BB80-85089F7FB7A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee0ef412c4377b7d86e8d20a4f27b4ecc3557a87","datavalue":{"value":"5666988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400792$75D35199-0F36-4E71-9673-536BD9D9F250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d4179fe341dc3a987b4763cbaa5857c0d887480","datavalue":{"value":"implicative paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400792$A542E141-C69D-4735-A5AC-89C97EB4C46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400792$00044873-C5D5-4B02-8DEB-CCBA4BFBA2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400792$DD5AB491-7C07-4A48-8357-78403BA0B47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400792$43F1341A-2C9D-4650-AD01-E11D5159FFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a51125da10d03ca9fa271ce1aece0d714a84ac","datavalue":{"value":"relational ternary semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400792$7D1B97E6-9878-4DD6-A76A-F66D119D264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb69f783e85fbc42e5d9316045b6ef66d0845934","datavalue":{"value":"definitional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400792$AC4BCFC5-AE43-4E14-A703-68E8CC956917","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"10f8a293be1162767f46766ba375aedc7213fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":23808,"id":"Q23808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$E02244EF-B2C9-48CD-BB88-16D600529F5A","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":"Q3400792$930315CB-13B4-4083-95B1-A21B1999D25D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ba2ef52c4074f205ddf8c1d7b592acaff1be98e","datavalue":{"value":"https://doi.org/10.3166/jancl.19.371-388","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400792$9CE8F893-7AA0-4621-B91F-64D4F78D03BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15baf779f4dd67cc42e4179deb580cf23da326b4","datavalue":{"value":"W1982333555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400792$A4380393-D127-4D90-9524-A3D907384D27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7277a386069e238b77d53fb9a0eabca229eb6a43","datavalue":{"value":{"entity-type":"item","numeric-id":5704809,"id":"Q5704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$7F5AD29C-D012-4057-8F20-8F41025DB095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d8c360c2571694ee10b1ad05d3d75091c28a82","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$706C8DFD-7CAF-4B2E-83BD-2801B3CAE053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760ba0f1ff156e608de3959341a36d07d9f1ab7","datavalue":{"value":{"entity-type":"item","numeric-id":1006487,"id":"Q1006487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$DC20BEAB-50C4-4588-AF20-1F7C9261450A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400792$A37DC325-592C-4C88-95B7-0CF7B7B59AA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"044232deb66dd18ebaf2219c9e34bdbd9a388b47","datavalue":{"value":"10.3166/JANCL.19.371-388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400792$D141A57C-99C5-40BE-BECB-C0F329EA1444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642af5239d22e3add2058fe2b674d5f5f52809bd","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557e4ca6d1813c3764d8b14490ee84626d2f7bcf","datavalue":{"value":{"amount":"+0.891633152961731","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":"Q3400792$C3ED5BD9-34C0-40FF-B6E8-3917D27B507D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c2065d498bd623ce35f90d4cd421254b2bc4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3086529,"id":"Q3086529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3ed3e54b3e2596919421ab2234defc1ef0a484","datavalue":{"value":{"amount":"+0.8662629723548889","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":"Q3400792$2ACE672C-E616-46C4-B465-83B18A1083F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3248e3fd3812a4c413c4768c038557a6a83dc831","datavalue":{"value":{"entity-type":"item","numeric-id":5274887,"id":"Q5274887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a98c659e8d9b3332e1f55e385479c688c44970c","datavalue":{"value":{"amount":"+0.8389400839805603","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":"Q3400792$9268F2D1-ABFA-4AD0-AD23-50C36D383FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad573d50072defa1075f2e4a85e5062ddeeaecc","datavalue":{"value":{"entity-type":"item","numeric-id":5437775,"id":"Q5437775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42dc97d274a6e33a85ec1875337d644a24712ba","datavalue":{"value":{"amount":"+0.8296732902526855","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":"Q3400792$54ED3240-426B-4E4F-B2AE-EF511DF2E100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4c2286b2a0bdbd57bf2f1917cba6ee46deff6c","datavalue":{"value":{"entity-type":"item","numeric-id":3520603,"id":"Q3520603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd8eeda62d3e05e640f88f372019c050182755b","datavalue":{"value":{"amount":"+0.8212956786155701","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":"Q3400792$146E5919-0EF2-48BC-A949-22EBF53FE2B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relevance_logics_and_intuitionistic_negation._II._Negation_introduced_with_the_unary_connective"}}}}}