{"entities":{"Q938238":{"pageid":940086,"ns":120,"title":"Item:Q938238","lastrevid":65513712,"modified":"2026-04-12T03:07:33Z","type":"item","id":"Q938238","labels":{"en":{"language":"en","value":"Logics with disjunction and proof by cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313052"}},"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":"Q938238$0F770438-8DF5-48EF-BA0D-6363D7A6A6E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1b90bf666d9b8247b03ceb1feead6142723524","datavalue":{"value":{"text":"Logics with disjunction and proof by cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q938238$CE41B8A5-6CDC-4B8C-BE7E-1A38AFBA38C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"946e592409638094370896c0359432a04e0d1dce","datavalue":{"value":"1147.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$58C26030-9586-48CF-8962-73B634C9C430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$642F75D3-BE31-4DDC-9A64-20F2F3E7B426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$EE8C13FE-9093-4762-A874-BC04AAD55003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$C35AA35C-D07A-45FF-AE88-4ADF3D7E4ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"046b71469fa93a7e7a58447419bb590ca4ec43ef","datavalue":{"value":{"time":"+2008-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q938238$CFB7005B-842C-44B2-89FF-85B739162575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$88BD6605-E7AE-4C57-A35F-8F3E913BCB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$7B05309C-A622-4082-A394-1540EFC5309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$451BF83D-B486-4D45-99A7-A003FD033979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dee5b242e23325c140127f16cb2c8beee70f1dc","datavalue":{"value":"5313052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$051078DB-10C2-4B08-9FE0-65813CB90A36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9629d99f5497692f6501cfb048c6cfe8fd318801","datavalue":{"value":"logics with disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q938238$99F5D170-B4EE-4934-A5CF-A147AA6BB795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q938238$CA76C361-7E79-4A87-A1A2-22B0328A12C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c3d62025443debf1eecc400c8c3a2b20c8c1a5c","datavalue":{"value":"proof by cases property","type":"string"},"datatype":"string"},"type":"statement","id":"Q938238$391D651F-BB20-4750-A0CC-53A3629DE542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad2081a8465618c060d6fd9b184d7c7b0232a929","datavalue":{"value":"intersections of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q938238$26013BB6-EC57-4DFD-AFF9-26AB35B627F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd018b84b90997c06f5d30a6b6409f3ab556cb7","datavalue":{"value":"weakly implicative logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q938238$BBC40802-BFDB-4AAB-AB71-72323C0BA32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51cd8aadf8ecced51353b19ffbbbc5bff1f3ce1","datavalue":{"value":"weakly implicative fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q938238$53C0DBF6-46F6-4340-AC4B-1C4068C351C4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee950e8bb4ef891ab39042e5aeb4959064ba5b20","datavalue":{"value":"Q59306565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$FDB26CB9-A08B-482B-B1C9-E2E3B42827AE","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":"Q938238$3D25C268-B759-4387-AE25-A513BCE42BBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"456a7c43715eeb160ccc3c6b48cde65cb09b820d","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0088-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q938238$8D9FA30F-91B9-407B-9F8E-7C0F83AF1511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bf966f484a42f5d8839945b8d1d2a90a1aa8134","datavalue":{"value":"W2010858955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$77AD875F-0AB6-435D-B977-695DA1A3D81B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d805908acb8b94b66aaa9d9cf61db22d9eaefc","datavalue":{"value":{"entity-type":"item","numeric-id":2492309,"id":"Q2492309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$769D034C-80ED-4A31-A918-1298DAD0D320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$067F12C4-486E-48DA-AB8C-E34982249243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$6C4208F2-D9A6-4915-B5AF-E5A1F7C4B3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$8A0E9CDE-61C2-4A66-8A84-486A8DC24EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$CC66F198-5BFA-4128-BAD2-ABB99CAAC73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$5574D4E9-1BCE-450F-94FF-0D080D63DBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b380f76aa9cd5aab3b531e2f5bc4566bb014be","datavalue":{"value":{"entity-type":"item","numeric-id":1826928,"id":"Q1826928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$52BF18A1-BA0A-402A-8C4C-BE24E12A8E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc82da5c1d78a2ba1efbddfb1289a6eecabf01e","datavalue":{"value":{"entity-type":"item","numeric-id":701745,"id":"Q701745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$15012033-2649-49B6-B471-412D9F813863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809be90ab75bb104475818980dbf1ee09bee639b","datavalue":{"value":{"entity-type":"item","numeric-id":5311056,"id":"Q5311056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$183A38E4-D924-4571-B4AD-D22B2467B370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87861860985f9948f24aed3cea5772d923515c84","datavalue":{"value":{"entity-type":"item","numeric-id":865045,"id":"Q865045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$70FB2561-F708-4BC1-8F2E-23D0C60E6A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0effd301bc9740561be89cd2f0dd6430b0df3860","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$7FC8265C-66BC-41CD-8F93-41FCC7635490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$1B6C8A28-C393-4012-B0AC-0346FCBDBE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$80EC68B8-27DF-4278-A3FB-D6F311AF2603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11bb9cceb57f563af18eaaf92b7227a46eac8bf","datavalue":{"value":{"entity-type":"item","numeric-id":869116,"id":"Q869116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938238$C2FA1022-0C08-4699-B9F3-3681C72F3947","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f690fac7b458a1c6f01f3deb6cf8de04b8770de","datavalue":{"value":"10.1007/S00153-008-0088-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938238$3858747B-4508-4C91-B9AF-2C465D3B696F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfc27da7bb71371b1b252c2c7c7a8f1d491e12b","datavalue":{"value":{"entity-type":"item","numeric-id":368486,"id":"Q368486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1242f92e5690f9fc236e001eaa68475e4741dd82","datavalue":{"value":{"amount":"+0.8644595742225647","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":"Q938238$615D4BD4-A6F7-4D49-9579-5E6375678E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc341d403f821c889894f8cb5337fe377605d4","datavalue":{"value":{"entity-type":"item","numeric-id":5283419,"id":"Q5283419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f593d9e01328f09622b95a287279fd159a0be","datavalue":{"value":{"amount":"+0.8435007333755493","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":"Q938238$97AF6D38-09C9-4A28-96D7-5F2C37BF5D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf0ffc30299993a6429ba5cca209b3d9fb5341d","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65013a1165051b370e6f350c63983faac4a2dfd1","datavalue":{"value":{"amount":"+0.7677481770515442","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":"Q938238$0A8EAA55-F9CD-4419-9248-242CEEE4BB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b48cc1febfdd0de1d35c6fb41f37769bdfbeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1902977,"id":"Q1902977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1dadc921771f20555f420d26baf67b4dbb6760","datavalue":{"value":{"amount":"+0.7602576613426208","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":"Q938238$F01FAF04-7631-463B-9120-C26484E978A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b3e21f2c5ced178c1274060324742f38baa02b5","datavalue":{"value":{"entity-type":"item","numeric-id":2027207,"id":"Q2027207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47165b57bb51a17999237bcf463f637c6e4efcd1","datavalue":{"value":{"amount":"+0.7532898187637329","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":"Q938238$E1C9D1A8-45FC-42F8-9242-25C07D0E0813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics with disjunction and proof by cases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_with_disjunction_and_proof_by_cases"}}}}}