Samfundsvidenskab
election
100%
voter
92%
voting
62%
audit
50%
certification
37%
confidence
31%
party system
27%
quality control
27%
transparency
26%
electronics
18%
abuse
15%
Internet
15%
resident
14%
integrity
14%
event
11%
Legal framework
11%
extortion
11%
compromise
11%
Norway
11%
parliament
11%
election result
10%
economy
10%
ritual
9%
regional development
9%
functionality
8%
software
7%
ministry
7%
formalization
7%
evaluation
6%
pragmatics
6%
control process
6%
democracy
5%
hardware
5%
Teknik og materialevidenskab
Semantics
64%
Network protocols
51%
Bulletin boards
37%
Decision making
36%
Formal verification
29%
Model checking
26%
Seats
26%
Communication
25%
Substitution reactions
25%
Deposits
25%
Security of data
23%
Statistical methods
21%
Data structures
20%
Specifications
19%
Electronic voting
18%
Vending machines
13%
Boring
10%
High level languages
10%
Recycling
8%
Containers
7%
Computer programming languages
7%
Matematik
Choreography
44%
Proof Search
34%
Voting
32%
Abstraction
27%
First-order Logic
27%
Specification
22%
Intuitionistic Logic
20%
Proof Theory
16%
Text
15%
Language
15%
Distributed Systems
14%
Direct Search
12%
Reasoning
12%
Programming
11%
Vote
11%
Semantics
10%
Linear Logic
10%
Sequent Calculus
10%
Classical Logic
9%
Disprove
9%
Projection
9%
Interaction
9%
Programming Languages
9%
Electronics
8%
Truth
8%
Fragment
8%
Continue
7%
Term
6%
Logic
6%
Demonstrate
5%
