단일화 (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "단일화" in Korean language version.

Last modified: 00:30:34, 27 September 2026 (UTC)

Ref.Un. Ref.Website

Global rank Korean rank

2115doi.org

2^nd place

3^rd place

75semanticscholar.org

15^th place

11^th place

52arxiv.org

49^th place

28^th place

44web.archive.org

1^st place

33psu.edu

299^th place

150^th place

31inria.fr

6,372^nd place

4,001^st place

21raw.githubusercontent.com

low place

1,330^th place

11lsv.fr

low place

11cwi.nl

low place

9,234^th place

11numdam.org

8,359^th place

1,716^th place

11aitopics.org

low place

11archive.org

6^th place

5^th place

11uwaterloo.ca

3,649^th place

1,650^th place

11bu.edu

2,348^th place

1,367^th place

11strictlypositive.org

low place

11worldcat.org

4^th place

6^th place

11swi-prolog.org

low place

11aclweb.org

low place

5,088^th place

11tu-darmstadt.de

low place

11springer.com

182^nd place

185^th place

11acm.org

1,200^th place

416^th place

11polytechnique.fr

low place

aclweb.org (Global: low place; Korean: 5,088^th place)

Jonathan Calder, Mike Reape, and Hank Zeevat,, An algorithm for generation in unification categorial grammar. In Proceedings of the 4th Conference of the European Chapter of the Association for Computational Linguistics, pages 233-240, Manchester, England (10–12 April), University of Manchester Institute of Science and Technology, 1989.

acm.org (Global: 1,200^th place; Korean: 416^th place)

portal.acm.org

Gérard Huet: Higher Order Unification 30 Years Later

aitopics.org (Global: low place; Korean: low place)

J.A. Robinson (1971). 《Computational logic: The unification computation》. 《Machine Intelligence》 6. 63–72쪽. 2024년 1월 28일에 원본 문서에서 보존된 문서. 2025년 10월 30일에 확인함.

archive.org (Global: 6^th place; Korean: 5^th place)

David A. Duffy (1991). 《Principles of Automated Theorem Proving》. New York: Wiley. ISBN 0-471-92784-8. Here: Introduction of sect.3.3.3 "Unification", p.72.

arxiv.org (Global: 49^th place; Korean: 28^th place)

Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa (2021년 12월 14일). 《Efficient Full Higher-Order Unification》. 《Logical Methods in Computer Science》 17. 6919쪽. arXiv:2011.09507. doi:10.46298/lmcs-17(4:18)2021.
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier (2009). Lectures on Jacques Herbrand as a Logician (SEKI Report). DFKI. arXiv:0902.4682. Here: p.56

bu.edu (Global: 2,348^th place; Korean: 1,367^th place)

cs.bu.edu

Baader, Franz; Snyder, Wayne (2001). 〈Unification Theory〉 (PDF). 《Handbook of Automated Reasoning》. 445–533쪽. doi:10.1016/B978-044450813-3/50010-2. ISBN 978-0-444-50813-3.

cwi.nl (Global: low place; Korean: 9,234^th place)

homepages.cwi.nl

Apt, Krzysztof R. (1997). 《From logic programming to Prolog》 1. publ판. London Munich: Prentice Hall. 24쪽. ISBN 013230368X.

doi.org (Global: 2^nd place; Korean: 3^rd place)

dx.doi.org

Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa (2021년 12월 14일). 《Efficient Full Higher-Order Unification》. 《Logical Methods in Computer Science》 17. 6919쪽. arXiv:2011.09507. doi:10.46298/lmcs-17(4:18)2021.
Fages, François; Huet, Gérard (1986). 《Complete Sets of Unifiers and Matchers in Equational Theories》. 《Theoretical Computer Science》 43. 189–200쪽. doi:10.1016/0304-3975(86)90175-1.
Martelli, Alberto; Montanari, Ugo (Apr 1982). 《An Efficient Unification Algorithm》. 《ACM Trans. Program. Lang. Syst.》 4. 258–282쪽. doi:10.1145/357162.357169. S2CID 10921306.
Robinson, J.A. (Jan 1965). 《A Machine-Oriented Logic Based on the Resolution Principle》. 《Journal of the ACM》 12. 23–41쪽. doi:10.1145/321250.321253. S2CID 14389185. ; Here: sect.5.8, p.32
de Champeaux, Dennis (Aug 2022). 《Faster Linear Unification Algorithm》 (PDF). 《Journal of Automated Reasoning》 66. 845–860쪽. doi:10.1007/s10817-022-09635-1.
Baader, Franz; Snyder, Wayne (2001). 〈Unification Theory〉 (PDF). 《Handbook of Automated Reasoning》. 445–533쪽. doi:10.1016/B978-044450813-3/50010-2. ISBN 978-0-444-50813-3.
McBride, Conor (October 2003). 《First-Order Unification by Structural Recursion》. 《Journal of Functional Programming》 13. 1061–1076쪽. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. 2012년 3월 30일에 확인함.
Walther, Christoph (1985). 《A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution》 (PDF). 《Artif. Intell.》 26. 217–224쪽. doi:10.1016/0004-3702(85)90029-3. 2011년 7월 8일에 원본 문서 (PDF)에서 보존된 문서. 2013년 6월 28일에 확인함.
Smolka, Gert (Nov 1988). 《Logic Programming with Polymorphically Order-Sorted Types》 (PDF). Int. Workshop Algebraic and Logic Programming. LNCS. Springer. 53–70쪽. doi:10.1007/3-540-50667-5_58.
F. Fages (1987). 《Associative-Commutative Unification》 (PDF). 《J. Symbolic Comput.》 3. 257–275쪽. doi:10.1016/s0747-7171(87)80004-4. S2CID 40499266.
A. Boudet; J.P. Jouannaud; M. Schmidt-Schauß (1989). 《Unification of Boolean Rings and Abelian Groups》. 《Journal of Symbolic Computation》 8. 449–477쪽. doi:10.1016/s0747-7171(89)80054-9.
Warren D. Goldfarb (1981). 《The Undecidability of the Second-Order Unification Problem》. 《TCS》 13. 225–230쪽. doi:10.1016/0304-3975(81)90040-2.
Gérard P. Huet (1973). 《The Undecidability of Unification in Third Order Logic》. 《Information and Control》 22. 257–267쪽. doi:10.1016/S0019-9958(73)90301-X.
Miller, Dale (1991). 《A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification》 (PDF). 《Journal of Logic and Computation》 1. 497–536쪽. doi:10.1093/logcom/1.4.497.
Libal, Tomer; Miller, Dale (May 2022). 《Functions-as-constructors higher-order unification: extended pattern unification》. 《Annals of Mathematics and Artificial Intelligence》 90. 455–479쪽. doi:10.1007/s10472-021-09774-y.

inria.fr (Global: 6,372^nd place; Korean: 4,001^st place)

hal.inria.fr

F. Fages (1987). 《Associative-Commutative Unification》 (PDF). 《J. Symbolic Comput.》 3. 257–275쪽. doi:10.1016/s0747-7171(87)80004-4. S2CID 40499266.

lsv.fr (Global: low place; Korean: low place)

Dowek, Gilles (2001년 1월 1일). 〈Higher-order unification and matching〉. 《Handbook of automated reasoning》. Elsevier Science Publishers B. V. 1009–1062쪽. ISBN 978-0-444-50812-6. 2019년 5월 15일에 원본 문서에서 보존된 문서. 2019년 5월 15일에 확인함.

numdam.org (Global: 8,359^th place; Korean: 1,716^th place)

Jacques Herbrand (1930). 《Recherches sur la théorie de la demonstration》 (PDF) (Ph.D. thesis). A. Université de Paris. Here: p.96-97

polytechnique.fr (Global: low place; Korean: low place)

lix.polytechnique.fr

Miller, Dale (1991). 《A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification》 (PDF). 《Journal of Logic and Computation》 1. 497–536쪽. doi:10.1093/logcom/1.4.497.

psu.edu (Global: 299^th place; Korean: 150^th place)

citeseerx.ist.psu.edu

McBride, Conor (October 2003). 《First-Order Unification by Structural Recursion》. 《Journal of Functional Programming》 13. 1061–1076쪽. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. 2012년 3월 30일에 확인함.
Graeme Hirst and David St-Onge, Lexical chains as representations of context for the detection and correction of malapropisms, 1998.
Gardent, Claire; Kohlhase, Michael; Konrad, Karsten (1997). 〈A Multi-Level, Higher-Order Unification Approach to Ellipsis〉. 《Submitted to European 계산언어학회 (EACL)》. CiteSeerX 10.1.1.55.9018.

raw.githubusercontent.com (Global: low place; Korean: 1,330^th place)

de Champeaux, Dennis (Aug 2022). 《Faster Linear Unification Algorithm》 (PDF). 《Journal of Automated Reasoning》 66. 845–860쪽. doi:10.1007/s10817-022-09635-1.

semanticscholar.org (Global: 15^th place; Korean: 11^th place)

api.semanticscholar.org

Martelli, Alberto; Montanari, Ugo (Apr 1982). 《An Efficient Unification Algorithm》. 《ACM Trans. Program. Lang. Syst.》 4. 258–282쪽. doi:10.1145/357162.357169. S2CID 10921306.
Robinson, J.A. (Jan 1965). 《A Machine-Oriented Logic Based on the Resolution Principle》. 《Journal of the ACM》 12. 23–41쪽. doi:10.1145/321250.321253. S2CID 14389185. ; Here: sect.5.8, p.32
McBride, Conor (October 2003). 《First-Order Unification by Structural Recursion》. 《Journal of Functional Programming》 13. 1061–1076쪽. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. 2012년 3월 30일에 확인함.
F. Fages (1987). 《Associative-Commutative Unification》 (PDF). 《J. Symbolic Comput.》 3. 257–275쪽. doi:10.1016/s0747-7171(87)80004-4. S2CID 40499266.

semanticscholar.org

Gérard Huet: (1 June 1975) A Unification Algorithm for typed Lambda-Calculus, Theoretical Computer Science

springer.com (Global: 182^nd place; Korean: 185^th place)

link.springer.com

Smolka, Gert (Nov 1988). 《Logic Programming with Polymorphically Order-Sorted Types》 (PDF). Int. Workshop Algebraic and Logic Programming. LNCS. Springer. 53–70쪽. doi:10.1007/3-540-50667-5_58.

strictlypositive.org (Global: low place; Korean: low place)

McBride, Conor (October 2003). 《First-Order Unification by Structural Recursion》. 《Journal of Functional Programming》 13. 1061–1076쪽. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. 2012년 3월 30일에 확인함.

swi-prolog.org (Global: low place; Korean: low place)

“Declarative integer arithmetic”. 《SWI-Prolog》. 2024년 2월 18일에 확인함.

tu-darmstadt.de (Global: low place; Korean: low place)

inferenzsysteme.informatik.tu-darmstadt.de

Walther, Christoph (1985). 《A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution》 (PDF). 《Artif. Intell.》 26. 217–224쪽. doi:10.1016/0004-3702(85)90029-3. 2011년 7월 8일에 원본 문서 (PDF)에서 보존된 문서. 2013년 6월 28일에 확인함.

uwaterloo.ca (Global: 3,649^th place; Korean: 1,650^th place)

cs.uwaterloo.ca

Per Martelli & Montanari (1982):
- Lewis Denver Baxter (Feb 1976). A practically linear unification algorithm (PDF) (Res. Report). CS-76-13. Univ. of Waterloo, Ontario.

web.archive.org (Global: 1^st place; Korean: 1^st place)

Dowek, Gilles (2001년 1월 1일). 〈Higher-order unification and matching〉. 《Handbook of automated reasoning》. Elsevier Science Publishers B. V. 1009–1062쪽. ISBN 978-0-444-50812-6. 2019년 5월 15일에 원본 문서에서 보존된 문서. 2019년 5월 15일에 확인함.
J.A. Robinson (1971). 《Computational logic: The unification computation》. 《Machine Intelligence》 6. 63–72쪽. 2024년 1월 28일에 원본 문서에서 보존된 문서. 2025년 10월 30일에 확인함.
Walther, Christoph (1985). 《A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution》 (PDF). 《Artif. Intell.》 26. 217–224쪽. doi:10.1016/0004-3702(85)90029-3. 2011년 7월 8일에 원본 문서 (PDF)에서 보존된 문서. 2013년 6월 28일에 확인함.
F. Baader and S. Ghilardi, Unification in modal and description logics, Logic Journal of the IGPL 19 (2011), no. 6, pp. 705–730.

worldcat.org (Global: 4^th place; Korean: 6^th place)

McBride, Conor (October 2003). 《First-Order Unification by Structural Recursion》. 《Journal of Functional Programming》 13. 1061–1076쪽. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. 2012년 3월 30일에 확인함.

단일화 (Korean Wikipedia)

aclweb.org (Global: low place; Korean: 5,088th place)

acm.org (Global: 1,200th place; Korean: 416th place)

portal.acm.org

aitopics.org (Global: low place; Korean: low place)

archive.org (Global: 6th place; Korean: 5th place)

arxiv.org (Global: 49th place; Korean: 28th place)

bu.edu (Global: 2,348th place; Korean: 1,367th place)

cs.bu.edu

cwi.nl (Global: low place; Korean: 9,234th place)

homepages.cwi.nl

doi.org (Global: 2nd place; Korean: 3rd place)

dx.doi.org

inria.fr (Global: 6,372nd place; Korean: 4,001st place)

hal.inria.fr

lsv.fr (Global: low place; Korean: low place)

numdam.org (Global: 8,359th place; Korean: 1,716th place)

polytechnique.fr (Global: low place; Korean: low place)

lix.polytechnique.fr

psu.edu (Global: 299th place; Korean: 150th place)

citeseerx.ist.psu.edu

raw.githubusercontent.com (Global: low place; Korean: 1,330th place)

semanticscholar.org (Global: 15th place; Korean: 11th place)

api.semanticscholar.org

semanticscholar.org

springer.com (Global: 182nd place; Korean: 185th place)

link.springer.com

strictlypositive.org (Global: low place; Korean: low place)

swi-prolog.org (Global: low place; Korean: low place)

tu-darmstadt.de (Global: low place; Korean: low place)

inferenzsysteme.informatik.tu-darmstadt.de

uwaterloo.ca (Global: 3,649th place; Korean: 1,650th place)

cs.uwaterloo.ca

web.archive.org (Global: 1st place; Korean: 1st place)

worldcat.org (Global: 4th place; Korean: 6th place)

aclweb.org (Global: low place; Korean: 5,088^th place)

acm.org (Global: 1,200^th place; Korean: 416^th place)

archive.org (Global: 6^th place; Korean: 5^th place)

arxiv.org (Global: 49^th place; Korean: 28^th place)

bu.edu (Global: 2,348^th place; Korean: 1,367^th place)

cwi.nl (Global: low place; Korean: 9,234^th place)

doi.org (Global: 2^nd place; Korean: 3^rd place)

inria.fr (Global: 6,372^nd place; Korean: 4,001^st place)

numdam.org (Global: 8,359^th place; Korean: 1,716^th place)

psu.edu (Global: 299^th place; Korean: 150^th place)

raw.githubusercontent.com (Global: low place; Korean: 1,330^th place)

semanticscholar.org (Global: 15^th place; Korean: 11^th place)

springer.com (Global: 182^nd place; Korean: 185^th place)

uwaterloo.ca (Global: 3,649^th place; Korean: 1,650^th place)

web.archive.org (Global: 1^st place; Korean: 1^st place)

worldcat.org (Global: 4^th place; Korean: 6^th place)