Metadata

Field Value
Format text/plain
License CC-BY 4.0
URL https://journaldata.zbw.eu/dataset/0d210961-f0eb-4c44-a885-21bed2f7ef63/resource/72101163-9d43-4b81-afcf-f5b6356cdf0b/download/readme.coq.txt
Last updated November 23, 2022
Created November 23, 2022