시퀀트 계산: 편집 역사

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

특정판 필터링펼치기접기

끝 날짜:

태그 필터:

선택 반전

외부 도구:

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

최신이전 09:112023년 1월 23일 (월) 09:11‎ Phrmir 토론 기여‎ 잔글 10,469 바이트 0‎ 오타를 고침 편집 취소 태그: m 모바일 앱 안드로이드 앱 편집

최신이전 10:332022년 4월 19일 (화) 10:33‎ A.TedBot 토론 기여‎ 잔글 10,469 바이트 −4‎ 봇: 문자열 변경 (> 는 → >는 ) 편집 취소

최신이전 19:462022년 2월 28일 (월) 19:46‎ A.TedBot 토론 기여‎ 잔글 10,473 바이트 +34‎ 봇: 위키데이터 속성 추적 틀 부착 (근거 1, 근거 2) 편집 취소

최신이전 18:012021년 11월 15일 (월) 18:01‎ TedBot 토론 기여‎ 잔글 10,439 바이트 −1‎ 봇: 문자열 변경 ( 를 → 를 ) 편집 취소

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

최신이전 14:132020년 4월 25일 (토) 14:13‎ TedBot 토론 기여‎ 잔글 10,441 바이트 0‎ 봇: 틀 이름 및 스타일 정리 편집 취소

최신이전 23:562020년 4월 3일 (금) 23:56‎ Khlee560 토론 기여‎ 10,441 바이트 +4‎ 편집 요약 없음 편집 취소

최신이전 07:122019년 10월 10일 (목) 07:12‎ 175.223.11.161 토론‎ 10,437 바이트 0‎ →‎시퀀트 계산: 오타를 고침 편집 취소 태그: m 모바일 웹

최신이전 21:522019년 5월 24일 (금) 21:52‎ Monsieur Lichan 토론 기여‎ 10,437 바이트 −5‎ 편집 요약 없음 편집 취소

최신이전 20:192019년 5월 23일 (목) 20:19‎ Monsieur Lichan 토론 기여‎ 10,442 바이트 +114‎ 편집 요약 없음 편집 취소

최신이전 01:102019년 5월 8일 (수) 01:10‎ Monsieur Lichan 토론 기여‎ 잔글 10,328 바이트 −8‎ →‎시퀀트 계산 편집 취소
최신이전 01:052019년 5월 8일 (수) 01:05‎ Monsieur Lichan 토론 기여‎ 10,336 바이트 +96‎ 편집 요약 없음 편집 취소
최신이전 01:022019년 5월 8일 (수) 01:02‎ Monsieur Lichan 토론 기여‎ 잔글 10,240 바이트 −49‎ 편집 요약 없음 편집 취소
최신이전 01:022019년 5월 8일 (수) 01:02‎ Monsieur Lichan 토론 기여‎ 10,289 바이트 +9,263‎ 편집 요약 없음 편집 취소

최신이전 17:432019년 3월 25일 (월) 17:43‎ Monsieur Lichan 토론 기여‎ 잔글 1,026 바이트 +15‎ 편집 요약 없음 편집 취소
최신이전 17:392019년 3월 25일 (월) 17:39‎ Monsieur Lichan 토론 기여‎ 1,011 바이트 +1,011‎ 새 문서: 증명 이론 및 수리 논리학에서 '''시퀀트 계산'''(sequent calculus)은 1차 논리나 특수한 명제 논리에서 쓰이는 연역 계산법의 일...

원본 주소 "https://ko.wikipedia.org/wiki/시퀀트_계산"