{"entities":{"Q2804335":{"pageid":2815073,"ns":120,"title":"Item:Q2804335","lastrevid":42137743,"modified":"2025-05-23T17:05:23Z","type":"item","id":"Q2804335","labels":{"en":{"language":"en","value":"ADC method of proof search for intuitionistic propositional natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575046"}},"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":"Q2804335$CB4392C7-2901-4E7F-823F-2DC0D8A7857C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebcfeb81071ae216a81ddaa74b0f6c3b6aa76975","datavalue":{"value":{"text":"ADC method of proof search for intuitionistic propositional natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804335$B771D8A6-3237-465F-A3FF-1E70EC176814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51412dfd83b0401810e9a799ec3f85a0b86f0449","datavalue":{"value":"1444.03160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$AFE54303-817F-4D4C-9EC0-AECC89A0594B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5adfcb32710bd54400bb846c758a3520ad8eec59","datavalue":{"value":{"entity-type":"item","numeric-id":1698341,"id":"Q1698341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804335$38BD2142-6E2A-44DC-B91C-45B201EC5E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804335$1007A219-5F54-4465-BADD-B6253119328A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804335$244F1B44-9C09-450F-B57C-0CCB7ECB2712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$A53F516D-8AD7-4508-8F21-ED782EE0BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$F6E90B1A-EE76-44E6-B68B-57D92FC3D88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$38C95DB9-33C3-413C-870A-34E4B79628B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$62F64C7C-BAFF-4237-8896-5838F380CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$7773DA7F-8ECD-4B29-B75F-18DCDBEC1946","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240cd5bbc4676c75fb9ee131938fabfb58ee8b54","datavalue":{"value":"6575046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$56AFADEA-E90A-4DCA-BE19-153D89DCCDAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804335$884921BF-CFDD-4647-BA2A-B365E530EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804335$B9F5740A-6A1B-45EF-8D37-B9E8FFC99EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1eb588056f32e7c8bc79d53505bdf09350f60b5","datavalue":{"value":"polynomial decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804335$1D005387-B10F-4300-8093-0482D0AA2F91","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":"Q2804335$39A8B726-5B4C-4495-9C35-6D1C7D05D48F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9fac81ed28cd580c703631d1f8564dc853531d3","datavalue":{"value":"https://doi.org/10.1093/logcom/ext032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804335$05224381-A3E2-48BE-9BAB-F47F10415961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"594e5877ff854f2e98923aa7e4717634b79a6aa7","datavalue":{"value":"W2028154605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$1C9FE746-9FF7-4F0B-BAE9-3AE05860A8A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad09661c540875c45772bc9cf05a447a828fe8b9","datavalue":{"value":"10.1093/LOGCOM/EXT032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804335$393D411D-310D-417D-92A9-D844200655A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb1040f20c43ba4b6c8f99391534f60de883ca","datavalue":{"value":{"entity-type":"item","numeric-id":3455774,"id":"Q3455774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7782d6a049af9f0eeaad69585dc36a6e1519769a","datavalue":{"value":{"amount":"+0.8951326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$0C814E0A-61DE-4BAA-92E0-90E75736366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc273f298ad5e70b37cf6c5f09c23bc1ef18610","datavalue":{"value":{"amount":"+0.88106346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$D2C77879-C22C-4B83-92D0-17BA8CAF22B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b35580a11d55a324f56555ac3f3a0a7fb7340cf","datavalue":{"value":{"amount":"+0.8708819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$1E50DD67-277F-4086-A929-D4BA7C742622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381322e01300db6e028cd509463414112a2010e2","datavalue":{"value":{"amount":"+0.8678671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$FBBD77A5-DB30-4734-BC83-4DE093CC452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b099da6fc0c60c5d29be3f1d0f00f837366f08","datavalue":{"value":{"entity-type":"item","numeric-id":5176657,"id":"Q5176657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd8c245759830cbf5f752956653731706028da0","datavalue":{"value":{"amount":"+0.8606288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$3286BCDA-1D9E-4B4F-8628-74AF1B088393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851d8a9ef512272dd8845d833f093f580f6e859e","datavalue":{"value":{"amount":"+0.8597117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$FA65DC0D-C1D1-46F6-81DB-BEC47ADFBFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67dc148f7a79e8916b8988ad3b59deaae6caf8f","datavalue":{"value":{"amount":"+0.85685575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$93D63B16-C72A-40EC-9E4D-BE4CB5ACD3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2d47095c1065adc116805656b8b971d3fdfa9f","datavalue":{"value":{"amount":"+0.8550875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$06322F6E-F485-497A-B4E5-63D57A1604F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee386dc0501ea93991a12a2677952d1fe7da50f5","datavalue":{"value":{"amount":"+0.85313624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$9673F72F-746D-4678-A8FB-68C5FC4FE105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d56d81b2bb0ccbb10200c30f2f3884a963a8cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5688897,"id":"Q5688897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245224253b26c102083f70e522992c86105c85dc","datavalue":{"value":{"amount":"+0.8528038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804335$6E194D60-2CA6-47B7-AFBE-C5D1D18E85EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804335$3B81D44C-5F4F-49CF-84A0-067C6516673D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804335"}}}}}