History

Time	Change
2023-04-05 14:33:06+00:00	Created
2023-04-05 14:33:06+00:00	Associated with 形式的記述言語
2023-04-17 05:04:04+00:00	Associated with 形式的記述
2023-08-04 14:08:19+00:00	Associated with 形式的定義
2023-08-04 14:08:19+00:00	Associated with 形式的
2023-08-04 14:08:19+00:00	Associated with formal description
2023-08-04 14:08:19+00:00	Associated with formal
2023-08-04 14:08:19+00:00	Associated with formal definition
2023-08-04 14:08:19+00:00	Associated with 公式
2023-08-04 14:08:19+00:00	Associated with 正式