{"entities":{"Q1340318":{"pageid":1351057,"ns":120,"title":"Item:Q1340318","lastrevid":68502372,"modified":"2026-04-13T00:08:21Z","type":"item","id":"Q1340318","labels":{"en":{"language":"en","value":"Proof theory for minimal quantum logic. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 701340"}},"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":"Q1340318$A32B170A-AD52-4D19-AF05-D85C090F9FF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7985a682ae4452e12162a06c6bf5c3fb2240e96c","datavalue":{"value":{"text":"Proof theory for minimal quantum logic. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340318$ABA80DB6-87CD-4BAD-8BB8-35A7279F2CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89dd1c43ede1a647ce07528c0bb34397d4d366c9","datavalue":{"value":"0809.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$BD8362EA-6102-4993-9272-9199B6CFCDF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f8defc6f87de41d881f3bc11c8e39a22c76e427","datavalue":{"value":"10.1007/BF00670687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$7D51F441-4C97-47FF-9CC1-921E1005B240","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340318$5780D48C-620B-422D-BC98-3AD6699E71F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340318$5DF2E1F6-6D14-42F6-974C-E4C8CD8BDA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10b8be3aaae04a8b6e1fb062263f34380fce1ca5","datavalue":{"value":{"time":"+1994-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340318$2FF94E40-4059-40E2-93B0-0B360576279C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0996a5d8e163e892a14df9951e04cd6fc382dbfd","datavalue":{"value":"This paper provides lengthy proofs of the two duality theorems and the cut-elimination theorem of Part I [ibid. 33, No. 1, 103-113 (1994; Zbl 0798.03062], which were presented there without proofs due to limitation of space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340318$F9F3BEC6-B07A-4307-81EB-53DAEF36EA00","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340318$24797F4A-28F8-4066-A683-544AB5AE0668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$AF397AAD-6A8E-42E2-8A4B-F0615ED1437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$ADCD87E2-D17F-4B1A-9607-2B29DF388C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$D9BA08BE-6794-4797-B3D5-27F9BBBD16AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe257934c27a212aa7eab769865e0f62f957b13e","datavalue":{"value":"701340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$C7B9A3FC-C933-4D67-BCB4-EDD41024967E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5eaa31e8472e53ff6743635b9a2977364bf254","datavalue":{"value":"Gentzen method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340318$97264625-7A42-4F9B-9AAB-33CE34E50327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7aa63c38356fce7cd824cb38ff1cbdfc27d685","datavalue":{"value":"duality theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340318$307E73B4-209F-4AAE-A6C4-10AE4680B5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340318$E4910FE1-B796-42E4-B8C7-3547EB4D1095","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9f86f950792f922099db0d2d869d74164440fc08","datavalue":{"value":"Q56387773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$35764090-77E3-45CE-9945-B617749E5020","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":"Q1340318$B1314098-7448-4425-97C2-DC61ECAC8946","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"407c0f8ee16cf2d3375df8566af92e18d6833779","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340318$5309D10F-7AAB-4797-AAFA-7F1AB697E125","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15b65fb12b5b808f191e0f64e8119de57a2f814c","datavalue":{"value":"https://doi.org/10.1007/bf00670687","type":"string"},"datatype":"url"},"type":"statement","id":"Q1340318$AD051781-0EA9-4083-9ACD-685C07C39D83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80f7779c1b0629eeac39ccde47e4050e1e589101","datavalue":{"value":"W4251783537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340318$A2727648-D659-49FF-8D79-E1089B9D05DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb7147cfbc30362aa62ae770aeec403457bb842","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7642f34377f3432b8c549b245f1c809e347aff60","datavalue":{"value":{"amount":"+0.8814852237701416","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":"Q1340318$2FFEEB6B-14CB-4A17-9CF1-75EC459F660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0117c573b9781616770b8cefdbd64a17920d1d","datavalue":{"value":{"entity-type":"item","numeric-id":1894594,"id":"Q1894594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b071592348189a6744691ba7736cd4df9d3e80","datavalue":{"value":{"amount":"+0.8444264531135559","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":"Q1340318$5B2BDBC0-3827-4C8F-99BD-2DD8AE0BB1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cbda2cf1cae565fa047475ed1fd45ca3c133a9","datavalue":{"value":{"entity-type":"item","numeric-id":1749807,"id":"Q1749807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503da7b5d6a4b0628211200d4d9898a7eff52af2","datavalue":{"value":{"amount":"+0.7600696086883545","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":"Q1340318$554BC348-9D3D-43A1-B951-0339E99C4C10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for minimal quantum logic. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_for_minimal_quantum_logic._II"}}}}}