1 |
Changes in Title 'Interactive Theorem Proving'
|
Interactive Theorem Proving
|
Successful
|
Changed Title
|
parent_publication_title_id
|
558
|
7407
|
2023-10-18 10:48
|
2023-10-18 10:48
|
2 |
Changes in Title 'Interactive Theorem Proving'
|
Interactive Theorem Proving
|
Successful
|
Changed Title
|
parent_publication_title_id
|
7407
|
558
|
2023-04-07 10:10
|
2023-04-07 10:10
|