### Table 3: Basic facts relevant to the dimension abstracted oddity task.

1997

"... In PAGE 9: ... Suppose a dimension-abstracted oddity task consisting of a white circle, a black square, and a black triangle. The basic facts concerning this task are given in Table3 . The con- ceptual schema that captures these facts is shown in Figure 3(b).... ..."

Cited by 5

### Table 3: Basic facts relevant to the dimension abstracted oddity task.

1997

"... In PAGE 9: ... Suppose a dimension-abstracted oddity task consisting of a white circle, a black square, and a black triangle. The basic facts concerning this task are given in Table3 . The con- ceptual schema that captures these facts is shown in Figure 3(b).... ..."

Cited by 5

### Table 2. Some Devices and Properties

"... In PAGE 3: ... At each abstraction level which we choose to model, we need to define the input/output characteristics of the basic blocks in terms of characteristic parameters . As examples, the characteristics of some optical components are shown in Table2 . Not all of these parameters are appropriate for all abstraction levels.... ..."

### Table 2: the abstract facts generated by the ALMA system Concept Subject Start Point End Point Value

2005

Cited by 3

### Table 2: Abstract and Ground proof.

"... In PAGE 3: ... Section 7 describes the last two steps of theorem proving by abstraction, namely mapping back and re nement. Inside Section 7, Table2 (page 20) compares the abstract proof with the ground proof. Finally, the Appendices collect some input/output of GETFOL: the ground language, the ground axiomatization, the abstract axioms, the abstract proof, and the ground proof can be found here.... In PAGE 19: ...2.0 has been bound to 11.1. To illustrate the whole re nement process, we present in Table2 the ground proof opposite to the abstract proof: the left column contains the facts of the abstract proof and the right column contains the facts of the ground proof. The mathematical font has been used instead of teletype for typographical reasons.... ..."

### Table 2: Abstract and Ground proof.

"... In PAGE 8: ...2.0 has been bound to 11.1. To illustrate the whole re nement process, we present in Table2 the ground proof opposite to the abstract proof: the left column contains the facts of the abstract proof and the right column contains the facts of the ground proof. The mathematical font has been used instead of teletype for typographical reasons.... In PAGE 24: ... Section 7 describes the last two steps of theorem proving by abstraction, namely mapping back and re nement. Inside Section 7, Table2 (page 20) compares the abstract proof with the ground proof. Finally, the Appendices collect some input/output of GETFOL: the ground language, the ground axiomatization, the abstract axioms, the abstract proof, and the ground proof can be found here.... ..."

### Table 1 Information Abstraction of Dimensions

"... In PAGE 6: ...Statistical tolerance can be applied to tolerance representation to further specify the dimensional distribution of the dimensions for manufactured parts. Table1 summarizes the information requirements of a dimension. Table 1 Information Abstraction of Dimensions... In PAGE 7: ... An information structure for tolerances is shown in Table 2, which specifies levels of abstraction of tolerance information. Table 2 Information Abstraction of Geometric Tolerance Geometric Tolerance Data Elements Abstraction Level Element Component Level 0 tolerance value magnitude, unit tolerance type a list of text strings toleranced feature shape aspect tolerance zone form list of all the possible forms of tolerance zone used in geometric tolerancing Level 1 material conditions MMC, LMC, RFS datum reference a set of datums unit tolerance zone magnitude, unit zone orientation angular relation of measurement device to the datum Level 2 datum shape aspect datum feature shape aspect datum target shape aspect Level 3 composite tolerance two geometric tolerances Similar to Table1 , higher level tolerance information is based on the information specified on lower levels. Level 0 includes the most fundamental elements for a geometric tolerance:... ..."

### Table 2. Abstract Operational Semantics

"... In PAGE 3: ...et stuck, then for j = 1..m, the state at exit lprime j is Sprime j. Table2 lists the operational rules that transform entry states of a program fragment to exit states. It includes one rule for each primi- tive instruction, composition rules COMBINE, DISCHARGE and WEAKEN for combining individual instructions, and the rule UNFOLD for unrolling a recursive predicate to reveal a points-to fact.... ..."

### Table 9: System Value Abstract Interface

"... In PAGE 6: ... The complete set of Device Interface abstract interfaces is followed by dictio- naries defining types, monitored variables, and controlled variables referenced in the abstract interfaces. The organization of the System Value Module abstract interface (see Table9 ), which hides how to determine the value of monitored variables and certain terms and how to set the value of controlled variables, is similar to that of Device Interface. The interface lists declarations of moni- tored variables and terms, which are outputs to users.... ..."

Cited by 1

### Table 2 - subjects apos; identification of incorrect key domain facts

1993

"... In PAGE 10: ... All 7 successful subjects understood and selected the correct retrieved abstraction. Retrospective questioning revealed that abstractions were easy to understand and map to the original problem, see Table2 . Of the others, S7 selected a correct abstraction from a choice of two retrieved abstractions, S14 correctly rejected the wrong OA abstraction but S8 incorrectly selected the OR abstraction.... In PAGE 11: ... were examined for the number of correct and incorrect domain facts, see Table2 . Unsuccessful retrieval of abstractions appeared linked to: * total numbers of incorrect facts entered (unpaired t-test: t=3.... ..."

Cited by 14