User:InceptionBot/NewPageSearch/Logic/log

Pattern count: 174 — Error count: 0 — Threshold: 30 — Processing time: 1:37

Scoring notes

• Outer alignment (artificial intelligence) Total score: 59
  • Score: 15, pattern: /\Wtheorem/
  • Score: 10, pattern: /\Wdecidab/
  • Score: 10, pattern: /\Wcomputab/
  • Score: 5, pattern: /\Wtheory/
  • Score: 8, pattern: /\Winfer/
  • Score: 2, pattern: /consisten/
  • Score: 4, pattern: /\Wconsequen/
  • Score: 2, pattern: /\Wargu/
  • Score: 2, pattern: /\Wsystem/
  • Score: 1, pattern: /analy/
• Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert Total score: 56
  • Score: 30, pattern: /\Wset\stheory/
  • Score: 15, pattern: /\Waxiom/
  • Score: 5, pattern: /\Wtheory/
  • Score: 1, pattern: /prov/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /formal/
  • Score: 1, pattern: /analy/
  • Score: 2, pattern: /math/
• Draft:Cardiopulmonary exercise test Total score: 31
  • Score: 10, pattern: /\Wmodal/
  • Score: 10, pattern: /logic/
  • Score: 4, pattern: /deriv/
  • Score: 2, pattern: /\Wconsequen/
  • Score: 2, pattern: /\Wsystem/
  • Score: 2, pattern: /analy/
  • Score: 1, pattern: /math/
• Draft:Functional verification Total score: 65
  • Score: 30, pattern: /category:(\w+\s){0,3}logi(c|cal)/
  • Score: 10, pattern: /\Wcompleteness\W/
  • Score: 10, pattern: /\Wsynta/
  • Score: 10, pattern: /logic/
  • Score: 2, pattern: /\Wsystem/
  • Score: 1, pattern: /formal/
  • Score: 1, pattern: /analy/
  • Score: 1, pattern: /math/
• Draft:Transcendence (physics) Total score: 37
  • Score: 30, pattern: /\Wset\stheory/
  • Score: 5, pattern: /\Wtheory/
  • Score: 2, pattern: /math/
• Draft:LLM-aided Design Total score: 88
  • Score: 30, pattern: /\Wformal\slogic/
  • Score: 10, pattern: /\Wmodal/
  • Score: 10, pattern: /\Wsemantic\W/
  • Score: 10, pattern: /\Wsynta/
  • Score: 10, pattern: /logic/
  • Score: 4, pattern: /\Wrecurs/
  • Score: 4, pattern: /\Winfer/
  • Score: 2, pattern: /consisten/
  • Score: 2, pattern: /\Wsystem/
  • Score: 2, pattern: /reason/
  • Score: 1, pattern: /rational/
  • Score: 2, pattern: /formal/
  • Score: 1, pattern: /analy/