{"entities":{"Q5172146":{"pageid":7201718,"ns":120,"title":"Item:Q5172146","lastrevid":52200740,"modified":"2026-01-21T03:46:03Z","type":"item","id":"Q5172146","labels":{"en":{"language":"en","value":"A cut-free sequent calculus for relevant logic RW"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6403094"}},"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":"Q5172146$B44D81AA-7CF5-44BA-9941-ABB51C03399E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87f98387a2ac792b62646a2b5a8582eb24769f6f","datavalue":{"value":{"text":"A cut-free sequent calculus for relevant logic RW","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172146$D5319A3D-5CA1-4258-9C42-8FA57FDE7C0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eac6d8f81203c9cd7f8414bab67b7ad2da99011f","datavalue":{"value":"1343.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172146$C8F6EB84-DF2F-4BF3-A803-1B153ACE8125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73718bee04a6f42a4a277895708f8993ae83bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2046879,"id":"Q2046879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172146$8377ADE4-7251-43F8-82BE-8ADA3BB3E165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172146$0AFA0445-CD43-41AB-BCC2-8B27701C565B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdc61d2e07322be8c646950f18fe6f092ac87075","datavalue":{"value":{"time":"+2015-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172146$31ED735D-C2CD-44AB-8F42-BE61600C29CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172146$767D6598-8B3F-41A8-A117-D13591CD6FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172146$38F1B925-1D60-456C-8FA7-060369FDE268","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cea78fbecaf16638c4bcd18719c68c6894b9e889","datavalue":{"value":"6403094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172146$1E0C9A27-3105-494B-9191-6E950F69A3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172146$B29FEBCC-6769-4E33-BFA7-54C3279CDC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172146$E23316EE-3B38-435E-9453-25C976AA9FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172146$BA48088F-2A8F-4CD8-9B7C-5A81DC848DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172146$8233FB75-F69A-4B4F-910A-5CB7AD80BDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172146$108C0674-FBD2-45BF-AECC-A83EBBA8EB8F","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":"Q5172146$FB0EF227-F1B2-4BA5-9952-F067D1B51335","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39b90ae17927c11a8b582d2da8b4062a81e8f552","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzu009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172146$FC80A785-3276-4FB1-A87C-1E529520FA0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99036e5ebdc5aa7a5be89a07b0f429a73d8773c0","datavalue":{"value":"W2327979154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172146$0822F2C0-1FAC-4B2A-937E-079C6223B8AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93f1786bc30c51e4505948e3980a67a814219d0e","datavalue":{"value":"10.1093/JIGPAL/JZU009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172146$DB0C9B6F-F080-425D-95B4-390F4BF70A6F","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":"Q5172146$96FF433B-6C01-432E-87E5-1F1A9345427D","rank":"normal"}],"P1643":[{"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":"5c967e58833d5682673b0effbd722068d2ccdab7","datavalue":{"value":{"amount":"+0.8888053894042969","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":"Q5172146$1B8F8A62-B579-4AE9-956C-2230D664630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68f8fbe531000e560dd6ca47bed5859d34d8d15","datavalue":{"value":{"amount":"+0.8608189821243286","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":"Q5172146$F3A3FBB0-C8D8-4362-83B4-547851E32DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0ac52ea3df78e57e6044738608477c9dcdc5be","datavalue":{"value":{"entity-type":"item","numeric-id":5020358,"id":"Q5020358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a45df9123dcd2df657ca1f820612b7b3657c07","datavalue":{"value":{"amount":"+0.8372384905815125","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":"Q5172146$AFF49E71-5B32-46B1-BD7D-9B2BA843F494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9d9674d2a3331a738b83ece55648bc7394f2a7","datavalue":{"value":{"entity-type":"item","numeric-id":6047679,"id":"Q6047679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e70873a9ae0c40e44b353a91f778b8fd68a5f7","datavalue":{"value":{"amount":"+0.8325519561767578","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":"Q5172146$B232420B-F0A0-46B1-980F-ECDFD8D218C6","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":"23e8053fd2613f273b66318adf96f228b2f39a68","datavalue":{"value":{"amount":"+0.8280881643295288","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":"Q5172146$3C7A2C0D-562A-4186-A1F2-F158F50F8810","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5172146"}}}}}