{"entities":{"Q4894718":{"pageid":6924297,"ns":120,"title":"Item:Q4894718","lastrevid":46395543,"modified":"2025-12-24T17:04:01Z","type":"item","id":"Q4894718","labels":{"en":{"language":"en","value":"Gentzenizations of relevant logics without distribution. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932343"}},"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":"Q4894718$966132DB-5B5D-4516-BF33-FB310E488B8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9adadceb123850e0a32864a95bd0e777d5d39236","datavalue":{"value":{"text":"Gentzenizations of relevant logics without distribution. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894718$0E3B6011-95D1-45D0-B496-553756ABC046","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfe9a35b352a74c1f26cbf41158f997963981f27","datavalue":{"value":"0862.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894718$268D9D28-808A-4325-BF6B-B0C45ECC7E62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77a9af49dfc8ea8b50e3b00ea7afc88996712be1","datavalue":{"value":"10.2307/2275667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894718$21079EBF-FB67-47B7-9031-6FEC8E3B0E4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894718$986A3ECC-C9A1-464A-A89C-45A4011B51A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-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":"Q4894718$2580E923-85F7-49B4-ADB2-5CB0E89AC44B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894718$5B7A0D5D-6CCC-4574-A4EF-3C517CD532DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86b3ab5777037c72ec9644a078e8741c3ef679d8","datavalue":{"value":"932343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894718$2BBACAD9-15CF-42A8-900F-863AB6BFF5E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a5a53ea73b3da903deac6a05f6133120c34ef4c","datavalue":{"value":"distributionless relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894718$8169D63C-FD25-423A-8849-2516C9DD8123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ddba8a261ad89e867807655f2b766fcfe80ff8","datavalue":{"value":"Gentzenization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894718$7C1C7EC8-9DA3-4980-9B8D-DE51612632EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894718$7547C27F-8049-46C1-913A-ACC5E8FB9685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894718$F194E7C9-A57A-402B-A1BF-E4E4DAB04F78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894718$5BFE0820-155B-4888-9A6A-35AA67E59591","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":"Q4894718$D9E4B32C-A590-4ED7-97C9-5A9AF023C059","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdf76d1b650dd5529d1110ae934fb99617df1da9","datavalue":{"value":"https://doi.org/10.2307/2275667","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894718$A1D4C152-E975-40DD-95AE-D5B6BC9E7E7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60c21840697b863878901dfa8fae696e8f829bb1","datavalue":{"value":"W4229830739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894718$BE0FB736-E445-43DE-9691-21181316FAAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c5d987060b4bf24dd81c8ab3a4b6e644b081d","datavalue":{"value":{"entity-type":"item","numeric-id":1064316,"id":"Q1064316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894718$40078907-3ECA-4473-A374-F0A9AA03AFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb22f259837ca21ff09f467649c47fb3b411dbb","datavalue":{"value":{"entity-type":"item","numeric-id":2550725,"id":"Q2550725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894718$0237D8D0-28C5-4795-B67C-AC670140DE19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845088a90ce2c74a2bdc8fa7f43260b606ac9249","datavalue":{"value":{"amount":"+0.8080746531486511","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":"Q4894718$1B1FCB17-350C-49C3-B201-E9EAEA2EB585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63d84f24d8bd1e2bb35c8f6cfd21559ed6f4edc","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a523c3457962f8f6ed2f6568a6e6797be90a05c6","datavalue":{"value":{"amount":"+0.8028405904769897","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":"Q4894718$3F2C7FD7-4953-467D-B6A3-96E210FF5C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a545c77c1bf1cdaacea8505210eb55d2920bab","datavalue":{"value":{"entity-type":"item","numeric-id":911575,"id":"Q911575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2949cf9f9f24d8513f3092232324bf7be8fed22","datavalue":{"value":{"amount":"+0.7831830382347107","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":"Q4894718$20772D47-309B-4E9C-9A3F-A3D82ECCE1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e43534c5881c9212217c8bb6eb6ff07ede7078","datavalue":{"value":{"entity-type":"item","numeric-id":2958209,"id":"Q2958209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35653a940a46c84d914f14f8424627b0fc61c8f4","datavalue":{"value":{"amount":"+0.778340220451355","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":"Q4894718$71DAC9D5-B9E8-4A63-906C-0C0BE88CC08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47b2cd59f4f35f3874d1a5c98b606bb7502c5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4856945,"id":"Q4856945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75c146ad04ed1de7e48387604c0d2088cf04f89","datavalue":{"value":{"amount":"+0.7767072319984436","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":"Q4894718$1464471D-DF27-465E-926B-752EBCD56965","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894718"}}}}}