Main public logs
From MaRDI portal
Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 00:49, 31 January 2026 Import260131120115 talk contribs moved page Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements" (Dataset published at Zenodo repository.) to Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements" over redirect (Move profile page according to new naming schema `Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements" (Dataset published at Zenodo repository.)`->`Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"` import260131120115)
