{"entities":{"Q1035660":{"pageid":1037508,"ns":120,"title":"Item:Q1035660","lastrevid":66597273,"modified":"2026-04-12T11:11:45Z","type":"item","id":"Q1035660","labels":{"en":{"language":"en","value":"Glivenko theorems revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624913"}},"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":"Q1035660$CBEDD046-A426-4364-B6F0-1831AF869957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5f27d7785351a0fef3974d424f42016b8248baa","datavalue":{"value":{"text":"Glivenko theorems revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035660$8B39D9F3-0883-4B62-B7DD-9BCC830578CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78ea21a279836c84bcc1909eaadf349f4edb4f23","datavalue":{"value":"1181.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035660$6B8DC556-52F8-42A5-BD43-32B3FA237FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$D08EB1E3-4F69-4295-A25D-04DC65633309","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$A0A0C35B-3D3C-4047-A433-B9732DDC4CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035660$C752B0C9-2FCC-4C7D-A839-2C6D6B71CC77","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b45551319a934fd29301f26c082e264a81c06f8","datavalue":{"value":"Glivenko's theorem for a propositional substructural logic \\(L\\) is the statement: Formula \\(A\\) is a tautology iff \\(L\\vdash \\neg\\neg A\\). The author and \\textit{N. Galatos} [J. Symb. Log. 71, No. 4, 1353--1384 (2006; Zbl 1109.03016)] gave exact conditions for Glivenko's theorem in algebraic terms. Here a proof-theoretic treatment is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035660$A2075308-4CFF-44EE-92CF-AEF9184ECEAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035660$1F28A12F-53B5-4348-B945-C4C939B492FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035660$4DE826F4-8F5D-4FAB-AF5E-106629F03144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e2365579c80068611ac70879ac6f674e0dd41b2","datavalue":{"value":"5624913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035660$622E10B5-714F-4B05-ADD7-6050D6B94F2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1415e9a69bb48ccb94d7a4e794186d5a0711f30","datavalue":{"value":"Glivenko theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035660$A2C9DFC8-177B-4294-A506-FFBDA7BDD6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035660$FBA450D7-1738-4932-A7AC-CF9E5123CFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4482628b64fd8cde2b34062f718645e00d9f3ce5","datavalue":{"value":"proof-theoretic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035660$EDA8223D-EFD5-479C-93D8-5C6E04F26C88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$D674B520-EDAE-499B-BADB-83D0D382E957","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":"Q1035660$4323C64C-070F-46EA-B4D1-1A71BB3A2C02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a00a508b2cfab4879e3f43a0867ab684cbb46fa","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.05.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035660$88BE3D6F-D01F-4BF9-9F3F-7EDA041B5289","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c283da29dcf6e62a4e1b34323010bd84b4a0bf3","datavalue":{"value":"W2027211978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035660$DA7D8CDE-5D5F-4EC7-B68D-406F434E762D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557febfe43166275b526f096a284199bfccc929","datavalue":{"value":{"entity-type":"item","numeric-id":1407598,"id":"Q1407598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$623D3512-0AD4-4E22-9A90-EB096D6D4296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$2ACB122C-F88C-4889-8AFE-857708C82FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdcbdd459a37534f48a0a2976d04a84e7022c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$5D93C93A-3DEC-4E20-9693-51593EA57106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035660$36E36EDB-817D-4659-BDCD-6A725B55AC0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"131ec54ada44237e4a39480e39c1e074941ed6b0","datavalue":{"value":"10.1016/J.APAL.2009.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035660$32AFC993-6BFD-4432-B1E2-5536082B7BC9","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":"6033e4a4584cc44c9595cb8c36032e121185d9d2","datavalue":{"value":{"amount":"+0.8731802105903625","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":"Q1035660$6DC76CE1-5F4A-4616-BB3B-1843298FF96E","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":"a802a08a5b39cd71b5e0b7da305c341e33890692","datavalue":{"value":{"amount":"+0.8263640403747559","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":"Q1035660$42381AE0-226E-46D7-8AB9-39141982A6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4d173a1c7db7d66bc81303337f600247727ca","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a39e7834329b1ca6871d45588561e593189438","datavalue":{"value":{"amount":"+0.8251162767410278","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":"Q1035660$27227718-8755-43C8-A40E-B6C30519077D","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":"270b06da90f49a85b1800693d90b4853fef12096","datavalue":{"value":{"amount":"+0.8233411908149719","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":"Q1035660$5EAA8A0C-CA71-4611-ABC7-ECE0EFF11E03","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":"13508aebd6651dadb520a4531d03078dd87e33de","datavalue":{"value":{"amount":"+0.8119920492172241","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":"Q1035660$7F797D12-64D9-41E7-9538-C381147EBE4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Glivenko theorems revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Glivenko_theorems_revisited"}}}}}