@inproceedings{conf/smt/HaderO24,
  added-at = {2024-07-26T00:00:00.000+0200},
  author = {Hader, Thomas and Ozdemir, Alex},
  biburl = {https://www.bibsonomy.org/bibtex/240ca5540c7c03f0b40c8f4e47bf3bb85/dblp},
  booktitle = {SMT@CAV},
  crossref = {conf/smt/2024},
  editor = {Reger, Giles and Zohar, Yoni},
  ee = {https://ceur-ws.org/Vol-3725/paper3.pdf},
  interhash = {4b4a4b2a508d75fb068155a2187fef46},
  intrahash = {40ca5540c7c03f0b40c8f4e47bf3bb85},
  keywords = {dblp},
  pages = {3-12},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  timestamp = {2024-07-29T07:14:59.000+0200},
  title = {An SMT-LIB Theory of Finite Fields.},
  url = {http://dblp.uni-trier.de/db/conf/smt/smt2024.html#HaderO24},
  volume = 3725,
  year = 2024
}

{"_id":"XDAEDWG2zTAuHtaFu","bibbaseid":"hader-ozdemir-ansmtlibtheoryoffinitefields-2024","author_short":["Hader, T.","Ozdemir, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-07-26T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hader"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Ozdemir"],"firstnames":["Alex"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/240ca5540c7c03f0b40c8f4e47bf3bb85/dblp","booktitle":"SMT@CAV","crossref":"conf/smt/2024","editor":[{"propositions":[],"lastnames":["Reger"],"firstnames":["Giles"],"suffixes":[]},{"propositions":[],"lastnames":["Zohar"],"firstnames":["Yoni"],"suffixes":[]}],"ee":"https://ceur-ws.org/Vol-3725/paper3.pdf","interhash":"4b4a4b2a508d75fb068155a2187fef46","intrahash":"40ca5540c7c03f0b40c8f4e47bf3bb85","keywords":"dblp","pages":"3-12","publisher":"CEUR-WS.org","series":"CEUR Workshop Proceedings","timestamp":"2024-07-29T07:14:59.000+0200","title":"An SMT-LIB Theory of Finite Fields.","url":"http://dblp.uni-trier.de/db/conf/smt/smt2024.html#HaderO24","volume":"3725","year":"2024","bibtex":"@inproceedings{conf/smt/HaderO24,\n added-at = {2024-07-26T00:00:00.000+0200},\n author = {Hader, Thomas and Ozdemir, Alex},\n biburl = {https://www.bibsonomy.org/bibtex/240ca5540c7c03f0b40c8f4e47bf3bb85/dblp},\n booktitle = {SMT@CAV},\n crossref = {conf/smt/2024},\n editor = {Reger, Giles and Zohar, Yoni},\n ee = {https://ceur-ws.org/Vol-3725/paper3.pdf},\n interhash = {4b4a4b2a508d75fb068155a2187fef46},\n intrahash = {40ca5540c7c03f0b40c8f4e47bf3bb85},\n keywords = {dblp},\n pages = {3-12},\n publisher = {CEUR-WS.org},\n series = {CEUR Workshop Proceedings},\n timestamp = {2024-07-29T07:14:59.000+0200},\n title = {An SMT-LIB Theory of Finite Fields.},\n url = {http://dblp.uni-trier.de/db/conf/smt/smt2024.html#HaderO24},\n volume = 3725,\n year = 2024\n}\n\n","author_short":["Hader, T.","Ozdemir, A."],"editor_short":["Reger, G.","Zohar, Y."],"key":"conf/smt/HaderO24","id":"conf/smt/HaderO24","bibbaseid":"hader-ozdemir-ansmtlibtheoryoffinitefields-2024","role":"author","urls":{"Link":"https://ceur-ws.org/Vol-3725/paper3.pdf","Paper":"http://dblp.uni-trier.de/db/conf/smt/smt2024.html#HaderO24"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Thomas?items=1000","dataSources":["Wze2LBds9bM8uwxm8"],"keywords":["dblp"],"search_terms":["smt","lib","theory","finite","fields","hader","ozdemir"],"title":"An SMT-LIB Theory of Finite Fields.","year":2024}