Assuming you already have a charged 12 V battery, the most straight forward path that I found is as follows.
First hook up a '12 V programmable timer' to your battery, such as this one
https://www.aliexpress.com/item/AC-220 ... utifyAB=0
The amazon version of this programmer (identical) has some interesting comments claiming 20-30 mA power consumption, which is on par with the last module you posted (the only one that included a power consumption). I wouldn't be surprised if it's power consumption is more than the ones you posted, however it's much more dynamic with 20 on-off time settings per day and is easier to use.
https://www.amazon.com/gp/product/B012F ... _qh_dp_hza
From there connect to a '12V to 5V 3A Step Down Voltage Regulator' such as:
https://www.aliexpress.com/item/1PCS-D ... utifyAB=0
You can find similar voltage regulators on amazon for ~$10 that ship in days instead of months. Just make sure you set the timer intervals so the raspberry Pi has enough time to fully shut down or you risk corrupting the micro SD card. If you do get one of those timing devices I'd be interested to hear how well they work.