{"entities":{"Q813082":{"pageid":814930,"ns":120,"title":"Item:Q813082","lastrevid":64530459,"modified":"2026-04-11T20:30:40Z","type":"item","id":"Q813082","labels":{"en":{"language":"en","value":"Double-negation elimination in some propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5002529"}},"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":"Q813082$2E21C296-3E67-42FE-B6FA-9AC0289229DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21a747ca85e677cb50ef11f0c49b1d1b46876bdc","datavalue":{"value":{"text":"Double-negation elimination in some propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813082$3F769F37-B1CC-4B15-A670-D640CA93E164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8e0370a811740d186dbb0aad4a7c472d72f902","datavalue":{"value":"1086.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$E9A8FA40-5DF8-4D44-BCC5-14A0641C875A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$E4AFF95A-E03F-45FA-9816-DC30764A1FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$54249CEE-D274-41A1-987C-7A368AC5C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$E55AC10B-23EA-45D4-9886-0B2761EEFE14","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":"Q813082$9DF23E61-A45E-4C8F-94D8-FD36A6299644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e85d50ed0268da19dacce71e99c4b69a3ef5199","datavalue":{"value":{"time":"+2006-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q813082$6B4E31DF-3088-4235-AA5C-0C12E9F466D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cddb28544d6125c91cb420d89d722c6ac72b764","datavalue":{"value":"https://arxiv.org/abs/cs/0301026","type":"string"},"datatype":"url"},"type":"statement","id":"Q813082$3A1289ED-CA40-4956-BE15-AF91F09F4E4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$276FCA69-E13B-429C-AE62-4286600B28E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$C4296820-63B5-4046-8814-D86FBA33AE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$55947636-3DA7-4205-B6BF-FBD27BF3AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$CEFFD76A-71B1-41E7-B808-BF382FE4D159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$23090AAC-2CB8-40CF-80DA-8A123DE45DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7025a6841d6248fc96dadf156f707ff9fb6f05b9","datavalue":{"value":"5002529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$E2906549-160A-48D6-A8D4-8497F19DCA63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2169e62194bfa1ac7cae108f32c2201302d53b1","datavalue":{"value":"existence of proofs free of double negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$75490B8E-9193-4ECB-93C0-01DF09D7A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b35d3a700fc43cd03a075188519d524d64e7415","datavalue":{"value":"existence of axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$AB0F0DB1-7635-41C0-A73C-96A62AE02689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67092c47867106d09c4cf34434c78997561075ae","datavalue":{"value":"classical propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$4883C533-5193-4139-8651-CAA2C7490E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c8f8b61537a956feaa8acb9cd49989016e1354","datavalue":{"value":"infinite-valued sentential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$535E54FC-684E-4B59-9B7B-0A43A2231EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$3E4DC2E4-4F83-4AA7-8CA1-0C44CC3645C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$A493A327-8F71-4985-9E53-E58A92D4E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q813082$6B31C26F-E2E9-412E-9DA3-742F3A30C473","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$FE8098E1-3729-482D-A0D8-244BD9C30F26","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":"Q813082$4D5CDE31-B23C-4E29-BE0F-231597599F72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7e258c67356aa562f35264302c4391584ed467c","datavalue":{"value":"W2011672095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$D097124D-DC3E-404F-B52B-C4ECE550CF48","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1773808a6432b70d43afb535bc2efd6e5a290416","datavalue":{"value":"Q114262834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$689E8CE9-DACB-4BCA-818C-81A440C735C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$B538B892-59C2-4922-B262-5B7012F9F8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3b575651d08d25911fd759648a77b862d522c9","datavalue":{"value":{"entity-type":"item","numeric-id":5951893,"id":"Q5951893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$5722D5C1-A0F9-4D6E-8D3F-B2F8D9AFE629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3b02d54ba595ff22780f05fff04326cc851a3","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$515D50C1-C765-4960-9ACD-FB86387A5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$90D32D68-3187-4496-A2F8-4DE8329D036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$F13DD707-B369-4C14-8168-FBBF9993ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$2758EE28-8189-403D-A183-FB76E10AF501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c328fb0d9a0f3076a1f2deb69e5f4d19e0d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":1181717,"id":"Q1181717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$22FF0E8A-CE9E-49FB-899E-5F0A38419E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1785c5247614edefd452dd242bbf025baf6dd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2563461,"id":"Q2563461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$DCDF5154-1226-4405-8E4B-EC6BA106C0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$01904920-6781-478B-A184-DDBB681006C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$FA673F35-593C-4B83-A433-37B1CE042AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$FC73F0D7-2481-4262-870F-854C2C1D0CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcd1b01f4f37b251cf46968ed5d8be28e5faf8d","datavalue":{"value":{"entity-type":"item","numeric-id":5951525,"id":"Q5951525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$0AE253EE-6C41-4608-B552-9CDB646E7AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087f1a7eb9309c1646d3032c16c6ac9f3d28d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1923820,"id":"Q1923820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$2EB587C9-052F-4771-9CE2-0EE5C1547727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154809d46de0469646d99042c9ccf1d8b62fa94","datavalue":{"value":{"entity-type":"item","numeric-id":1343396,"id":"Q1343396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$11506FC5-70B9-401E-A3C8-32A049A64CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ba831ea8927e8bd9bce7c832b90c40b90d6a0","datavalue":{"value":{"entity-type":"item","numeric-id":5951529,"id":"Q5951529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$7ACF0DF2-EFDC-4BA5-A9D6-9252B7843FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cef60f49122cbdc8855980bc9949c7fcffb3541","datavalue":{"value":{"entity-type":"item","numeric-id":5444850,"id":"Q5444850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$0D5165CC-D800-4615-B65C-F7EFB4262D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc0087ce4089384c4785d0cbf79970d7d51a928","datavalue":{"value":{"entity-type":"item","numeric-id":4443194,"id":"Q4443194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813082$D6311283-39C8-4566-B819-DD3244E6D2A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9a3c61a36aa76a27ba26f764a97b96cece9256f","datavalue":{"value":"10.1007/S11225-005-8469-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813082$85A27A1F-5E41-4681-A520-4F0A432B0ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fceee6da5ed9a280b4aa5a634d2d23e1715ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":1869612,"id":"Q1869612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76f0a45ec825169564b521007139e2d460ca1a8","datavalue":{"value":{"amount":"+0.7452234625816345","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":"Q813082$5E166893-8CEC-47AF-9399-2121857F29C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2760208dd351718756671ead5d4fdd621cb12c","datavalue":{"value":{"entity-type":"item","numeric-id":1324497,"id":"Q1324497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76f0a45ec825169564b521007139e2d460ca1a8","datavalue":{"value":{"amount":"+0.7452234625816345","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":"Q813082$68989D9A-B527-4E7E-9537-5AB986628B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093dc2e6655d9dad58c1804e795e875aa09220d7","datavalue":{"value":{"entity-type":"item","numeric-id":1349247,"id":"Q1349247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b242519c3c2b1863fc35b66c573685cfda7f1a8","datavalue":{"value":{"amount":"+0.7398415207862854","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":"Q813082$825E48A1-0DF9-4652-BA25-5E66A5309008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f56330075b5be6ae31331537fa9c399484406b9","datavalue":{"value":{"entity-type":"item","numeric-id":5741336,"id":"Q5741336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c87fdcbe0803af1e06d25848aa54360b04a9bf","datavalue":{"value":{"amount":"+0.7258642911911011","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":"Q813082$B6FBD8D1-3D20-4290-B461-DD50A36CB18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fcc2e6ca200ad65e710a792dc7bbaab8a03fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4521288,"id":"Q4521288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abe6cd32f76ab98ff1a04655d7c6c0b6cf0bc96","datavalue":{"value":{"amount":"+0.723131000995636","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":"Q813082$91681FF0-DB75-4163-ADAD-967E022DC8DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Double-negation elimination in some propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Double-negation_elimination_in_some_propositional_logics"}}}}}