About: Term indexing

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Code_tree dbr:Context_tree dbr:Feature_vector_indexing dbr:Path_indexing dbr:Relational_path_indexing dbr:Substitution_tree dbc:Logic_programming dbr:Logic_programming dbr:Trie dbr:Handbook_of_Automated_Reasoning dbr:Computer_science dbc:Theorem_proving_software_systems dbr:SRI_International dbc:Data_structures dbr:Deductive_database dbr:Clause_(logic) dbr:Artificial_Intelligence_Center dbr:Automated_theorem_prover dbr:Discrimination_tree
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Logic_programming dbc:Theorem_proving_software_systems dbc:Data_structures
rdfs:label	Term indexing (en) Indeksowanie termów (pl)
owl:sameAs	freebase:Term indexing yago-res:Term indexing wikidata:Term indexing dbpedia-pl:Term indexing dbpedia-global:Term indexing
prov:wasDerivedFrom	wikipedia-en:Term_indexing?oldid=1187468825&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Term_indexing
is dbo:wikiPageWikiLink of	dbr:Prolog dbr:Vampire_(theorem_prover) dbr:Comparison_of_Prolog_implementations dbr:E_(theorem_prover) dbr:Otter_(theorem_prover)
is foaf:primaryTopic of	wikipedia-en:Term_indexing

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International