array:7 [
  "content-type" => array:1 [
    0 => "text/html; charset=UTF-8"
  ]
  "cache-control" => array:1 [
    0 => "private, must-revalidate"
  ]
  "date" => array:1 [
    0 => "Fri, 22 Nov 2024 23:06:29 GMT"
  ]
  "pragma" => array:1 [
    0 => "no-cache"
  ]
  "expires" => array:1 [
    0 => "-1"
  ]
  "set-cookie" => array:2 [
    0 => "XSRF-TOKEN=eyJpdiI6IlcrVzF3WWQ0cHI3U284UGRYS1FLSlE9PSIsInZhbHVlIjoiQnVjOUEwaVU5UWJNcXAxekZmak0rSWJQeGQ0YUxyQ20xT0tSZHdLTk9iQ3BiUzBwVW1rSEJ4ejVObDhjQ3EzaVdpOVFGNUdjc3lPakxwNWZwMTh6QnVic3Nnd2svNFJrTWZBTGY0b2tPZlNURnplQUxqdEs1bWpYVTR5eHRINE0iLCJtYWMiOiIzMzVkZWEzMDQ1ZDhiZjQ2ODZjYjI1YTAyODNlMmJjYjAzYzIxOGIyOTNhYzA4YWIxOGJhNDVkMDlhODY2NzcyIiwidGFnIjoiIn0%3D; expires=Sat, 23 Nov 2024 01:06:29 GMT; Max-Age=7200; path=/; samesite=lax"
    1 => "laravel_session=eyJpdiI6IldyaHVBNENiNFVidkN1bkdsUE5xREE9PSIsInZhbHVlIjoiVHUyOUc3VTYwd3dUOERSOWQ1bnIvWXN0blgvdXdDU2k5cS9yNDFyQm9VOGlnRHQrenoydEFXOXhyQzRsTnZ5ZkpsVTZtOUR2MitnZ1pqamQ3Y0VxYlZlNjEzakxvU0M5UnpidUJYRmJCN1loYy9pcmtaelRmd2hCRFVoWkpvWk4iLCJtYWMiOiIwZWY0NmYxZTRjMjcxZWEyMjYyNzM5OWYyYjA2YTE4YTU5NzA5MjUwNTgxMWJhZTdlOTE3MGQ3MmIzNjVlM2I1IiwidGFnIjoiIn0%3D; expires=Sat, 23 Nov 2024 01:06:29 GMT; Max-Age=7200; path=/; httponly; samesite=lax"
  ]
  "Set-Cookie" => array:2 [
    0 => "XSRF-TOKEN=eyJpdiI6IlcrVzF3WWQ0cHI3U284UGRYS1FLSlE9PSIsInZhbHVlIjoiQnVjOUEwaVU5UWJNcXAxekZmak0rSWJQeGQ0YUxyQ20xT0tSZHdLTk9iQ3BiUzBwVW1rSEJ4ejVObDhjQ3EzaVdpOVFGNUdjc3lPakxwNWZwMTh6QnVic3Nnd2svNFJrTWZBTGY0b2tPZlNURnplQUxqdEs1bWpYVTR5eHRINE0iLCJtYWMiOiIzMzVkZWEzMDQ1ZDhiZjQ2ODZjYjI1YTAyODNlMmJjYjAzYzIxOGIyOTNhYzA4YWIxOGJhNDVkMDlhODY2NzcyIiwidGFnIjoiIn0%3D; expires=Sat, 23-Nov-2024 01:06:29 GMT; path=/"
    1 => "laravel_session=eyJpdiI6IldyaHVBNENiNFVidkN1bkdsUE5xREE9PSIsInZhbHVlIjoiVHUyOUc3VTYwd3dUOERSOWQ1bnIvWXN0blgvdXdDU2k5cS9yNDFyQm9VOGlnRHQrenoydEFXOXhyQzRsTnZ5ZkpsVTZtOUR2MitnZ1pqamQ3Y0VxYlZlNjEzakxvU0M5UnpidUJYRmJCN1loYy9pcmtaelRmd2hCRFVoWkpvWk4iLCJtYWMiOiIwZWY0NmYxZTRjMjcxZWEyMjYyNzM5OWYyYjA2YTE4YTU5NzA5MjUwNTgxMWJhZTdlOTE3MGQ3MmIzNjVlM2I1IiwidGFnIjoiIn0%3D; expires=Sat, 23-Nov-2024 01:06:29 GMT; path=/; httponly"
  ]
]
< Previous Terms	Terms Containing MODEF	Next Terms >
modal logic MODCAL Mode mode mode bit	mode MODEF	MODEL model model checking modeling modelling
MODEF
