About: E-graph

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

Graph data structure

Property	Value
dbo:description	graph data structure (en)
dbo:wikiPageExternalLink	https://egraphs-good.github.io/ https://link.springer.com/chapter/10.1007/978-3-540-73595-3_13%7Cjournal=Automated https://doi.org/10.1145/1480881.1480915%7Cjournal=Proceedings https://doi.org/10.1145/3434304%7Cjournal=Proceedings https://colab.research.google.com/drive/1tNOQijJqe5tw-Pk9iqd6HHb2abC5aRid%3Fusp=sharing
dbo:wikiPageWikiLink	dbr:Computer_science dbr:Optimizing_compiler dbr:Abstract_syntax_tree dbr:Linear_algebra dbr:Automated_theorem_proving dbr:LLVM dbr:Data_structure dbr:Deep_learning dbr:Disjoint-set_data_structure dbr:Term_(logic) dbr:Invariant_(mathematics) dbr:Z3_Theorem_Prover dbr:Satisfiability_modulo_theories dbc:Graph_data_structures dbr:Hash_consing dbr:CVC4 dbr:Translation_validation
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_journal dbt:Expand_section dbt:Reflist dbt:Short_description dbt:Program_analysis
dct:subject	dbc:Graph_data_structures
rdfs:label	E-graph (en) E-graf (cs) E-graph (fr)
owl:sameAs	wikidata:E-graph dbpedia-fr:E-graph dbpedia-cs:E-graph dbpedia-global:E-graph
prov:wasDerivedFrom	wikipedia-en:E-graph?oldid=1305273235&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:E-graph
is dbo:wikiPageRedirects of	dbr:Equality_saturation
is dbo:wikiPageWikiLink of	dbr:Equality_saturation
is foaf:primaryTopic of	wikipedia-en:E-graph

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