{"entities":{"Q2824401":{"pageid":2835139,"ns":120,"title":"Item:Q2824401","lastrevid":52638989,"modified":"2026-01-23T04:12:27Z","type":"item","id":"Q2824401","labels":{"en":{"language":"en","value":"Sound and complete Gentzen deduction system for intermediate propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6634997"}},"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":"Q2824401$558481E7-B88E-4364-A056-0295D90D820E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11ea2158f0369c329c9aea1c644b8024a4f4a611","datavalue":{"value":"1363.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824401$B53641CB-D752-4C94-A348-C45F894A06A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c0ae86f6125b4ecdb2b018fa9509d71be7ca9e9","datavalue":{"value":{"entity-type":"item","numeric-id":237993,"id":"Q237993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824401$2EA4070F-8EEC-43D4-B751-069EFA89F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824401$C8FAF586-6A92-4BCD-B40B-587F6A031525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824401$27102848-D076-431B-9FB5-EBB7A17B98CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73209c3bd7bc97bd55ddd0a444e770fe2c5d82b7","datavalue":{"value":{"entity-type":"item","numeric-id":269712,"id":"Q269712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824401$43F06CDB-7126-4AD9-82A6-5506475B4237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2824401$CBA060CC-3F9E-4E7D-8E4F-5C66E95ACCC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824401$BA594F7C-6E7C-4C27-AA5C-CE810F06E7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824401$42E9CE05-3AA6-446D-BDAD-DA519379D146","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70f44edde41010d0b94d0503d9fe3c2fb812b861","datavalue":{"value":"6634997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824401$852AE654-42DA-49AE-A2D2-6D337590E3B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824401$210D6CF4-F765-40C8-B429-2CCC730A5E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4cc2748ff13fe13365435d74a1848e78a09dd64","datavalue":{"value":"contradictory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824401$6A619D35-B3CB-4C19-87E3-681E58954F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"434d7edf26e0ab92a4bbeaaf08edd9c653ce239c","datavalue":{"value":"contrary","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824401$A16DDF3B-B930-4043-91F0-EAA7207EC542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824401$7BB2D0F1-3041-4CE4-AF03-B642C82E402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824401$48781506-108A-41EE-8E82-A1D6966F9861","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":"Q2824401$36D2B902-CA1F-4E3A-BCB0-73E970299A62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0e20f8c1a99092795d1d02f188ac10cfb32426b","datavalue":{"value":"10.13328/J.CNKI.JOS.004791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824401$D9D78BF8-E050-40BE-B979-1A139DD3EBE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd5c3472bc28d9e2ef93f5cf5ae1f76ad4693fb","datavalue":{"value":{"text":"Sound and complete Gentzen deduction system for intermediate propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2824401$3EDF5733-5417-44C6-A66E-177A954AFFB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824401$14C9C768-09AE-41CF-830B-A64ECF9B6CD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea3aeea95115335e31eef1ed55eaca89186065e","datavalue":{"value":{"entity-type":"item","numeric-id":5092560,"id":"Q5092560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778926113b1a00e3611bcb0b1945154013c2a24e","datavalue":{"value":{"amount":"+0.7803897857666016","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":"Q2824401$AAFA21EA-EAC9-4C87-812B-A6717F0CC65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e15df1155baf6a188ffd4b79cb693403c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822e3ce938ebbf5db1ac825d9a242f7db4741c12","datavalue":{"value":{"amount":"+0.7652778029441833","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":"Q2824401$452A95BB-6388-4E56-BA7C-7251152102B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd550c3094da56996b5f0d5428cc44d0dfee405","datavalue":{"value":{"entity-type":"item","numeric-id":3755436,"id":"Q3755436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565b93d249f20f23eefcb1c40df937a7192fdd96","datavalue":{"value":{"amount":"+0.7639665007591248","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":"Q2824401$5A0002B8-8286-4CBD-93C4-44E15CF4280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb7b9d9e4c334fb960a945bd714a855bd0de458","datavalue":{"value":{"amount":"+0.758654773235321","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":"Q2824401$3CE0000D-5774-4CEE-A29C-B6CA4F919FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd947b2852301cfdfdf1fa92a1b46e1d92d29820","datavalue":{"value":{"entity-type":"item","numeric-id":2737566,"id":"Q2737566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb7b9d9e4c334fb960a945bd714a855bd0de458","datavalue":{"value":{"amount":"+0.758654773235321","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":"Q2824401$EDFCB01D-E0BC-4CF5-9FE7-1D3FD52B9BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2824401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2824401"}}}}}