Information for "Datei:TU Wien-Automated Deduction VU (Laura Kovács) - ADuct20S paper 25.pdf"

Jump to navigation Jump to search

Basic information

Display titleDatei:TU Wien-Automated Deduction VU (Laura Kovács) - ADuct20S paper 25.pdf
Default sort keyTU Wien-Automated Deduction VU (Laura Kovács) - ADuct20S paper 25.pdf
Page length (in bytes)78
NamespaceDatei
Page ID27442
Page content languagede - Deutsch
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Hash valuea44b473091f014c45bff0eddb923697af5b56a28

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
UploadAllow all users (infinite)
View the protection log for this page.

Edit history

Page creator0.0.0.0 (talk)
Date of page creation18:59, 17 June 2020
Latest editor0.0.0.0 (talk)
Date of latest edit18:59, 17 June 2020
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0