{"entities":{"Q3809765":{"pageid":5839671,"ns":120,"title":"Item:Q3809765","lastrevid":53520707,"modified":"2026-01-25T03:39:01Z","type":"item","id":"Q3809765","labels":{"en":{"language":"en","value":"Clausal intuitionistic logic II. tableau proof procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4079373"}},"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":"Q3809765$D487EB0D-6F6F-4BE3-BEEB-19217B8506F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4ddc0967441fd6db70baa9368ad1b0c2e09f7bc","datavalue":{"value":{"text":"Clausal intuitionistic logic II. tableau proof procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3809765$FE45AEB1-D017-49ED-86AD-2F1CEE6DD5E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd109adcf92a588adb62738784dbe374b929c48e","datavalue":{"value":"0661.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$E247381D-CD93-4E57-9C01-F124FAE0DD10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75d528771a7637398e7ce2cbb61351200bffe34a","datavalue":{"value":"10.1016/0743-1066(88)90014-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$FDA61F9C-E269-41BD-936B-D8B2F0614222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56e6e004da96d2a6349a9d22f29889cf13b7e987","datavalue":{"value":{"entity-type":"item","numeric-id":3787972,"id":"Q3787972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809765$F375E959-1C27-4548-8DE0-F3FC31F1057E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809765$62602DCA-0EA0-45A5-8EF4-34C00F8596F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3809765$8A693284-3AA2-46AB-BFB6-A8C31B0F4A82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$12BA57F8-DA40-408B-B7BA-DC23668A50C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$90AB01F7-A905-47D1-B725-025D39CCCEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$C89D07A8-23CC-431D-B7C7-DD69AA0DD22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$38E57E66-D6E2-461C-B66A-9399525A8D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc61f34d9b6af11eb0893903ba3191600ad880b","datavalue":{"value":"4079373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$206CBD9B-0753-44E6-9FB1-E0A6E39A1DFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809765$2DB16BBA-ECA1-4E6F-9135-F38810A62A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a593d247db2d7f12c1296f3ebed2e981b5dadb","datavalue":{"value":"clausal intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809765$D428340B-BE3B-44C6-A123-79603BA2BBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809765$C7339BA3-A12B-41C1-97CF-45A93BA39025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6caf966f91b366475c2b3b8343b4cb7325495c58","datavalue":{"value":"Beth's tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809765$265F9CF7-E33D-4210-8039-CF66B08C1FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809765$41D0557A-3E63-4898-9F7E-2D2D5225CB6D","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":"Q3809765$2A2DB379-7B91-4309-A183-52ECF002A2DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c03ad203ce16dcf53484a71b93d75fb1bed9a5ac","datavalue":{"value":"https://doi.org/10.1016/0743-1066(88)90014-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3809765$BE9F360A-0DB2-4EEC-88A7-268BF2D48EC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1ed2e2c2ad7c18546e6e24d4849d4827b4640f1","datavalue":{"value":"W1967187961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$16AAD3A4-A83A-488B-9A78-40372D6B1ADB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4a6461d7b243c61dc761c7942e1818245057de10","datavalue":{"value":"Q127609727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809765$9342A45C-8B28-497C-848F-5F9699BA47DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67cf830e08fb9dd462bb8a64126e0aefb31f39b","datavalue":{"value":{"entity-type":"item","numeric-id":5434490,"id":"Q5434490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bde4f74a9c8543167714e412e20180009aeeb41","datavalue":{"value":{"amount":"+0.8009626865386963","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":"Q3809765$707A77D1-9DDE-46C6-9938-C5A5C23600DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230e3e4fbf963c5a3a563efaf67edd5816c672ad","datavalue":{"value":{"entity-type":"item","numeric-id":3787973,"id":"Q3787973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df6b76890c2b5d2386a0e3cea3f5744b30dbad0","datavalue":{"value":{"amount":"+0.7835397124290466","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":"Q3809765$91E23393-364B-456D-8726-501F85E6AC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f071d59b2ecaa2c575a9b727cb3874ff369994a","datavalue":{"value":{"entity-type":"item","numeric-id":2946662,"id":"Q2946662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062329968f84d7f4e20bdb806ed17799362eaf97","datavalue":{"value":{"amount":"+0.7700275778770447","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":"Q3809765$B286588B-5CEF-4F65-A07E-9587A1ACDE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656bd16bba9708b05c3104eba01ba17e46f56c41","datavalue":{"value":{"entity-type":"item","numeric-id":1820590,"id":"Q1820590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b487116e5b481620a731170ac79234377b2e2c","datavalue":{"value":{"amount":"+0.7644612193107605","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":"Q3809765$D12A607A-1DC3-47DB-845F-E751C362CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f1031a45b4cd5f7e3350daff411c86ab8841d9","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fc090bcf397ba79f337c13de08658e84c1c6b2","datavalue":{"value":{"amount":"+0.7602040767669678","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":"Q3809765$5D5D15F8-0870-4BE1-B57B-1CC1D9356941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3809765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3809765"}}}}}