Ιστορικό αλλαγών για τη σελίδα «Εξαγωγή τύπων»

31 Μαρτίου 2023

• παρόνπροηγ. 15:2015:20, 31 Μαρτίου 2023‎ 3223 Ανόι συζήτηση συνεισφορές‎ μ 20.708 bytes −60‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

18 Απριλίου 2020

• παρόνπροηγ. 18:5518:55, 18 Απριλίου 2020‎ Xqbot συζήτηση συνεισφορές‎ μ 20.768 bytes +18‎ Bot: Replace deprecated <source> tag and "enclose" parameter. αναίρεση

27 Σεπτεμβρίου 2019

• παρόνπροηγ. 03:3003:30, 27 Σεπτεμβρίου 2019‎ InternetArchiveBot συζήτηση συνεισφορές‎ 20.750 bytes +43‎ Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 αναίρεση

6 Μαΐου 2017

• παρόνπροηγ. 09:1009:10, 6 Μαΐου 2017‎ Gerakibot συζήτηση συνεισφορές‎ μ 20.707 bytes −10‎ Αντικατάσταση παρωχημένου προτύπου με references tag αναίρεση

4 Μαΐου 2016

• παρόνπροηγ. 01:2801:28, 4 Μαΐου 2016‎ Xaris333 συζήτηση συνεισφορές‎ μ 20.717 bytes +13‎ →‎Αναφορές: clean up, αντικατέστησε: {{reflist}} → {{παραπομπές}} με τη χρήση AWB αναίρεση

24 Μαρτίου 2013

• παρόνπροηγ. 04:5104:51, 24 Μαρτίου 2013‎ SamoaBot συζήτηση συνεισφορές‎ μ 20.704 bytes −210‎ Ρομπότ: Αφαιρώ 9 σύνδεσμους interwiki, που τώρα παρέχονται από τα Wikidata στο d:Q586459 αναίρεση

28 Σεπτεμβρίου 2011

• παρόνπροηγ. 16:2816:28, 28 Σεπτεμβρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.914 bytes +43‎ ενημέρωση μετάφρασης αναίρεση

28 Μαΐου 2011

• παρόνπροηγ. 03:4903:49, 28 Μαΐου 2011‎ MastiBot συζήτηση συνεισφορές‎ μ 20.871 bytes +25‎ r2.7.1) (Ρομπότ: Προσθήκη: pl:Inferencja typów αναίρεση

15 Μαΐου 2011

• παρόνπροηγ. 14:2714:27, 15 Μαΐου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.846 bytes +2‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

17 Μαρτίου 2011

• παρόνπροηγ. 23:5623:56, 17 Μαρτίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.844 bytes −13‎ →‎Γενική περιγραφή αναίρεση

20 Φεβρουαρίου 2011

• παρόνπροηγ. 10:1510:15, 20 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.857 bytes +1‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

19 Φεβρουαρίου 2011

• παρόνπροηγ. 23:5723:57, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.856 bytes +2‎ →‎Αλγόριθμος εξαγωγής τύπων των Hindley–Milner αναίρεση
• παρόνπροηγ. 23:5623:56, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.854 bytes +26‎ →‎Αλγόριθμος εξαγωγής τύπων των Hindley–Milner αναίρεση
• παρόνπροηγ. 13:2113:21, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 20.828 bytes −23‎ →‎Παραγωγή των εξισώσεων αναίρεση
• παρόνπροηγ. 13:2013:20, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ 20.851 bytes +8.144‎ →‎Εξωτερικοί σύνδεσμοι αναίρεση
• παρόνπροηγ. 12:5312:53, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ 12.707 bytes +2.004‎ →‎Εξωτερικοί σύνδεσμοι αναίρεση
• παρόνπροηγ. 12:4512:45, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ 10.703 bytes +2.115‎ →‎Εξωτερικοί σύνδεσμοι αναίρεση
• παρόνπροηγ. 11:1411:14, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ 8.588 bytes +5.798‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 10:5210:52, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 2.790 bytes +66‎ προστέθηκε η Κατηγορία:Λογική για Υπολογιστές (με το HotCat) αναίρεση
• παρόνπροηγ. 10:4710:47, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 2.724 bytes +2‎ →‎Εξωτερικοί σύνδεσμοι αναίρεση
• παρόνπροηγ. 10:4710:47, 19 Φεβρουαρίου 2011‎ Gf uip συζήτηση συνεισφορές‎ 2.722 bytes +2.722‎ Νέα σελίδα: Ο όρος '''εξαγωγή τύπων''' ('''type inference''') αναφέρεται στην αυτόματη συνεπαγωγή του τύπου μιας τιμής σε...