{"entities":{"Q1314288":{"pageid":1325038,"ns":120,"title":"Item:Q1314288","lastrevid":68437500,"modified":"2026-04-12T23:42:03Z","type":"item","id":"Q1314288","labels":{"en":{"language":"en","value":"Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501109"}},"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":"Q1314288$6C86D702-3A3C-4D82-BB93-524C951457EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71704185bd81b91de91be4f2296cbc1636e4914a","datavalue":{"value":{"text":"Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314288$0CE7737E-68A1-440C-B546-A0FA562F4AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c57038f17fcc0bc67a3b62973634835e9586e73a","datavalue":{"value":"0793.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$6CBDD9A9-91C0-4428-953B-6CA1CA9ACEEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5efed3c0cc09fb0cc8dbd1f1da27b41c1ea93b66","datavalue":{"value":"10.1007/BF00156916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$E498201F-79B7-4022-9CEE-017E47709738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$C7CF8D60-B21D-4851-9103-12B21B8D63F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$A35CEA81-0FB9-4BB3-904A-B7180CF80C7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87ddefd6c83e22cbdb85f95663ace293dcff1d10","datavalue":{"value":{"time":"+1994-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314288$E441AC52-5225-4007-87A8-285EF0EDDBAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$3A3A5532-2620-4392-ABE1-C6248E9F9AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$27467A4F-DC8F-4181-A788-FD9FC47CEB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$AF3179FC-2E6D-4264-B223-924060F27B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"890852bed46df2e015f3ee9ceae0a97e0ef242d9","datavalue":{"value":"501109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$E99EC112-F1E3-43E3-804F-463C2CC56E2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314288$5F10B601-87A5-4FCF-8F1B-5DB035FE23F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21b848ed860735aa54bb5adc9a2640b2f6f404d0","datavalue":{"value":"truth-tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314288$64460BE8-230D-43D6-9883-D82048B5EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d455a10453d1a048102948d1daa985569a243c","datavalue":{"value":"Gentzen's sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314288$2CB2F494-15C7-4A99-98E7-872D990DBD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd34074526ff9d5d53722d72ef57f42fa801ea2","datavalue":{"value":"cut-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314288$A4BA86F8-9976-4D75-9F19-339477A46941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c2ec885e1ac903b1ba6797abba3c674073f562","datavalue":{"value":"principle of bivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314288$D8D95C3B-DF45-4765-9548-A9ABDD17BF48","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":"Q1314288$BF60445E-9F42-46D2-80CB-4CABD2613A56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c910d346f84cbbf90f3e0a4b5ea98c44d894faff","datavalue":{"value":{"entity-type":"item","numeric-id":3252705,"id":"Q3252705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$0FEE879E-C674-489E-812B-999FB19B32A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$30A31B2E-233C-4388-B7BE-EF381EC7FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e0ec301a2daa50bbddaee495d81db74f852f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5613968,"id":"Q5613968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$D1C9E134-15F0-4ABA-A36B-D74F4A326B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$1028BA79-9606-45EB-A77E-002B07ACE786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7764e21e20149e00a8182a7e7474f151693ea76d","datavalue":{"value":{"entity-type":"item","numeric-id":4119174,"id":"Q4119174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$32477BAB-8456-42B0-8F80-A92A8AFC2F6D","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":"Q1314288$2EA437BA-3A0E-4BF8-AE84-E71BD995646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a20f84ac2ba802e8477e793ddac71a7bacd3bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3794543,"id":"Q3794543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$03B1396D-0BFB-48CF-A7A2-368FA8284C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e66564df4ebecebd5f3393730b20c73da5434","datavalue":{"value":{"entity-type":"item","numeric-id":5570912,"id":"Q5570912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$6E85C7C9-A093-4AEF-919D-9B3F294733A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7c244d14d07f3257f25d1bce430b4073a42125","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314288$F75D2EE3-DC07-4327-8390-7D218D2B31E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f72daaa2dbe87cc05e564fff88eba1241906ed2e","datavalue":{"value":"https://doi.org/10.1007/bf00156916","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314288$5537243D-8E43-4A8D-9606-1D75AF2DBBCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7876e1cca9fc2653cb8c674aa4e0b95253d65737","datavalue":{"value":"W82633235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314288$6EFEA0F2-297C-4FE4-8808-A9243B89A32D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b042aa778c18b5ad4e08620cd0c32e0d093e5e72","datavalue":{"value":{"entity-type":"item","numeric-id":4521282,"id":"Q4521282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc358f0be2690f56370921be9dc74570c856f33","datavalue":{"value":{"amount":"+0.8242809772491455","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":"Q1314288$C1CF4C1C-7435-4716-BF19-DF61FDF9EF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3939079472c2798ae61fc18391f337ed6aeb7de","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee3f937e7499c036f42c74cb6a4cfbbb5828fb4","datavalue":{"value":{"amount":"+0.8051159977912903","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":"Q1314288$2FB57A66-5F16-40D0-A076-5CFC940E364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90da4d6e7f8c4b5d2db00c0f177c40e4486aef67","datavalue":{"value":{"entity-type":"item","numeric-id":5175990,"id":"Q5175990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54749d768374f4aa786b487140767b6ce2aa718","datavalue":{"value":{"amount":"+0.7975008487701416","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":"Q1314288$22F90DD6-0371-4C55-BF35-DF86CE62501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00f6ab09ffac905c84a51370c4bd3759562803","datavalue":{"value":{"entity-type":"item","numeric-id":1575658,"id":"Q1575658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d9cd33262dd98b0560207f1db328cafabe7d51","datavalue":{"value":{"amount":"+0.7972875237464905","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":"Q1314288$18A637D6-065D-4259-8BF4-5AD30AC200C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Are_tableaux_an_improvement_on_truth-tables%3F_Cut-free_proofs_and_bivalence"}}}}}