Revision history of "Herbrand Award" (Q449390)

28 February 2024

• curprev 10:1010:10, 28 February 2024 Infovarius talk contribs 6,367 bytes +87 ‎Added [ru] label: Премия Эрбрана undo Tag: reasonator [1.0]

31 December 2022

• curprev 15:4815:48, 31 December 2022 Ferran Mir talk contribs 6,280 bytes +77 ‎Added [ca] description: guardó científic undo Tag: Wikidata user interface (restore)
• curprev 15:4815:48, 31 December 2022 Ferran Mir talk contribs 6,203 bytes 0 ‎Changed Catalan label: Premi Herbrand undo Tag: Wikidata user interface (restore)

23 September 2021

• curprev 10:0410:04, 23 September 2021 Alvaro Vidal-Abarca talk contribs 6,203 bytes +73 ‎Added [ca] label: premi Herbrand undo Tag: Wikidata user interface (restore)

24 December 2020

• curprev 12:5912:59, 24 December 2020 باسم talk contribs 6,130 bytes +154 ‎Added [ar] description: جائزة تُمنح لأصحاب المساهمات البحثية في الخصم الآلي undo (restore)
• curprev 12:5912:59, 24 December 2020 باسم talk contribs 5,976 bytes +86 ‎Added [ar] label: جائزة هيربراند undo (restore)

12 November 2020

• curprev 13:0313:03, 12 November 2020 Markus Krötzsch talk contribs 5,890 bytes +137 ‎Added [de] description: Auszeichnung für Forschungsbeiträge im Bereich des automatischen Schließens undo (restore)
• curprev 13:0313:03, 12 November 2020 Markus Krötzsch talk contribs 5,753 bytes +51 ‎Changed English description: award for research contributions to automated deduction undo (restore)

15 August 2018

• curprev 08:1408:14, 15 August 2018 Quimper200 talk contribs 5,702 bytes +94 ‎Added [es] description: premio de razonamiento automatizado undo (restore)

7 August 2018

• curprev 07:1207:12, 7 August 2018 הנדב הנכון talk contribs 5,608 bytes +405 ‎Created claim: native label (P1705): Herbrand Award undo (restore)

28 June 2017

• curprev 11:0211:02, 28 June 2017 GerardM talk contribs 5,203 bytes +432 ‎Created claim: conferred by (P1027): Conference on Automated Deduction (Q5159939) undo (restore)
• curprev 09:5609:56, 28 June 2017 GerardM talk contribs 4,771 bytes +428 ‎Created claim: named after (P138): Jacques Herbrand (Q448086) undo (restore)

12 February 2017

• curprev 14:5014:50, 12 February 2017 50.53.1.33 talk 4,343 bytes +371 ‎Created claim: official website (P856): http://cadeinc.org/Herbrand-Award undo (restore)

5 February 2017

• curprev 10:4610:46, 5 February 2017 Cbyd talk contribs 3,972 bytes +430 ‎Created claim: field of work (P101): computer-assisted proof (Q1150675) undo (restore)
• curprev 10:4510:45, 5 February 2017 Cbyd talk contribs 3,542 bytes +514 ‎Created claim: inception (P571): 1992 undo (restore)
• curprev 10:4510:45, 5 February 2017 Cbyd talk contribs 3,028 bytes +84 ‎Added [fr] description: distinction mathématique undo (restore)

4 February 2017

• curprev 23:1423:14, 4 February 2017 Cbyd talk contribs 2,944 bytes +143 ‎Added link to [frwiki]: Prix Herbrand undo (restore)

29 May 2016

• curprev 11:4611:46, 29 May 2016 Cewbot talk contribs 2,801 bytes +77 ‎Updated Item: bot: import label/alias from ja:自動じどう定理ていり証明しょうめい undo (restore)

21 December 2015

• curprev 03:4503:45, 21 December 2015 Dexbot talk contribs 2,724 bytes +78 ‎Updated Item: Bot: setting proper label for he undo (restore)

18 November 2015

• curprev 08:0208:02, 18 November 2015 Ofir michael talk contribs 2,646 bytes +101 ‎Added link to [hewiki]: פרס הרברנד undo (restore)

10 October 2015

• curprev 00:1500:15, 10 October 2015 BotNinja talk contribs 2,545 bytes +63 ‎Added [en] description: award undo (restore)

5 October 2015

• curprev 14:1514:15, 5 October 2015 ManiacParisien talk contribs 2,482 bytes +72 ‎Added [fr] label: prix Herbrand undo (restore)

11 August 2015

• curprev 10:0410:04, 11 August 2015 Claude J talk contribs 2,410 bytes −7 ‎Page moved from [dewiki:Herbrand-Award] to [dewiki:Herbrand Award] undo (restore)

28 October 2014

• curprev 11:2711:27, 28 October 2014 Reinheitsgebot talk contribs 2,417 bytes +1,264 ‎Created claim: instance of (P31): award (Q618779) undo Tag: Widar [1.3] (restore)

10 January 2014

• curprev 02:4502:45, 10 January 2014 Legobot talk contribs 1,153 bytes +393 ‎Added reference to claim: Freebase ID (P646): /m/07r7y8 undo (restore)
• curprev 02:4502:45, 10 January 2014 Legobot talk contribs 760 bytes +357 ‎Created claim: Freebase ID (P646): /m/07r7y8 undo (restore)

6 December 2012

• curprev 05:0905:09, 6 December 2012 MerlIwBot talk contribs 403 bytes +403 →wbsetentity: Bot: Ergänze: pt:Prêmio Herbrand, de:Herbrand-Award, w:Herbrand Award, es:Premio Herbrand (restore)