User contributions for Schubotz
From MaRDI portal
17 February 2025
- 23:2723:27, 17 February 2025 diff hist +340 Vitali convergence theorem (Q6480559) Created claim: Mathematics Subject Classification ID (P226): 28 current
- 23:2523:25, 17 February 2025 diff hist +433 Vitali convergence theorem (Q6480559) Created claim: Formal Proof (P1603): Lean formalization of Vitali convergence theorem (Q6672180)
- 23:2423:24, 17 February 2025 diff hist +397 Lean formalization of Vitali convergence theorem (Q6672180) Created claim: full work available at URL (P205): https://leanprover-community.github.io/1000.html#Q11352023 current
- 23:2423:24, 17 February 2025 diff hist +515 Lean formalization of Vitali convergence theorem (Q6672180) Created claim: point in time (P140): 2024
- 23:2323:23, 17 February 2025 diff hist +427 Lean formalization of Vitali convergence theorem (Q6672180) Created claim: author (P16): Igor Khavkine (Q291961)
- 23:2223:22, 17 February 2025 diff hist +429 Lean formalization of Vitali convergence theorem (Q6672180) Created claim: formalized in (P1648): Lean (Q27041)
- 23:2223:22, 17 February 2025 diff hist +265 N Lean formalization of Vitali convergence theorem (Q6672180) Created a new Item: Lean formalization of Vitali convergence theorem
7 February 2025
- 17:3417:34, 7 February 2025 diff hist 0 N File:MaRDI Knowledge-Graph Demo02 User-Interface.mp4 No edit summary current
- 17:1417:14, 7 February 2025 diff hist −529 Test (Q188326) Changed claim: instance of (P31): scientific journal (Q56973) current Tag: Manual revert
- 17:1417:14, 7 February 2025 diff hist +529 Test (Q188326) Changed claim: instance of (P31): scientific journal (Q56973) Tag: Reverted
30 January 2025
- 19:2519:25, 30 January 2025 diff hist +19 Template:ItemWarning No edit summary
- 19:2419:24, 30 January 2025 diff hist +136 N Template:ItemWarning Created page with "{{Warning|This is a Wikibase entity. It is used by other Wikibase entities, but it is not meant to be viewed directly. See [[{{{1}}}]]}}"
29 January 2025
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Indent 5 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Category link without namespace 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Shortcut/styles.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Message box/cmbox.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Message box/imbox.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Message box/ambox.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Notice and warning templates 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Notice/doc 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Notice and warning templates 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Notice/doc 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Message box/tmbox.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Transclusion count/data/W 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Template link with bold 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Template link with bold 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Used in system 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Never substitute 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Distinguish 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Shortcut 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Shortcut 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:In5 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Indent 5 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Template link with link off 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Template link with link off 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Always substitute 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Category link without namespace 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Protection banner/config 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Protection banner 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Navbox/styles.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Navbox/configuration 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Navbox 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Hatnote/styles.css 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Distinguish 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Distinguish 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:Template link general 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Module:TableTools 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Template link 1 revision imported current
- 08:2708:27, 29 January 2025 diff hist 0 m Template:Warning 1 revision imported current
28 January 2025
- 09:1609:16, 28 January 2025 diff hist +307 Project:Docker OpenStackVM →SSH port forwarding current