{"entities":{"Q383061":{"pageid":384828,"ns":120,"title":"Item:Q383061","lastrevid":51878804,"modified":"2026-01-20T11:15:23Z","type":"item","id":"Q383061","labels":{"en":{"language":"en","value":"Does the deduction theorem fail for modal logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6232160"}},"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":"Q383061$8F92B066-A7FE-42DF-A270-3EDCC48E8A0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0b1113ba3325558a28ae39880967187db014872","datavalue":{"value":{"text":"Does the deduction theorem fail for modal logic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383061$5A8078C6-725A-493A-A7E3-75E4D523B8C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2d3e2d00173146dc93f6f76b21e485681f0d36a","datavalue":{"value":"1275.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383061$C27A787A-DD05-4CF0-B02B-39E333DD0762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"169cf1cb435744b2943dd0b7c53f966e82c1961f","datavalue":{"value":{"entity-type":"item","numeric-id":383060,"id":"Q383060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$D0ACE38C-6374-4FF4-AAD1-10DA6320F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$76F1DF6D-7046-4D73-9619-2128C8EC8A60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$AA2E7D76-1909-48FF-9CC9-941CB360C1BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15a750501aabe9e78a9f7ee929d9591e890383bc","datavalue":{"value":{"time":"+2013-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383061$4148C08D-B196-4636-A3BC-436345174980","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383061$562A3688-56FB-40F5-B8EE-6FC257E852C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ee5f4f51247ba9a29fbe0951b29d93222279474","datavalue":{"value":"6232160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383061$87955196-61EF-48AD-96A8-9BFAA359E0D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q383061$7ADD8831-8910-451B-9C89-FA405916E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q383061$01BED5C0-5A66-4BA3-A664-FA4D0A2AB72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q383061$3D021E74-BB44-4588-BD73-9662BFF5B637","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$7C059C9C-0C4E-4DEE-ADF6-B2443BBE8EC1","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":"Q383061$BF3DAFED-C933-4936-BEBE-F495A8A01FC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87aec5a6e1b5d3baa072c96382b2cca3dc469f47","datavalue":{"value":"https://doi.org/10.1007/s11229-011-9905-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q383061$F96C2EC6-E462-4078-9B5C-675A08B8B094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891e70d3426ee89e6cc37e962f55d76e82ecaeb9","datavalue":{"value":"W2134929682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383061$72C30C9E-E79F-4E77-B294-5C53EE9BF921","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$93EACE16-8FD6-4373-AE14-F7381E53ED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afb61c580aaaf9dc94610f33124332948513e8","datavalue":{"value":{"entity-type":"item","numeric-id":5841793,"id":"Q5841793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$FF241516-9DDC-4734-8E92-592F19366E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c133a790f34e564e53e5ca47ca90b590a098c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5824671,"id":"Q5824671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$830490CD-36D1-4733-9A7C-1299D417A4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595dceaecc016f2005aa5a7685befab0d744999a","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$AF04162F-2F77-44BD-B331-2394BE1E414E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$735D8FA5-7B54-439C-82C4-C29C45630818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$C924D1D0-A4B3-45F3-B4C8-5C253E9BD5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$9D3870E6-F5AC-4557-9151-4AC0003AD1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1f9f8921b3649b10fb13e40ea38574e19ba3f","datavalue":{"value":{"entity-type":"item","numeric-id":4032879,"id":"Q4032879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$D10E2ACA-1673-4C85-BCB2-E414051DC9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb5037f851962569191306a95268775e451fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5335309,"id":"Q5335309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$1FAD3C36-405C-490B-BDB0-1646AC8F02AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e8ec785db48513b7a19c3e9a1dc867c365622c","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$58DC4B11-1BEC-4F87-AA44-8E9A52B3CCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$1B1AF546-EE60-4FEF-8A78-2E75380E8B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$63F66A23-B477-40AB-8795-41E79073EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$9328EADA-D202-4CC5-904E-396663B3C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$6030E5B8-D2B0-45F2-9DA4-0627B0DBB052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$740FBB32-37C4-4F26-B055-5DCCA87C8D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$47222653-E5C2-405B-8D98-D5472CFA17DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aac5f0993f3da62ffeac9b52938c987eb2f49d","datavalue":{"value":{"entity-type":"item","numeric-id":3248013,"id":"Q3248013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$E6333286-D225-4946-9411-D53E7F1C83FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecedbc486f5aef29b19c75956acdbaa1a39377bf","datavalue":{"value":{"entity-type":"item","numeric-id":3236671,"id":"Q3236671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$67B1FC90-3028-4483-B5CB-A52036AC3778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$3886D47C-4200-4DFB-9916-E5217745BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913035e52c858da48a0725971a9cc07bca973b64","datavalue":{"value":{"entity-type":"item","numeric-id":3101107,"id":"Q3101107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$7F13A37C-1FB7-4DDA-821D-B9016B75EEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$BE89BD66-06D0-433E-94FA-1C16D9EEB1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af5a840eac9faf37731ad779ca035c115dec0ab","datavalue":{"value":{"entity-type":"item","numeric-id":3962962,"id":"Q3962962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$5DBE3169-057D-4FB9-9970-74615E6B34B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711f4d18a42eba165ead1afce88a2ef93d4bf695","datavalue":{"value":{"entity-type":"item","numeric-id":4343989,"id":"Q4343989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$FEBC7748-53AD-4BCE-B086-05DB901D917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f03c1548cfd1f167c04900a9c91718e8b0cab75","datavalue":{"value":{"entity-type":"item","numeric-id":4342088,"id":"Q4342088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$2B94E8EF-7004-4E0C-9290-0E1322CC342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c315f015345c83defcbab44a30bf2208a41390","datavalue":{"value":{"entity-type":"item","numeric-id":4817180,"id":"Q4817180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$C45BC199-0165-459D-B86E-509162EECC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$9BF71EC1-7758-4C84-8948-8690DB58C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6fe6c02ce9a99b6424d94e8d2e4874c43be753","datavalue":{"value":{"entity-type":"item","numeric-id":2537604,"id":"Q2537604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$2DD80060-F900-46DD-9B0C-291FC8EB90D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383061$2948DE34-D846-4B69-88BC-FFEF56A686E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f192ee58f1d54075ed2b6d38024ff1897eed2bf4","datavalue":{"value":"10.1007/S11229-011-9905-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383061$8DFA0E78-E55C-4F40-96FF-24EEDA9F6A48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa2766298d4a67b56a1f300df3b109a9b40f45f","datavalue":{"value":{"entity-type":"item","numeric-id":5704814,"id":"Q5704814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1840b3f310f5901d8de38f44bf760b591590d549","datavalue":{"value":{"amount":"+0.7990278005599976","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":"Q383061$544FB376-7995-42AE-9E00-1B9128257FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e84e17c83e1e928e28bacf619262e8d142f856","datavalue":{"value":{"entity-type":"item","numeric-id":3550857,"id":"Q3550857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492d233ff9c4954f88f055c918f9d48adfa8d468","datavalue":{"value":{"amount":"+0.7874569296836853","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":"Q383061$91F04DC2-D1D4-42FF-8CB5-DF6D6E0B7CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9199773d36a4360b83f11317ac77de08cefcd085","datavalue":{"value":{"entity-type":"item","numeric-id":2751831,"id":"Q2751831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d52f2614cae78dca81e250cdb519385cd869048","datavalue":{"value":{"amount":"+0.785191535949707","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":"Q383061$3F99B2D9-4DEC-4D0D-9B1E-9AEA7624B79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb95156d4d4433827441988c37d543212f549514","datavalue":{"value":{"amount":"+0.7847188115119934","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":"Q383061$E4DCD3B4-7DE6-4CA5-A38B-047E96D713ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ca354510420e6f645d8a78b267b2635feb2ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d9dc10488f1c3469a9c1af5d10f6d54a1dedfb","datavalue":{"value":{"amount":"+0.7676913738250732","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":"Q383061$84B672BD-696E-4014-B14D-46348DFF20A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:383061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:383061"}}}}}