用于煤矿采空区填充和碳封存潜力评估的二氧化碳矿化全固体废物水泥材料 | Synapse