Main public logs

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).

10:06, 16 January 2025 Tconrad talk contribs created page Service:6534229 (Created page with "{{Service}}")
08:42, 15 January 2025 Tconrad talk contribs created page File:Logo mlr3.png (Logo for mlr3 service)
08:42, 15 January 2025 Tconrad talk contribs uploaded File:Logo mlr3.png (Logo for mlr3 service)
08:37, 15 January 2025 Tconrad talk contribs created page Service:6534228 (Created page with "{{Service}}")
11:32, 8 January 2025 Tconrad talk contribs created page Service:6534227 (Created page with "{{Service}}")
14:50, 18 December 2024 Tconrad talk contribs created page Service:6534208 (Created page with "{{Service}}")
10:22, 13 December 2024 Tconrad talk contribs created page Module:TheoremFormalizedInList (Created page with "-- Required module containing helper methods local helper = require('Module:HelperMethods') -- Required modules for SPARQL queries and HTML table generation local sparql = require('SPARQL') local mwHtml = require('mw.html') -- Main table to hold all functions local p = {} -- Function to convert JSON results into a comma-separated string function p.convertJsonToCommaSeparatedList(jsonResults) local resultsString = "" if jsonResults and jsonResults.results and jsonR...")
20:53, 9 December 2024 Tconrad talk contribs moved page Module:PublicationContainsProofList to Module:PublicationContainsTheoremList without leaving a redirect (Misspelled title)
10:02, 6 December 2024 Tconrad talk contribs deleted page Property:P1645 (content was: "mathlib4 path", and the only contributor was "Tconrad" (talk))
09:59, 6 December 2024 Tconrad talk contribs deleted page Item:Q6534206 (content was: "mathlib", and the only contributor was "Tconrad" (talk))
09:56, 6 December 2024 Tconrad talk contribs created page Item:Q6534206 (wbeditentity-create:2|en: mathlib, The Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.)
09:54, 6 December 2024 Tconrad talk contribs created page formalized in (P1648) (wbeditentity-create:2|en: formalized in, Framework where a formalization can be found)
09:54, 6 December 2024 Tconrad talk contribs deleted page Property:P1647 (content was: "formalized in", and the only contributor was "Tconrad" (talk))
09:51, 6 December 2024 Tconrad talk contribs created page Property:P1647 (wbeditentity-create:2|en: formalized in, links to a url where a formalization can be found)
09:50, 6 December 2024 Tconrad talk contribs deleted page Item:Q6534205 (content was: "formalized in", and the only contributor was "Tconrad" (talk))
09:49, 6 December 2024 Tconrad talk contribs created page Item:Q6534205 (wbeditentity-create:2|en: formalized in, links to a url where a formalization can be found)
00:53, 6 December 2024 Tconrad talk contribs created page Module:PublicationContainsProofList (Created page with "-- Required module containing helper methods local helper = require('Module:HelperMethods') -- Required modules for SPARQL queries and HTML table generation local sparql = require('SPARQL') local mwHtml = require('mw.html') -- Main table to hold all functions local p = {} -- Function to convert JSON results into a comma-separated string function p.convertJsonToCommaSeparatedList(jsonResults) local resultsString = "" if jsonResults and jsonResults.results and jsonR...")
00:47, 6 December 2024 Tconrad talk contribs created page Theorem:6534204 (Created page with "{{Theorem}}")
00:43, 6 December 2024 Tconrad talk contribs created page Metric spaces are paracompact (Q6534204) (wbeditentity-create:2|en: Proof for: Metric spaces are paracompact)
00:41, 6 December 2024 Tconrad talk contribs created page contains theorem (P1646) (wbeditentity-create:2|en: contains proof, contains a mathematical proof)
21:14, 5 December 2024 Tconrad talk contribs created page Theorem:6480744 (Created page with "{{Theorem}}")
20:44, 5 December 2024 Tconrad talk contribs created page Theorem:6534203 (Created page with "{{Theorem}}")
20:43, 5 December 2024 Tconrad talk contribs created page Template:Theorem (Created page with "{{DISPLAYTITLE:{{#invoke:Wd|label}}}} {{DISPLAYTITLE:{{#invoke:Wd|label}}}} {{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|MaRDI QID|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} {{#invoke:wd|description}}")
20:30, 5 December 2024 Tconrad talk contribs created page Property:P1645 (wbeditentity-create:2|en: mathlib4 path, Path to the mathlib4 source)
20:26, 5 December 2024 Tconrad talk contribs created page Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) (wbeditentity-create:2|en: Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings)
20:17, 5 December 2024 Tconrad talk contribs created page Nyquist–Shannon sampling theorem (Q6534202) (wbeditentity-create:2|en: Nyquist–Shannon sampling theorem, Theorem in signal processing describing discrete samples of a continuous signal)
20:15, 5 December 2024 Tconrad talk contribs created page MaRDI theorem profile (Q6534201) (wbeditentity-create:2|en: MaRDI theorem profile)
11:23, 28 November 2024 Tconrad talk contribs created page File:Logo math-search.jpg (Logo for the MaRDI math search service.)
11:23, 28 November 2024 Tconrad talk contribs uploaded File:Logo math-search.jpg (Logo for the MaRDI math search service.)
12:05, 27 November 2024 Tconrad talk contribs created page Service:6503326 (Created page with "{{Service}}")
12:02, 27 November 2024 Tconrad talk contribs created page File:Logo helpdesk-mardi.jpg (Logo for the MaRDI helpdesk)
12:02, 27 November 2024 Tconrad talk contribs uploaded File:Logo helpdesk-mardi.jpg (Logo for the MaRDI helpdesk)
11:20, 27 November 2024 Tconrad talk contribs created page Service:6520334 (Created page with "{{Service}}")
12:04, 25 November 2024 Tconrad talk contribs created page Nemotron (Q6516541) (wbeditentity-create:2|en: Nemotron, large language model from Nvidia)
16:21, 23 November 2024 Tconrad talk contribs created page Llama 3.2 (Q6510315) (wbeditentity-create:2|en: Llama 3.1, large multimodal model from Meta)
16:17, 23 November 2024 Tconrad talk contribs created page Deepseek-Coder-V2 (Q6510305) (wbeditentity-create:2|en: Deepseek-Coder-V2, DeepSeek Coder is composed of a series of code language models.)
16:14, 23 November 2024 Tconrad talk contribs created page DeepSeek-V2.5 (Q6510297) (wbeditentity-create:2|en: DeepSeek-V2.5, DeepSeek Coder is composed of a series of code language model.)
16:00, 23 November 2024 Tconrad talk contribs created page GPT-4o (Q6510268) (wbeditentity-create:2|en: GPT-4o, large multimodal model from OpenAI)
15:47, 23 November 2024 Tconrad talk contribs created page large language model (Q6510238) (wbeditentity-create:2|en: large language model, language model built with very large amounts of texts)
15:34, 23 November 2024 Tconrad talk contribs deleted page Item:Q6510178 (content was: "generated by", and the only contributor was "Tconrad" (talk))
15:33, 23 November 2024 Tconrad talk contribs created page generated by (P1642) (wbeditentity-create:2|en: generated by, Jump to:navigation, search method, process or technique used to generate the item)
15:20, 23 November 2024 Tconrad talk contribs created page Item:Q6510178 (wbeditentity-create:2|en: generated by, method, process or technique used to generate the item)
11:30, 22 November 2024 Tconrad talk contribs created page Outreach (Q6506419) (wbeditentity-create:2|en: Outreach, MaRDI service of category outreach)
11:30, 22 November 2024 Tconrad talk contribs created page Curated Collection (Q6506417) (wbeditentity-create:2|en: Curated Collection, MaRDI service of category curated collection)
11:29, 22 November 2024 Tconrad talk contribs created page Workflow/Pipeline (Q6506415) (wbeditentity-create:2|en: Workflow/Pipeline, MaRDI service of category workflow or pipeline)
10:28, 22 November 2024 Tconrad talk contribs created page TA7 (Q6506283) (wbeditentity-create:2|en: TA7, MaRDI Task Area 7)
10:27, 22 November 2024 Tconrad talk contribs created page TA6 (Q6506281) (wbeditentity-create:2|en: TA6, MaRDI Task Area 6)
10:26, 22 November 2024 Tconrad talk contribs created page TA3 (Q6506278) (wbeditentity-create:2|en: TA3, MaRDI Task Area 3)
10:26, 22 November 2024 Tconrad talk contribs created page TA2 (Q6506276) (wbeditentity-create:2|en: TA2, MaRDI Task Area 2)
10:25, 22 November 2024 Tconrad talk contribs created page TA1 (Q6506273) (wbeditentity-create:2|en: TA1, MaRDI Task Area 1)