{"entities":{"Q5435112":{"pageid":7464676,"ns":120,"title":"Item:Q5435112","lastrevid":41861701,"modified":"2025-05-09T03:55:28Z","type":"item","id":"Q5435112","labels":{"en":{"language":"en","value":"Substructural Logics in Natural Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5225640"}},"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":"Q5435112$2BBC97B5-69AF-4CE2-AD2D-CE091778F4C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96fa91cd20ad2f73f7977a5e78e09379d0cf26bc","datavalue":{"value":{"text":"Substructural Logics in Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5435112$82FA47A5-BF3F-4DEA-83DB-9A7406B5FC24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd1b1aefeac9800a4406d08b080a198ea59cd82e","datavalue":{"value":"1128.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435112$FA7FE3AE-E45B-4297-8931-79A97EEE5055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731bbd863e426c881575785bf5fab09d2fd3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1005978,"id":"Q1005978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435112$2F2F9EDD-2C3B-4B9E-B2FF-623FC9C7B01B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3937c056377dc144ca887b57f8c994e8e946f87","datavalue":{"value":{"time":"+2008-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5435112$499F0FD6-8048-4E74-8CED-563F58C72AA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435112$873D51A3-D980-42BC-A3F1-77C77D00E186","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad08ce2f796c45d849af66a52cfd9aeb2334cde7","datavalue":{"value":"5225640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435112$59F8BA9F-4E1C-4BD8-BD2A-49DF1DA9C821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$9CA6817B-81FB-4E8C-8E6A-F5959764581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$57AF2544-49EF-4272-A6DB-2A5CE16BE15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$A2580205-9BE5-4945-8696-A48460318A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$BFF44326-BCC9-4CEF-B72D-5FA851279426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$779E2490-DF35-452E-AA27-A177B14EA4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$D77BBBDA-1530-4688-893D-C053C554ED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$4A577A50-4BCD-4111-B490-CA6339AEFA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$D4E435E9-1B1D-4AED-9B54-646586A5044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435112$7554B1F9-FAA4-41E8-B325-5FF4F04D9859","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":"Q5435112$60879514-27C2-45B7-8B5D-C00DCB53AF35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ade73719efdaf24ae5bd269d35aab57382e7ebaf","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5435112$0C4C4BAD-9B3D-4BFF-94A5-985B1ED1E217","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daf4bc3c3036cd4a7c98eb2d5b6442ab94876ef1","datavalue":{"value":"W2069664851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435112$C820CB0E-F518-4889-9BA1-BD94EB9CBE54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51d9517758a13db5fe0d698078e7ae354b4aa02f","datavalue":{"value":"10.1093/JIGPAL/JZM008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435112$9634F082-4044-41CC-AD0E-FCBD879F16F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435112$611A5E57-0634-414D-B1BD-197AEEE94188","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004d0c60ebd535552147168db6f92ada5a15fed","datavalue":{"value":{"entity-type":"item","numeric-id":4255972,"id":"Q4255972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f830e116e844fd6ff5e6c4a362303bc01bc61bb3","datavalue":{"value":{"amount":"+0.95570314","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":"Q5435112$6BB29916-4F6E-4B73-8DF2-D3B8ADEC2852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b74fe8044f345174f2268dbc9c7d5b76c8eb83","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accd618989cfc5a1c6b490d901944d82084b6047","datavalue":{"value":{"amount":"+0.9410986","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":"Q5435112$DDC5A0DD-AF6E-46A5-B8A9-C67EE951C88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26ea28dc1216e68a017c4ee0a1877476c2e50a0","datavalue":{"value":{"amount":"+0.940779","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":"Q5435112$5138DD57-63DA-4D2F-B3BD-6100E3E18714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9f50ca9cf66817876c5766a3d8577dc9f388e4","datavalue":{"value":{"entity-type":"item","numeric-id":5381041,"id":"Q5381041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a55795e8e33f295a5cdcbadac3c7d99caf8bfdf","datavalue":{"value":{"amount":"+0.93934596","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":"Q5435112$1F427BD3-7235-464D-A0B0-1F1ED349F21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d8d863addf67f18ba4690b0c90645d9398405","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af1a0cc3b4e0f47c95b938616b927055dd4f158","datavalue":{"value":{"amount":"+0.9374934","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":"Q5435112$E5AB5419-58F5-42DF-B1F3-C9CE76FD460E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75afe7358ef5d3b3057d6c4a17a8bf85c8f5e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2849432,"id":"Q2849432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced2e7c876be98302ef20949b0c1d22d69ad38bf","datavalue":{"value":{"amount":"+0.93485224","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":"Q5435112$0B6E9DFE-FBF4-478C-AA4E-99D4AACAC1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94779666401327919bef9bc9bd5f0d9ac0f79bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4424643,"id":"Q4424643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88177a447476f0f1eaee32693f9543aa115accc2","datavalue":{"value":{"amount":"+0.93107307","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":"Q5435112$8E3ED2D0-FBAA-4FE1-A8E7-408308FDA43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee09ee242c19ac9f9ee2ac8d088d106d0a13add","datavalue":{"value":{"amount":"+0.9254413","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":"Q5435112$B152E92F-FFB7-44A6-A9C2-C0EDF78468E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e384dfcd8ec39ad22cf764af3e8249dd065f76","datavalue":{"value":{"entity-type":"item","numeric-id":3789559,"id":"Q3789559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f311202327821b28be805a35983acc022f94dc","datavalue":{"value":{"amount":"+0.924284","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":"Q5435112$3D7BBC83-630D-415D-A027-4CB8D1EDCDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943107d196057ab0f1785cde4eaf7205b14900f1","datavalue":{"value":{"amount":"+0.92331064","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":"Q5435112$65CAE2D8-928C-42FC-A5F3-20E9A2D60C61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5435112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5435112"}}}}}