"The Part-Time Parliament"
E105799
"The Part-Time Parliament" is Leslie Lamport’s influential paper that introduces the Paxos consensus algorithm, a foundational concept in distributed systems and fault-tolerant computing.
All labels observed (2)
| Label | Occurrences |
|---|---|
| "The Part-Time Parliament" canonical | 1 |
| The Part-Time Parliament | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T886670 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: "The Part-Time Parliament" Context triple: [Leslie Lamport, notableWork, "The Part-Time Parliament"]
-
A.
The Politician
The Politician is a 17th-century stage play by English dramatist James Shirley, known as one of his notable tragic works exploring court intrigue and moral corruption.
-
B.
His Majesty's Most Loyal Opposition
His Majesty's Most Loyal Opposition is the main political party in the United Kingdom’s Parliament that is not in government and is tasked with scrutinizing and challenging the policies and actions of the ruling party.
-
C.
Rump Parliament
The Rump Parliament was the remnant of England’s Long Parliament that continued to govern after Pride’s Purge in 1648 and oversaw the trial and execution of Charles I and the establishment of the Commonwealth.
-
D.
Madam Minister
Madam Minister is a Canadian political drama television series that serves as a counterpart to the U.S. series "Madam Secretary," focusing on the personal and professional challenges of a female foreign minister.
-
E.
Mister Speaker
Mister Speaker is the traditional formal address used for a male Speaker presiding over the United States House of Representatives.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: "The Part-Time Parliament" Target entity description: "The Part-Time Parliament" is Leslie Lamport’s influential paper that introduces the Paxos consensus algorithm, a foundational concept in distributed systems and fault-tolerant computing.
-
A.
The Politician
The Politician is a 17th-century stage play by English dramatist James Shirley, known as one of his notable tragic works exploring court intrigue and moral corruption.
-
B.
His Majesty's Most Loyal Opposition
His Majesty's Most Loyal Opposition is the main political party in the United Kingdom’s Parliament that is not in government and is tasked with scrutinizing and challenging the policies and actions of the ruling party.
-
C.
Rump Parliament
The Rump Parliament was the remnant of England’s Long Parliament that continued to govern after Pride’s Purge in 1648 and oversaw the trial and execution of Charles I and the establishment of the Commonwealth.
-
D.
Madam Minister
Madam Minister is a Canadian political drama television series that serves as a counterpart to the U.S. series "Madam Secretary," focusing on the personal and professional challenges of a female foreign minister.
-
E.
Mister Speaker
Mister Speaker is the traditional formal address used for a male Speaker presiding over the United States House of Representatives.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic paper
ⓘ
computer science paper ⓘ distributed systems paper ⓘ |
| assumes |
asynchronous communication model
ⓘ
unreliable communication ⓘ |
| author | Leslie Lamport ⓘ |
| basedOn | metaphor of legislators acting part-time ⓘ |
| citedAs | foundational work in distributed consensus ⓘ |
| clarifiedBy |
Paxos consensus algorithm
ⓘ
surface form:
Paxos Made Simple
|
| contribution |
formalization of Paxos protocol
ⓘ
framework for reasoning about distributed consensus ⓘ proof of correctness for Paxos ⓘ |
| defines |
liveness properties of consensus
ⓘ
safety properties of consensus ⓘ |
| describes |
roles of acceptors in Paxos
ⓘ
roles of learners in Paxos ⓘ roles of proposers in Paxos ⓘ |
| explains |
handling of crash failures
ⓘ
how to reach agreement despite failures ⓘ |
| field |
computer science
ⓘ
distributed systems ⓘ fault-tolerant computing ⓘ |
| goal | achieve consensus among distributed processes ⓘ |
| hasAlgorithm |
Paxos consensus algorithm
ⓘ
surface form:
Paxos
|
| hasSection |
description of the legislative metaphor
ⓘ
formal specification of the algorithm ⓘ proof of correctness ⓘ |
| hasVersion |
Paxos consensus algorithm
ⓘ
surface form:
Paxos Made Simple
|
| impact | widely cited in distributed systems literature ⓘ |
| influenced |
design of fault-tolerant services
ⓘ
practical implementations of Paxos in distributed systems ⓘ research on consensus algorithms ⓘ |
| introduces | Paxos consensus algorithm ⓘ |
| language | English ⓘ |
| originalDraftDate | late 1980s ⓘ |
| property | emphasizes safety over liveness under certain failures ⓘ |
| publicationType | journal article ⓘ |
| publisher | ACM Transactions on Computer Systems ⓘ |
| relatedTo |
Byzantine Generals Problem
ⓘ
Raft consensus algorithm ⓘ state machine replication ⓘ |
| topic |
asynchronous distributed systems
ⓘ
consensus in distributed systems ⓘ fault tolerance ⓘ message passing ⓘ replicated state machines ⓘ |
| usesMetaphor | ancient Greek parliament on the island of Paxos ⓘ |
| yearPublished | 1998 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: "The Part-Time Parliament" Description of subject: "The Part-Time Parliament" is Leslie Lamport’s influential paper that introduces the Paxos consensus algorithm, a foundational concept in distributed systems and fault-tolerant computing.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.