User contributions for Eptified

For Eptified talk block log uploads logs global account filter log

A user with 226 edits. Account created on 13 July 2012.

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

18:2418:24, 5 July 2013 diff hist +190‎ User talk:Arthur Rubin ‎ →‎You again mistake idempotency for reflexivity
18:2118:21, 5 July 2013 diff hist +389‎ User talk:Arthur Rubin ‎ →‎Hello! There is a DR/N request you may have interest in.
18:1718:17, 5 July 2013 diff hist 0‎ Join and meet ‎ →‎Partial order approach: Arthur Rubin continues to mistake idempotency for reflexivity

09:1609:16, 1 July 2013 diff hist +360‎ User talk:Arthur Rubin ‎ →‎Term graph
09:1509:15, 1 July 2013 diff hist 0‎ Wikipedia:Administrators' noticeboard/Incidents ‎ →‎Personal attack by admin Arthur Rubin
09:1409:14, 1 July 2013 diff hist 0‎ Wikipedia:Administrators' noticeboard/Incidents ‎ →‎Personal attack by admin Arthur Rubin
09:1309:13, 1 July 2013 diff hist +1,317‎ Wikipedia:Administrators' noticeboard/Incidents ‎ →‎Personal attack by admin Arthur Rubin: new section
06:2906:29, 1 July 2013 diff hist +11‎ Abstract semantic graph ‎No edit summary
06:2806:28, 1 July 2013 diff hist +13‎ Abstract semantic graph ‎No edit summary
06:2806:28, 1 July 2013 diff hist 0‎ Abstract semantic graph ‎No edit summary
06:2706:27, 1 July 2013 diff hist +2‎ Abstract semantic graph ‎ sp
02:5902:59, 1 July 2013 diff hist +163‎ User:Eptified ‎No edit summary current
02:4802:48, 1 July 2013 diff hist +459‎ User talk:Arthur Rubin ‎ →‎interesting talk
02:4402:44, 1 July 2013 diff hist +32‎ Graph rewriting ‎No edit summary
02:4302:43, 1 July 2013 diff hist −2,763‎ Term graph ‎ ←Redirected page to Abstract semantic graph
02:4302:43, 1 July 2013 diff hist −13‎ Abstract semantic graph ‎No edit summary
02:4202:42, 1 July 2013 diff hist −16‎ Abstract semantic graph ‎ →‎See also
02:4202:42, 1 July 2013 diff hist +15‎ Abstract semantic graph ‎ →‎See also
02:4202:42, 1 July 2013 diff hist +21‎ Abstract semantic graph ‎No edit summary
02:4102:41, 1 July 2013 diff hist −19‎ Abstract semantic graph ‎No edit summary
02:4002:40, 1 July 2013 diff hist −878‎ Abstract semantic graph ‎ Material merged to Graph rewriting
02:3902:39, 1 July 2013 diff hist +1,088‎ Graph rewriting ‎ Merging material from [{Term graph]]
02:3502:35, 1 July 2013 diff hist +3,465‎ Abstract semantic graph ‎ Merging term graph and abstract semantic graph
02:1202:12, 1 July 2013 diff hist +17‎ Abstract syntax tree ‎ →‎See also
02:1102:11, 1 July 2013 diff hist +4‎ Abstract syntax ‎No edit summary

13:0813:08, 30 June 2013 diff hist +81‎ R19 ‎ Repunit prime
07:1607:16, 30 June 2013 diff hist 0‎ m Wikipedia:Categories for discussion/Log/2013 June 23 ‎ →‎Category:Iterated binary operations
07:1607:16, 30 June 2013 diff hist +55‎ Wikipedia:Categories for discussion/Log/2013 June 23 ‎ →‎Category:Iterated binary operations
07:1507:15, 30 June 2013 diff hist +179‎ Wikipedia:Categories for discussion/Log/2013 June 23 ‎ →‎Category:Iterated binary operations
06:0406:04, 30 June 2013 diff hist +416‎ Wikipedia:Categories for discussion/Log/2013 June 23 ‎ →‎Category:Iterated binary operations
06:0106:01, 30 June 2013 diff hist +119‎ Wikipedia:Categories for discussion/Log/2013 June 23 ‎ →‎Category:Iterated binary operations
06:0006:00, 30 June 2013 diff hist +564‎ Wikipedia:Categories for discussion/Log/2013 June 23 ‎ →‎Category:Iterated binary operations

15:4115:41, 29 June 2013 diff hist +36‎ Verification condition generator ‎No edit summary
15:4015:40, 29 June 2013 diff hist +43‎ Verification condition generator ‎No edit summary
15:3915:39, 29 June 2013 diff hist +216‎ N Talk:Software verification ‎ ←Created page with 'Shouldn't this page be merged with Verification and validation (software). It is pretty ratty and much worse than the other page. ~~~~'
15:3615:36, 29 June 2013 diff hist +5‎ Verification condition generator ‎No edit summary
15:3615:36, 29 June 2013 diff hist +11‎ Verification condition generator ‎No edit summary
15:3615:36, 29 June 2013 diff hist +7‎ Verification condition generator ‎No edit summary
15:3615:36, 29 June 2013 diff hist +13‎ Verification condition generator ‎No edit summary
15:3515:35, 29 June 2013 diff hist +347‎ Verification condition generator ‎No edit summary
15:3215:32, 29 June 2013 diff hist +180‎ Verification condition generator ‎No edit summary
15:3015:30, 29 June 2013 diff hist +16‎ Verification condition generator ‎No edit summary
15:2915:29, 29 June 2013 diff hist 0‎ Verification condition generator ‎No edit summary
15:2915:29, 29 June 2013 diff hist +1‎ Verification condition generator ‎No edit summary
15:2915:29, 29 June 2013 diff hist +449‎ N Verification condition generator ‎ ←Created page with 'A '''verification condition generator'' is a component of a program verifier that synthesizes formal verification conditions by analyzing a program's source code...'
15:0315:03, 29 June 2013 diff hist +2‎ Operational semantics ‎No edit summary
15:0115:01, 29 June 2013 diff hist +279‎ Operational semantics ‎No edit summary
14:3614:36, 29 June 2013 diff hist 0‎ Type system ‎ →‎Combining static and dynamic type-checking: sp

12:3212:32, 27 June 2013 diff hist −125‎ Commercial animal cloning ‎ This is an opinion, not a fact.

14:4414:44, 24 June 2013 diff hist +27‎ Multi-stage programming ‎ added Category:Type systems using HotCat

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Eptified"