크립키 구조: 편집 역사

이 문서의 기록 보기 (편집 필터 기록 보기)

특정판 필터링펼치기접기

끝 날짜:

태그 필터:

선택 반전

외부 도구:

차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요.
설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집

최신이전 17:372022년 3월 7일 (월) 17:37‎ A.TedBot 토론 기여‎ 잔글 1,391 바이트 +34‎ 봇: 위키데이터 속성 추적 틀 부착 (근거 1, 근거 2) 편집 취소

최신이전 12:262022년 1월 4일 (화) 12:26‎ TedBot 토론 기여‎ 잔글 1,357 바이트 −1‎ 봇: 문자열 변경 ( 는 → 는 ) 편집 취소

최신이전 22:282020년 5월 5일 (화) 22:28‎ 慈居 토론 기여‎ 잔글 1,358 바이트 −2‎ 편집 요약 없음 편집 취소
최신이전 22:282020년 5월 5일 (화) 22:28‎ 慈居 토론 기여‎ 잔글 1,360 바이트 +1‎ 편집 요약 없음 편집 취소

최신이전 15:402019년 5월 12일 (일) 15:40‎ TedBot 토론 기여‎ 잔글 1,359 바이트 −1‎ 봇: 틀 이름 및 스타일 정리 편집 취소

최신이전 13:152017년 7월 1일 (토) 13:15‎ Ykhwong 토론 기여‎ 1,360 바이트 −33‎ 편집 요약 없음 편집 취소

최신이전 18:592017년 3월 24일 (금) 18:59‎ TedBot 토론 기여‎ 잔글 1,393 바이트 −3‎ 봇: 문단 이름 변경 (참고 및 주석 → 참고 및 각주) 편집 취소

최신이전 14:142014년 12월 21일 (일) 14:14‎ Osteologia 토론 기여‎ 잔글 1,396 바이트 +29‎ 편집 요약 없음 편집 취소

최신이전 22:042013년 3월 17일 (일) 22:04‎ Addbot 토론 기여‎ 잔글 1,367 바이트 −181‎ 봇: 인터위키 링크 6 개가 위키데이터의 d:q1077740 항목으로 옮겨짐 편집 취소

최신이전 18:462013년 2월 1일 (금) 18:46‎ EmausBot 토론 기여‎ 잔글 1,548 바이트 +22‎ r2.7.3) (로봇: pl:Model Kripkego 추가 편집 취소

최신이전 23:172012년 11월 24일 (토) 23:17‎ Infini 토론 기여‎ 잔글 1,526 바이트 −11‎ 편집 요약 없음 편집 취소

최신이전 07:172011년 5월 2일 (월) 07:17‎ EmausBot 토론 기여‎ 잔글 1,537 바이트 +17‎ r2.6.4) (로봇이 바꿈: en:Kripke structure (model checking) 편집 취소

최신이전 22:582010년 10월 1일 (금) 22:58‎ Luckas-bot 토론 기여‎ 잔글 1,520 바이트 +29‎ 로봇이 더함: el:Δομή Κρίπκε 편집 취소

최신이전 00:422010년 5월 3일 (월) 00:42‎ Luckas-bot 토론 기여‎ 잔글 1,491 바이트 +28‎ 로봇이 더함: sk:Kripkeho štruktúra 편집 취소

최신이전 03:102010년 1월 16일 (토) 03:10‎ 시들해봇 토론 기여‎ 잔글 1,463 바이트 +7‎ Robot: Automated text replacement (-{{토막글|전산학}} +{{토막글|컴퓨터 과학}}) 편집 취소
최신이전 01:382010년 1월 16일 (토) 01:38‎ 시들해봇 토론 기여‎ 잔글 1,456 바이트 +7‎ 로봇: 분류:전산학 수정 편집 취소

최신이전 18:352009년 9월 24일 (목) 18:35‎ D'ohBot 토론 기여‎ 잔글 1,449 바이트 +33‎ 로봇이 더함: ru:Модель Крипке 편집 취소

최신이전 10:302009년 7월 2일 (목) 10:30‎ Tiens 토론 기여‎ 잔글 1,416 바이트 −3‎ →‎정의 편집 취소

최신이전 11:262009년 6월 14일 (일) 11:26‎ PuzzletChung 토론 기여‎ 잔글 1,419 바이트 +26‎ 편집 요약 없음 편집 취소

최신이전 08:272009년 6월 11일 (목) 08:27‎ Tiens 토론 기여‎ 잔글 1,393 바이트 −3‎ →‎정의 편집 취소
최신이전 00:432009년 6월 11일 (목) 00:43‎ Chobot 토론 기여‎ 잔글 1,396 바이트 +28‎ 로봇이 더함: fr:Structure de Kripke 편집 취소

최신이전 21:542009년 6월 10일 (수) 21:54‎ Tiens 토론 기여‎ 잔글 1,368 바이트 +649‎ 편집 요약 없음 편집 취소
최신이전 21:482009년 6월 10일 (수) 21:48‎ Tiens 토론 기여‎ 잔글 719 바이트 +719‎ 일단 시작

원본 주소 "https://ko.wikipedia.org/wiki/크립키_구조"