Concepedia

Unification

Unification is a formal method in logic programming that belongs to the class of syntactic matching procedures, differing from its counterparts by specifically computing the most general substitution that makes two logical expressions identical under predicate calculus.

2.8K

Publications

176.9K

Citations

4.3K

Authors

1.5K

Institutions

Publications per year

2017–2026

297

Parents

Publications

2.8K

The GeneCards Suite: From Gene Data Mining to Disease Genome Sequence Analyses

Gil Stelzer, Naomi Rosen, Inbar Plaschkes et al. · Current Protocols in Bioinformatics · 2016 · 5.5K citations

, , +17

Barygenesis without grand unification

M. Fukugita, T. Yanagida · Physics Letters B · 1986 · 3.9K citations

, , +4

On Two Metaphors for Learning and the Dangers of Choosing Just One

Anna Sfard · Educational Researcher · 1998 · 3.6K citations

, , +12

Some Concepts and Consequences of the Theory of Government and Binding

Marion Owen, Noam Chomsky · The Modern Language Review · 1986 · 2K citations

, , +12

Explanatory Unification

Philip Kitcher · Philosophy of Science · 1981 · 1.1K citations · Full text

, , +7

1–5 of 2.8K

Authors

4.3K

  1. LJ
    Lawrence J. Hall

    University of California, Berkeley, United States

    16 publications · 3.6K citations

    16

    h-index

  2. YN
    Yasunori Nomura

    Lawrence Berkeley National Laboratory, United States

    17 publications · 1.2K citations

    15

    h-index

  3. RN
    Rabindra N. Mohapatra

    University of Maryland, College Park, United States

    15 publications · 1.2K citations

    14

    h-index

  4. KA
    Keith A. Olive

    University of Minnesota, United States

    13 publications · 513 citations

    13

    h-index

  5. SD
    Savas Dimopoulos

    Stanford University, United States

    13 publications · 2.6K citations

    12

    h-index

1–5 of 4.3K

Institutions

1.5K

  1. Stanford University

    Stanford, United States

    36 h-index

    91 publications

    15.8K citations

  2. European Organization for Nuclear Research

    Geneva, Switzerland

    34 h-index

    78 publications

    10.9K citations

  3. University of Pennsylvania

    Philadelphia, United States

    33 h-index

    62 publications

    6.2K citations

  4. University of California, Berkeley

    Berkeley, United States

    33 h-index

    83 publications

    11.6K citations

  5. Lawrence Berkeley National Laboratory

    Berkeley, United States

    31 h-index

    79 publications

    11.4K citations

  6. The University of Tokyo

    Tokyo, Japan

    28 h-index

    97 publications

    5.1K citations

  7. University of Cambridge

    Cambridge, United Kingdom

    25 h-index

    38 publications

    2.8K citations

  8. University of Maryland, College Park

    College Park, United States

    24 h-index

    57 publications

    4.5K citations

1–8 of 1.5K

Venues

  1. 58

    h-index

  2. Physics Letters B

    143 publications · 14.5K citations

    50

    h-index

  3. Physical Review Letters

    PRL · 67 publications · 6.8K citations

    46

    h-index

  4. 42

    h-index

  5. Journal of High Energy Physics

    JHEP · 85 publications · 4.2K citations

    35

    h-index

1–5