Matches in SemOpenAlex for { <https://semopenalex.org/work/W2397626367> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2397626367 abstract "We present an efficient encoding of order-sorted modular ACU terms into colored directed graphs. Then, by computing the automorphism groups of the encoded graphs, we are able to extract ACU structural symmetries both inside a term and across a set of terms. Finally, we show how the computed symmetries can be applied to the optimization of the equational generalization algorithms for modular ACU theories." @default.
- W2397626367 created "2016-06-24" @default.
- W2397626367 creator A5013291576 @default.
- W2397626367 creator A5032149189 @default.
- W2397626367 creator A5033696911 @default.
- W2397626367 date "2018-01-23" @default.
- W2397626367 modified "2023-10-15" @default.
- W2397626367 title "Detecting Modular ACU Structural Symmetries" @default.
- W2397626367 cites W165726963 @default.
- W2397626367 cites W1690616301 @default.
- W2397626367 cites W2044251157 @default.
- W2397626367 cites W2048906114 @default.
- W2397626367 cites W2127563879 @default.
- W2397626367 cites W606453859 @default.
- W2397626367 cites W1569963244 @default.
- W2397626367 doi "https://doi.org/10.29007/mzj3" @default.
- W2397626367 hasPublicationYear "2018" @default.
- W2397626367 type Work @default.
- W2397626367 sameAs 2397626367 @default.
- W2397626367 citedByCount "0" @default.
- W2397626367 crossrefType "proceedings-article" @default.
- W2397626367 hasAuthorship W2397626367A5013291576 @default.
- W2397626367 hasAuthorship W2397626367A5032149189 @default.
- W2397626367 hasAuthorship W2397626367A5033696911 @default.
- W2397626367 hasConcept C101468663 @default.
- W2397626367 hasConcept C118615104 @default.
- W2397626367 hasConcept C118712358 @default.
- W2397626367 hasConcept C121332964 @default.
- W2397626367 hasConcept C125411270 @default.
- W2397626367 hasConcept C134306372 @default.
- W2397626367 hasConcept C136119220 @default.
- W2397626367 hasConcept C154945302 @default.
- W2397626367 hasConcept C177148314 @default.
- W2397626367 hasConcept C177264268 @default.
- W2397626367 hasConcept C199360897 @default.
- W2397626367 hasConcept C202444582 @default.
- W2397626367 hasConcept C2524010 @default.
- W2397626367 hasConcept C33923547 @default.
- W2397626367 hasConcept C41008148 @default.
- W2397626367 hasConcept C61797465 @default.
- W2397626367 hasConcept C62520636 @default.
- W2397626367 hasConcept C80444323 @default.
- W2397626367 hasConcept C96469262 @default.
- W2397626367 hasConceptScore W2397626367C101468663 @default.
- W2397626367 hasConceptScore W2397626367C118615104 @default.
- W2397626367 hasConceptScore W2397626367C118712358 @default.
- W2397626367 hasConceptScore W2397626367C121332964 @default.
- W2397626367 hasConceptScore W2397626367C125411270 @default.
- W2397626367 hasConceptScore W2397626367C134306372 @default.
- W2397626367 hasConceptScore W2397626367C136119220 @default.
- W2397626367 hasConceptScore W2397626367C154945302 @default.
- W2397626367 hasConceptScore W2397626367C177148314 @default.
- W2397626367 hasConceptScore W2397626367C177264268 @default.
- W2397626367 hasConceptScore W2397626367C199360897 @default.
- W2397626367 hasConceptScore W2397626367C202444582 @default.
- W2397626367 hasConceptScore W2397626367C2524010 @default.
- W2397626367 hasConceptScore W2397626367C33923547 @default.
- W2397626367 hasConceptScore W2397626367C41008148 @default.
- W2397626367 hasConceptScore W2397626367C61797465 @default.
- W2397626367 hasConceptScore W2397626367C62520636 @default.
- W2397626367 hasConceptScore W2397626367C80444323 @default.
- W2397626367 hasConceptScore W2397626367C96469262 @default.
- W2397626367 hasLocation W23976263671 @default.
- W2397626367 hasOpenAccess W2397626367 @default.
- W2397626367 hasPrimaryLocation W23976263671 @default.
- W2397626367 hasRelatedWork W1982759705 @default.
- W2397626367 hasRelatedWork W2054640521 @default.
- W2397626367 hasRelatedWork W2354588587 @default.
- W2397626367 hasRelatedWork W2905476450 @default.
- W2397626367 hasRelatedWork W2983118255 @default.
- W2397626367 hasRelatedWork W3047157451 @default.
- W2397626367 hasRelatedWork W4286632975 @default.
- W2397626367 hasRelatedWork W4289106768 @default.
- W2397626367 hasRelatedWork W4321593474 @default.
- W2397626367 hasRelatedWork W2753787540 @default.
- W2397626367 isParatext "false" @default.
- W2397626367 isRetracted "false" @default.
- W2397626367 magId "2397626367" @default.
- W2397626367 workType "article" @default.