User:InceptionBot/NewPageSearch/Logic/log

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

Scoring notes

• Ciesielski's isomorphism Total score: 31
  • Score: 15, pattern: /\Wtheorem/
  • Score: 10, pattern: /\Wtheory/
  • Score: 2, pattern: /prov/
  • Score: 2, pattern: /analy/
  • Score: 2, pattern: /math/
• Roy Dyckhoff Total score: 522
  • Score: 30, pattern: /category:(\w+\s){0,3}logi(c|cal)/
  • Score: 30, pattern: /\Wformal\slogic/
  • Score: 30, pattern: /\WGentzen/
  • Score: 60, pattern: /\Wintuitionistic\slogic/
  • Score: 60, pattern: /\Wmathematical\slogic/
  • Score: 30, pattern: /\Wmodal\slogic/
  • Score: 60, pattern: /\Wproof\stheory/
  • Score: 60, pattern: /\Wpropositional\scalculus/
  • Score: 60, pattern: /\Wpropositional\slogic/
  • Score: 30, pattern: /\Wtheorem/
  • Score: 20, pattern: /\Wdecidab/
  • Score: 10, pattern: /\Wmodal/
  • Score: 10, pattern: /\Wtheory/
  • Score: 10, pattern: /logic/
  • Score: 5, pattern: /\Waristot/
  • Score: 8, pattern: /\Wproposition/
  • Score: 2, pattern: /prov/
  • Score: 2, pattern: /proof/
  • Score: 1, pattern: /\Wsystem/
  • Score: 2, pattern: /formal/
  • Score: 2, pattern: /math/
• Sharh Sunan Abi Dawud Total score: 50
  • Score: 10, pattern: /\Wsemantic\W/
  • Score: 10, pattern: /\Wsynta/
  • Score: 5, pattern: /\Wtheory/
  • Score: 5, pattern: /logic/
  • Score: 2, pattern: /consisten/
  • Score: 4, pattern: /contradict/
  • Score: 4, pattern: /deriv/
  • Score: 2, pattern: /prov/
  • Score: 2, pattern: /\Wsystem/
  • Score: 1, pattern: /\Wbelie/
  • Score: 1, pattern: /reason/
  • Score: 1, pattern: /rational/
  • Score: 2, pattern: /analy/
  • Score: 1, pattern: /\Wrhetoric/
• William H. Lord Total score: 36
  • Score: 30, pattern: /\Wformalism/
  • Score: 5, pattern: /\Wformalis/
  • Score: 1, pattern: /formal/
• The World Philosophy Made: From Plato to the Digital Age Total score: 31
  • Score: 30, pattern: /\WGödel/
  • Score: 15, pattern: /\Wtheorem/
  • Score: 5, pattern: /\Wtheory/
  • Score: 5, pattern: /logic/
  • Score: 5, pattern: /\Waristot/
  • Score: 4, pattern: /\Wargu/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /reason/
  • Score: 2, pattern: /rational/
  • Score: 1, pattern: /analy/
  • Score: 2, pattern: /math/
  • Score: -20, pattern: /politic/
  • Score: -20, pattern: /social/
• Thomas Hofweber Total score: 69
  • Score: 30, pattern: /category:(\w+\s){0,3}logi(c|cal)/
  • Score: 30, pattern: /\Wformal\ssemantics/
  • Score: 5, pattern: /logic/
  • Score: 2, pattern: /analy/
  • Score: 2, pattern: /math/
• Draft:Aurora Program Total score: 71
  • Score: 30, pattern: /\Wboole/
  • Score: 10, pattern: /\Wsemantic\W/
  • Score: 10, pattern: /\Wsynta/
  • Score: 5, pattern: /\Wtheory/
  • Score: 5, pattern: /logic/
  • Score: 2, pattern: /\Wdeducti/
  • Score: 4, pattern: /\Winfer/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /reason/
  • Score: 1, pattern: /analy/
  • Score: 1, pattern: /math/
  • Score: 1, pattern: /\Wgramma/
• Draft:Exposure-based modeling of operational risk Total score: 85
  • Score: 60, pattern: /\Wquantification/
  • Score: 5, pattern: /\Wtheory/
  • Score: 4, pattern: /\Wproposition/
  • Score: 4, pattern: /consisten/
  • Score: 4, pattern: /\Wconsequen/
  • Score: 2, pattern: /\Wsystem/
  • Score: 1, pattern: /reason/
  • Score: 2, pattern: /rational/
  • Score: 1, pattern: /analy/
  • Score: 2, pattern: /math/
• Draft:Moraltarianism Total score: 32
  • Score: 10, pattern: /logic/
  • Score: 5, pattern: /\Wprinciple\sof/
  • Score: 2, pattern: /consisten/
  • Score: 8, pattern: /deriv/
  • Score: 1, pattern: /prov/
  • Score: 2, pattern: /\Wconsequen/
  • Score: 2, pattern: /\Wargu/
  • Score: 1, pattern: /\Wsystem/
  • Score: 1, pattern: /\Wbelie/
• Draft:AI code agent Total score: 148
  • Score: 30, pattern: /\WAlonzo\sChurch/
  • Score: 30, pattern: /\Wdeductive\ssystem/
  • Score: 30, pattern: /\Wformal\slogic/
  • Score: 15, pattern: /\Wtheorem/
  • Score: 10, pattern: /\Wsynta/
  • Score: 5, pattern: /logic/
  • Score: 2, pattern: /\Wdeducti/
  • Score: 4, pattern: /\Wrecurs/
  • Score: 4, pattern: /\Winfer/
  • Score: 4, pattern: /\Winducti/
  • Score: 2, pattern: /consisten/
  • Score: 4, pattern: /deriv/
  • Score: 1, pattern: /prov/
  • Score: 1, pattern: /proof/
  • Score: 1, pattern: /\Wsystem/
  • Score: 2, pattern: /reason/
  • Score: 1, pattern: /formal/
  • Score: 1, pattern: /analy/
  • Score: 1, pattern: /math/