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

Αναζήτηση στο ιστορικόΑνάπτυξηΣύμπτυξη

Έως ημερομηνία:

Αντιστροφή επιλογής

Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Kripke structure της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 4.0. (ιστορικό/συντάκτες).

Για κάθε έκδοση που εμφανίζεται παρακάτω, πατήστε στην ημερομηνία της για να την δείτε.

Εξωτερικά εργαλεία:

(παρόν) = διαφορά από την παρούσα έκδοση, (προηγ.) = διαφορά από την προηγούμενη έκδοση, μ = μικρή αλλαγή, → = επεξεργασία ενότητας, ← = αυτόματη σύνοψη επεξεργασίας

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

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

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

παρόνπροηγ. 02:3402:34, 24 Μαρτίου 2013‎ SamoaBot συζήτηση συνεισφορές‎ μ 3.751 bytes −176‎ Ρομπότ: Αφαιρώ 6 σύνδεσμους interwiki, που τώρα παρέχονται από τα Wikidata στο d:Q1077740 αναίρεση

παρόνπροηγ. 09:4509:45, 1 Φεβρουαρίου 2013‎ EmausBot συζήτηση συνεισφορές‎ μ 3.927 bytes +22‎ r2.7.3) (Ρομπότ: Προσθήκη: pl:Model Kripkego αναίρεση

παρόνπροηγ. 00:4600:46, 13 Μαΐου 2011‎ Gf uip συζήτηση συνεισφορές‎ 3.905 bytes +185‎ Προσθήκη εικόνας αναίρεση

παρόνπροηγ. 22:1622:16, 1 Μαΐου 2011‎ EmausBot συζήτηση συνεισφορές‎ μ 3.720 bytes +17‎ r2.6.4) (Ρομπότ: Τροποποίηση: en:Kripke structure (model checking) αναίρεση

παρόνπροηγ. 13:0513:05, 22 Οκτωβρίου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 3.703 bytes −2‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

31 Μαρτίου 2023

6 Μαΐου 2017

4 Μαΐου 2016

24 Μαρτίου 2013

1 Φεβρουαρίου 2013

13 Μαΐου 2011

1 Μαΐου 2011

22 Οκτωβρίου 2010

1 Οκτωβρίου 2010