Hypothesis finding with proof theoretical appropriateness criteria (Q817840)

From MaRDI portal





scientific article; zbMATH DE number 5013334
Language Label Description Also known as
default for all languages
No label defined
    English
    Hypothesis finding with proof theoretical appropriateness criteria
    scientific article; zbMATH DE number 5013334

      Statements

      Hypothesis finding with proof theoretical appropriateness criteria (English)
      0 references
      0 references
      0 references
      20 March 2006
      0 references
      hypothesis finding
      0 references
      connection method
      0 references
      relevance logic
      0 references
      residue hypotheses
      0 references
      inductive logic
      0 references
      abduction and knowledge discovery
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers