What is an airline reservation?

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• How should we define an airline reservation for the purposes of an Elephant reservation program?question0.827
  Better question about minimal definition for the program.
• An airline reservation program's input-output specification is that it not order the admission of more passengers than the capacity of the flight. It is an external fact that the plane will hold its capacity and not more.claim0.788
  Example distinguishing input-output and external facts.
• What do we want to say about airline reservations to our program?question0.785
  Question guiding minimal specification.
• Cookingconcept0.687
• fairness (scheduling)concept0.678
  The property that a process blocked on in cannot be starved; required for the dining philosophers solution.
• Scheduleconcept0.674
• auctionconcept0.674
  Competitive bidding mechanism in the game where players vie for animal cards.
• Delegationconcept0.671