說明
「File:First order natural deduction.png」：修訂紀錄
檢視此頁面的日誌
（
檢視濫用日誌
）
跳至導覽
跳至搜尋
篩選修訂
展開
合併
結束日期：
標籤
搜尋：
2017 原始碼編輯
Abusefilter: Smiley
AC/DC
addshore-v1-nonowner-test [1.0]
Adiutor
African German Phrasebook server v2 [1.0]
Android 應用程式編輯
Anonymous or new user removed source information
app5 [1.0]
AutoWikiBrowser
beta-vct [1.0]
Blocked user editing own talk page
Bot adding SDC
BUB2 - wmcloud [1.0]
BUB2-new [2.0]
bub2-uploader [1.0]
Cat-a-lot
CD
commons localhost testing [1.0]
Commons Mass Description (test local) [1.0]
Commons mass description filler [1.2]
commonshelper [1.0]
Como [2.1]
Como allauth test [1.0]
CropCrop [1.0]
CropTool [1.0]
CropTool [1.1]
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
CropTool testing [1.0]
cross-wiki-upload
cross-wiki-upload-1
cross-wiki-upload-2
cross-wiki-upload-3
cross-wiki-upload-4
Debug Flickipedia [1.0]
DepictAssist
Depictor [0.1]
DiBabel [1.2]
discussiontools-added-comment（隱藏的標籤）
discussiontools-source-enhanced（隱藏的標籤）
discussiontools-source（隱藏的標籤）
discussiontools-visual（隱藏的標籤）
discussiontools（隱藏的標籤）
Dispenser [1.0]
Dispenser [2.4]
drawshield [1.0]
dtz [1.1]
dtz [1.2]
editcheck-newreference（隱藏的標籤）
EditGroups for Commons [1.0]
Editing policy page
editing POTD or MOTD description
EnhancedStash
FileImporter
FIST [1.1]
Flcikypedia 2023-10-10 [1.0]
Flickommons [1.0]
Flickr
Flickr Dashboard [1.0]
flickr2commons
flickr2commons [1.0]
Flickypedia (demo for Montevideo) [1.0]
Flickypedia [1.0]
GDrive to Commons Uploader [1.6]
geograph2commons [1.0]
glam2commons [1.0]
Google drive to Wikimedia Commons [1.4]
Google drive to Wikimedia Commons [1.5]
Google Photos Commons Upload [2.0]
HotCat
IA Upload [2.0]
ia-upload [0.2]
ia-upload [1.1]
ia-upload [2.0]
IABotManagementConsole [1.2]
Image Annotator [1.0]
Image notes by new users
import-500px [0.1]
iOS 應用程式編輯
Isa [2.2]
ISA Local Dev 2 (TEST) [1.0]
Isa-dev [1.0]
Isa-tool (dev-personal) [1.0]
Isa-tool [1.0]
KenBurnsEffect tool [1.0]
KenBurnsEffect tool [1.1]
Large upload by a new user
LCA Tools [0.1]
LCA Tools [1.0]
LCA Tools [1.5]
License review by non-image-reviewers
Lingua Libre [2.0]
Lingua Libre [2.2]
Lingua Libre [2.30]
Lingua Libre Development - localhost 2 [1.0]
locator-tool [2.1]
locator-tool [3.0]
Logo with questionable license
Manual deletion request
Media Data Verification Tool (Dev 2) [1.0]
Media Data Verification Tool [1.0]
merge2pdf [0.3]
meta spam id
monumental-upload-https [1.5]
monumental-wlm [1.5]
mpaatools [1.3]
Musikverket Description Translations [1.0]
MwJSBot.js (Software by Rillke)
NCC2Commons1 [1.0]
New user rapidly uploading files
NOA Upload Tool [1.0]
nonsense characters
Nordic Museum Depicts [1.0]
Noun Project Uploader (localhost) [1.0]
Noun Project Uploader (localhost) [3.0]
OAuth Uploader [1.0]
openrefine
openrefine-3.6
openrefine-3.7
openrefine-3.8
OTRS permission added by non-OTRS member
OUploadForm（隱藏的標籤）
Overwriting artwork
ParliamentDiagram [1.0]
parliamentdiagram [1.1]
ParliamentDiagram-Beta [1.2]
PatrAll [1.0]
PAWS [1.2]
PAWS [2.1]
paws [2.2]
PermissionVRTS
Possible vandalism
possibly out of scope
POTY admin [1.0]
QR Code Generator [1.0]
QR Code Generator [2.0]
QR Code Generator [3.0]
QuickCategories [1.0]
QuickCategories [1.1]
QuickStatements [1.5]
quickstatements [2.0]
Removal of duplicates
Removal of ticket permission
Removing information template
RenameLink
RotateLink
samwilson-ia-upload [1.0]
Savica 2, now with file uploads [1.0]
Savica 2023-10-09a [1.0]
Short file caption
sibutest [1.2]
sibutest [2.4]
sibutest [3.0]
Small image note
soda-test-croptool-toolforge-test [0.0]
Staging.ajapaik.ee [1.0]
Sunflower
SVG Translate [1.2]
SVG Translate [1.3]
SVG Translate [1.4]
SVGTranslate [1.0]
SWViewer [1.0]
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
Takedown Tools [1.0]
test-v2-agpb [1.0]
TestApp [1.0]
TestOauthWikiMI [7.0]
TestOauthWikiMI [8.0]
Thenoun Uploader [1.0]
Ticket permission added by non-VRT member
Tracker (localhost) [1.3]
Tracker (localhost) [1.4]
Tracker (test) [1.3]
Tracker [1.1]
Tracker [1.3]
Tracker [1.4]
translate-translation-pages（隱藏的標籤）
translation with only definition
Twinkle
Twitter to Commons [1.0]
Twitter to Commons [1.1]
url2commons [1.0]
Video Editing Server - Cloud9 [1.0]
Video Editing Server - Production [1.0]
video-cut-tool-back-end [3.1]
video-cut-tool-back-end [3.2]
video2commons [0.2]
video2commons [1.0]
video_cutting [1.0]
Videoconvert [0.2]
Videoconvert [0.3]
VideocutTool [1.0]
VideoCutTool [2.6]
videocuttool [5.0]
videocuttool [7]
VideoCutTool development [0.1]
videocuttool-test-2 [1.0]
VideoCutTools - Beta [1.0]
VideoCutTools - oauth2 [1.0]
VideoCutTools [1.0]
Videowiki [1.0]
Videowiki [1.1]
Videowiki [1.2]
Videowiki [1.6]
Videowiki [2.2]
VideowikiLocal [1.1]
VideowikiLocal [1.2]
VideowikiLocal [1.3]
VisualFileChange
Widar [1.4]
Wiki Commons uploader [1.0]
Wiki Loves Brasil [1.0]
Wiki Loves Monuments Italia photo upload app [2.0.1]
Wiki Loves Monuments tool for improving data [1.0]
Wiki Museu do Ipiranga - Onde o objeto é usado? [1.0]
Wiki Museu do Ipiranga - Para que serve? [3.0]
wikicrowd [1.0]
wikicrowd-localhost [1.0]
Wikidata for Firefox
Wikidata Image Positions [1.1]
Wikidata Image Positions [1.2]
Wikidocumentaries demo [1.0]
wikidocumentaries_upload_test5 [2.0]
wikieditor（隱藏的標籤）
Wikifile Transfer [2.0]
Wikifile Transfer [4.0]
wikilove
wikilovesmonuments-italy-app [3.0]
Wikimedia Commons Project Wikimaps Warper [2.0]
Wikimedia Commons Project Wikimaps Warper [2.1]
Wikimedia Commons Project Wikimaps Warper [2.2]
wikishootme [1.1]
wikishootme [1.9]
Wikisource Image Uploader [1.0]
WLM-IT wikigite [1.0]
work2 [1.0]
「建議編輯」的編輯
上傳精靈
以 FileImporter 匯入
伺服器端上傳
傳送大量訊息
內容模型變更
回覆
回退
已被回退
已變更重新導向目標
復原
手動回退
新話題
新重新導向
替換
消歧義連結
清空
由FileImporter修改
移除重新導向
繪文字
行動版應用程式編輯
行動版網頁編輯
行動版編輯
視覺化編輯
視覺化編輯器：已切換
進階行動版編輯
達到條件限制
反向選擇
顯示修訂
比對選擇的版本差異：選擇要比對修訂版本的單選按鈕並點選底部的按鈕進行比對。
符號說明：
（目前）
= 與最新的修訂版本比對，
（前筆）
= 與前一筆修訂版本比對，
小
= 次要修訂。
2024年1月12日 (星期五)
目前
前筆
16:35
2024年1月12日 (五) 16:35
Paradoctor
留言
貢獻
小
2,570位元組
+19
added
Category:Texts
復原
標籤
：
HotCat
目前
前筆
16:34
2024年1月12日 (五) 16:34
Paradoctor
留言
貢獻
小
2,551位元組
+8
{{svg}}
復原
2020年9月28日 (星期一)
目前
前筆
21:51
2020年9月28日 (一) 21:51
BotMultichillT
留言
貢獻
2,543位元組
+1,406
已變更一個實體：
Adding structured data: copyright
復原
2016年8月18日 (星期四)
目前
前筆
06:07
2016年8月18日 (四) 06:07
Jochen Burghardt
留言
貢獻
小
1,137位元組
−2
removed
Category:Mathematical logic
; added
Category:Sequent calculus
using
HotCat
復原
2015年11月7日 (星期六)
目前
前筆
21:05
2015年11月7日 (六) 21:05
McPot
留言
貢獻
小
1,139位元組
+1
BWR
.
復原
2015年7月26日 (星期日)
目前
前筆
21:36
2015年7月26日 (日) 21:36
Leyo
留言
貢獻
1,138位元組
+54
using templates instead of plain text - Doing 1 replacements. Using
VisualFileChange
.
復原
2014年12月31日 (星期三)
目前
前筆
22:27
2014年12月31日 (三) 22:27
JarektBot
留言
貢獻
小
1,084位元組
+44
→Historio de la dosiero
:
add
Category:Media missing infobox template
復原
2014年12月4日 (星期四)
目前
前筆
00:07
2014年12月4日 (四) 00:07
YaCBot
留言
貢獻
小
1,040位元組
−48
Bot:
Standardizing interwikilinks
.
復原
2009年8月15日 (星期六)
目前
前筆
14:45
2009年8月15日 (六) 14:45
MGA73bot2
留言
貢獻
小
1,088位元組
+20
Changing image for
the big license migration
復原
2007年11月18日 (星期日)
目前
前筆
01:40
2007年11月18日 (日) 01:40
Darapti
留言
貢獻
1,068位元組
+1
無編輯摘要
復原
2007年11月17日 (星期六)
目前
前筆
23:50
2007年11月17日 (六) 23:50
Darapti
留言
貢獻
1,067位元組
+11
無編輯摘要
復原
2006年3月19日 (星期日)
目前
前筆
19:55
2006年3月19日 (日) 19:55
Maksim
留言
貢獻
1,056位元組
+1,056
La bildo estas kopiita de wikipedia:en. La originala priskribo estas: Summary of the formal first-order (intuitionistic) natural deduction system {{GFDL}} {| border="1" ! date/time || username || edit summary |---- | 00:41, 25 August 2004 || [[:en:User:
導覽選單
個人工具
中文（臺灣）
尚未登入
討論
貢獻
建立帳號
登入
命名空間
檔案
討論
English
視圖
閱讀
編輯
檢視歷史
更多
搜尋
導覽
首頁
歡迎
社群入口
互助客棧
說明
參與
上傳檔案
近期變更
最新檔案
隨機檔案
聯絡我們
工具
連結至此的頁面
相關變更
Atom
特殊頁面
頁面資訊
概念 URI
取得短網址
下載QR碼
