Ιστορικό αλλαγών για τη σελίδα «Τυπική σημασιολογία»

31 Μαρτίου 2023

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

27 Αυγούστου 2022

• παρόνπροηγ. 06:4306:43, 27 Αυγούστου 2022‎ Sotkil συζήτηση συνεισφορές‎ 10.655 bytes −44‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 06:4106:41, 27 Αυγούστου 2022‎ Sotkil συζήτηση συνεισφορές‎ 10.699 bytes +55‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία

6 Μαΐου 2017

• παρόνπροηγ. 08:4608:46, 6 Μαΐου 2017‎ Gerakibot συζήτηση συνεισφορές‎ μ 10.644 bytes +3‎ Αντικατάσταση παρωχημένου προτύπου με references tag αναίρεση

19 Ιανουαρίου 2014

• παρόνπροηγ. 12:3112:31, 19 Ιανουαρίου 2014‎ IM-yb συζήτηση συνεισφορές‎ μ 10.641 bytes +2‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

31 Μαρτίου 2013

• παρόνπροηγ. 22:1222:12, 31 Μαρτίου 2013‎ EmausBot συζήτηση συνεισφορές‎ μ 10.639 bytes −227‎ Bot: Migrating 8 langlinks, now provided by Wikidata on d:Q963731 αναίρεση

22 Ιουλίου 2012

• παρόνπροηγ. 00:4300:43, 22 Ιουλίου 2012‎ Magioladitis συζήτηση συνεισφορές‎ μ 10.866 bytes −25‎ Διόρθωση συντακτικών λαθών με τη χρήση AWB (8097) αναίρεση

15 Μαΐου 2011

• παρόνπροηγ. 12:5512:55, 15 Μαΐου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 10.891 bytes −2‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

5 Απριλίου 2011

• παρόνπροηγ. 07:5607:56, 5 Απριλίου 2011‎ RedBot συζήτηση συνεισφορές‎ μ 10.893 bytes +8‎ r2.5.2) (Ρομπότ: Τροποποίηση: en:Formal semantics (logic) αναίρεση

1 Σεπτεμβρίου 2010

• παρόνπροηγ. 07:1107:11, 1 Σεπτεμβρίου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.885 bytes +47‎ →‎Δείτε επίσης αναίρεση

30 Αυγούστου 2010

• παρόνπροηγ. 07:1307:13, 30 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.838 bytes +1‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

29 Αυγούστου 2010

• παρόνπροηγ. 23:1323:13, 29 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.837 bytes +4‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 23:0523:05, 29 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.833 bytes +2‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 23:0523:05, 29 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.831 bytes +36‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 22:5422:54, 29 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.795 bytes +11‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 22:5322:53, 29 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 10.784 bytes +10.784‎ Νέα σελίδα: {{Δείτε επίσης|Τυπική σημασιολογία των γλωσών προγραμματισμού}} {{Σημασιολογία}} '''Τυπική σημασιο...