Unverified50% confidenceFactExact time
Pellet 推理器由马里兰大学开发，支持增量推理（Incremental Reasoning）
1
Sources
50%
Confidence
Long-term
Relevance
7/22/2026
First Seen
Sources
Related Claims
UnverifiedThe concept of Computational Thinking was formally proposed in 2006 by Jeannette Wing, a professor at Carnegie Mellon University, encompassing four core dimensions: decomposition, pattern recognition, abstraction, and algorithm design57% similarUnverifiedIn 1854, George Boole published The Laws of Thought, expressing logical relationships using algebraic equations (AND corresponding to multiplication, OR to addition, NOT to complementation), proving that logical reasoning could be reduced to symbolic computation.56% similarUnverifiedThe concept of Pareto optimality originates from the theory of Italian economist Vilfredo Pareto.53% similarUnverifiedIn the topic ideation stage, Claude Scholar employs the 5W1H brainstorming method to transform vague ideas into concrete research questions.53% similarUnverifiedHoare logic was proposed by computer scientist Tony Hoare in 1969, providing mathematical deductive proof of program correctness through precondition–program statement–postcondition triples.52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/585969API
curl https://kongchang.com/api/v1/knowledge/claims/585969MCP
get_claim(id=585969)