Search results
From MaRDI portal
- https://portal.mardi4nfdi.de/entity/Q4385442 1998-11-10 Paper Structured proof procedures 1997-03-03 Paper Interaction with the Boyer-Moore theorem prover: A...10 bytes (16 words) - 14:32, 8 December 2023
- International Law 2010-09-29 Paper Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation 2010-01-14 Paper Argument-Based Decision...10 bytes (19 words) - 19:03, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4860658 1996-02-13 Paper Herbrand style proof procedures for modal logic 1994-09-26 Paper First order abduction via tableau...10 bytes (19 words) - 15:54, 9 December 2023
- Logic Programs with First-Order Formulae 2018-07-06 Paper Dialectical Proof Procedures for Probabilistic Abstract Argumentation 2018-07-06 Paper Fundamental...10 bytes (18 words) - 19:48, 24 September 2023
- Matings in matrices 1983-01-01 Paper A comparative study of several proof procedures 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3667967 1982-01-01...10 bytes (17 words) - 16:04, 10 December 2023
- ground rewrite rules in polynomial time 1993-05-16 Paper Graph-based proof procedures for horn clauses 1993-01-23 Paper https://portal.mardi4nfdi.de/entity/Q3493257...10 bytes (16 words) - 13:14, 24 September 2023
- Argumentation 2011-06-10 Paper Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation 2010-01-14 Paper Argument-Based Decision...10 bytes (18 words) - 20:19, 24 September 2023
- mardi4nfdi.de/entity/Q2754112 2001-11-11 Paper Inference rules and proof procedures for inequations 1990-01-01 Paper Computability and implementability...10 bytes (17 words) - 10:00, 24 September 2023
- mardi4nfdi.de/entity/Q4013772 1992-09-27 Paper Inference rules and proof procedures for inequations 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3817658...10 bytes (19 words) - 10:09, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q3509186 2008-07-01 Paper Dialectic proof procedures for assumption-based, admissible argumentation 2007-10-23 Paper https://portal...10 bytes (18 words) - 15:14, 6 October 2023
- Paper Incorporating decision procedures in implicit induction. 2003-08-21 Paper A rewriting approach to satisfiability procedures. 2003-08-19 Paper https://portal...10 bytes (17 words) - 09:39, 25 September 2023
- Non-distributive relatives of ETL and NFL 2021-04-27 Paper Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss 2019-01-14 Paper...10 bytes (16 words) - 22:17, 24 September 2023
- choice rules with vetoers 2013-01-01 Paper There are more strategy-proof procedures than you think 2012-11-08 Paper Majority selection of one alternative...10 bytes (18 words) - 12:10, 11 December 2023
- choice rules with vetoers 2013-01-01 Paper There are more strategy-proof procedures than you think 2012-11-08 Paper Majority selection of one alternative...10 bytes (18 words) - 12:11, 11 December 2023
- Implementation of the Model Elimination Proof Procedure 1974-01-01 Paper A Unifying View of Some Linear Herbrand Procedures 1972-01-01 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 16:04, 10 December 2023
- Paper Embedding complex decision procedures inside an interactive theorem prover. 1997-05-12 Paper Structured proof procedures 1997-03-03 Paper A multicontext...10 bytes (16 words) - 10:29, 6 October 2023
- 1999-03-16 Paper TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic 1995-01-12 Paper...10 bytes (16 words) - 10:24, 7 October 2023
- Logic 2014-09-26 Paper Rewrite-Based Decision Procedures 2013-12-06 Paper Rewrite-Based Satisfiability Procedures for Recursive Data Structures 2013-12-06 Paper...10 bytes (16 words) - 11:26, 6 October 2023
- de/entity/Q5559220 1965-01-01 Paper An improved proof procedure1 1960-01-01 Paper A Mechanical Proof Procedure and its Realization in an Electronic Computer...10 bytes (17 words) - 14:07, 6 October 2023
- for testing decision procedures in modal logics 2019-10-01 Paper Ideal and real belief about belief 2019-04-29 Paper ABSFOL: A proof checker with abstraction...10 bytes (17 words) - 13:38, 8 December 2023
