{"entities":{"Q2804042":{"pageid":2814780,"ns":120,"title":"Item:Q2804042","lastrevid":79496027,"modified":"2026-05-06T14:02:43Z","type":"item","id":"Q2804042","labels":{"en":{"language":"en","value":"On a generalization of Glivenko's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574608"}},"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":"Q2804042$0B9AD409-80BD-4178-BA5E-135CA87674B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8229d2f79815c292a3a13b6501c8cb714c31d42d","datavalue":{"value":"1338.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804042$1A055380-C8A5-453C-A67E-1BB850915091","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49961f8f05963b4b9fb4ada0a07a7b103787b5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2751813,"id":"Q2751813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804042$02831ACB-C71D-4707-94BB-03FD9D8274E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bab1e04a2dd935c04e3f5ad0d3bd237dec213f4","datavalue":{"value":{"time":"+2016-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804042$7859A1D4-5E96-4B11-96F6-FDDD60D2C9C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804042$6C3B51C5-86D7-438E-88A6-357A299EBA16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3059930259aaa151feb81e90cda0fa86055a9cd","datavalue":{"value":"6574608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804042$A95AD6F6-597E-461F-9184-49213F05AA6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$C1254A9F-C459-44A3-8F85-BC3D2A95E394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$79B3E6AA-B042-48A9-BAE8-D84E0C22A157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$8AF04A7C-498E-4A7A-95D7-27F42599C0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9317d9b4142a344fc108fc37d9af5a72cee0a0f3","datavalue":{"value":"language L","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$B33D352D-CB15-439B-8F39-8C537EC819F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d520bb6306edc187b4c919aa2266dae696a550f3","datavalue":{"value":"L-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$D776D2F7-01B7-42CE-AB6E-DC5651FADC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e557fbbe3a5bb194e6d8f76b31de14b81196fef","datavalue":{"value":"calculus \\(\\mathrm{HInt}_{\\langle\\omega,\\omega\\rangle}\\), L-logic \\(\\mathrm{Int}_{\\langle\\omega,\\omega\\rangle}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$78E7D0BE-A8BD-463E-B349-C5C0289FC631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c492faf06c1a08deb5a74158bb2dc8e04a10b3d0","datavalue":{"value":"calculus \\(\\mathrm{GInt}_{\\langle\\omega,\\omega\\rangle}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$F781949C-E7D2-403A-BD46-FAC208474378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e40b3a759e9787bb9b93e24ca29f9775407dfa","datavalue":{"value":"Glivenko's type logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804042$4B35F390-DEE8-4911-B9F4-7D290EE879F1","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":"Q2804042$D82740DC-64D4-471F-80FA-4FA0E6514F0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a34afbfc23e404db77f8178cc19ecb49393a0fe","datavalue":{"value":{"text":"On a generalization of Glivenko's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804042$550DA2B7-ABD3-44DB-AF59-5408AA7E65B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804042$E6730DFA-CE2E-41AB-A49C-10C99779B2AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21222c20327fbb0efd11927d10fed7d73956be7","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb293da201ebf7f2dc76166bffd333fad0f7075","datavalue":{"value":{"amount":"+0.86859130859375","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":"Q2804042$ABB54988-8BAC-43CA-9565-FC253B73E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b873fa27c760854dfcb3a7663a4593d8eb486","datavalue":{"value":{"entity-type":"item","numeric-id":931403,"id":"Q931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1635c0807a2e705ad4ddd055f58ae5c23b0922b6","datavalue":{"value":{"amount":"+0.8521199226379395","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":"Q2804042$F5064CF1-511D-4EDC-8B18-33AA81988623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72a90cf0b5a28db7b7809cb54b64f2a96617bb0","datavalue":{"value":{"entity-type":"item","numeric-id":377463,"id":"Q377463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de08c669fd95260f0b644f9f434da02fb48ddc5c","datavalue":{"value":{"amount":"+0.8463139533996582","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":"Q2804042$9BD64123-74E3-4F09-BA5C-F4FCF4B81D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8658f3545f5a679b218a89805347fc64a1cd2a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1938390,"id":"Q1938390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f111bf04b261762e6bbb4f325bd745cff19c05c","datavalue":{"value":{"amount":"+0.8427470922470093","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":"Q2804042$CE37091A-CD1B-49C6-8501-D1CEDCC235FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a7722cc1dce88272a064f6efedc2bc0c2d415f","datavalue":{"value":{"entity-type":"item","numeric-id":1035660,"id":"Q1035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0787b09c556cc58542fb3ebf0e5c4a3e968a0937","datavalue":{"value":{"amount":"+0.8421554565429688","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":"Q2804042$DCB5E75E-450F-4610-A6B7-20E9DDE8A19C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a generalization of Glivenko's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_generalization_of_Glivenko%27s_theorem"}}}}}