User:InceptionBot/NewPageSearch/Logic/log

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

Scoring notes

• Leonardo de Moura Total score: 65
  • Score: 30, pattern: /\Wskolem/
  • Score: 30, pattern: /\Wtheorem/
  • Score: 2, pattern: /prov/
  • Score: 2, pattern: /proof/
  • Score: 1, pattern: /formal/
• Draft:Magic state Total score: 53
  • Score: 30, pattern: /\Wquantification/
  • Score: 15, pattern: /\Wtheorem/
  • Score: 5, pattern: /\Wtheory/
  • Score: 1, pattern: /prov/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /math/
• Draft:Centered polygonal number theorem Total score: 43
  • Score: 30, pattern: /\Wtheorem/
  • Score: 10, pattern: /\Wtheory/
  • Score: 1, pattern: /analy/
  • Score: 2, pattern: /math/
• Draft:Cinematic Taxonomy Total score: 32
  • Score: 10, pattern: /\Wsemantic\W/
  • Score: 10, pattern: /\Wsynta/
  • Score: 5, pattern: /\Wtheory/
  • Score: 5, pattern: /logic/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /analy/
• Draft:Abstract bullshit Total score: 109
  • Score: 30, pattern: /category:(\w+\s){0,3}logi(c|cal)/
  • Score: 30, pattern: /\Wquine/
  • Score: 30, pattern: /\WRudolf\sCarnap/
  • Score: 5, pattern: /\Wtheory/
  • Score: 10, pattern: /logic/
  • Score: 1, pattern: /prov/
  • Score: 2, pattern: /\Wconsequen/
  • Score: 4, pattern: /\Wargu/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /\Wbelie/
  • Score: 2, pattern: /reason/
  • Score: 2, pattern: /analy/
  • Score: 1, pattern: /math/
  • Score: -10, pattern: /social/
• Draft:University of Toronto Department of Computer Science Total score: 49
  • Score: 30, pattern: /\WAlan\sTuring/
  • Score: 10, pattern: /\Wcomputab/
  • Score: 5, pattern: /\Wtheory/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /formal/
  • Score: 2, pattern: /math/