{"entities":{"Q5477623":{"pageid":7507182,"ns":120,"title":"Item:Q5477623","lastrevid":49872778,"modified":"2026-01-11T12:07:55Z","type":"item","id":"Q5477623","labels":{"en":{"language":"en","value":"Normalized natural deduction systems for some relevant logics I: The logic DW"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038887"}},"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":"Q5477623$7AD2F399-A117-4743-8409-DF12F2FFBD63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8465791a91c0d82e1289f95900908845db6a320f","datavalue":{"value":{"text":"Normalized natural deduction systems for some relevant logics I: The logic DW","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477623$EFB2BB6D-5D88-4A2B-9788-BA9ACCE59143","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110f6be077b1c3bcb5285a5cb5a4d62ebd026b61","datavalue":{"value":"1103.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$B9F2FC9C-C30E-44AA-818E-A99C3A3E4D88","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":"Q5477623$1BA82CF2-7778-4B2E-A8E0-56695311BC5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50f2cd6c4898065eaa272ea8bb874fb0fd3e518","datavalue":{"value":{"time":"+2006-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477623$7DD68212-F9E9-4D61-BB38-BDF36BA07622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$31826281-9DC9-4AEF-80B4-AD349E81E8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$3A006243-1A68-4281-9757-AB6B9DB14FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$8F611E66-C5AD-4BB1-88F3-27F6D87A74A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efb1fb3fab337646000288f6cb8f8e7b3810e0f","datavalue":{"value":"5038887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$80A45A24-F6A0-4A6C-B588-F3FCBA22602E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ec01a18fb47338cb44971f4848043037ed354f","datavalue":{"value":"sentential relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477623$9B5D65CE-3E5D-422A-84A8-E1C3AF945183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477623$2E210D6E-5E54-4946-B609-8B738A0556AC","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":"Q5477623$50D0DAD8-642A-4601-925E-C1116C4470B8","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":"Q5477623$048DA39B-D597-42E7-B6E6-85C3CB4EE37E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6331be3577cd23b988232bd39bbde5a4836dcb9f","datavalue":{"value":"https://doi.org/10.2178/jsl/1140641162","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477623$2B9040FA-438D-4F50-9261-F5FB5E83FE63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"123cd937d2e604ebbed3ca8fc71a2176db567d8b","datavalue":{"value":"W1978338594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$9B23B75F-1883-4054-B365-D76EFEFA7C6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a778046fd5c2f9e537d0087918e6275474ca33ac","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477623$EA552321-D08F-44C8-A526-F5C390B07407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc31a9f01623662fcd1d5e33286024595c35768","datavalue":{"value":{"entity-type":"item","numeric-id":4113803,"id":"Q4113803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477623$B13CFD67-CE75-4CC1-9334-5FDCBDB43879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09d3b8cc622a053b9786f9852243859183e47cb","datavalue":{"value":{"entity-type":"item","numeric-id":3272466,"id":"Q3272466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477623$945084DE-D451-4CC1-ABF4-CA94FE750CBB","rank":"normal"},{"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":"Q5477623$F09BA0B8-E975-4A7D-A76A-B32D8D1E11E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477623$ADB7B04A-6A0F-4F9E-9CF7-A60BAFBB5B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eb2bbbd6432b325881593fdca690ebfa848d22","datavalue":{"value":{"entity-type":"item","numeric-id":4961804,"id":"Q4961804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477623$4572C78C-2322-48F9-BC69-52E513D69E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f682878ff02c89db7a1c812904d361e99fe2766a","datavalue":{"value":"10.2178/JSL/1140641162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477623$27521494-AA4F-4A36-B8D6-4D2C9D018960","rank":"normal"}],"P1643":[{"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":"2ecd0dd0a0207126d97c4120eebb04b60b1e46d4","datavalue":{"value":{"amount":"+0.7865117788314819","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":"Q5477623$25E53584-D9A7-484E-8EC3-F79FEFE45584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ff5989b2e6aa085877c2966c52dcc35eee7e67","datavalue":{"value":{"entity-type":"item","numeric-id":4218027,"id":"Q4218027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82702c638d7a2e41a607935dde0aaee28f40685","datavalue":{"value":{"amount":"+0.7819190621376038","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":"Q5477623$2A83E80E-F74F-48C9-925E-551B4C43ABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c802bd5452a586957a5a64bc2df87884e4e1ca2","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc575e84e39ed52617c10811f84c1ba0b77c4ad","datavalue":{"value":{"amount":"+0.7764714360237122","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":"Q5477623$233C1B4E-DB22-4B73-BB1D-78EE6D037CDE","rank":"normal"},{"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":"4c5776b4a742e594e489c3614826cbe9d9f222ed","datavalue":{"value":{"amount":"+0.7756620645523071","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":"Q5477623$2244FBAF-CCC6-4D39-A549-BEE9DAC1D724","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":"220e54781d2c367b69170fec99972fc6a0a620af","datavalue":{"value":{"amount":"+0.7717657685279846","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":"Q5477623$73E3B1F4-232A-49D2-9D44-B7F7A31C50C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477623"}}}}}