| Size: 455 Comment:  | Size: 1619 Comment:  | 
| Deletions are marked like this. | Additions are marked like this. | 
| Line 1: | Line 1: | 
| * AreaBorderRouter * AffineMotion * AutonomousSystem (AS) * BooleanAlgebra * BooleanTerm * CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions) | |
| Line 2: | Line 8: | 
| * ["Decidable"] and SemiDecidable * ["Dichotomy"] * DijkstrasAlgorithm * DisjunctiveSyllogism * DistanceVector | |
| Line 4: | Line 15: | 
| * InternetGatewayRoutingProtocol IGRP | * FixedPoint * ForwardingVsRouting * FreeBooleanAlgebra * GroundClause * GroundBooleanTerm * HypotheticalSylogism * InteriorGatewayRoutingProtocol (IGRP) | 
| Line 6: | Line 23: | 
| * InternetProtocolV4 | * InternetProtocolV4 (IPv4) * InternetProtocolV6 (IPv6) | 
| Line 8: | Line 26: | 
| * LogicalImplication (|= symbol and also |-) | |
| Line 9: | Line 28: | 
| * LinearlyDecomposable | * LinearlyDecomposableDomains * LinkState * MaximumTransmissionUnit (MTU) | 
| Line 11: | Line 32: | 
| * OpenShortPathFirst OSPF | * ModusPonens * MultiProtocolLabelSwitching (MPLS) * MonotoneBooleanTerm * OpenShortestPathFirst OSPF * OsiModel (7 layer OSI network Model) * PredicateSymbols * PowerSet * ["Proposition"] or PropositionalLogic * RecursivelyEnumerableSets * RelationallyComplete * RoutingArea * RoutingInformationProtocol (RIP) | 
| Line 14: | Line 46: | 
| * SemanticsSyntaxSortsInLogic * SemiDecidable and ["Decidable"] * SequenceNumber * SlidingWindowProtocol * SpatialExtent * ["Tautology"] * TransmissionControlProtocol (TCP) * ["taxonomy"] | |
| Line 15: | Line 55: | 
| * ["Undecidable"] | |
| Line 16: | Line 57: | 
- AutonomousSystem (AS) 
- 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   
- MaximumTransmissionUnit (MTU) 
- ["Model"] of a logic formula
- MultiProtocolLabelSwitching (MPLS) 
- OsiModel (7 layer OSI network Model) 
- ["Proposition"] or PropositionalLogic 
- ["Satisfiable"]
- SemiDecidable and ["Decidable"] 
- ["Tautology"]
- ["taxonomy"]
- ["Undecidable"]
- ["Valid"] Logic Formula
