Jump to content

User contributions for Modelpractice

Results for Modelpractice talk block log uploads logs global block log global account filter log

A user with 107 edits. Account created on 26 May 2011.

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

11:1911:19, 17 October 2019 diff hist +56 m User:Modelpractice/sandbox No edit summary current Tag: Visual edit

18:4618:46, 22 December 2015 diff hist +28 User:Modelpractice No edit summary current

16:2116:21, 26 August 2015 diff hist +209 Herbrand structure →Herbrand base
16:1216:12, 26 August 2015 diff hist +74 Herbrand structure →Herbrand structure
16:1116:11, 26 August 2015 diff hist +76 Herbrand structure →Herbrand universe
16:0616:06, 26 August 2015 diff hist +232 Herbrand structure add Intro
15:3115:31, 26 August 2015 diff hist +4 Herbrand structure →Herbrand universe
14:3114:31, 26 August 2015 diff hist +221 Herbrand structure →Herbrand base
13:2213:22, 26 August 2015 diff hist +131 Herbrand structure →Herbrand structure
11:2411:24, 26 August 2015 diff hist +313 Herbrand structure add References
11:1611:16, 26 August 2015 diff hist −159 Herbrand structure →Herbrand structure
06:4906:49, 26 August 2015 diff hist +117 Herbrand structure →See also
06:3106:31, 26 August 2015 diff hist +161 Herbrand structure →Herbrand universe
06:0506:05, 26 August 2015 diff hist +92 Herbrand structure →Herbrand universe
05:5805:58, 26 August 2015 diff hist +16 Herbrand structure No edit summary

21:3521:35, 25 August 2015 diff hist +105 Herbrand structure →Definition
21:2521:25, 25 August 2015 diff hist +217 Herbrand structure →Herbrand universe
21:1621:16, 25 August 2015 diff hist +595 Herbrand structure makeover2
16:5116:51, 25 August 2015 diff hist +299 Herbrand structure complete revision step 1

22:0822:08, 24 August 2015 diff hist +11 User:Modelpractice No edit summary
21:2421:24, 24 August 2015 diff hist +93 User:Modelpractice No edit summary
21:2121:21, 24 August 2015 diff hist +49 User:Modelpractice No edit summary
21:1021:10, 24 August 2015 diff hist +32 Formal specification →See also: add Model-based_specification

10:5210:52, 15 July 2015 diff hist +166 Talk:Requirement →Proposed modifications: add
10:2510:25, 15 July 2015 diff hist +185 Requirement →External links: add: Models in software requirement specifications: Correct, Complete, Consistent, Unambiguous

09:5309:53, 12 July 2015 diff hist −6 User:Modelpractice/sandbox →Text
09:0809:08, 12 July 2015 diff hist +40 Finite model theory →Basic Challenges: introduced "axiomatizable" for described uniquely up to isomorphism (as in e.g. Ebbinghaus Flum)

14:2714:27, 7 July 2015 diff hist −6 Quantifier rank →Examples: unified notation

11:4511:45, 22 June 2015 diff hist +35 Game semantics →See also: add EFG

08:1308:13, 21 June 2015 diff hist +380 User:Modelpractice/sandbox →Text

13:1413:14, 20 June 2015 diff hist −1,956 User:Modelpractice/sandbox →Text
13:0313:03, 20 June 2015 diff hist +5 User:Modelpractice/sandbox No edit summary
12:4812:48, 20 June 2015 diff hist +933 User:Modelpractice/sandbox No edit summary

22:0222:02, 18 June 2015 diff hist +924 User:Modelpractice/sandbox No edit summary
21:3321:33, 18 June 2015 diff hist +220 User:Modelpractice/sandbox No edit summary

23:0423:04, 16 June 2015 diff hist −1 User:Modelpractice/sandbox No edit summary
22:5822:58, 16 June 2015 diff hist +811 User:Modelpractice/sandbox No edit summary
22:1622:16, 16 June 2015 diff hist +251 User:Modelpractice/sandbox No edit summary
21:1421:14, 16 June 2015 diff hist +334 User:Modelpractice/sandbox No edit summary
17:5317:53, 16 June 2015 diff hist +192 User:Modelpractice/sandbox No edit summary
17:3717:37, 16 June 2015 diff hist +97 User:Modelpractice/sandbox →Approach
17:2817:28, 16 June 2015 diff hist +128 User:Modelpractice/sandbox No edit summary
05:2505:25, 16 June 2015 diff hist +189 User:Modelpractice/sandbox No edit summary

21:5621:56, 15 June 2015 diff hist +18 User:Modelpractice/sandbox No edit summary
21:5421:54, 15 June 2015 diff hist +80 User:Modelpractice/sandbox No edit summary
21:3921:39, 15 June 2015 diff hist +288 User:Modelpractice/sandbox No edit summary
21:1221:12, 15 June 2015 diff hist +299 User:Modelpractice/sandbox No edit summary
20:3920:39, 15 June 2015 diff hist +483 User:Modelpractice/sandbox →Approach
05:0705:07, 15 June 2015 diff hist +2,040 User:Modelpractice/sandbox No edit summary

23:5923:59, 16 April 2013 diff hist +67 User:Modelpractice No edit summary

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