| Size: 752 Comment:  | Size: 1836 Comment:  | 
| Deletions are marked like this. | Additions are marked like this. | 
| Line 1: | Line 1: | 
| * AreaBorderRouter | |
| Line 2: | Line 3: | 
| * AutonomousSystem (AS) * ["Bijection"] * BooleanAlgebra * BooleanTerm * CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions) | |
| Line 3: | Line 9: | 
| * CpuTime * ["Decidable"] and SemiDecidable * ["Dichotomy"] | |
| Line 4: | Line 13: | 
| * DelayBandwidthProduct * DisjunctiveSyllogism | |
| Line 5: | Line 16: | 
| * ExecutionTime | |
| Line 7: | Line 19: | 
| * FixedPoint | |
| Line 8: | Line 21: | 
| * FreeBooleanAlgebra * GroundClause * GroundBooleanTerm * HypotheticalSylogism | |
| Line 11: | Line 28: | 
| * InternetProtocolV6 (IPv6) | |
| Line 12: | Line 30: | 
| * LogicalImplication (|= symbol and also |-) | |
| Line 13: | Line 32: | 
| * ["Latency"] | |
| Line 17: | Line 37: | 
| * MultiProtocolLabelSwitching (MPLS) | * ModusPonens * MonotoneBooleanTerm | 
| Line 19: | Line 40: | 
| * OsiModel | * OsiModel (7 layer OSI network Model) * ["Performance"] | 
| Line 21: | Line 43: | 
| * PowerSet * ["Proposition"] or PropositionalLogic * QueuingTheory * RecursivelyEnumerableSets * RelationallyComplete * ResponseTime * RoutingArea | |
| Line 24: | Line 53: | 
| * SemanticsSyntaxSortsInLogic * SemiDecidable and ["Decidable"] * SequenceNumber * SlidingWindowProtocol * SpatialExtent * SpeedUp * ["Tautology"] * TcpFastRetransmit * TcpFastRecovery * ThroughPut * TransmissionControlProtocol (TCP) | |
| Line 26: | Line 66: | 
| * ["Undecidable"] | |
| Line 27: | Line 68: | 
| * WallClockTime | 
- AutonomousSystem (AS) 
- ["Bijection"]
- CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions) 
- CompleteLogic What does it mean for a logic to be complete 
- ["Decidable"] and SemiDecidable 
- ["Dichotomy"]
- InternetProtocolV4 (IPv4) 
- InternetProtocolV6 (IPv6) 
- LogicalImplication (|= symbol and also   
- ["Latency"]
- MaximumTransmissionUnit (MTU) 
- ["Model"] of a logic formula
- OsiModel (7 layer OSI network Model) 
- ["Performance"]
- ["Proposition"] or PropositionalLogic 
- ["Satisfiable"]
- SemiDecidable and ["Decidable"] 
- ["Tautology"]
- ["taxonomy"]
- ["Undecidable"]
- ["Valid"] Logic Formula
