{"entities":{"Q971883":{"pageid":973731,"ns":120,"title":"Item:Q971883","lastrevid":50982935,"modified":"2026-01-16T01:59:38Z","type":"item","id":"Q971883","labels":{"en":{"language":"en","value":"Implicational (semilinear) logics. I: A new hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5708668"}},"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":"Q971883$DDF0BF70-E9E2-485D-B698-EB186340C37C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e07440a38d9e6318de455d532d5900f0f1eb9012","datavalue":{"value":{"text":"Implicational (semilinear) logics. I: A new hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q971883$6C2C3EDF-143D-4FE1-91A7-CCEE4CB523F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"867d43a1ec9a89cbcfa502a27a662927e4d53ff4","datavalue":{"value":"1196.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$4A3CB912-A505-45D7-8C40-72AEEE63788C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$16EB17C5-B508-4CC0-B574-6B20E084793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$9138FC68-B87F-4950-BEEB-FFD612E91A10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$779DB6B3-6259-40BB-A79D-7363EF647EDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca30e354967714e069ba1374b985a5b5e66b940","datavalue":{"value":{"time":"+2010-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q971883$067D8933-8CC2-49E7-9196-FA1C7F039ACD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$2F952E5A-4397-4FEE-B2FD-3CC93E195929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$B787E727-95B5-4098-893B-CCC35B366AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$D75267E4-A03B-47F2-B3B3-DF5965D4435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$4D28FFCE-9EB5-42D2-98F3-09424988392B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d72a153d44d29d381aa510db2fd27324c8e9502","datavalue":{"value":"5708668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$6F3042EE-6D33-46FF-960E-F413F12496BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$C1A2B9D5-CAB5-4B92-B2F4-33BE49173551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18ed4030cb45ae74f95a7203436c87f934e49f5f","datavalue":{"value":"hierarchy of implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$2B11EBFE-BF00-4740-8BD7-3D3BE90E6B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35abf70e26ced97cf63f0f6464e7f2d38e6948c0","datavalue":{"value":"implicative logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$4A3B821E-5C8E-4C42-8598-3B6EB15FC1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdac41da6e60e4ac0c1c658151c5c862147988e8","datavalue":{"value":"Leibniz hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$429EDC48-425A-4D9C-BA46-46982624DCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9c1b47c90f5a15670d24698b96a65b94afe6573","datavalue":{"value":"linearly ordered logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$9F58CA93-C53A-4678-B896-CC98506159E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a821e2519110c0eb60c28368a6e4cd9f0c39d","datavalue":{"value":"mathematical fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$719B00CB-E3E1-4B2E-984D-5687E171EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11207872cc31823b6ef56524d249f2fbcc85fee2","datavalue":{"value":"semilinear logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q971883$68F7EE1B-2411-4EC7-A331-ED677BC3696F","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":"Q971883$CEEE2E4A-71E0-41FE-A034-B36E1B3C988F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e98369c2b266d9d637311cc355e9fa79b792c1cb","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0178-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q971883$9761B49C-BB1B-4997-A036-6D7AC806D57D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5d4f5000f6496b54b63185c7e121ed1a7c7b570","datavalue":{"value":"W2084033816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$D2623ABC-A91B-4295-82C2-550DAED998AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$8728037A-34B0-45FC-8A7F-7B51AB2FE221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d805908acb8b94b66aaa9d9cf61db22d9eaefc","datavalue":{"value":{"entity-type":"item","numeric-id":2492309,"id":"Q2492309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$8F844BC1-E05C-4B96-95D9-B37375AB297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409cdebdbe0ec2e2259255ffd8ef6c248e18143f","datavalue":{"value":{"entity-type":"item","numeric-id":3656765,"id":"Q3656765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$B716790E-0E92-46DD-BCF9-6F3AB8C03006","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":"Q971883$0E6EAFBB-F0D7-4824-8207-3C86AFF168CD","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":"Q971883$6878077D-310B-4CE6-8804-DC354A2CAA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$462732D9-5362-4ADD-9D60-0A616FE35404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$7F4F5E10-8573-43B6-B64E-FD7341D7002C","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":"Q971883$87449671-074E-4401-AE87-C87C88A72906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75218e8dec8e13bbfc38eea30ca47f89609540a3","datavalue":{"value":{"entity-type":"item","numeric-id":4870564,"id":"Q4870564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$B230D47C-B9EB-4020-9A1F-715E3C3358F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$43C3D4A4-9394-4435-9FA6-5D588B0CC96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$064E7F51-4DAF-41CD-A3A2-11AD99859CF0","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":"Q971883$F5BA1BEC-7355-434C-B924-DDDDCB145B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$3D9E2183-5EF8-4F69-8704-074766EA01E9","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":"Q971883$BBC2132A-4AAC-40EC-A314-A919ADD9DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb552d82d874f5d37464ae5768e2173b717cc8c0","datavalue":{"value":{"entity-type":"item","numeric-id":1770973,"id":"Q1770973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$724C3645-4BFC-46F6-941C-ABD90419C8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$08232BFF-C133-4F27-A34B-C7BAAC3A306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b54a2dd9a2085a52d684d7962240e64f022dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1913299,"id":"Q1913299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$49A3D6C1-9B0F-43B5-8F00-05D0E2CDC105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87861860985f9948f24aed3cea5772d923515c84","datavalue":{"value":{"entity-type":"item","numeric-id":865045,"id":"Q865045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$E868478E-FE9A-4B45-8A63-68FA81FEE2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fef1468f87abacc529ef135b47c01c4586bdc52","datavalue":{"value":{"entity-type":"item","numeric-id":1407607,"id":"Q1407607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$BA481717-53FA-4154-8D2D-9095AF86A781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$AC033D7C-2C53-4739-8B86-44B56D2AA51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a8a5eace873932f11737f9c9fe748e4c93c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":995381,"id":"Q995381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$E6B5BCE8-A672-47B4-8FD4-CFAE9DC289F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971883$72D6B289-AF60-4A74-AEC9-1EDC82224E38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"107dab9d7532b9815a6b30bcb026d5a92edf7d2d","datavalue":{"value":"10.1007/S00153-010-0178-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971883$AB4B172A-1273-4369-A0CB-488BC8E43F91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfe6e576afa62fb84a0dd66f2b6438ebbe7bf6d","datavalue":{"value":{"entity-type":"item","numeric-id":283093,"id":"Q283093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475dd1bf462cf3dbdb2dcba31af496ed795de8e1","datavalue":{"value":{"amount":"+0.8150525689125061","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":"Q971883$6E0C5621-4FA7-4B73-B182-8C2CCB3C8BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf0ffc30299993a6429ba5cca209b3d9fb5341d","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede4fc0a91d238a2ca92ac102d4282ce0bafc1c8","datavalue":{"value":{"amount":"+0.7897036671638489","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":"Q971883$231FB499-94C0-46FA-ACE0-14DF170126F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5408d5f7d5a6f6da900beba7f1cd0a779fa938bf","datavalue":{"value":{"entity-type":"item","numeric-id":4586412,"id":"Q4586412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c920e55ef6cbb5213bdde4494d3e4a4ba3f729a","datavalue":{"value":{"amount":"+0.7788753509521484","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":"Q971883$230C9BA1-4CCC-47FD-BA7C-26B5C829D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fb8f34a497b8f29097c8c02cf9932d1ecb66e1","datavalue":{"value":{"entity-type":"item","numeric-id":818519,"id":"Q818519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6ab4de884d5ae5159bd1641661e1fb2bbf4fc0","datavalue":{"value":{"amount":"+0.7643710970878601","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":"Q971883$D9157F3A-7760-4291-AD59-EF5FECC577C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffbfd5cfe5302b9cff068a6de96f1316656ed8f","datavalue":{"value":{"entity-type":"item","numeric-id":4450449,"id":"Q4450449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c577c6337eebcb2d2652a7ee38e6c3f580052b02","datavalue":{"value":{"amount":"+0.7584800124168396","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":"Q971883$1809E2DA-ADD5-4655-8478-7E4F0F0EDAF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:971883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:971883"}}}}}