@article{Rattacaso2025QuantumAlgorithms,
  title={ Quantum algorithms for equational reasoning },
  author={ Rattacaso, Davide and Jaschke, Daniel and Ballarin, Marco and Siloi, Ilaria and Montangero, Simone },
  year={ 2025 },
  journal={ arXiv preprint },
  eprint={ arXiv:2508.21122 },
  url={ https://arxiv.org/abs/2508.21122 }
}

{"_id":"QNDirXSmBc6t3STv3","bibbaseid":"rattacaso-jaschke-ballarin-siloi-montangero-quantumalgorithmsforequationalreasoning-2025","author_short":["Rattacaso, D.","Jaschke, D.","Ballarin, M.","Siloi, I.","Montangero, S."],"bibdata":{"bibtype":"article","type":"article","title":"Quantum algorithms for equational reasoning ","author":[{"propositions":[],"lastnames":["Rattacaso"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Jaschke"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Ballarin"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Siloi"],"firstnames":["Ilaria"],"suffixes":[]},{"propositions":[],"lastnames":["Montangero"],"firstnames":["Simone"],"suffixes":[]}],"year":"2025 ","journal":"arXiv preprint ","eprint":"arXiv:2508.21122 ","url":"https://arxiv.org/abs/2508.21122 ","bibtex":"@article{Rattacaso2025QuantumAlgorithms,\n title={ Quantum algorithms for equational reasoning },\n author={ Rattacaso, Davide and Jaschke, Daniel and Ballarin, Marco and Siloi, Ilaria and Montangero, Simone },\n year={ 2025 },\n journal={ arXiv preprint },\n eprint={ arXiv:2508.21122 },\n url={ https://arxiv.org/abs/2508.21122 }\n}\n\n","author_short":["Rattacaso, D.","Jaschke, D.","Ballarin, M.","Siloi, I.","Montangero, S."],"bibbaseid":"rattacaso-jaschke-ballarin-siloi-montangero-quantumalgorithmsforequationalreasoning-2025","role":"author","urls":{"Paper":"https://arxiv.org/abs/2508.21122 "},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/5MAcCcTaAtgWLSKEX/M10b.bib","dataSources":["akXGqRgJxR7QcxXzv","zRe8LsfJNbcHd5ay8"],"keywords":[],"search_terms":["quantum","algorithms","equational","reasoning","rattacaso","jaschke","ballarin","siloi","montangero"],"title":"Quantum algorithms for equational reasoning ","year":2025}