%0 Journal Article %1 journals/apal/SoldaV23 %A Solda, Giovanni %A Valenti, Manlio %D 2023 %J Ann. Pure Appl. Log. %K dblp %N 7 %P 103270 %T Algebraic properties of the first-order part of a problem. %U http://dblp.uni-trier.de/db/journals/apal/apal174.html#SoldaV23 %V 174

@article{journals/apal/SoldaV23, added-at = {2023-06-26T00:00:00.000+0200}, author = {Solda, Giovanni and Valenti, Manlio}, biburl = {https://www.bibsonomy.org/bibtex/201122635c80c70711f78b27bdf431380/dblp}, ee = {https://doi.org/10.1016/j.apal.2023.103270}, interhash = {f3b09720404495baa388adb9e19da2b5}, intrahash = {01122635c80c70711f78b27bdf431380}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, month = {July}, number = 7, pages = 103270, timestamp = {2024-04-09T02:36:03.000+0200}, title = {Algebraic properties of the first-order part of a problem.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal174.html#SoldaV23}, volume = 174, year = 2023 }