| dbo:abstract |
V informatice je e-graf datová struktura, která ukládá relaci ekvivalence nad termy nějakého jazyka. (cs) In computer science, an e-graph is a data structure that stores an equivalence relation over terms of some language. (en) Un E-Graph en informatique est une structure de donnée servant à déterminer si une égalité peut être la conséquence de plusieurs autres égalités, et ceci de manière purement syntaxique. On considère un ensemble d'égalité sur des termes sur un alphabet donné ayant des applications, des symboles et des variables. On souhaite savoir si une égalité entre deux termes est vraie ou fausse. (fr) |
| dbo:wikiPageExternalLink |
https://egraphs-good.github.io/ https://colab.research.google.com/drive/1tNOQijJqe5tw-Pk9iqd6HHb2abC5aRid%3Fusp=sharing https://doi.org/10.1145/1480881.1480915%7Cjournal=Proceedings https://doi.org/10.1145/3434304%7Cjournal=Proceedings https://link.springer.com/chapter/10.1007/978-3-540-73595-3_13%7Cjournal=Automated |
| dbo:wikiPageID |
67929526 (xsd:integer) |
| dbo:wikiPageLength |
7375 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1093637150 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Deep_learning dbr:Invariant_(mathematics) dbr:Linear_algebra dbr:Computer_science dbr:Z3_Theorem_Prover dbr:Automated_theorem_proving dbr:Translation_validation dbr:Data_structure dbr:Hash_consing dbr:Term_(logic) dbr:Abstract_syntax_tree dbc:Graph_data_structures dbr:LLVM dbr:Disjoint-set_data_structure dbr:Optimizing_compiler dbr:CVC4 dbr:Satisfiability_modulo_theories |
| dbp:wikiPageUsesTemplate |
dbt:Cite_journal dbt:Expand_section dbt:Orphan dbt:Reflist dbt:Short_description |
| dct:subject |
dbc:Graph_data_structures |
| rdfs:comment |
V informatice je e-graf datová struktura, která ukládá relaci ekvivalence nad termy nějakého jazyka. (cs) In computer science, an e-graph is a data structure that stores an equivalence relation over terms of some language. (en) Un E-Graph en informatique est une structure de donnée servant à déterminer si une égalité peut être la conséquence de plusieurs autres égalités, et ceci de manière purement syntaxique. On considère un ensemble d'égalité sur des termes sur un alphabet donné ayant des applications, des symboles et des variables. On souhaite savoir si une égalité entre deux termes est vraie ou fausse. (fr) |
| rdfs:label |
E-graf (cs) E-graph (en) E-graph (fr) |
| owl:sameAs |
wikidata:E-graph dbpedia-cs:E-graph dbpedia-fr:E-graph https://global.dbpedia.org/id/2pgGu |
| prov:wasDerivedFrom |
wikipedia-en:E-graph?oldid=1093637150&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 |