{"entities":{"Q931403":{"pageid":933251,"ns":120,"title":"Item:Q931403","lastrevid":65435781,"modified":"2026-04-12T02:34:37Z","type":"item","id":"Q931403","labels":{"en":{"language":"en","value":"An approach to Glivenko's theorem in algebraizable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292849"}},"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":"Q931403$7196EA7F-FD2B-4DC6-9466-39A1F3094A87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f94b2dd6dfa5a5a38f2d2020e5412721e95d1ed9","datavalue":{"value":{"text":"An approach to Glivenko's theorem in algebraizable logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931403$26C04033-AF17-4006-AF30-EC0DFB7578C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb06ee8a518e09f73ac66c4dae9bf2435816c058","datavalue":{"value":"1147.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$5CE472B6-F64D-4A6C-BB3F-03345D594DE9","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":"Q931403$422AAE41-061B-419A-9FAE-7E1CFAE6E6EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931403$A83E9C55-351B-41DC-8127-70F2655F9C63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$3F697979-1732-4BA9-9A3A-1C561AD331A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$B8356713-779D-4241-A9C2-74EC8F3C9927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$11FA1A4C-7BF2-45B2-8DF4-E0B2E7A89292","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4514dcefeb74d1888420fcab223746a87becbe46","datavalue":{"value":"5292849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$CA720710-5CB2-4AE1-B694-7B68204C46C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70f748e5490f6c260353296a9f1f971d08fcb4c","datavalue":{"value":"Glivenko's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q931403$218623BA-D368-4E99-9455-2DDEF161B114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q931403$BC434C87-2F86-4009-B327-958373279B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q931403$B291C148-2B0B-4E00-B315-D7DD429C84FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a744869b38a88a01787fc52aae26dd37bca63919","datavalue":{"value":"equivalential deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q931403$3EB08340-3840-4F59-BAB6-0581A1BDC109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q931403$F18B56E9-91E7-46E3-9884-DF4DFCED21DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de09eb2c85af7e57fe93778e373d663b318895aa","datavalue":{"value":"compatible expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q931403$9A7E2490-9678-4567-B54A-ED5010BBAED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$ABFBECE6-B6A3-4D35-9D42-2AD43F881F74","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":"Q931403$4F44628B-234A-4B61-9CA9-83592BAC8A77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c149d3b47037a3f6c60cbfa8fc89ffc2de64c01","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9109-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q931403$956493CD-7806-4F14-B6A6-38EC1FF50500","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc047d9bc549188214138030cc8224c92fa20675","datavalue":{"value":"W2078219202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$5285EB7A-E1BF-4187-8C9A-92CCC34322A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"998d602c9ceb7d3d038aedd42d175aec896ac6b9","datavalue":{"value":{"entity-type":"item","numeric-id":5939999,"id":"Q5939999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$2AB627D2-96B5-4AC2-9470-864008C00434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$9908FEA6-3554-48F7-B383-C3429FD9ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$795DD618-8741-40A2-B1B1-0DDE9B43717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f3830183be386e8ec478d8357e11deae4a551c","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$A8C35DE5-E509-49CC-BE53-B7B0C3823A31","rank":"normal"},{"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":"Q931403$F700BCB8-1324-496F-8DE8-882ADCDA2650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05faae5bad92566b13ead751712e3861f03896f","datavalue":{"value":{"entity-type":"item","numeric-id":1771935,"id":"Q1771935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$B9AB8F62-2302-4FF9-A646-F5B59317D7EB","rank":"normal"},{"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":"Q931403$0BB9D28D-AE80-4AB8-912E-25F48F08DE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4359de63188e9ac22aa2e99bb5c38ba9c03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$E3C26F80-E14F-47FD-B96C-3CB7BC6F75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$53D86B6F-5D38-4B70-B5DA-79D4E5F95F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$1EE31681-1353-4A2B-A276-B07AA9D8C226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$63074B31-D9AA-4323-BF80-0F2A2931052D","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":"Q931403$4C5E4A93-DFB7-40F6-8BEA-5DAFCC893E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$CA73047A-56D8-42DC-9CF9-96AA0C9223E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$8417EE40-924E-406D-9938-128297BAFE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931403$D8FD019E-B75D-4C02-8780-D00E76D226DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b68785209fceba4488e5eb0b07901730432f50a5","datavalue":{"value":"10.1007/S11225-008-9109-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931403$071ACAF1-E46D-41E5-9E33-B1AE32D3A161","rank":"normal"}],"P1643":[{"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":"6da50276afa1e6957eab638b02155b6776faf85f","datavalue":{"value":{"amount":"+0.8699860572814941","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":"Q931403$EB9CC930-D4A2-47D3-A3A7-A34065D783DE","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":"43e646611974e7b0af8e6e37d9da3991df51d5c5","datavalue":{"value":{"amount":"+0.8580418229103088","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":"Q931403$EC280EA4-B817-452A-BD91-458287D596CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085f544a6332525abf44494e49a42d29de60addd","datavalue":{"value":{"entity-type":"item","numeric-id":2804042,"id":"Q2804042"},"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":"Q931403$4B9A3D99-14C3-48A6-A650-A99FA02D9E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d5773f86b76055eee05d1a3ea9dcf1e5269a377","datavalue":{"value":{"entity-type":"item","numeric-id":4817593,"id":"Q4817593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93766b97475db38c781b755ae794cc2d55932355","datavalue":{"value":{"amount":"+0.8491737246513367","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":"Q931403$72837DE8-60E3-478E-A562-7396910D80A9","rank":"normal"},{"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":"721365b201b3a7247d922d4337c13648833298b7","datavalue":{"value":{"amount":"+0.8303576111793518","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":"Q931403$23AEF24D-9FC6-4AED-B873-8A6066CE77E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to Glivenko's theorem in algebraizable logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_Glivenko%27s_theorem_in_algebraizable_logics"}}}}}