|
executive branch of the United States
|
United States Congress
ⓘ
|
|
executive branch of the United States
|
Supreme Court of the United States
ⓘ
|
|
Acts of the Northern Ireland Assembly
|
courts of Northern Ireland
ⓘ
|
|
U.S. Visitor and Immigrant Status Indicator Technology
|
terrorist watchlists
via predicate surface "checksAgainst"
ⓘ
|
|
U.S. Visitor and Immigrant Status Indicator Technology
|
criminal databases
via predicate surface "checksAgainst"
ⓘ
|
|
Activation Lock
|
MDM solutions in organizations
via predicate surface "statusCanBeCheckedBy"
ⓘ
|
|
House of Representatives
|
upper house
via predicate surface "isCheckedBy"
ⓘ
|
|
President of the Council of Ministers of Peru
|
Congress of the Republic of Peru
ⓘ
|
|
Apple Developer ID certificate
|
spctl
ⓘ
|
|
Apple Developer ID certificate
|
codesign
ⓘ
|
|
Reich Chancellor
|
Reichstag
ⓘ
|
|
Python generic class definitions
|
mypy
ⓘ
|
|
Python generic class definitions
|
pyright
ⓘ
|
|
Python generic class definitions
|
Pyre
ⓘ
|
|
Python generic class definitions
|
PyCharm type checker
ⓘ
|
|
President of the Republic of Peru
|
Congress of the Republic of Peru
ⓘ
|
|
Agiad dynasty
|
Ephorate
ⓘ
|
|
Agiad dynasty
|
Gerousia
ⓘ
|
|
Armchair Expert
|
Monica Padman
via predicate surface "factCheckPerformedBy"
ⓘ
|
|
Armchair Expert
|
Monica Padman
via predicate surface "factCheckPerformedBy"
ⓘ
|
|
Executive branch of New Hampshire
|
New Hampshire Executive Council
ⓘ
|
|
Executive branch of New Hampshire
|
New Hampshire General Court
ⓘ
|
|
Executive branch of New Hampshire
|
New Hampshire Supreme Court
ⓘ
|
|
Executive branch of Indonesia
|
People's Consultative Assembly of Indonesia
ⓘ
|
|
Executive branch of Indonesia
|
House of Representatives of Indonesia
ⓘ
|
|
Executive branch of Indonesia
|
Judiciary of Indonesia
ⓘ
|
|
Doge of Venice
|
Council of Ten
ⓘ
|
|
Doge of Venice
|
Great Council of Venice
ⓘ
|
|
Doge of Venice
|
Senate of Venice
ⓘ
|
|
Online Responder
|
X.509 certificates
via predicate surface "checksStatusOf"
ⓘ
|
|
Spartan kings
|
ephors
ⓘ
|
|
Spartan kings
|
Gerousia
ⓘ
|
|
OCSP
|
X.509 digital certificate
via predicate surface "checksStatusOf"
ⓘ
|
|
Legislative Branch
|
Executive Branch
ⓘ
|
|
Legislative Branch
|
Judicial Branch
ⓘ
|
|
Cadence SMV
|
temporal logic specifications
via predicate surface "checksAgainst"
ⓘ
|
|
ETIAS
|
Schengen Information System
via predicate surface "checksAgainst"
ⓘ
|
|
ETIAS
|
Visa Information System
via predicate surface "checksAgainst"
ⓘ
|
|
ETIAS
|
Eurodac
via predicate surface "checksAgainst"
ⓘ
|
|
ETIAS
|
Entry/Exit System
via predicate surface "checksAgainst"
ⓘ
|
|
ETIAS
|
Europol data
via predicate surface "checksAgainst"
ⓘ
|
|
ETIAS
|
Interpol databases
via predicate surface "checksAgainst"
ⓘ
|
|
European Travel Information and Authorisation System
|
Schengen Information System
via predicate surface "checksAgainst"
ⓘ
|
|
European Travel Information and Authorisation System
|
Visa Information System
via predicate surface "checksAgainst"
ⓘ
|
|
European Travel Information and Authorisation System
|
Eurodac
via predicate surface "checksAgainst"
ⓘ
|
|
European Travel Information and Authorisation System
|
Entry/Exit System
via predicate surface "checksAgainst"
ⓘ
|
|
European Travel Information and Authorisation System
|
Europol data
via predicate surface "checksAgainst"
ⓘ
|
|
European Travel Information and Authorisation System
|
Interpol databases
via predicate surface "checksAgainst"
ⓘ
|
|
TypeVarTuple
|
static type checkers such as mypy
via predicate surface "isCheckedBy"
ⓘ
|
|
TypeVarTuple
|
static type checkers such as pyright
via predicate surface "isCheckedBy"
ⓘ
|