e/Proof-number search

Information
has gloss	eng: Proof-number search (short: PN search) is a game tree search algorithm invented by Victor Allis, with applications mostly in endgame solvers, but also for sub-goals during games.
lexicalization	eng: Proof-number search
instance of	e/Search algorithm

Meaning
German
has gloss	deu: Proof-Number-Suche (kurz: PN-Suche) ist ein Spielbaum-Suchalgorithmus, erfunden von Victor Allis, ursprünglich zur Lösung der Spiele Vier gewinnt, Qubic (1990). Anwendungen sind hauptsächlich in der Endspiel-Lösung und für Teilziele während des Spiels.
lexicalization	deu: Proof-Number-Suche