Mathematical Research Data Initiative

Help about MediaWiki

Create a new Item

Create a new Property

Create a new EntitySchema

Merge two items

Revision history of "The Isabelle Framework" (Q3543647)

From MaRDI portal

View logs for this page

Jump to:navigation, search

Filter revisionsExpandCollapse

To date:

Tag filter:

Invert selection

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 March 2024

curprev 20:1720:17, 19 March 2024‎ Openalex240319060354 talk contribs‎ 10,966 bytes +732‎ Set OpenAlex properties.

5 March 2024

curprev 12:4412:44, 5 March 2024‎ Import240304020342 talk contribs‎ 10,234 bytes +433‎ Set profile property.

29 February 2024

curprev 07:4307:43, 29 February 2024‎ SwMATHimport240215 talk contribs‎ 9,801 bytes +412‎ ‎Changed an Item
curprev 07:2907:29, 29 February 2024‎ SwMATHimport240215 talk contribs‎ 9,389 bytes +412‎ ‎Changed an Item
curprev 03:1503:15, 29 February 2024‎ SwMATHimport240215 talk contribs‎ 8,977 bytes +412‎ ‎Changed an Item
curprev 02:5402:54, 29 February 2024‎ SwMATHimport240215 talk contribs‎ 8,565 bytes +411‎ ‎Changed an Item
curprev 01:3401:34, 29 February 2024‎ SwMATHimport240215 talk contribs‎ 8,154 bytes +411‎ ‎Changed an Item

28 February 2024

curprev 23:3923:39, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 7,743 bytes +411‎ ‎Changed an Item
curprev 22:0222:02, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 7,332 bytes +411‎ ‎Changed an Item
curprev 20:0620:06, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 6,921 bytes +411‎ ‎Changed an Item
curprev 17:3817:38, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 6,510 bytes +411‎ ‎Changed an Item
curprev 17:2117:21, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 6,099 bytes +411‎ ‎Changed an Item
curprev 16:4216:42, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 5,688 bytes +411‎ ‎Changed an Item
curprev 16:4016:40, 28 February 2024‎ SwMATHimport240215 talk contribs‎ 5,277 bytes +430‎ ‎Changed an Item

13 February 2024

curprev 09:4709:47, 13 February 2024‎ RedirectionBot talk contribs‎ 4,847 bytes +411‎ ‎Changed an Item
curprev 09:4709:47, 13 February 2024‎ RedirectionBot talk contribs‎ 4,436 bytes −411‎ ‎Removed claim: author (P16): Item:Q352969

5 February 2024

curprev 01:5701:57, 5 February 2024‎ Import240129110113 talk contribs‎ 4,847 bytes +99‎ Added link to MaRDI item.

12 October 2023

curprev 17:1717:17, 12 October 2023‎ Importer talk contribs‎ 4,748 bytes +4,748‎ ‎Created a new Item

Retrieved from "https://portal.mardi4nfdi.de/wiki/Item:Q3543647"

Tools

What links here

Related changes

Page information

About MaRDI portal