- Date Created
- 2024-09-09 21:44:50
- Last Updated
- 2024-09-09 21:44:50
- UUID
- b185f64c-ed69-4e0c-b1fd-7a5a81648430
Title Update Infos: Automated Reasoning
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Title
- Automated Reasoning
- Description
- Changes in Title 'Automated Reasoning'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2024-09-09
- End Time
- 2024-09-09
- KBART Field
- access_type
- Old Value
- Empty
- New value
- Free