{"entities":{"Q1770621":{"pageid":1781363,"ns":120,"title":"Item:Q1770621","lastrevid":74367996,"modified":"2026-04-14T19:48:53Z","type":"item","id":"Q1770621","labels":{"en":{"language":"en","value":"Negative equivalence of extensions of minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153453"}},"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":"Q1770621$1A4FFAEE-5F96-4EEA-94F8-0EDBB4DCE46A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bca0542fa74d279d33fb1782445bd2dec49116b5","datavalue":{"value":{"text":"Negative equivalence of extensions of minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770621$AA9268AC-1017-4392-94E7-C108FE19D5EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7b9647d2776c24dd1d7cd4590bc478410a52d20","datavalue":{"value":"1067.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770621$17617DC6-33CF-42D4-814A-1D8331AA27C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$B5ABC320-3076-4CE0-A379-90823A0A93D1","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":"Q1770621$3542522C-5E03-42FA-907B-DC422494BA52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770621$178D8792-668E-4F52-B265-CB7298923162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770621$51F661B6-9764-44A9-82C8-0AE7B67C096D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc752d50557f17593a5495094bfe4747e49feda2","datavalue":{"value":"2153453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770621$CE47CE0A-D14B-420B-962B-2C9B1F361248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770621$5B439CEC-E06D-429A-8E85-F03181195DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770621$01826926-1E39-40AA-91E8-82EAA62446C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7def87aedd1702787efdcaff1a3b905c760af8e","datavalue":{"value":"negative equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770621$F07E2C36-DFA7-4BCD-B6A7-67B296E4CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d37a7e5ec6598adc009c78615adcca09cae356ed","datavalue":{"value":"Yankov formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770621$1E42CF90-745D-4FC8-BFD6-E70771408FCD","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":"Q1770621$89AE83CE-533A-4935-B45B-1148A66EC6FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ca46c6a5769ca61025e6ff091c5046e8c12c0a","datavalue":{"value":"https://doi.org/10.1007/s11225-004-6043-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770621$769B5F35-01F9-4A69-ACD2-C5B2383FB103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5f48cdcdf3303deb6b055bb2c61c31bb7796cbf","datavalue":{"value":"W2057843935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770621$79947690-FEFD-468C-BAD4-563C77F59F5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$82EB7E10-3DCD-4160-B322-8F0F621A454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$34573FE9-7FA6-43C3-92FC-C943DDD5C797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$AAA1C837-8E8E-4729-878B-E30A01359377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$6842D133-298C-45DB-9F54-9F00A25584F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$BFFB8456-EC77-4E52-99D1-E0E7E3D105A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$093E26C3-6EAA-4B95-856F-39A3E60BC826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7cb09f637070aede8e9289020b0227488b411a","datavalue":{"value":{"entity-type":"item","numeric-id":5532530,"id":"Q5532530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$43E1CAB6-18BD-4123-9F8E-8DA79EAA5819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f004074db69891e47db2b1593c93b435ce31e27","datavalue":{"value":{"entity-type":"item","numeric-id":2770968,"id":"Q2770968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$FD324C90-F05D-4F47-9A9C-2C4B2BECD643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ba7e5b02ac3c4672d6468085926cc0c361b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4803974,"id":"Q4803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$8EA5D23B-7C30-4B7B-965F-D13018FB7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141e066a2b1d620d2f92f16047037254642bda67","datavalue":{"value":{"entity-type":"item","numeric-id":4549876,"id":"Q4549876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$AC71081D-4F76-4E95-B2EE-67BBF0123181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$4D63F136-4AD5-4C80-9202-547668364C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$2A052ADC-FE50-4AAB-A63B-E331D0C07CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872c19fd66dc64ef1fde0c93e0b12f5a12aa7bb0","datavalue":{"value":{"entity-type":"item","numeric-id":1891930,"id":"Q1891930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$2F1023D7-6AF6-4A08-A83B-FD128732DA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2038cbf7c58a8312c7913e6f30f5b5a2a17f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5613174,"id":"Q5613174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$02BCA343-F9FE-47FD-8495-9645C298330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1cb1a6e7f6ede319803b887aafa40f2d87fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4109644,"id":"Q4109644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770621$3D61EFB6-81A0-4C19-8209-5C76E9D7E69A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb1e763ad26366e7ffcc65fbeef1b2ae16490d46","datavalue":{"value":"10.1007/S11225-004-6043-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770621$6FE57ED7-F11B-4853-B9B2-8C9AF2CCB454","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b79a7952bd5d18bc6e19f2edb0e9ef7ec107f8","datavalue":{"value":{"entity-type":"item","numeric-id":2751817,"id":"Q2751817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81842606066bdbc2e5801e7387616ab697aa401f","datavalue":{"value":{"amount":"+0.8831352591514587","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":"Q1770621$9106A63B-A3DF-471B-9BF1-8A9BF54DD599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a34138529dda1867108103abef12e96bc7067c","datavalue":{"value":{"entity-type":"item","numeric-id":891973,"id":"Q891973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d33c68262b1e351a81585d2418135742595fd7","datavalue":{"value":{"amount":"+0.7904855012893677","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":"Q1770621$F86D09C4-62DA-44D4-A98C-F5B52B0B2536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b737db9ec449cf8a131dbbeb7ce342ea181a2917","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3757d00704668ed69fda0503f1eb90fe183dfad7","datavalue":{"value":{"amount":"+0.7577385306358337","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":"Q1770621$8A1C95C9-A804-4CC2-ABC8-1C308C7EE71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2776be7aa4f836a57a6ad3b0694cd0c266f44b","datavalue":{"value":{"entity-type":"item","numeric-id":4807690,"id":"Q4807690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbfe1e5c40554a75d089b76d53cbb4b9f188822","datavalue":{"value":{"amount":"+0.7446156740188599","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":"Q1770621$A4531EB9-20D1-406B-BBD8-2D1F87BA75F7","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":"061f22d00b1de8657ea47de988da34ac92861d3e","datavalue":{"value":{"amount":"+0.7227310538291931","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":"Q1770621$31918A27-8A55-4DB9-BAE0-2AAAC9774766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negative equivalence of extensions of minimal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negative_equivalence_of_extensions_of_minimal_logic"}}}}}