The DOI matches its Crossref record; 13 of the 13 references it cites were found in a registry or an index.
Strips: A new approach to the application of theorem proving to problem solving
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“Related to program synthesis are the fields of automated theorem proving (Loveland, 2016) and automated planning (Ghallab et al., 2004).Both areas study methods for efficient automated reasoning over formal models, with the former focused on reasoning over mathematical theories and program logics, and with the latter, by analogy (Fikes & Nilsson, 1971), focused on reasoning over theories of”
From Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems (2024) · cites this paper as Fikes & Nilsson, 1971
In the citing paper
“The factored form subsumes STRIPS operators, where the add and delete lists are the difference between an object before and after, with conditional effects organized by type rather than enumerated [Fikes and Nilsson, 1971, Pednault, 1989, McDermott et al., 1998].”
From OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3 (2026) · cites this paper as Fikes and Nilsson, 1971
In the citing paper
“Regression planning presupposes a goal written as a conjunction of facts with operators that declare which facts they add and delete, the STRIPS form [Fikes and Nilsson, 1971].”
From OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3 (2026) · cites this paper as Fikes and Nilsson, 1971
Citations
Cites
(1997) · Naming the Mind: How Psychology Found its Language · doi:10.4135/9781446221815.n7 · Cited by 15,148
Some Philosophical Problems from the Standpoint of Artificial Intelligence
McCarthy, J., & Hayes, P. J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50033-7 · Cited by 3,296
Problem-Solving Methods in Artificial Intelligence
Nilsson, N. J. (1971) · CERN Document Server (European Organization for Nuclear Research) · Cited by 1,607
Self-citationGPS : a case study in generality and problem solving
Ernst, G. W., & Newell, A. (1969) · Cited by 503
Green, C. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50019-2 · Cited by 459
Application of Theorem Proving to Problem Solving
Green, C. (1969) · doi:10.21236/ada459656 · Cited by 290
Toward automatic program synthesis
Manna, Z., & Waldinger, R. J. (1971) · Communications of the ACM · doi:10.1145/362566.362568 · Cited by 285
PROW: a step toward automatic program writing
Waldinger, R. J., & Lee, R. C. T. (1969) · International Joint Conference on Artificial Intelligence · Cited by 114
Extracting information from resolution proof trees
Luckham, D. C., & Nilsson, N. J. (1971) · Artificial Intelligence · doi:10.1016/0004-3702(71)90003-8 · Cited by 61
Self-citationMonitored Execution of Robot Plans Produced by Strips
Fikes, R. E. (1971) · doi:10.21236/ada459662 · Cited by 57
Self-citation
Research works printed but not linked: 1
- Garvey, 1969, User's guide to QA3.5 Question-Answering System, Stanford Research Institute Artifical Intelligence Group Technical Note 15
Cited by
Sorted by citations
Items 901–1,000 of 1,011
Inductive learning of search control rules for planning
Leckie, C. A., & Ingrid Zukerman, A. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00018-6 · Cited by 31
Coordinating heterogeneous teams of robots using temporal symbolic planning
Wurm, K. M., Dornhege, C., Nebel, B., Burgard, W., & Stachniss, C. (2013) · Autonomous Robots · doi:10.1007/s10514-012-9320-1 · Cited by 31
Otiŭm: A web based planner for tourism and leisure
Montejo‐Ráez, A., Perea‐Ortega, J. M., Cumbreras, M. Á. G., & Martínez-Santiago, F. J. (2011) · Expert Systems with Applications · doi:10.1016/j.eswa.2011.02.005 · Cited by 31
Representing dialogic argumentation
Reed, C. (2005) · Knowledge-Based Systems · doi:10.1016/j.knosys.2005.08.002 · Cited by 31
The Complexity of Planning Problems With Simple Causal Graphs
Gimenez, O., & Jonsson, A. (2008) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2432 · Cited by 31
Optimal temporal logic planning in probabilistic semantic maps
Fu, J., Atanasov, N., Topcu, U., & Pappas, G. J. (2016) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra.2016.7487554 · Cited by 31
From model checking to equilibrium checking: Reactive modules for rational verification
Gutiérrez, J., Harrenstein, P., & Wooldridge, M. (2017) · Artificial Intelligence · doi:10.1016/j.artint.2017.04.003 · Cited by 31
Autonomic Computing Architectures
Lalanda, P., McCann, J. A., & Diaconescu, A. (2013) · Undergraduate topics in computer science · doi:10.1007/978-1-4471-5007-7_4 · Cited by 31
Emotionally motivated reinforcement learning based controller
Ayesh, A. (2005) · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · doi:10.1109/icsmc.2004.1398413 · Cited by 31
Learning partial-order macros from solutions
Botea, A., Müller, M., & Schaeffer, J. (2005) · Cited by 31
A selected descriptor-indexed bibliography to the literature on belief revision
Doyle, J., & London, P. E. (1980) · ACM SIGART Bulletin · doi:10.1145/1056441.1056442 · Cited by 31
Interactionist-expectative view on agency and learning
Stojanov, G., Bozinovski, S., & Trajkovski, G. P. (1997) · Mathematics and Computers in Simulation · doi:10.1016/s0378-4754(97)00057-8 · Cited by 31
Intelligent agents as a basis for natural language interfaces
Chin, D. N., & Wilensky, R. (1987) · Cited by 31
Some Notes on the Integration of Planning and Reactivity in Autonomous Mobile Robots
Saffiotti, A. (1993) · Cited by 31
The role of knowledge in the architecture of a robust robot control
Gini, M. L., Doshi, R., Gluch, M., Smith, R. E., & Zualkernan, I. A. (2005) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1985.1087243 · Cited by 31
An architecture for adaptive intelligent systems
Hayes‐Roth, B. (1996) · The MIT Press eBooks · doi:10.7551/mitpress/2026.003.0010 · Cited by 30
CAPE: Corrective Actions from Precondition Errors using Large Language Models
Raman, S. S., Cohen, V., Idrees, I., Rosen, E., Mooney, R. J., Tellex, S., & Paulius, D. (2024) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra57147.2024.10611376 · Cited by 63
Optimal Planning with Global Numerical State Constraints
Ivankovic, F., Haslum, P., Thiébaux, S., Shivashankar, V., & Nau, D. S. (2014) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v24i1.13648 · Cited by 30
When robots are late: Configuration planning for multiple robots with dynamic goals
Rocco, M. D., Pecora, F., & Saffiotti, A. (2013) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2013.6697214 · Cited by 30
An interface for interleaved symbolic-geometric planning and backtracking
de Silva, L., Pandey, A. K., & Alami, R. (2013) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2013.6696358 · Cited by 30
Competition of Distributed and Multiagent Planners (CoDMAP)
Štolba, M., Komenda, A., & Kovács, D. L. (2016) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v30i1.9870 · Cited by 30
Robust planning with incomplete domain models
Nguyen, T. A., Sreedharan, S., & Subbarao Kambhampati, B. (2017) · Artificial Intelligence · doi:10.1016/j.artint.2016.12.003 · Cited by 31
Novák, P., & Vyskočil, J. (2022) · Processes · doi:10.3390/pr10020404 · Cited by 33
Agent Based Modeling and Simulation
Bandini, S., Manzoni, S., & Vizzari, G. (2011) · Springer eBooks · doi:10.1007/978-1-4614-1800-9_7 · Cited by 29
Variable Dependency in Local Search: Prevention Is Better Than Cure
Prestwich, S. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-72788-0_14 · Cited by 30
The process mediation framework for semantic web services
Vaculín, R., Neruda, R., & Sycara, K. P. (2009) · International Journal of Agent-Oriented Software Engineering · doi:10.1504/ijaose.2009.022945 · Cited by 30
Steedman, M. J., & Petrick, R. P. A. (2007) · Annual Meeting of the Special Interest Group on Discourse and Dialogue · doi:10.18653/v1/2007.sigdial-1.47 · Cited by 30
A Framework for Service Robots in Smart Home: An Efficient Solution for Domestic Healthcare
Ramoly, N., Bouzeghoub, A., & Finance, B. (2018) · IRBM · doi:10.1016/j.irbm.2018.10.010 · Cited by 30
Anchored Interactive Learning Environments
Crews, T. R., Biswas, G., Goldman, S. R., & Bransford, J. D. (1997) · Cited by 30
PHI : a logic-based tool for intelligent help systems
Bauer, M., Biundo, S., Dengler, D., Koehler, J., & Paul, G. (1992) · doi:10.22028/d291-24865 · Cited by 30
Learning action models from plan examples with incomplete knowledge
Yang, Q., Wu, K., & Jiang, Y. (2005) · Cited by 30
Rights and commitment in multi-agent agreements
Norman, T. J., Carles Sierra, A., & Jennings, N. R. (2002) · International Conference on Multi Agent Systems · doi:10.1109/icmas.1998.699053 · Cited by 30
Nonlinear problem solving using intelligent casual-commitment
Veloso, M. (2018) · KiltHub Repository · doi:10.1184/r1/6607757 · Cited by 30
Multiple perspective dynamic decision making
Leong, T.-Y. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00082-4 · Cited by 30
Reconstructing force-dynamic models from video sequences
Siskind, J. M. (2003) · Artificial Intelligence · doi:10.1016/s0004-3702(03)00112-7 · Cited by 30
What robots can do: robot programs and effective achievability
Lin, F., & Levesque, H. J. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00041-1 · Cited by 30
A Predicate-Transition Net Model for Multiple Agent Planning
Murata, T., Nelson, P. C., & Yim, J. (1991) · Information Sciences · doi:10.1016/0020-0255(91)90087-b · Cited by 30
Sacerdoti, E. D. (1979) · Defense Technical Information Center (DTIC) · Cited by 30
Control architectures for autonomous and interacting agents: A survey
Müller, J. P. (1997) · Lecture notes in computer science · doi:10.1007/3-540-62686-7_25 · Cited by 31
Towards a general framework for composing disjunctive and iterative macro-operators
Shell, P., & Carbonell, J. (1989) · International Joint Conference on Artificial Intelligence · Cited by 30
Systematic Adaptation for Case-Based Planning
Hanks, S. H., & Weld, D. S. (1992) · Elsevier eBooks · doi:10.1016/b978-0-08-049944-4.50017-3 · Cited by 30
Flexible strategy learning: analogical replay of problem solving episodes
Veloso, M. (1994) · Cited by 30
A methodology for building believable social agents
Reilly, W. S. N. (1997) · doi:10.1145/267658.267683 · Cited by 30
Raskutti, B., & Ingrid Zukerman, A. (1991) · User Modeling and User-Adapted Interaction · doi:10.1007/bf00141048 · Cited by 30
Reliable real‐time robot operation employing intelligent forward recovery
Smith, R. E., & Gini, M. L. (1986) · Journal of Robotic Systems · doi:10.1002/rob.4620030307 · Cited by 30
Argo: a system for design by analogy
Huhns, M. N., & Acosta, R. D. (1988) · IEEE Expert · doi:10.1109/64.21891 · Cited by 30
Integrating sensing, task planning, and execution for robotic assembly
Tung, C.-P., & Kak, A. C. (1996) · IEEE Transactions on Robotics and Automation · doi:10.1109/70.488940 · Cited by 30
Nagata, T., Honda, K., & TERAMOTO, Y. (1988) · IEEE Journal on Robotics and Automation · doi:10.1109/56.766 · Cited by 30
State deltas: a formalism for representing segments of computation.
Crocker, S. D. (1977) · Cited by 30
Extracting STRIPS Representations of Actions and Events
Sil, A., & Yates, A. (2011) · Cited by 29
From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description
Pizzi, D., & Cavazza, M. (2006) · Lecture notes in computer science · doi:10.1007/978-3-540-89454-4_36 · Cited by 29
Preference-based reasoning in BDI agent systems
Visser, S., Thangarajah, J., Harland, J., & Dignum, F. P. M. (2015) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-015-9288-2 · Cited by 29
Action-Model Based Multi-agent Plan Recognition
Zhuo, H. H., Yang, Q., & Subbarao Kambhampati, B. (2012) · Cited by 29
Modelling Motivation and Action Control in Cognitive Systems
Strube, G. (1998) · Cited by 29
MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use
Chrpa, L., Vallati, M., & McCluskey, T. L. (2014) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v24i1.13626 · Cited by 29
A Survey on Agent-Oriented Oriented Software Engineering Research
Gómez-Sanz, J. J., Gervais, M., & Weiß, G. (2006) · Kluwer Academic Publishers eBooks · doi:10.1007/1-4020-8058-1_4 · Cited by 29
The Coherence of Incoherent Discourse
Hobbs, J. R., & Agar, M. (1985) · Journal of Language and Social Psychology · doi:10.1177/0261927x8543004 · Cited by 29
Intelligent Interaction for Human-Friendly Service Robot in Smart House Environment
Bien, Z., Lee, H.-E., Do, J., Kim, Y.-H., Park, K., & Yang, S.-E. (2008) · International Journal of Computational Intelligence Systems · doi:10.2991/ijcis.2008.1.1.6 · Cited by 29
Alterman, R., & Garland, A. (2001) · Cognitive Science · doi:10.1207/s15516709cog2504_4 · Cited by 29
Plan recognition for intelligent interfaces
Goodman, B., & Litman, D. J. (2002) · Conference on Artificial Intelligence for Applications · doi:10.1109/caia.1990.89203 · Cited by 29
Woo, C. W. (1992) · Cited by 29
parcPlan: a planning architecture with parallel actions, resources and constraints
Lever, J. M., & Richards, B. (1994) · Lecture notes in computer science · doi:10.1007/3-540-58495-1_22 · Cited by 29
Rationale in planning: causality, dependencies, and decisions
Polyak, S. T., & Tate, A. (1998) · The Knowledge Engineering Review · doi:10.1017/s026988899800201x · Cited by 29
Bibel, W. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00064-2 · Cited by 29
A critical look at critics in HTN planning
Erol, K., Hendler, J., Nau, D. S., & Tsuneto, R. (1995) · Cited by 29
Building Softbots for UNIX (Preliminary Report)
Etzioni, O., Lesh, N. B., & Segal, R. B. (1994) · Cited by 29
On the application of rule-based techniques to the design of advice-giving systems
Jackson, P., & Lefrère, P. (1984) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(84)80006-1 · Cited by 29
RLL-1: A Representation Language Language
Greiner, R. (1980) · doi:10.21236/ada096510 · Cited by 29
Chakraborti, T., & Subbarao Kambhampati, B. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1801.09854 · Cited by 29
Constructing Situations and Time
Fernando, T. (2010) · Journal of Philosophical Logic · doi:10.1007/s10992-010-9155-1 · Cited by 28
Guo, M., Johansson, K. H., & Dimarogonas, D. V. (2013) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2013.6696359 · Cited by 28
Robot Task Commander: A framework and IDE for robot application development
Hart, S., Dinh, P., Yamokoski, J. D., Wightman, B., & Radford, N. A. (2014) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2014.6942761 · Cited by 28
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
Heinecke, A., Brückmann, T., Griebe, T., & Gruhn, V. (2010) · IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS) · doi:10.1109/ecbs.2010.14 · Cited by 28
Planning-Based Narrative Generation in Simulated Game Universes
Chang, H.-M., & Soo, V. (2009) · IEEE Transactions on Computational Intelligence and AI in Games · doi:10.1109/tciaig.2009.2034638 · Cited by 28
Mimisbrunnur: AI-Assisted Authoring for Interactive Storytelling
Stefnisson, I. S., & Thue, D. (2018) · Artificial Intelligence and Interactive Digital Entertainment Conference · doi:10.1609/aiide.v14i1.13046 · Cited by 30
Discovering Motor Programs by Recomposing Demonstrations
Shankar, T., Tulsiani, S., Pinto, L., & Gupta, A. (2020) · International Conference on Learning Representations · Cited by 29
DEL-based epistemic planning: Decidability and complexity
Bolander, T., Charrier, T., Pinchinat, S., & Schwarzentruber, F. (2020) · Artificial Intelligence · doi:10.1016/j.artint.2020.103304 · Cited by 28
Design of Advanced Human–Robot Collaborative Cells for Personalized Human–Robot Collaborations
Umbrico, A., Orlandini, A., Cesta, A., Faroni, M., Beschi, M., Pedrocchi, N., Scala, A., Tavormina, P., Koukas, S., Zalonis, A., et al. (2022) · Applied Sciences · doi:10.3390/app12146839 · Cited by 30
Expressivity of STRIPS-Like and HTN-Like Planning
Lekavý, M., & Návrat, P. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-72830-6_13 · Cited by 28
Jensen, R. M., & Veloso, M. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48317-9_9 · Cited by 28
Composing High-Level Plans for Declarative Agent Programming
Meneguzzi, F., & Luck, M. (2007) · International Workshop on Declarative Agent Languages and Technologies · doi:10.1007/978-3-540-77564-5_5 · Cited by 29
Planning with a task modeling framework in manufacturing robotics
Huckaby, J., Vassos, S., & Christensen, H. I. (2013) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2013.6697194 · Cited by 28
Martens, C., Prenzel, O., & Graeser, A. (2007) · doi:10.5772/5159 · Cited by 28
A Model of Explicit Context Representation and Use for Intelligent Agents
Turner, R. M. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48315-2_29 · Cited by 28
Introspective multistrategy learning: constructing a learning strategy under reasoning failure
Cox, M. T. (1996) · Defense Technical Information Center (DTIC) · Cited by 28
Human management of a hierarchical system for the control of multiple mobile robots
Adams, J. A., & Paul, R. (1995) · ScholarlyCommons (University of Pennsylvania) · Cited by 28
Integrating Planning and Execution in Stochastic Domains
Dearden, R., & Boutilier, C. E. (1994) · Elsevier eBooks · doi:10.1016/b978-1-55860-332-5.50026-2 · Cited by 28
Bergmann, R., Pews, G., & Wilke, W. (1994) · Lecture notes in computer science · doi:10.1007/3-540-58330-0_86 · Cited by 28
Fikes, R. E., & Nilsson, N. J. (1993) · Artificial Intelligence · doi:10.1016/0004-3702(93)90190-m · Cited by 28
Self-citationInteger optimization models of AI planning problems
Kautz, H., & Walser, J. P. (2000) · The Knowledge Engineering Review · doi:10.1017/s0269888900001053 · Cited by 28
Design Methods for Scientific Hypothesis Formation and Their Application to Molecular Biology
Karp, P. D. (1993) · Machine Learning · doi:10.1007/bf00993062 · Cited by 28
Application of voting to fusion of purposive modules: An experimental investigation
Pirjanian, P., Christensen, H. I., & Fayman, J. A. (1998) · Robotics and Autonomous Systems · doi:10.1016/s0921-8890(98)00012-8 · Cited by 28
Quaresma, P., & Lopes, J. (1995) · The Journal of Logic Programming · doi:10.1016/0743-1066(95)00032-f · Cited by 28
Planning with Neural Networks and Reinforcement Learning
Baldassarre, G. (2003) · Cited by 28
SORNet: Spatial Object-Centric Representations for Sequential ManipulationPreprint
Yuan, W., Paxton, C., Desingh, K., & Fox, D. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2109.03891 · Cited by 28
Rovida, F., & Krüger, V. (2015) · IEEE International Conference on Industrial Technology (ICIT) · doi:10.1109/icit.2015.7125585 · Cited by 27
I want to be your friend: establishing relations with emotionally intelligent agents
Dias, J., & Paiva, A. (2013) · doi:10.5555/2484920.2485041 · Cited by 27
Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations
Domshlak, C., & Mirkis, V. (2015) · Journal of Artificial Intelligence Research · doi:10.1613/jair.4443 · Cited by 27
A Tabu Search Heuristic for Resource Management in Naval Warfare
Blodgett, D. E., Michel Gendreau, A., Guertin, F., Potvin, J., & Séguin, R. (2003) · Journal of Heuristics · doi:10.1023/a:1022525529778 · Cited by 27
Chapter 1 Knowledge Representation and Classical Logic
Lifschitz, V., Morgenstern, L., & Plaisted, D. A. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)03001-5 · Cited by 27
Metadata
- Authors
- Fikes, R. E., & Nilsson, N. J.
- Affiliations
- SRI International (US)
- Venue
- Artificial Intelligence
- Publisher
- Elsevier BV
- Published
- 1971-12
- Volume
- 2
- Issue
- 3-4
- Pages
- 189-208
- ISSN
- 0004-3702 (ISSN-L)
- OpenAlex
- W2337392266
- Cited by
- 4,882
- References
- 13
- Citations by year
- 2026: 53 · 2025: 86 · 2024: 71 · 2023: 94 · 2022: 132 · 2021: 135 · 2020: 138 · 2019: 112 · 2018: 169 · 2017: 133 · 2016: 114 · 2015: 128 · 2014: 165 · 2013: 159 · 2012: 157
- FWCI
- 16.74
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Artificial Intelligence (publishedVersion)
- American Association for Artificial Intelligence eBooks
- International Joint Conference on Artificial Intelligence
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › Constraint Satisfaction and Optimization
- Keywords
- STRIPS, problem solving, theorem proving, means-ends analysis, world models, first-order logic, operator sequences, goal satisfaction
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
