. . "In computer science, a term index is a data structure to facilitate fast lookup of terms and clauses in a logic program, deductive database, or automated theorem prover."@en . . "Indeksowanie term\u00F3w"@pl . . . "Indeksowanie term\u00F3w to zagadnienie polegaj\u0105ce na wyszukaniu w pewnym zbiorze term\u00F3w tych term\u00F3w (dowolnego albo te\u017C wszystkich), kt\u00F3re s\u0105 w pewnej relacji z danym termem. Zagadnieniem temu w szczeg\u00F3lno\u015Bci po\u015Bwi\u0119cony jest dzia\u0142 z pogranicza informatyki i matematyki zwany systemem wyszukiwania informacji. Indeksowanie term\u00F3w ma wiele zastosowa\u0144, ale w wi\u0119kszo\u015Bci typowych problem\u00F3w term\u00F3w jest ma\u0142o i s\u0105 proste, a ich zbi\u00F3r jest sta\u0142y. Wa\u017Cniejsze algorytmy indeksowania term\u00F3w to: \n* \n* \n* drzewo dyskryminacyjne (teoria oblicze\u0144) \n* substitution tree"@pl . . . . . . . . . . . . . . . . . . . "Indeksowanie term\u00F3w to zagadnienie polegaj\u0105ce na wyszukaniu w pewnym zbiorze term\u00F3w tych term\u00F3w (dowolnego albo te\u017C wszystkich), kt\u00F3re s\u0105 w pewnej relacji z danym termem. Zagadnieniem temu w szczeg\u00F3lno\u015Bci po\u015Bwi\u0119cony jest dzia\u0142 z pogranicza informatyki i matematyki zwany systemem wyszukiwania informacji. Indeksowanie term\u00F3w ma wiele zastosowa\u0144, ale w wi\u0119kszo\u015Bci typowych problem\u00F3w term\u00F3w jest ma\u0142o i s\u0105 proste, a ich zbi\u00F3r jest sta\u0142y. Zupe\u0142nie inaczej ma si\u0119 to w przypadku system\u00F3w automatycznego dowodzenia twierdze\u0144 - tam term\u00F3w jest du\u017Co, s\u0105 z\u0142o\u017Cone, i ca\u0142y czas nast\u0119puje ich dodawanie i kasowanie. Dobre algorytmy indeksowania term\u00F3w s\u0105 wi\u0119c kluczowe dla wydajno\u015Bci takich system\u00F3w. Wa\u017Cniejsze algorytmy indeksowania term\u00F3w to: \n* \n* \n* drzewo dyskryminacyjne (teoria oblicze\u0144) \n* substitution tree"@pl . . . . . . "Term indexing"@en . . "2930391"^^ . "In computer science, a term index is a data structure to facilitate fast lookup of terms and clauses in a logic program, deductive database, or automated theorem prover."@en . "4954"^^ . . "1032143078"^^ .