{"entities":{"Q2845524":{"pageid":2856244,"ns":120,"title":"Item:Q2845524","lastrevid":42261260,"modified":"2025-06-03T19:41:09Z","type":"item","id":"Q2845524","labels":{"en":{"language":"en","value":"CHR: a constructive relevant natural-deduction logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203503"}},"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":"Q2845524$D2B6B562-604B-486C-AEA4-92BE150B9BCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc364b18c3d89c3a5bbf62333b575fe88024e02c","datavalue":{"value":"1271.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845524$B821E534-14F7-45D6-8009-E2F0B9D5F184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"357a1ccba155bc31eca3f4264cff1393d4486e45","datavalue":{"value":{"entity-type":"item","numeric-id":2845523,"id":"Q2845523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845524$7070C610-9AD2-4B9C-AFA2-5B37050CDDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93eeb797a805b6920f698dde39c2c782589dabf6","datavalue":{"value":{"entity-type":"item","numeric-id":833036,"id":"Q833036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845524$8E30EB30-8533-485D-A32A-A791F5F98AAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845524$49696E27-6F09-41F9-A9A6-7A479C40864B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65935a9d565a4978c18bc5431c6ffad8707e61f3","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066103000185","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845524$2668C4DF-48A7-447A-983A-12C3500A8A65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845524$1D7C6A12-33E2-48A7-B8A8-866CD5F6D38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845524$99231EC8-EA35-442D-B55E-E1F5B94CB4C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b7cd3c85bd5a8415fb4380eb46db182a154020a","datavalue":{"value":"6203503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845524$3529C2E3-A8E3-45CB-943C-9726F1DEC97B","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":"Q2845524$BE3DFDB0-2334-4F40-B443-BA6248073298","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb37d12e3c96e5042e2da1d47f2700f0754c1f5","datavalue":{"value":{"amount":"+0.8658072","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":"Q2845524$5A977C7F-801D-418D-9E58-F7C18BB5B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a16dac385b0a6553c09397546dcdb39839e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":4609358,"id":"Q4609358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53e664c319d2668c0b5d98e67002a93fba4265a","datavalue":{"value":{"amount":"+0.8636237","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":"Q2845524$8F17F0E4-9AA2-444D-B4A2-D8AC5F5D3993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f9835e2890f911df163c89ed83450e0a808dab","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9b6d06a775f1ef41c27817d32a4aa6c161edde","datavalue":{"value":{"amount":"+0.85701466","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":"Q2845524$0071043B-1252-4CF1-AF48-0C292F91FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5254bee9381b82f1b29b650ef9cabf42f13eeae","datavalue":{"value":{"amount":"+0.8492371","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":"Q2845524$1B545F78-957F-450C-89AF-9E49F6FEE20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98c85f4cf2e9f0b0172d1286a5f0b11942b8aea","datavalue":{"value":{"entity-type":"item","numeric-id":2094135,"id":"Q2094135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19829d081eee315c6d6837900b557f9a5f6d13af","datavalue":{"value":{"amount":"+0.8487349","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":"Q2845524$4CA2DBF2-C5C3-462C-9C59-55414F14D8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beaecddec0f6a6fff18372584926ae9ec537a666","datavalue":{"value":{"entity-type":"item","numeric-id":3608656,"id":"Q3608656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eccd94df653e8e0c50edb9745e1234232fed94","datavalue":{"value":{"amount":"+0.84765923","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":"Q2845524$B65FB5BF-2213-4976-80EE-0C03F66EE2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b669274bb7d5f98e8dc11085b11bd30456c1ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3108641,"id":"Q3108641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552389a91ce056b314253930ab107805daea0ec9","datavalue":{"value":{"amount":"+0.8468807","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":"Q2845524$685E6568-E569-494A-9A48-D6E5146E91CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5000092afddd2ec2e978f130982d4176c65387","datavalue":{"value":{"amount":"+0.84649","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":"Q2845524$9465E93A-34BC-4D3A-8761-57E4F526BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdf94e34b05820680054116ade95e94e1b1f061","datavalue":{"value":{"amount":"+0.84640443","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":"Q2845524$69CED069-F6FD-4AD2-AA53-62A0883F897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ee15caaa72013cf6cfe964ab9e1fdc0f912475","datavalue":{"value":{"amount":"+0.8454406","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":"Q2845524$FEAFE296-B5A3-4AC1-845B-867556D7E586","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c0015869d305b301e481ee82f296e1d3b80ef01","datavalue":{"value":{"text":"CHR: a constructive relevant natural-deduction logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845524$097468AB-8225-4AA6-8539-C9DE4BCB1C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845524"}}}}}