4 ms·A type-safe watermarking theorem prover related to a high-level knowledge-based databaseby setra 10y agoA type-safe watermarking theorem prover related to a high-level knowledge-based database