{"entities":{"Q4459591":{"pageid":6489190,"ns":120,"title":"Item:Q4459591","lastrevid":41825646,"modified":"2025-05-08T19:06:04Z","type":"item","id":"Q4459591","labels":{"en":{"language":"en","value":"Glivenko like theorems in natural expansions of BCK-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062670"}},"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":"Q4459591$CF10BE52-E97D-492F-91A0-F3C57AAACC77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1b173ffb39d554b912b45fd8a5e6b49af08dad9","datavalue":{"value":{"text":"Glivenko like theorems in natural expansions of BCK-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4459591$995C1F09-7213-48C7-8849-EB5F4E0CBE42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a904bb5a3f70665b17dfd169528f5aa8db6ffa6","datavalue":{"value":"1045.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$47759BE4-03E0-423E-9892-DD752FEB030C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459591$108B2372-4444-4A1D-8D87-51684A00A4E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4459591$B7849BBF-3E65-4726-8E4E-F0BF90736F4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$3BB18D91-2ED2-451D-B5A1-489C43764726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$A1BEFC08-D75E-46E9-AA8D-02D4FDDB437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$458F06FA-F520-4000-A0BB-78BFA1B45609","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df588688b588601233db0d88b25ce6d4a34b8fdd","datavalue":{"value":"2062670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$B8BB7528-3374-4D0F-B8AE-BA55534E4F52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459591$95CEA83A-CCF8-4D7C-921D-0FDCC257DB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a205a71654cae86b92f16718221732b566e5ee88","datavalue":{"value":"extension of BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459591$D077C46F-DB4B-4978-9154-F2D961DC7AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9810e6d16ec03f547f1bfde951869d48954d1e0a","datavalue":{"value":"intuitionistic negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459591$EFDC1007-E7B2-4760-89D8-4C6EAE5287A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459591$3D2BB31B-2A79-4DC2-9EF8-2577F39D1172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac7aa73bd5da5580b3c0ad5e49d888e4031af7d1","datavalue":{"value":"BCK algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459591$4F591AE5-B181-4755-9DA1-7EE37688F602","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459591$D0514CCB-386D-4ED0-AA53-86F7AEF14A25","rank":"normal"},{"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":"Q4459591$123FCE09-9351-4C60-B48A-99E65A589EA6","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":"Q4459591$DD0B9980-2F6A-4883-855C-44BF915C225C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d8f40b14d9214bcf2df41ba7a68b6e369aaa202","datavalue":{"value":"https://doi.org/10.1002/malq.200310082","type":"string"},"datatype":"url"},"type":"statement","id":"Q4459591$7C22CDFB-075B-4B17-A4F0-121D0B0B7198","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a919e965047006f21c8c3086bb03a97ba1f7130d","datavalue":{"value":"W2149406562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$27802719-7C5F-42F7-991E-6C0DA976C5EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99342d82899f364cfd95b59f79cc3fded2601f35","datavalue":{"value":"10.1002/MALQ.200310082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459591$1BA8EFC0-7B3A-46DC-AC57-30260D76196D","rank":"normal"}],"P1643":[{"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":"54f1355362de971d71edc51aed54305d25b7aa3c","datavalue":{"value":{"amount":"+0.8856999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$937EF36B-1343-4328-B54F-997465C1FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e599ee233157ee78362f00dd208a178e39bd3a04","datavalue":{"value":{"entity-type":"item","numeric-id":5939999,"id":"Q5939999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512e2b4a5e4d18abc1281195b25166163c35df49","datavalue":{"value":{"amount":"+0.8850889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$ADEB2060-8030-492E-BC50-1DC9331AA321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618cd251419a4ab76994643a3e4a2ebd8bea1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4876809,"id":"Q4876809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260445a1abce8d8a55406aaa8ef913119d55c529","datavalue":{"value":{"amount":"+0.8816309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$974D352C-8CC0-4628-B5F8-9823D2878964","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":"6ebbf12f5c5456b3999d84ca3f428482d3d2a7fb","datavalue":{"value":{"amount":"+0.8770875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$E003073F-866A-4916-A4B7-3BC98A1FEBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a49013210b1b77d7f956d5fe7605f09d02eee97","datavalue":{"value":{"entity-type":"item","numeric-id":3202992,"id":"Q3202992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4d59170bbb2d2e2078be71926a7a6359f6040b","datavalue":{"value":{"amount":"+0.87643623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$D753C82A-E63C-42F0-AF01-BDA2DE79DE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c85509e83dbef71387fada9aa30eaccb06cac11","datavalue":{"value":{"entity-type":"item","numeric-id":3495340,"id":"Q3495340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dac56dd3ba6c6371df9317ad64edff8797532d4","datavalue":{"value":{"amount":"+0.8725437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$C51C09D7-A182-4EB6-AF8F-D5B515E9B243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae104d6cb36ae4106b54a7dce3bfb16750dc20d","datavalue":{"value":{"entity-type":"item","numeric-id":3222844,"id":"Q3222844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a89373333458e98e3fec434776da3dfc4313046","datavalue":{"value":{"amount":"+0.8682535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$668CE051-AD5E-4FEC-96B4-EA6B4CE51CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e19ab48e903938e8ba22779549b1357de1640cd","datavalue":{"value":{"entity-type":"item","numeric-id":3682485,"id":"Q3682485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794f8a493dac9c36c6131a93f509eb94f5f1990f","datavalue":{"value":{"amount":"+0.8665527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$1EB5F337-5001-434E-AAC1-65A8F38E09BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7715d37aa83c72d0cc85449b40f0f2827adb54","datavalue":{"value":{"entity-type":"item","numeric-id":3352995,"id":"Q3352995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77aa3012db2649e7203fedb9fde291f3db809628","datavalue":{"value":{"amount":"+0.8632937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$7B48292F-F3E0-4C1A-8B07-D3B8F5C8ECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c079dde10394153448da5cd7c08801039330ff","datavalue":{"value":{"entity-type":"item","numeric-id":3108644,"id":"Q3108644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d766cf27a50f529805ad47e57e5a23f26d4840e6","datavalue":{"value":{"amount":"+0.86170053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4459591$E37B0D1C-3F89-484F-A738-FF906CFBC2B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4459591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4459591"}}}}}