www.semanticscholar.org Open in urlscan Pro
2600:9000:236e:c200:6:4565:580:93a1  Public Scan

Submitted URL: https://www.semanticscholar.org/paper/cosette%3a-an-automated-prover-for-sql-chu-wang/f3318491a55590e00dfe45d68708f515822e343a
Effective URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Submission: On March 14 via api from US — Scanned from DE

Summary

This website contacted 23 IPs in 3 countries across 19 domains to perform 94 HTTP transactions. The main IP is 2600:9000:236e:c200:6:4565:580:93a1, located in United States and belongs to AMAZON-02, US. The main domain is www.semanticscholar.org. The Cisco Umbrella rank of the primary domain is 60892.
TLS certificate: Issued by Amazon RSA 2048 M03 on March 9th 2024. Valid for: a year.
This is the only time www.semanticscholar.org was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

IP Address AS Autonomous System
1 5 2600:9000:236... 16509 (AMAZON-02)
5 2a00:1450:400... 15169 (GOOGLE)
6 2600:9000:266... 16509 (AMAZON-02)
4 2a00:1450:400... 15169 (GOOGLE)
1 1 18.245.31.106 16509 (AMAZON-02)
8 18.245.31.118 16509 (AMAZON-02)
2 2001:4860:480... 15169 (GOOGLE)
1 2a00:1450:400... 15169 (GOOGLE)
3 2a00:1450:400... 15169 (GOOGLE)
3 13.32.27.116 16509 (AMAZON-02)
7 2a04:4e42:400... 54113 (FASTLY)
1 2606:4700::68... 13335 (CLOUDFLAR...)
10 2a00:1450:400... 15169 (GOOGLE)
5 2600:9000:266... 16509 (AMAZON-02)
1 2606:4700:440... 13335 (CLOUDFLAR...)
1 2606:4700::68... 13335 (CLOUDFLAR...)
1 2606:4700::68... 13335 (CLOUDFLAR...)
18 44.194.83.62 14618 (AMAZON-AES)
4 34.66.73.214 396982 (GOOGLE-CL...)
1 2606:4700::68... 13335 (CLOUDFLAR...)
3 2a00:1450:400... 15169 (GOOGLE)
2 172.217.18.2 15169 (GOOGLE)
2 2 2a00:1450:400... 15169 (GOOGLE)
2 2 2a00:1450:400... 15169 (GOOGLE)
1 2606:4700::68... 13335 (CLOUDFLAR...)
94 23
Apex Domain
Subdomains
Transfer
21 heapanalytics.com
cdn.heapanalytics.com — Cisco Umbrella Rank: 776
heapanalytics.com — Cisco Umbrella Rank: 686
234 KB
11 semanticscholar.org
www.semanticscholar.org — Cisco Umbrella Rank: 60892
cdn.semanticscholar.org — Cisco Umbrella Rank: 127122
1014 KB
10 gstatic.com
fonts.gstatic.com
253 KB
9 awswaf.com
c09bc9c04079.edge.sdk.awswaf.com — Cisco Umbrella Rank: 152836
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com — Cisco Umbrella Rank: 434013
294 KB
7 appcues.com
fast.appcues.com — Cisco Umbrella Rank: 4649
238 KB
7 google.com
region1.analytics.google.com — Cisco Umbrella Rank: 2656
accounts.google.com — Cisco Umbrella Rank: 20
www.google.com — Cisco Umbrella Rank: 2
86 KB
5 cloudfront.net
d3i71xaburhd42.cloudfront.net
22 KB
5 googleapis.com
fonts.googleapis.com — Cisco Umbrella Rank: 30
7 KB
4 auryc.com
client-api.auryc.com — Cisco Umbrella Rank: 9981
1 KB
4 googletagmanager.com
www.googletagmanager.com — Cisco Umbrella Rank: 40
350 KB
3 google.de
www.google.de — Cisco Umbrella Rank: 6744
670 B
3 doubleclick.net
stats.g.doubleclick.net — Cisco Umbrella Rank: 84
googleads.g.doubleclick.net — Cisco Umbrella Rank: 35
2 KB
2 googleadservices.com
www.googleadservices.com — Cisco Umbrella Rank: 124
4 KB
1 hubspot.com
track.hubspot.com — Cisco Umbrella Rank: 2406
1 KB
1 hubapi.com
api.hubapi.com — Cisco Umbrella Rank: 3504
1 KB
1 hs-analytics.net
js.hs-analytics.net — Cisco Umbrella Rank: 2220
21 KB
1 hsadspixel.net
js.hsadspixel.net — Cisco Umbrella Rank: 3210
4 KB
1 hs-banner.com
js.hs-banner.com — Cisco Umbrella Rank: 2237
23 KB
1 hs-scripts.com
js.hs-scripts.com — Cisco Umbrella Rank: 2484
1 KB
94 19
Domain Requested by
18 heapanalytics.com www.semanticscholar.org
10 fonts.gstatic.com fonts.googleapis.com
8 c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com www.semanticscholar.org
c09bc9c04079.edge.sdk.awswaf.com
7 fast.appcues.com www.semanticscholar.org
fast.appcues.com
6 cdn.semanticscholar.org www.semanticscholar.org
cdn.semanticscholar.org
5 d3i71xaburhd42.cloudfront.net www.semanticscholar.org
5 fonts.googleapis.com www.semanticscholar.org
client
fast.appcues.com
5 www.semanticscholar.org 1 redirects cdn.semanticscholar.org
4 client-api.auryc.com cdn.heapanalytics.com
4 www.googletagmanager.com www.semanticscholar.org
js.hsadspixel.net
www.googletagmanager.com
3 accounts.google.com cdn.semanticscholar.org
accounts.google.com
3 cdn.heapanalytics.com www.semanticscholar.org
cdn.heapanalytics.com
3 www.google.de www.semanticscholar.org
2 www.google.com 2 redirects
2 googleads.g.doubleclick.net 2 redirects
2 www.googleadservices.com www.googletagmanager.com
2 region1.analytics.google.com www.googletagmanager.com
1 track.hubspot.com
1 api.hubapi.com js.hsadspixel.net
1 js.hs-analytics.net js.hs-scripts.com
1 js.hsadspixel.net js.hs-scripts.com
1 js.hs-banner.com js.hs-scripts.com
1 js.hs-scripts.com www.semanticscholar.org
1 stats.g.doubleclick.net www.googletagmanager.com
1 c09bc9c04079.edge.sdk.awswaf.com 1 redirects
94 25

This site contains links to these domains. Also see Links.

Domain
cidrdb.org
topics-beta.apps.semanticscholar.org
medium.com
allenai.org
api.semanticscholar.org
Subject Issuer Validity Valid
*.semanticscholar.org
Amazon RSA 2048 M03
2024-03-09 -
2025-04-07
a year crt.sh
upload.video.google.com
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
*.google-analytics.com
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
*.g.doubleclick.net
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
www.google.de
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
cdn.heapanalytics.com
Amazon RSA 2048 M01
2023-06-29 -
2024-07-27
a year crt.sh
fast.appcues.com
GlobalSign Atlas R3 DV TLS CA 2023 Q3
2023-08-05 -
2024-09-05
a year crt.sh
sni.cloudflaressl.com
Cloudflare Inc ECC CA-3
2023-05-03 -
2024-05-02
a year crt.sh
*.gstatic.com
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
*.cloudfront.net
Amazon RSA 2048 M01
2023-10-10 -
2024-09-19
a year crt.sh
heapanalytics.com
Amazon RSA 2048 M02
2023-11-09 -
2024-12-08
a year crt.sh
*.auryc.com
R3
2024-01-24 -
2024-04-23
3 months crt.sh
*.163f2b53.eu-central-1.token.awswaf.com
Amazon RSA 2048 M02
2023-07-26 -
2024-08-23
a year crt.sh
hubapi.com
E1
2024-03-06 -
2024-06-04
3 months crt.sh
accounts.google.com
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
www.googleadservices.com
GTS CA 1C3
2024-02-19 -
2024-05-13
3 months crt.sh
hubspot.com
Cloudflare Inc ECC CA-3
2024-01-06 -
2024-12-31
a year crt.sh

This page contains 2 frames:

Primary Page: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Frame ID: 4D9BB33C3A3B079B51A39638A6DA8EB5
Requests: 86 HTTP requests in this frame

Frame: https://fast.appcues.com/generic/main/5.0.4/tooltip.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.css
Frame ID: 27174446333A4333FB37B906317A94A1
Requests: 6 HTTP requests in this frame

Screenshot

Page Title

[PDF] Cosette: An Automated Prover for SQL | Semantic ScholarSemantic Scholar

Page URL History Show full URLs

  1. https://www.semanticscholar.org/paper/cosette%3a-an-automated-prover-for-sql-chu-wang/f3318491a55590e00dfe45... HTTP 301
    https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45... Page URL

Detected technologies

Overall confidence: 100%
Detected patterns
  • accounts\.google\.com/gsi/client

Overall confidence: 100%
Detected patterns

Overall confidence: 100%
Detected patterns
  • <link[^>]* href=[^>]+fonts\.(?:googleapis|google)\.com

Overall confidence: 100%
Detected patterns
  • <!-- (?:End )?Google Tag Manager -->
  • googletagmanager\.com/gtm\.js
  • googletagmanager\.com/gtag/js

Overall confidence: 100%
Detected patterns
  • heap-\d+\.js

Overall confidence: 100%
Detected patterns
  • js\.hs-analytics\.net/analytics

Page Statistics

94
Requests

94 %
HTTPS

76 %
IPv6

19
Domains

25
Subdomains

23
IPs

3
Countries

2552 kB
Transfer

8940 kB
Size

21
Cookies

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

  1. https://www.semanticscholar.org/paper/cosette%3a-an-automated-prover-for-sql-chu-wang/f3318491a55590e00dfe45d68708f515822e343a HTTP 301
    https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

Request Chain 3
  • https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js HTTP 307
  • https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Request Chain 50
  • https://googleads.g.doubleclick.net/pagead/viewthroughconversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=Z89wCNnTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamtxZVBCbkpvZENOVzd3Y1h5cUItbGkxSEJGWFlsS2xtY0ZhX2pOMXBLcVl4QnFrTG14VmdIQmRWIhMI8bD1iM3yhAMV9quDBx3-2QpOMgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg HTTP 302
  • https://www.google.com/pagead/1p-conversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=Z89wCNnTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamtxZVBCbkpvZENOVzd3Y1h5cUItbGkxSEJGWFlsS2xtY0ZhX2pOMXBLcVl4QnFrTG14VmdIQmRWIhMI8bD1iM3yhAMV9quDBx3-2QpOMgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqI3MNFFq7v6dRwDeWg1HEmDKoeaMqNQ&random=4267660071 HTTP 302
  • https://www.google.de/pagead/1p-conversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=Z89wCNnTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamtxZVBCbkpvZENOVzd3Y1h5cUItbGkxSEJGWFlsS2xtY0ZhX2pOMXBLcVl4QnFrTG14VmdIQmRWIhMI8bD1iM3yhAMV9quDBx3-2QpOMgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqI3MNFFq7v6dRwDeWg1HEmDKoeaMqNQ&random=4267660071&ipr=y
Request Chain 51
  • https://googleads.g.doubleclick.net/pagead/viewthroughconversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=q9VSCNbTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamt0Z1dvUmdpTFMwdEJlX013dHlmcWoyazVTTG1SS1l1dWJTcmVURTJYT3ZWZ2tZMlUyRzg4OTZBIhMIsq71iM3yhAMVGpiDBx2oFg77MgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg HTTP 302
  • https://www.google.com/pagead/1p-conversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=q9VSCNbTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamt0Z1dvUmdpTFMwdEJlX013dHlmcWoyazVTTG1SS1l1dWJTcmVURTJYT3ZWZ2tZMlUyRzg4OTZBIhMIsq71iM3yhAMVGpiDBx2oFg77MgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqY_e4s7zCpbKAzEGptOsS-FERrWlPPQ&random=3528293397 HTTP 302
  • https://www.google.de/pagead/1p-conversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=q9VSCNbTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamt0Z1dvUmdpTFMwdEJlX013dHlmcWoyazVTTG1SS1l1dWJTcmVURTJYT3ZWZ2tZMlUyRzg4OTZBIhMIsq71iM3yhAMVGpiDBx2oFg77MgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqY_e4s7zCpbKAzEGptOsS-FERrWlPPQ&random=3528293397&ipr=y

94 HTTP transactions

Resource
Path
Size
x-fer
Type
MIME-Type
Primary Request f3318491a55590e00dfe45d68708f515822e343a
www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/
Redirect Chain
  • https://www.semanticscholar.org/paper/cosette%3a-an-automated-prover-for-sql-chu-wang/f3318491a55590e00dfe45d68708f515822e343a
  • https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
625 KB
150 KB
Document
General
Full URL
https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:236e:c200:6:4565:580:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
nginx /
Resource Hash
720719c4fa12fb09d3dcce34cfd69d73045dc1f47195e319f8e64820dce7bc04
Security Headers
Name Value
X-Frame-Options SAMEORIGIN

Request headers

Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
accept-language
de-DE,de;q=0.9

Response headers

alt-svc
h3=":443"; ma=86400
cache-control
max-age=0, no-cache, no-store
content-encoding
gzip
content-type
text/html; charset=utf-8
date
Thu, 14 Mar 2024 01:29:03 GMT
expires
-1
server
nginx
vary
Accept-Encoding
via
1.1 814952d19d560b49ff15ad2f71e400d2.cloudfront.net (CloudFront)
x-amz-cf-id
qUO5GOAnKgGUW6B8iM9xkZEiAxWr9kA-dgUCbh2f9th6fWmev69LAQ==
x-amz-cf-pop
FRA60-P1
x-cache
Miss from cloudfront
x-frame-options
SAMEORIGIN

Redirect headers

alt-svc
h3=":443"; ma=86400
cache-control
max-age=0, no-cache, no-store
date
Thu, 14 Mar 2024 01:29:03 GMT
expires
-1
location
/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
server
nginx
via
1.1 814952d19d560b49ff15ad2f71e400d2.cloudfront.net (CloudFront)
x-amz-cf-id
v_J_lKgBPHzvwui88Ff4OhOFWG-YByPg2a-2RLcU-PxaEbThS4B9Yw==
x-amz-cf-pop
FRA60-P1
x-cache
Miss from cloudfront
x-frame-options
SAMEORIGIN
css
fonts.googleapis.com/
19 KB
1 KB
Stylesheet
General
Full URL
https://fonts.googleapis.com/css?family=Roboto+Slab:400,500,600,700|Roboto:300,400,500,600,700&display=swap
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:827::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
79acffdff6d7baacc966dbd1853d76cada4c3c09dd409e444e812e2ba269a93f
Security Headers
Name Value
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

strict-transport-security
max-age=31536000
date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
gzip
x-content-type-options
nosniff
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
last-modified
Wed, 13 Mar 2024 23:54:16 GMT
server
ESF
cross-origin-opener-policy
same-origin-allow-popups
x-frame-options
SAMEORIGIN
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=86400, stale-while-revalidate=604800
timing-allow-origin
*
link
<https://fonts.gstatic.com>; rel=preconnect; crossorigin
expires
Thu, 14 Mar 2024 01:29:03 GMT
main.css
cdn.semanticscholar.org/038e00ba8acb5fa3/css/
653 KB
82 KB
Stylesheet
General
Full URL
https://cdn.semanticscholar.org/038e00ba8acb5fa3/css/main.css
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:1c00:18:6e50:4ec0:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
f8daacf92c0ab1928fe9ced3b6907b658a3038da9a424d7c2826fb22f0ebf36b

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 29 Jan 2024 18:51:42 GMT
content-encoding
gzip
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
age
3825442
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
83598
x-amz-expiration
expiry-date="Wed, 29 Jan 2025 00:00:00 GMT", rule-id="Delete After 1 Year"
last-modified
Mon, 29 Jan 2024 18:42:00 GMT
server
AmazonS3
etag
"943ec089e9d8513f1e06aa6c1f8cd7d2"
vary
Origin
content-type
text/css
cache-control
max-age=31536000
accept-ranges
bytes
x-amz-cf-id
5e02tR1bFde4muXeyCXUA3Kd0RittMjpV7GtIV2uhxxjO9EkkZ5YUw==
js
www.googletagmanager.com/gtag/
315 KB
98 KB
Script
General
Full URL
https://www.googletagmanager.com/gtag/js?id=G-H7P4ZT52H5
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:82a::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Google Tag Manager /
Resource Hash
ff4e7b31f0c7a03df6c6206e1a0519fd08753956f4e7d7db112fe099036d6779
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
br
strict-transport-security
max-age=31536000; includeSubDomains
server
Google Tag Manager
vary
Accept-Encoding
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
private, max-age=900
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
access-control-allow-headers
Cache-Control
content-length
100218
x-xss-protection
0
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
expires
Thu, 14 Mar 2024 01:29:03 GMT
challenge.js
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
Redirect Chain
  • https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
  • https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
1 MB
285 KB
Script
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
dd739dd46c2f982ef8651b41fc1505e94a1e147b80739eb81b6c1a58cc830bf6

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
gzip
via
1.1 5dbbe1c6db9a003131a63be8ded250a4.cloudfront.net (CloudFront)
last-modified
Thu, 14 Mar 2024 01:29:03 +0000
x-amz-cf-pop
FRA56-P8
vary
Accept-Encoding
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252df-563544d056ce224012454e91
content-type
text/javascript
cache-control
private, max-age=86400
x-amz-cf-id
2fkHft4I2nlG-OXjdMEPg6dalv7EJadYKWuMDB6gvRKeItH2RU94dA==
expires
0

Redirect headers

date
Thu, 14 Mar 2024 01:29:03 GMT
via
1.1 964525de46241eae6ff9f5fb91498662.cloudfront.net (CloudFront)
server
CloudFront
x-amz-cf-pop
FRA56-P8
access-control-max-age
86400
access-control-allow-methods
*
x-cache
FunctionGeneratedResponse from cloudfront
access-control-allow-origin
*
location
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
cache-control
max-age=86400
access-control-allow-headers
*
content-length
0
x-amz-cf-id
nX8nmBlM7SBAY6NYaPmLkwEKzG7h1Cntb-O1SL77cahHA6LMYzvtUQ==
gtm.js
www.googletagmanager.com/
262 KB
92 KB
Script
General
Full URL
https://www.googletagmanager.com/gtm.js?id=GTM-592W6WL
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:82a::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Google Tag Manager /
Resource Hash
d65dada7e0594079a5008757aefdc6c53b07fa5ea5e4617efbd01b661ba471ce
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
br
strict-transport-security
max-age=31536000; includeSubDomains
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
93945
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 00:00:00 GMT
server
Google Tag Manager
vary
Accept-Encoding
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
private, max-age=900
access-control-allow-credentials
true
access-control-allow-headers
Cache-Control
expires
Thu, 14 Mar 2024 01:29:03 GMT
collect
region1.analytics.google.com/g/
0
259 B
Ping
General
Full URL
https://region1.analytics.google.com/g/collect?v=2&tid=G-H7P4ZT52H5&gtm=45je43b0v9101518703za200&_p=1710379743823&_gaz=1&gcd=13l3l3l2l1&npa=1&dma_cps=sypham&dma=1&cid=1400002458.1710379744&ul=en-us&sr=1600x1200&uaa=&uab=&uafvl=&uamb=0&uam=&uap=&uapv=&uaw=0&pscdl=noapi&_eu=AEA&_s=1&sid=1710379743&sct=1&seg=0&dl=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%3A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&dt=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&en=scroll&_fv=1&_nsi=1&_ss=1&epn.percent_scrolled=90&tfd=1109
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-H7P4ZT52H5
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4860:4802:32::36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:03 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
collect
stats.g.doubleclick.net/g/
0
259 B
Ping
General
Full URL
https://stats.g.doubleclick.net/g/collect?v=2&tid=G-H7P4ZT52H5&cid=1400002458.1710379744&gtm=45je43b0v9101518703za200&aip=1&dma=1&dma_cps=sypham&gcd=13l3l3l2l1&npa=1
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-H7P4ZT52H5
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:400c:c06::9c Brussels, Belgium, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:03 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
ga-audiences
www.google.de/ads/
42 B
408 B
Image
General
Full URL
https://www.google.de/ads/ga-audiences?v=1&t=sr&slf_rd=1&_r=4&tid=G-H7P4ZT52H5&cid=1400002458.1710379744&gtm=45je43b0v9101518703za200&aip=1&dma=1&dma_cps=sypham&gcd=13l3l3l2l1&npa=1&z=823934858
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:813::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
cafe /
Resource Hash
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:03 GMT
x-content-type-options
nosniff
server
cafe
content-type
image/gif
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
cache-control
no-cache, no-store, must-revalidate
cross-origin-resource-policy
cross-origin
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
42
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
heap-2424575119.js
cdn.heapanalytics.com/js/
123 KB
39 KB
Script
General
Full URL
https://cdn.heapanalytics.com/js/heap-2424575119.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
13.32.27.116 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-13-32-27-116.fra56.r.cloudfront.net
Software
nginx / Express
Resource Hash
5a747792d5e347f502e604c607b8543ffcba6fb9a72cf23ff90b33be1f935510
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:27:25 GMT
content-encoding
br
via
1.1 cbe141923b7469a299306144733821c2.cloudfront.net (CloudFront)
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
x-amz-cf-pop
FRA56-C2
age
98
x-powered-by
Express
etag
W/"1eb25-YYkBsctp31+pNVFl1Jz5F+leTD0"
vary
Accept-Encoding
x-cache
Hit from cloudfront
content-type
application/javascript; charset=utf-8
cache-control
public, max-age=120
alt-svc
h3=":443"; ma=86400
x-amz-cf-id
c5EV98uAQCcWczNLZlZU0Lv-mAPkmEde1bqOHUYhkI2Vqe-8SChvBQ==
87350.js
fast.appcues.com/
29 KB
6 KB
Script
General
Full URL
https://fast.appcues.com/87350.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
Cowboy /
Resource Hash
7adeed7fce51b5605069cd57b822e0a734565cb5719e3f6374c64549466253b1

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
gzip
via
1.1 varnish
age
83
x-cache
HIT
content-length
5836
x-request-id
F7x9PT-iY9Z_aBI4klrj
x-served-by
cache-fra-eddf8230033-FRA
server
Cowboy
x-timer
S1710379744.940249,VS0,VE1
vary
accept-encoding, Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
text/javascript; charset=utf-8
access-control-allow-origin
*
access-control-expose-headers
cache-control
max-age=120,public
access-control-allow-credentials
true
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
1
5910970.js
js.hs-scripts.com/
1 KB
1 KB
Script
General
Full URL
https://js.hs-scripts.com/5910970.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700::6810:bd59 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
d8f6683a20fc8d1e811ad22c048c2e883aae9700e3905b2cdfa1f96e98c32129
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
br
x-content-type-options
nosniff
cf-cache-status
HIT
x-hubspot-correlation-id
6cd6fc50-1109-40c5-a1f7-d39a52e75000
x-evy-trace-route-service-name
envoyset-translator
cf-polished
origSize=1462
age
54
x-envoy-upstream-service-time
6
x-evy-trace-route-configuration
listener_https/all
x-evy-trace-listener
listener_https
x-request-id
6cd6fc50-1109-40c5-a1f7-d39a52e75000
cf-bgj
minify
last-modified
Thu, 14 Mar 2024 01:28:09 GMT
server
cloudflare
x-trace
2B9BFDEA914FCAC80C6E95CAE43582F9BA1AEB6729000000000000000000
access-control-max-age
3600
vary
origin, Accept-Encoding
content-type
application/javascript;charset=utf-8
access-control-allow-origin
https://www.semanticscholar.org
x-evy-trace-served-by-pod
iad02/hubapi-td/envoy-proxy-59d6fb747d-4sj6l
x-evy-trace-virtual-host
all
access-control-allow-credentials
true
cache-control
public, max-age=90
cf-ray
86407d979c3435f0-FRA
expires
Thu, 14 Mar 2024 01:30:33 GMT
KFOmCnqEu92Fr1Mu4mxK.woff2
fonts.gstatic.com/s/roboto/v30/
15 KB
16 KB
Font
General
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOmCnqEu92Fr1Mu4mxK.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto+Slab:400,500,600,700|Roboto:300,400,500,600,700&display=swap
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
f6734f8177112c0839b961f96d813fcb189d81b60e96c33278c1983b6f419615
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Tue, 12 Mar 2024 04:10:19 GMT
x-content-type-options
nosniff
age
163124
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15744
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:48 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Wed, 12 Mar 2025 04:10:19 GMT
ai2_logo.svg
cdn.semanticscholar.org/038e00ba8acb5fa3/img/
15 KB
6 KB
Image
General
Full URL
https://cdn.semanticscholar.org/038e00ba8acb5fa3/img/ai2_logo.svg
Requested by
Host: cdn.semanticscholar.org
URL: https://cdn.semanticscholar.org/038e00ba8acb5fa3/css/main.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:1c00:18:6e50:4ec0:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
355b78191372e7c039cdc5ae3f7ba2e7d18778b1d8e929ac7cf9a6b8a874c110

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://cdn.semanticscholar.org/038e00ba8acb5fa3/css/main.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 29 Jan 2024 18:51:41 GMT
content-encoding
gzip
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
age
3825443
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
x-amz-expiration
expiry-date="Wed, 29 Jan 2025 00:00:00 GMT", rule-id="Delete After 1 Year"
last-modified
Mon, 29 Jan 2024 18:44:29 GMT
server
AmazonS3
etag
W/"d4687a70072caee4e0fd44f0860067f9"
vary
Accept-Encoding, Origin
content-type
image/svg+xml
cache-control
max-age=31536000
x-amz-cf-id
bJfTnsx-xOar4yFWA81BO9NN0Vq8a9xBIXGQI5SVpxOxszBZ-WR4Pw==
BngMUXZYTXPIvIBgJJSb6ufN5qU.woff2
fonts.gstatic.com/s/robotoslab/v34/
34 KB
34 KB
Font
General
Full URL
https://fonts.gstatic.com/s/robotoslab/v34/BngMUXZYTXPIvIBgJJSb6ufN5qU.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto+Slab:400,500,600,700|Roboto:300,400,500,600,700&display=swap
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
a8e429611131e3fdc2018ec943a36100dbabb4aaa788c8dead6bdcf927917293
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Tue, 12 Mar 2024 02:41:24 GMT
x-content-type-options
nosniff
age
168459
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
34328
x-xss-protection
0
last-modified
Tue, 24 Oct 2023 01:54:50 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Wed, 12 Mar 2025 02:41:24 GMT
KFOlCnqEu92Fr1MmEU9fBBc4.woff2
fonts.gstatic.com/s/roboto/v30/
16 KB
16 KB
Font
General
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOlCnqEu92Fr1MmEU9fBBc4.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto+Slab:400,500,600,700|Roboto:300,400,500,600,700&display=swap
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
b019538234514166ec7665359d097403358f8a4c991901983922fb4d56989f1e
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Tue, 12 Mar 2024 01:17:56 GMT
x-content-type-options
nosniff
age
173467
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15920
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:45 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Wed, 12 Mar 2025 01:17:56 GMT
2-Figure1-1.png
d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/
4 KB
5 KB
Image
General
Full URL
https://d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/2-Figure1-1.png
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:d600:7:8e2f:e880:21 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
8ea0655320fc54c4b4b0a19f7a7bdb35363165f82d87a8b59a85f1aa7a2a1f1c

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
last-modified
Sat, 02 Mar 2024 10:36:22 GMT
server
AmazonS3
x-amz-cf-pop
FRA56-P8
etag
"66a473a47b5a6c62b9a671833803bac0"
x-amz-server-side-encryption
AES256
x-cache
Miss from cloudfront
content-type
image/png
accept-ranges
bytes
alt-svc
h3=":443"; ma=86400
content-length
4258
x-amz-cf-id
egyfgdd1icwwwCapnH3gro9tRf_VhXMHtFXHzgMerU3srKc5tmIZ_g==
3-Figure2-1.png
d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/
6 KB
7 KB
Image
General
Full URL
https://d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/3-Figure2-1.png
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:d600:7:8e2f:e880:21 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
41bb9a9d36a8cb250d494577ff5209e8b4ba77c611d33ee4c31f28afbd542ae3

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
last-modified
Sat, 02 Mar 2024 10:36:22 GMT
server
AmazonS3
x-amz-cf-pop
FRA56-P8
etag
"8f10ce16659bf7504f436f13a43156ab"
x-amz-server-side-encryption
AES256
x-cache
Miss from cloudfront
content-type
image/png
accept-ranges
bytes
alt-svc
h3=":443"; ma=86400
content-length
6299
x-amz-cf-id
R6pganOUZv5qFe3RJ22pH38A4E0IKi2_pvzEEo9xDxImECA8OZMObw==
3-Figure3-1.png
d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/
3 KB
3 KB
Image
General
Full URL
https://d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/3-Figure3-1.png
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:d600:7:8e2f:e880:21 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
13ced26b21d358eb443f4fc0202000a00835e971eaa35709734587340e2a92e4

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
last-modified
Sat, 02 Mar 2024 10:36:23 GMT
server
AmazonS3
x-amz-cf-pop
FRA56-P8
etag
"3762e5e2af30db6f45b999bccc71a270"
x-amz-server-side-encryption
AES256
x-cache
Miss from cloudfront
content-type
image/png
accept-ranges
bytes
alt-svc
h3=":443"; ma=86400
content-length
2766
x-amz-cf-id
E-PFirfxRuc8atvFzfA9yqtABsOS1skrGP_sLuCP9JY4vJa-YUd74g==
5-Figure4-1.png
d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/
4 KB
4 KB
Image
General
Full URL
https://d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/5-Figure4-1.png
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:d600:7:8e2f:e880:21 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
322a028c17e758e205dc6ae6efaefa920a8058683b5f313221ce406db278fce8

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
last-modified
Sat, 02 Mar 2024 10:36:23 GMT
server
AmazonS3
x-amz-cf-pop
FRA56-P8
etag
"5f50ed583839b185e2350676d57db403"
x-amz-server-side-encryption
AES256
x-cache
Miss from cloudfront
content-type
image/png
accept-ranges
bytes
alt-svc
h3=":443"; ma=86400
content-length
3900
x-amz-cf-id
W-AP5_6Dk62TlGnhmbrT3Go6f6QUj0nLV727nryGtP0S84U7ACtp3A==
5-Figure5-1.png
d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/
4 KB
4 KB
Image
General
Full URL
https://d3i71xaburhd42.cloudfront.net/f3318491a55590e00dfe45d68708f515822e343a/250px/5-Figure5-1.png
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2600:9000:266e:d600:7:8e2f:e880:21 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
8802ecfd4659a00b7c1d4976077ecd3b5ac10c07f784d2bd90669d03a66da7d0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
via
1.1 74cd4e6bd806cc7209ac94e0173f5ac8.cloudfront.net (CloudFront)
last-modified
Sat, 02 Mar 2024 10:36:23 GMT
server
AmazonS3
x-amz-cf-pop
FRA56-P8
etag
"d5afe183f5142ee30fba445b1715b864"
x-amz-server-side-encryption
AES256
x-cache
Miss from cloudfront
content-type
image/png
accept-ranges
bytes
alt-svc
h3=":443"; ma=86400
content-length
3744
x-amz-cf-id
ZSPB-IbmRX5dDzhIsYd3uZvIUA4jTbmkx-i2J_3_u6zoAQlDWNB0gA==
appcues.main.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
fast.appcues.com/generic/main/5.0.4/
450 KB
127 KB
Script
General
Full URL
https://fast.appcues.com/generic/main/5.0.4/appcues.main.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/87350.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
c9e34530e255a5d8619d7f2fba4b56b68a5b8eff758ba4078d02030ba3aa5a4d

Request headers

Referer
https://www.semanticscholar.org/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:03 GMT
content-encoding
gzip
via
1.1 varnish
x-amz-request-id
VKDNX583AG7QNCDJ
age
29218
x-amz-server-side-encryption
AES256
x-cache
HIT
content-length
129907
x-amz-id-2
qFSgJA6jPIyww8ZK8MT0jR/rB6JWUKftek2bMFUm++NdEvY1AqUASuiY5frXRnDdKfYc6z/vMpA=
x-served-by
cache-fra-eddf8230117-FRA
last-modified
Wed, 13 Mar 2024 16:59:15 GMT
server
AmazonS3
x-timer
S1710379744.970570,VS0,VE1
etag
"a3d5bc1184f1c10492e5a853ee30a88d"
vary
Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
application/javascript; charset=utf-8
access-control-allow-origin
*
cache-control
public,max-age=31536000,immutable
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
1
banner.js
js.hs-banner.com/v2/5910970/
70 KB
23 KB
Script
General
Full URL
https://js.hs-banner.com/v2/5910970/banner.js
Requested by
Host: js.hs-scripts.com
URL: https://js.hs-scripts.com/5910970.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700:4400::6812:22e5 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
73c914a1f3a94ea5340475abe4544fa61353037650163072b031b8f6ba408b0a

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:03 GMT
x-amz-version-id
UyUc_EUJafZKZ3.CdrLCX5_FfOEIXS7O
content-encoding
br
cf-cache-status
HIT
x-amz-request-id
P8P46S4GRAFVCNTJ
x-evy-trace-route-service-name
envoyset-translator
x-amz-server-side-encryption
AES256
x-hubspot-correlation-id
4c7f5f69-f094-4da8-87b8-52655ecdbb83
age
249
x-envoy-upstream-service-time
86
x-amz-id-2
mfzqAVLXCx+qPEAMUXPwvdfN4qa5JwiI1jW/kwgnX8Y4w1qnTG+DaKlped53VcRkiX1fakkqlFo=
x-evy-trace-listener
listener_https
x-request-id
4c7f5f69-f094-4da8-87b8-52655ecdbb83
x-evy-trace-route-configuration
listener_https/all
last-modified
Wed, 06 Mar 2024 15:56:47 GMT
server
cloudflare
etag
W/"b13428f5319e39eb1d9d606d94489921"
access-control-max-age
604800
access-control-allow-methods
GET, OPTIONS, PUT, POST, DELETE, PATCH, HEAD
content-type
text/javascript; charset=UTF-8
access-control-allow-origin
https://www.semanticscholar.org
x-evy-trace-virtual-host
all
access-control-expose-headers
x-last-modified-timestamp, X-HubSpot-NotFound, X-HS-User-Request, Link, Server-Timing
cache-control
max-age=300,public
access-control-allow-credentials
true
x-evy-trace-served-by-pod
iad02/analytics-js-proxy-td/envoy-proxy-8555f56d-pbs6d
vary
origin, Accept-Encoding
timing-allow-origin
*
access-control-allow-headers
Origin, X-Requested-With, Content-Type, Accept, Accept-Charset, Accept-Encoding, X-Override-Internal-Permissions, X-Properties-Source, X-Properties-SourceId, X-Properties-Flag, X-Hubspot-User-Id, X-Hubspot-Trace, X-Hubspot-Callee, X-Hubspot-Offset, X-Hubspot-No-Trace, X-HubSpot-Static-App-Info, X-HubSpot-Messages-Uri, X-HubSpot-Request-Source, X-HubSpot-Request-Reason, Subscription-Billing-Auth-Token, X-App-CSRF, X-Tools-CSRF, Online-Payment-Signing-UUID, X-Source, X-SourceId, X-Origin-UserId, X-Biden-Request-Source, X-HubSpot-CSRF-hubspotapi, X-Force-Cookie-Refresh, X-Force-Cookie-Refresh-No-Cache, X-HS-User-Request, X-Application-Id, X-HS-Referer, X-HubSpot-Correlation-Id
cf-ray
86407d97e99a1b9f-FRA
expires
Thu, 14 Mar 2024 01:29:54 GMT
fb.js
js.hsadspixel.net/
6 KB
4 KB
Script
General
Full URL
https://js.hsadspixel.net/fb.js
Requested by
Host: js.hs-scripts.com
URL: https://js.hs-scripts.com/5910970.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700::6811:e4a3 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
bd47bb5c3c79ece4cd4b9fd66d3d9e3775150737494912c71663ea52040decd8
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
x-amz-version-id
fZfwxa8ceO6pVp7hFS6JvPrOzh5PJhey
via
1.1 16d910967d343c8da7828222a653755e.cloudfront.net (CloudFront)
x-content-type-options
nosniff
cf-cache-status
HIT
x-amz-cf-pop
IAD12-P3
age
445
x-amz-server-side-encryption
AES256
x-evy-trace-route-service-name
envoyset-translator
content-security-policy-report-only
frame-ancestors 'self'; report-uri https://send.hsbrowserreports.com/csp/report?resource=adsscriptloaderstatic/static-1.537/bundles/pixels-release.js&cfRay=864072bccd001e51-FRA
x-cache
Hit from cloudfront
x-hubspot-correlation-id
be4de4b8-b717-4ab6-8505-106a4c8dd2b3
cache-tag
staticjsapp-AdsScriptLoaderCloudflare-web-prod,staticjsapp-prod
content-encoding
br
x-envoy-upstream-service-time
1
x-amz-replication-status
COMPLETED
x-evy-trace-route-configuration
listener_https/all
x-evy-trace-listener
listener_https
x-request-id
be4de4b8-b717-4ab6-8505-106a4c8dd2b3
last-modified
Fri, 08 Mar 2024 14:46:21 UTC
server
cloudflare
etag
W/"1b9f1161785ce805353591d6396d2715"
vary
Accept-Encoding
content-type
application/javascript; charset=utf-8
x-hs-cache-status
HIT
x-evy-trace-virtual-host
all
cache-control
max-age=600
x-evy-trace-served-by-pod
iad02/app-td/envoy-proxy-576f9d768-gjs7x
cf-ray
86407d97ff6f9253-FRA
x-amz-cf-id
2lDHtMkomksbd-M468SE9_0d5ZJEtK5enEEyhszxMdtQqfgFfyrZaA==
x-hs-target-asset
adsscriptloaderstatic/static-1.537/bundles/pixels-release.js
5910970.js
js.hs-analytics.net/analytics/1710379500000/
66 KB
21 KB
Script
General
Full URL
https://js.hs-analytics.net/analytics/1710379500000/5910970.js
Requested by
Host: js.hs-scripts.com
URL: https://js.hs-scripts.com/5910970.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700::6810:4eba , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
8586012eb4bf3c9cd7dfeff7e7b69b7a7520fb20b487ae7552e6260cc1b49b9b

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
x-amz-version-id
null
content-encoding
br
cf-cache-status
HIT
x-amz-request-id
RAF41VGV449T4W9V
x-evy-trace-route-service-name
envoyset-translator
x-amz-server-side-encryption
AES256
x-hubspot-correlation-id
ab3466a4-517d-4b19-9bff-170bdc3d3e90
age
138
x-envoy-upstream-service-time
16
x-amz-id-2
IP6JMO9wvpA6pxBmNZW0W+KZTLf8of7ci8g0KigAWv1yXXyDsPWzDIsxLrk86f8R0w7wQaqIHFU=
x-evy-trace-listener
listener_https
x-request-id
ab3466a4-517d-4b19-9bff-170bdc3d3e90
x-evy-trace-route-configuration
listener_https/all
last-modified
Tue, 27 Feb 2024 15:33:23 GMT
server
cloudflare
etag
W/"e7092f5087448a46cc964862f1cfdfeb"
vary
origin, Accept-Encoding
content-type
text/javascript
x-evy-trace-virtual-host
all
x-evy-trace-served-by-pod
iad02/analytics-js-proxy-td/envoy-proxy-8555f56d-pbxg4
cache-control
max-age=300,public
access-control-allow-credentials
false
cf-ray
86407d97edce9baa-FRA
expires
Thu, 14 Mar 2024 01:31:45 GMT
container.js
cdn.heapanalytics.com/js/replay/3288-Main-prod-heap/
9 KB
5 KB
Script
General
Full URL
https://cdn.heapanalytics.com/js/replay/3288-Main-prod-heap/container.js
Requested by
Host: cdn.heapanalytics.com
URL: https://cdn.heapanalytics.com/js/heap-2424575119.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
13.32.27.116 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-13-32-27-116.fra56.r.cloudfront.net
Software
AmazonS3 /
Resource Hash
1f747fb63c568eacc6c03f08b1ced25e6917b16a1a99d240311ef8555b4a1ed4

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

x-amz-version-id
AA5Jiem3Od73mHezLylWZ.l0tLl_QS5z
content-encoding
gzip
via
1.1 cbe141923b7469a299306144733821c2.cloudfront.net (CloudFront)
date
Wed, 13 Mar 2024 07:09:31 GMT
x-amz-cf-pop
FRA56-C2
age
66531
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
4562
last-modified
Mon, 04 Dec 2023 20:36:34 GMT
server
AmazonS3
etag
"6b7012ccf88c435e7e035d8f6bc16f47"
content-type
application/javascript
cache-control
public,max-age=86400
accept-ranges
bytes
x-amz-cf-id
jImVcZ7Z8lJOWT7GUVqFAamVKJ4hq7Z8CA9zh0KTXdjuCKbjag-jMg==
telemetry
heapanalytics.com/api/
32 B
234 B
Image
General
Full URL
https://heapanalytics.com/api/telemetry?a=2424575119&te=type&te=data&te=cm&te=eventPropertiesTelemetry%20-%20added%20new%20properties&te=val&te=39&st=1710379743976&hv=4.21.0
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
/
Resource Hash
853b983923a033223e4f391790e6e86619b31d542b40e7e1e8221fb0d6957ab1
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

access-control-allow-origin
*
pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
strict-transport-security
max-age=31536000; includeSubDomains
content-length
32
content-type
image/gif
container.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.css
fast.appcues.com/generic/main/5.0.4/
16 KB
2 KB
Stylesheet
General
Full URL
https://fast.appcues.com/generic/main/5.0.4/container.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.css
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/appcues.main.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
c2f5a697cf483b8a50b286ec9481c2767bcc448ad563047894e7e623de8049eb

Request headers

Referer
https://www.semanticscholar.org/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-encoding
gzip
via
1.1 varnish
x-amz-request-id
T9H169CD2PTXK8DH
age
29384
x-amz-server-side-encryption
AES256
x-cache
HIT
content-length
1992
x-amz-id-2
hWS6hc6QjAE9Hv9Ej6GJ8pr85cryUWqrVauIG4f6yolYzmvuXTjqAWtsadkbVn/fvnIkPV13vh8=
x-served-by
cache-fra-eddf8230117-FRA
last-modified
Wed, 13 Mar 2024 16:59:15 GMT
server
AmazonS3
x-timer
S1710379744.045012,VS0,VE0
etag
"5be05ce494e7cac41d062a0b12a1657c"
vary
Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
text/css; charset=utf-8;
access-control-allow-origin
*
cache-control
public,max-age=31536000,immutable
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
817
bundle-2019.js
cdn.semanticscholar.org/038e00ba8acb5fa3/js/
190 KB
42 KB
Script
General
Full URL
https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/bundle-2019.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:266e:1c00:18:6e50:4ec0:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
d851212514d009db569c86a7e521c0a7a2a22cd8e14e43a07940d920ad5f0abc

Request headers

Referer
https://www.semanticscholar.org/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 29 Jan 2024 18:51:40 GMT
content-encoding
gzip
via
1.1 2146d75cb402f16f98928cb19acf5ff6.cloudfront.net (CloudFront)
age
3825444
x-amz-cf-pop
FRA56-P8
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
42847
x-amz-expiration
expiry-date="Wed, 29 Jan 2025 00:00:00 GMT", rule-id="Delete After 1 Year"
last-modified
Mon, 29 Jan 2024 18:42:12 GMT
server
AmazonS3
etag
"050fcacb3272dd77dffd2b2d037a50e9"
vary
Origin,Access-Control-Request-Headers,Access-Control-Request-Method
access-control-allow-methods
GET
content-type
text/javascript
access-control-allow-origin
*
cache-control
max-age=31536000
accept-ranges
bytes
x-amz-cf-id
90K230M_dcqlXEqUmsGxmdkPWWKAa6U7pCO-u1Jk_eyYPt1IZaUZzw==
bundle-2429.js
cdn.semanticscholar.org/038e00ba8acb5fa3/js/
13 KB
4 KB
Script
General
Full URL
https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/bundle-2429.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:266e:1c00:18:6e50:4ec0:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
835bfd2aad67c9a2a618b3bdc495edb89e8901929d6e4f6d4226ec47a5a7a8a4

Request headers

Referer
https://www.semanticscholar.org/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 29 Jan 2024 18:51:40 GMT
content-encoding
gzip
via
1.1 2146d75cb402f16f98928cb19acf5ff6.cloudfront.net (CloudFront)
age
3825444
x-amz-cf-pop
FRA56-P8
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
3812
x-amz-expiration
expiry-date="Wed, 29 Jan 2025 00:00:00 GMT", rule-id="Delete After 1 Year"
last-modified
Mon, 29 Jan 2024 18:42:21 GMT
server
AmazonS3
etag
"f92bf87e4fe0929be9b9e711d4e097f3"
vary
Origin,Access-Control-Request-Headers,Access-Control-Request-Method
access-control-allow-methods
GET
content-type
text/javascript
access-control-allow-origin
*
cache-control
max-age=31536000
accept-ranges
bytes
x-amz-cf-id
oys6eTrH-zNIbOgmwwQ7xyMutMDQtIR7yrtJ5YNNKEVjrWwqLPKtXw==
bundle-5270.js
cdn.semanticscholar.org/038e00ba8acb5fa3/js/
37 KB
10 KB
Script
General
Full URL
https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/bundle-5270.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:266e:1c00:18:6e50:4ec0:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
c5b81aa7e9aab1d9bd98ccf90a676b0fcb5fdb774368fff0631982dbc6ba9f4d

Request headers

Referer
https://www.semanticscholar.org/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 29 Jan 2024 18:51:40 GMT
content-encoding
gzip
via
1.1 2146d75cb402f16f98928cb19acf5ff6.cloudfront.net (CloudFront)
age
3825444
x-amz-cf-pop
FRA56-P8
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
9788
x-amz-expiration
expiry-date="Wed, 29 Jan 2025 00:00:00 GMT", rule-id="Delete After 1 Year"
last-modified
Mon, 29 Jan 2024 18:42:48 GMT
server
AmazonS3
etag
"c05d0bdefd3af16239b58c04b1717931"
vary
Origin,Access-Control-Request-Headers,Access-Control-Request-Method
access-control-allow-methods
GET
content-type
text/javascript
access-control-allow-origin
*
cache-control
max-age=31536000
accept-ranges
bytes
x-amz-cf-id
_c0Vl-bfCz8InxeqF18j5PgyGEBsBDGBoTBa_Y0lgllZQeWQk5mNUA==
BrowserEntry.tsx.js
cdn.semanticscholar.org/038e00ba8acb5fa3/js/
3 MB
715 KB
Script
General
Full URL
https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/BrowserEntry.tsx.js
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:266e:1c00:18:6e50:4ec0:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
9848fac43365b6d75640081b3d9a0aa02f1099bcf7ab74b88ce25ef58ae3aa6e

Request headers

Referer
https://www.semanticscholar.org/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 29 Jan 2024 18:51:40 GMT
content-encoding
gzip
via
1.1 2146d75cb402f16f98928cb19acf5ff6.cloudfront.net (CloudFront)
age
3825444
x-amz-cf-pop
FRA56-P8
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
731368
x-amz-expiration
expiry-date="Wed, 29 Jan 2025 00:00:00 GMT", rule-id="Delete After 1 Year"
last-modified
Mon, 29 Jan 2024 18:42:01 GMT
server
AmazonS3
etag
"baf6708d4511843dd6c26b351d065bd8"
vary
Origin,Access-Control-Request-Headers,Access-Control-Request-Method
access-control-allow-methods
GET
content-type
text/javascript
access-control-allow-origin
*
cache-control
max-age=31536000
accept-ranges
bytes
x-amz-cf-id
Ffv2K5o0sgVQxD-gc8JE23QnSpURonncmfhWw2_PAu-0r01LL1SLvA==
releasesettings
client-api.auryc.com/
2 B
169 B
XHR
General
Full URL
https://client-api.auryc.com/releasesettings?lib=Web
Requested by
Host: cdn.heapanalytics.com
URL: https://cdn.heapanalytics.com/js/replay/3288-Main-prod-heap/container.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
34.66.73.214 Council Bluffs, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
214.73.66.34.bc.googleusercontent.com
Software
istio-envoy /
Resource Hash
4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
Security Headers
Name Value
Strict-Transport-Security max-age=31536000 ; includeSubDomains
X-Content-Type-Options nosniff
X-Frame-Options DENY
X-Xss-Protection 1; mode=block

Request headers

x-authorized-identity
3288-Main-prod-heap
Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
x-authorized-token
89807b3ddda56927d81998d858a4cd10

Response headers

pragma
no-cache
strict-transport-security
max-age=31536000 ; includeSubDomains
content-encoding
gzip
x-content-type-options
nosniff
date
Thu, 14 Mar 2024 01:29:03 GMT
server
istio-envoy
vary
accept-encoding,origin,access-control-request-headers,access-control-request-method,accept-encoding
x-frame-options
DENY
content-type
application/json
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, max-age=0, must-revalidate
access-control-allow-credentials
true
x-envoy-upstream-service-time
5
x-xss-protection
1; mode=block
expires
0
releasesettings
client-api.auryc.com/ Frame
0
0
Preflight
General
Full URL
https://client-api.auryc.com/releasesettings?lib=Web
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
34.66.73.214 Council Bluffs, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
214.73.66.34.bc.googleusercontent.com
Software
istio-envoy /
Resource Hash
Security Headers
Name Value
Strict-Transport-Security max-age=31536000 ; includeSubDomains
X-Content-Type-Options nosniff
X-Frame-Options DENY
X-Xss-Protection 1; mode=block

Request headers

Accept
*/*
Access-Control-Request-Headers
x-authorized-identity,x-authorized-token
Access-Control-Request-Method
GET
Origin
https://www.semanticscholar.org
Sec-Fetch-Mode
cors
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

access-control-allow-credentials
true
access-control-allow-headers
x-authorized-identity, x-authorized-token
access-control-allow-methods
OPTIONS,HEAD,GET,PUT,POST,DELETE,PATCH
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, max-age=0, must-revalidate
content-length
0
date
Thu, 14 Mar 2024 01:29:03 GMT
expires
0
pragma
no-cache
server
istio-envoy
strict-transport-security
max-age=31536000 ; includeSubDomains
vary
Origin,Access-Control-Request-Method,Access-Control-Request-Headers
x-content-type-options
nosniff
x-envoy-upstream-service-time
1
x-frame-options
DENY
x-xss-protection
1; mode=block
verify
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
340 B
759 B
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/verify
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
1405c1c7c5e9d844b914ba50706716cd9ee1677ef8d05fa344e0636eb7b545e3

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
access-control-max-age
86400
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e0-7f265d6a528df7ad7ecd3491
cache-control
no-cache, no-store, must-revalidate
content-length
340
x-amz-cf-id
vnmUeBNbu730uzXeNXiXYKeesSsiZQnPkEImQhm4kpTpCsZrPRiC3g==
expires
0
json
api.hubapi.com/hs-script-loader-public/v1/config/pixels-and-events/
115 B
1 KB
XHR
General
Full URL
https://api.hubapi.com/hs-script-loader-public/v1/config/pixels-and-events/json?portalId=5910970
Requested by
Host: js.hsadspixel.net
URL: https://js.hsadspixel.net/fb.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700::6811:c9cc , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
c8b3172d6838defdb2fb72c2f4b946f68b71b1d92153485d6f43be29e052144d
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains; preload
X-Content-Type-Options nosniff

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
strict-transport-security
max-age=31536000; includeSubDomains; preload
x-content-type-options
nosniff
cf-cache-status
DYNAMIC
nel
{"success_fraction":0.01,"report_to":"cf-nel","max_age":604800}
x-evy-trace-route-service-name
envoyset-translator
x-hubspot-correlation-id
297d2a53-cf0d-4bac-93d0-2724be8778cc
content-encoding
br
x-envoy-upstream-service-time
3
x-evy-trace-route-configuration
listener_https/all
x-evy-trace-listener
listener_https
x-request-id
297d2a53-cf0d-4bac-93d0-2724be8778cc
server
cloudflare
vary
origin, Accept-Encoding
access-control-allow-methods
GET, OPTIONS, PUT, POST, DELETE, PATCH, HEAD
content-type
application/json;charset=utf-8
access-control-allow-origin
https://www.semanticscholar.org
x-evy-trace-served-by-pod
iad02/hubapi-td/envoy-proxy-59d6fb747d-gs75s
access-control-max-age
180
access-control-allow-credentials
false
x-evy-trace-virtual-host
all
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=ZY874doSmcnqd%2Bu0K%2FDJbHtbJMJ5HNK0HqtCb75RKRfQngpqxiBvQ63DH0RfCtk%2BdqwIxmaU2wdvf%2BpmzlaiNS01KiDEEMz7qYO1Bbtfk8grAcfVxmEFCqzkY81nSjBwL1TFYoWyxcsGiTlA"}],"group":"cf-nel","max_age":604800}
cf-ray
86407d996b668ffe-FRA
access-control-allow-headers
*
js
www.googletagmanager.com/gtag/
225 KB
80 KB
Script
General
Full URL
https://www.googletagmanager.com/gtag/js?id=AW-936736651
Requested by
Host: js.hsadspixel.net
URL: https://js.hsadspixel.net/fb.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:82a::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Google Tag Manager /
Resource Hash
d08dbcea96d526277cb691fcc29c8d1eb50b56b764966bc151b3fd48abf3ca7d
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-encoding
br
strict-transport-security
max-age=31536000; includeSubDomains
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
81634
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 00:00:00 GMT
server
Google Tag Manager
vary
Accept-Encoding
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
private, max-age=900
access-control-allow-credentials
true
access-control-allow-headers
Cache-Control
expires
Thu, 14 Mar 2024 01:29:04 GMT
js
www.googletagmanager.com/gtag/
225 KB
80 KB
Script
General
Full URL
https://www.googletagmanager.com/gtag/js?id=AW-936736651&l=dataLayer&cx=c
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-H7P4ZT52H5
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:82a::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Google Tag Manager /
Resource Hash
133289cb18f0306610e864ded68341034a6e27f4bb40511a08ecd0fe0ad2a857
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-encoding
br
strict-transport-security
max-age=31536000; includeSubDomains
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
81534
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 00:00:00 GMT
server
Google Tag Manager
vary
Accept-Encoding
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
private, max-age=900
access-control-allow-credentials
true
access-control-allow-headers
Cache-Control
expires
Thu, 14 Mar 2024 01:29:04 GMT
client
accounts.google.com/gsi/
215 KB
83 KB
Script
General
Full URL
https://accounts.google.com/gsi/client
Requested by
Host: cdn.semanticscholar.org
URL: https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/BrowserEntry.tsx.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:400c:c02::54 Brussels, Belgium, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
343364f41373bb7fbd4b219315705f1816e720b11defb8a6846a342f476b6495
Security Headers
Name Value
Content-Security-Policy require-trusted-types-for 'script';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http, script-src 'report-sample' 'nonce-Dr1r4tIm76ZXWjjO1GKaVA' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
require-trusted-types-for 'script';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http, script-src 'report-sample' 'nonce-Dr1r4tIm76ZXWjjO1GKaVA' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http
content-encoding
gzip
x-content-type-options
nosniff
server
ESF
x-frame-options
SAMEORIGIN
report-to
{"group":"coop_dd7de8473bddc59c6b748810a67a39b1","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/dd7de8473bddc59c6b748810a67a39b1"}]}
content-type
application/javascript; charset=utf-8
cache-control
private, max-age=1800
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
cross-origin-opener-policy-report-only
same-origin; report-to="coop_dd7de8473bddc59c6b748810a67a39b1"
expires
Thu, 14 Mar 2024 01:29:04 GMT
f3318491a55590e00dfe45d68708f515822e343a
www.semanticscholar.org/api/1/labs/paper/
540 B
778 B
XHR
General
Full URL
https://www.semanticscholar.org/api/1/labs/paper/f3318491a55590e00dfe45d68708f515822e343a
Requested by
Host: cdn.semanticscholar.org
URL: https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/BrowserEntry.tsx.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:236e:c200:6:4565:580:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
nginx /
Resource Hash
6c31466999902ac3a7ac3933b0ae243bca04ed470db7aa6de870e89f2c7aff4c

Request headers

Cache-Control
no-cache,no-store,must-revalidate,max-age=-1
Referer
https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
accept-language
de-DE,de;q=0.9
X-S2-Client
webapp-browser
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
X-S2-UI-Version
628161423356d8ce2d1d5661e52fa99603699229
Content-Type
application/json

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
via
1.1 adc51edbb4dc468fb382e40b115a2f62.cloudfront.net (CloudFront)
server
nginx
x-amz-cf-pop
FRA60-P1
x-cache
Miss from cloudfront
content-type
application/json;charset=utf-8
alt-svc
h3=":443"; ma=86400
content-length
540
x-amz-cf-id
oSkiDnoBK-EKyfcqpqcTDwtbv4pQK6GapGvkMeT_7P_Ma-8eLmgPBQ==
KFOlCnqEu92Fr1MmWUlfBBc4.woff2
fonts.gstatic.com/s/roboto/v30/
15 KB
16 KB
Font
General
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOlCnqEu92Fr1MmWUlfBBc4.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto+Slab:400,500,600,700|Roboto:300,400,500,600,700&display=swap
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
f5aebdfea35d1e7656ef4acc5db1f243209755ae3300943ef8fc6280f363c860
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Wed, 13 Mar 2024 12:42:00 GMT
x-content-type-options
nosniff
age
46024
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15860
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:42 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Thu, 13 Mar 2025 12:42:00 GMT
aggregations
www.semanticscholar.org/api/1/search/paper/f3318491a55590e00dfe45d68708f515822e343a/citation/
3 KB
1 KB
XHR
General
Full URL
https://www.semanticscholar.org/api/1/search/paper/f3318491a55590e00dfe45d68708f515822e343a/citation/aggregations
Requested by
Host: cdn.semanticscholar.org
URL: https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/BrowserEntry.tsx.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:236e:c200:6:4565:580:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
nginx /
Resource Hash
74e6565e957961734002c53d2912c3ae72dd4f6cf8ed7a4e152e126635f64316

Request headers

Cache-Control
no-cache,no-store,must-revalidate,max-age=-1
Referer
https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
accept-language
de-DE,de;q=0.9
X-S2-Client
webapp-browser
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
X-S2-UI-Version
628161423356d8ce2d1d5661e52fa99603699229
Content-Type
application/json

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-encoding
gzip
via
1.1 adc51edbb4dc468fb382e40b115a2f62.cloudfront.net (CloudFront)
server
nginx
x-amz-cf-pop
FRA60-P1
vary
Accept-Encoding
access-control-allow-methods
GET,POST,PUT,DELETE,OPTIONS
content-type
application/json;charset=utf-8
access-control-allow-origin
https://www.semanticscholar.org
x-cache
Miss from cloudfront
access-control-expose-headers
Cache-Control,Content-Language,Content-Length,Content-Range,Content-Type,Expires,Last-Modified,Pragma
access-control-allow-credentials
true
alt-svc
h3=":443"; ma=86400
access-control-allow-headers
Accept,Accept-Encoding,Accept-Language,Cache-Control,Connection,Content-Length,Content-Type,Cookie,DNT,Host,If-Modified-Since,Origin,Pragma,Range,Referer,Sec-Fetch-Mode,Sec-Fetch-Site,User-Agent,X-Requested-With
x-amz-cf-id
mSrwnrT-pOjMXCUHqDIQ8onahhI2Ea7X32m7wAOhKbi07ofl8MSasw==
telemetry
heapanalytics.com/api/
32 B
233 B
Image
General
Full URL
https://heapanalytics.com/api/telemetry?a=2424575119&te=type&te=data&te=cm&te=eventPropertiesTelemetry%20-%20added%20new%20properties&te=val&te=1&st=1710379744355&hv=4.21.0
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
/
Resource Hash
853b983923a033223e4f391790e6e86619b31d542b40e7e1e8221fb0d6957ab1
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

access-control-allow-origin
*
pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
strict-transport-security
max-age=31536000; includeSubDomains
content-length
32
content-type
image/gif
telemetry
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
908 B
1 KB
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/telemetry
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
60e245a90b084401c711b6a08e4d27389f5c5db59faade5ec5d169f7db66f614

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
access-control-max-age
86400
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e0-7ab7dc980b977e3f7d034e73
cache-control
no-cache, no-store, must-revalidate
content-length
908
x-amz-cf-id
PDR9rO38XbQQgZGZ3bgjrtEd6ZgHNbBnHaRYVJH6Z3QAJiieS1npkA==
expires
0
/
www.googleadservices.com/pagead/conversion/936736651/
3 KB
2 KB
Script
General
Full URL
https://www.googleadservices.com/pagead/conversion/936736651/?random=1710379744652&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=q9VSCNbTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&rfmt=3&fmt=4
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=AW-936736651&l=dataLayer&cx=c
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
172.217.18.2 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra15s28-in-f2.1e100.net
Software
cafe /
Resource Hash
2be396d11abd95939450455d78d3d4299b1ee13918ed9217ccf8977b774228f7
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
content-encoding
br
x-content-type-options
nosniff
server
cafe
content-type
text/javascript; charset=UTF-8
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
cache-control
no-cache, must-revalidate
cross-origin-resource-policy
cross-origin
content-disposition
attachment; filename="f.txt"
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
1732
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
/
www.googleadservices.com/pagead/conversion/936736651/
3 KB
2 KB
Script
General
Full URL
https://www.googleadservices.com/pagead/conversion/936736651/?random=1710379744655&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=Z89wCNnTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&rfmt=3&fmt=4
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=AW-936736651&l=dataLayer&cx=c
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
172.217.18.2 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra15s28-in-f2.1e100.net
Software
cafe /
Resource Hash
8cad1715c9c0ef686b9dbb4fd1842b4eca650023dddceb28fdf929b4de48634f
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
content-encoding
br
x-content-type-options
nosniff
server
cafe
content-type
text/javascript; charset=UTF-8
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
cache-control
no-cache, must-revalidate
cross-origin-resource-policy
cross-origin
content-disposition
attachment; filename="f.txt"
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
1733
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
auryc.lib.js
cdn.heapanalytics.com/js/replay/libs/latest/
695 KB
186 KB
Script
General
Full URL
https://cdn.heapanalytics.com/js/replay/libs/latest/auryc.lib.js
Requested by
Host: cdn.heapanalytics.com
URL: https://cdn.heapanalytics.com/js/replay/3288-Main-prod-heap/container.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
13.32.27.116 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-13-32-27-116.fra56.r.cloudfront.net
Software
AmazonS3 /
Resource Hash
7453f365efcae51a65348be81f1fa623448c5df91843e1d242915c3dbd202064

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

x-amz-version-id
aitZvcoPD_hHYU9VIsednC_iAFYeXHQg
content-encoding
gzip
via
1.1 c1e2423613b2dcb4230386a2b285734e.cloudfront.net (CloudFront)
date
Wed, 13 Mar 2024 07:23:36 GMT
age
66253
x-amz-cf-pop
FRA56-C2
x-amz-server-side-encryption
AES256
x-cache
Hit from cloudfront
alt-svc
h3=":443"; ma=86400
content-length
189887
last-modified
Tue, 13 Feb 2024 17:59:41 GMT
server
AmazonS3
etag
"49a5e68ece9e7831ecfad5e0b2ea3cd0"
content-type
application/javascript
cache-control
max-age=86400
accept-ranges
bytes
x-amz-cf-id
qDUbMFFuF322RZZc2GwW93IrsIg3CqtFxmiUh9gEej08gTlY02CDww==
style
accounts.google.com/gsi/
533 B
584 B
Stylesheet
General
Full URL
https://accounts.google.com/gsi/style
Requested by
Host: accounts.google.com
URL: https://accounts.google.com/gsi/client
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:400c:c02::54 Brussels, Belgium, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
1c4e7e389d73c6acf7f19cc812514e71230740791fde8a018c1d7edccf1590ae
Security Headers
Name Value
Content-Security-Policy script-src 'report-sample' 'nonce-5g9goNikMuDexurBJnazsw' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http, require-trusted-types-for 'script';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
script-src 'report-sample' 'nonce-5g9goNikMuDexurBJnazsw' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http, require-trusted-types-for 'script';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http
content-encoding
gzip
x-content-type-options
nosniff
server
ESF
x-frame-options
SAMEORIGIN
report-to
{"group":"coop_dd7de8473bddc59c6b748810a67a39b1","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/dd7de8473bddc59c6b748810a67a39b1"}]}
content-type
text/css; charset=utf-8
cache-control
private, max-age=86400
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
cross-origin-opener-policy-report-only
same-origin; report-to="coop_dd7de8473bddc59c6b748810a67a39b1"
expires
Thu, 14 Mar 2024 01:29:04 GMT
status
accounts.google.com/gsi/
40 B
531 B
XHR
General
Full URL
https://accounts.google.com/gsi/status?client_id=245064204415-q7jm6climoibboisc283192rt0f2od0l.apps.googleusercontent.com&as=IThqULH2Fm%2FgWjtEgH5PVg
Requested by
Host: accounts.google.com
URL: https://accounts.google.com/gsi/client
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:400c:c02::54 Brussels, Belgium, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
c249d8a3dccac186b657a1e76d80e5bdbbf88472c6457473a59f8c21c5f0a962
Security Headers
Name Value
Content-Security-Policy require-trusted-types-for 'script';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http, script-src 'report-sample' 'nonce-Zzi4e1_VTDKBj3jgS_INLw' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
require-trusted-types-for 'script';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http, script-src 'report-sample' 'nonce-Zzi4e1_VTDKBj3jgS_INLw' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/identity-sign-in-google-http
x-content-type-options
nosniff
content-encoding
gzip
content-disposition
attachment; filename="json.txt"; filename*=UTF-8''json.txt
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
pragma
no-cache
server
ESF
x-frame-options
SAMEORIGIN
access-control-allow-methods
GET
content-type
application/json; charset=utf-8
access-control-allow-origin
https://www.semanticscholar.org
report-to
{"group":"coop_dd7de8473bddc59c6b748810a67a39b1","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/dd7de8473bddc59c6b748810a67a39b1"}]}
cache-control
no-cache, no-store, max-age=0, must-revalidate
access-control-allow-credentials
true
cross-origin-opener-policy-report-only
same-origin; report-to="coop_dd7de8473bddc59c6b748810a67a39b1"
expires
Mon, 01 Jan 1990 00:00:00 GMT
siteconfig
client-api.auryc.com/
2 KB
1 KB
XHR
General
Full URL
https://client-api.auryc.com/siteconfig?lib=web
Requested by
Host: cdn.heapanalytics.com
URL: https://cdn.heapanalytics.com/js/replay/libs/latest/auryc.lib.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
34.66.73.214 Council Bluffs, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
214.73.66.34.bc.googleusercontent.com
Software
istio-envoy /
Resource Hash
f7e86d76b53e5a3dfabe39c34ac135d99b390f4a3adb6992fad9af21462ccd92
Security Headers
Name Value
Strict-Transport-Security max-age=31536000 ; includeSubDomains
X-Content-Type-Options nosniff
X-Frame-Options DENY
X-Xss-Protection 1; mode=block

Request headers

x-authorized-identity
3288-Main-prod-heap
Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
x-authorized-token
89807b3ddda56927d81998d858a4cd10
Content-Type
application/json

Response headers

pragma
no-cache
strict-transport-security
max-age=31536000 ; includeSubDomains
content-encoding
gzip
x-content-type-options
nosniff
date
Thu, 14 Mar 2024 01:29:04 GMT
server
istio-envoy
vary
accept-encoding,origin,access-control-request-headers,access-control-request-method,accept-encoding
x-frame-options
DENY
content-type
application/json
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, max-age=0, must-revalidate
access-control-allow-credentials
true
x-envoy-upstream-service-time
2
x-xss-protection
1; mode=block
expires
0
siteconfig
client-api.auryc.com/ Frame
0
0
Preflight
General
Full URL
https://client-api.auryc.com/siteconfig?lib=web
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
34.66.73.214 Council Bluffs, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
214.73.66.34.bc.googleusercontent.com
Software
istio-envoy /
Resource Hash
Security Headers
Name Value
Strict-Transport-Security max-age=31536000 ; includeSubDomains
X-Content-Type-Options nosniff
X-Frame-Options DENY
X-Xss-Protection 1; mode=block

Request headers

Accept
*/*
Access-Control-Request-Headers
content-type,x-authorized-identity,x-authorized-token
Access-Control-Request-Method
GET
Origin
https://www.semanticscholar.org
Sec-Fetch-Mode
cors
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

access-control-allow-credentials
true
access-control-allow-headers
content-type, x-authorized-identity, x-authorized-token
access-control-allow-methods
OPTIONS,HEAD,GET,PUT,POST,DELETE,PATCH
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, max-age=0, must-revalidate
content-length
0
date
Thu, 14 Mar 2024 01:29:03 GMT
expires
0
pragma
no-cache
server
istio-envoy
strict-transport-security
max-age=31536000 ; includeSubDomains
vary
Origin,Access-Control-Request-Method,Access-Control-Request-Headers
x-content-type-options
nosniff
x-envoy-upstream-service-time
1
x-frame-options
DENY
x-xss-protection
1; mode=block
/
www.google.de/pagead/1p-conversion/936736651/
Redirect Chain
  • https://googleads.g.doubleclick.net/pagead/viewthroughconversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sy...
  • https://www.google.com/pagead/1p-conversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u...
  • https://www.google.de/pagead/1p-conversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_...
42 B
154 B
Image
General
Full URL
https://www.google.de/pagead/1p-conversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=Z89wCNnTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamtxZVBCbkpvZENOVzd3Y1h5cUItbGkxSEJGWFlsS2xtY0ZhX2pOMXBLcVl4QnFrTG14VmdIQmRWIhMI8bD1iM3yhAMV9quDBx3-2QpOMgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqI3MNFFq7v6dRwDeWg1HEmDKoeaMqNQ&random=4267660071&ipr=y
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Server
2a00:1450:4001:813::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
cafe /
Resource Hash
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629
Security Headers
Name Value
Content-Security-Policy script-src 'none'; object-src 'none'
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
script-src 'none'; object-src 'none'
x-content-type-options
nosniff
server
cafe
content-type
image/gif
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
cache-control
no-cache, no-store, must-revalidate
cross-origin-resource-policy
cross-origin
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
42
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT

Redirect headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
script-src 'none'; object-src 'none'
x-content-type-options
nosniff
server
cafe
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
location
https://www.google.de/pagead/1p-conversion/936736651/?random=182582942&cv=11&fst=1710379744655&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=Z89wCNnTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamtxZVBCbkpvZENOVzd3Y1h5cUItbGkxSEJGWFlsS2xtY0ZhX2pOMXBLcVl4QnFrTG14VmdIQmRWIhMI8bD1iM3yhAMV9quDBx3-2QpOMgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqI3MNFFq7v6dRwDeWg1HEmDKoeaMqNQ&random=4267660071&ipr=y
content-type
image/gif
cache-control
no-cache, no-store, must-revalidate
cross-origin-resource-policy
cross-origin
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
42
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
/
www.google.de/pagead/1p-conversion/936736651/
Redirect Chain
  • https://googleads.g.doubleclick.net/pagead/viewthroughconversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=s...
  • https://www.google.com/pagead/1p-conversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&...
  • https://www.google.de/pagead/1p-conversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u...
42 B
108 B
Image
General
Full URL
https://www.google.de/pagead/1p-conversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=q9VSCNbTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamt0Z1dvUmdpTFMwdEJlX013dHlmcWoyazVTTG1SS1l1dWJTcmVURTJYT3ZWZ2tZMlUyRzg4OTZBIhMIsq71iM3yhAMVGpiDBx2oFg77MgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqY_e4s7zCpbKAzEGptOsS-FERrWlPPQ&random=3528293397&ipr=y
Requested by
Host: www.semanticscholar.org
URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Protocol
H2
Server
2a00:1450:4001:813::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
cafe /
Resource Hash
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629
Security Headers
Name Value
Content-Security-Policy script-src 'none'; object-src 'none'
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
script-src 'none'; object-src 'none'
x-content-type-options
nosniff
server
cafe
content-type
image/gif
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
cache-control
no-cache, no-store, must-revalidate
cross-origin-resource-policy
cross-origin
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
42
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT

Redirect headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
content-security-policy
script-src 'none'; object-src 'none'
x-content-type-options
nosniff
server
cafe
p3p
policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
location
https://www.google.de/pagead/1p-conversion/936736651/?random=2129600398&cv=11&fst=1710379744652&bg=ffffff&guid=ON&async=1&gtm=45be43b0v9129852248za200&gcd=13l3l3l2l1&dma_cps=sypham&dma=1&u_w=1600&u_h=1200&url=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&label=q9VSCNbTk6AYEIvv1b4D&hn=www.googleadservices.com&frm=0&tiba=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&did=dZTQ1Zm&gdid=dZTQ1Zm&npa=1&pscdl=noapi&auid=2049902384.1710379744&uamb=0&uaw=0&fdr=SA&data=event%3Dconversion&fmt=3&ct_cookie_present=false&sscte=1&crd=COG9sQI&pscrd=Ek9DaEVJOEozRnJ3WVExT0NqdmNqby0tRFJBUkltQU1zeW5yQ1dnWm5yNEhnYl9FMHhOQVBXR2JPZXpPTTJTS0FmLUxmTHRoRW1YVVBoNXAwGlhDaEFJOEozRnJ3WVE5UGJyOTVyd3lkUTRFaTRBMnlxamt0Z1dvUmdpTFMwdEJlX013dHlmcWoyazVTTG1SS1l1dWJTcmVURTJYT3ZWZ2tZMlUyRzg4OTZBIhMIsq71iM3yhAMVGpiDBx2oFg77MgIIAzICCAQyAggHMgIICDICCAkyAggKMgIIAg&is_vtc=1&cid=CAQSGwB7FLtqY_e4s7zCpbKAzEGptOsS-FERrWlPPQ&random=3528293397&ipr=y
content-type
image/gif
cache-control
no-cache, no-store, must-revalidate
cross-origin-resource-policy
cross-origin
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
42
x-xss-protection
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
telemetry
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
996 B
1 KB
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/telemetry
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
1270b2ae3cf88624d0ce288813d4e17aabe6992c141f57b2994e15333e961476

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:04 GMT
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
access-control-max-age
86400
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e0-6c476f9d4b04ae551fa5d0ef
cache-control
no-cache, no-store, must-revalidate
content-length
996
x-amz-cf-id
Tl9T8xnUxY8dSYqXesY_1IsSWHnwQQw_cUvTfPU25n6mT-mXn-hmEQ==
expires
0
__ptq.gif
track.hubspot.com/
45 B
1 KB
Image
General
Full URL
https://track.hubspot.com/__ptq.gif?k=1&sd=1600x1200&cd=24-bit&cs=UTF-8&ln=en-us&bfp=554772544&v=1.1&a=5910970&rcu=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pu=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&t=%5BPDF%5D+Cosette%3A+An+Automated+Prover+for+SQL+%7C+Semantic+Scholar&cts=1710379744840&vi=453961cb3ac70127a4d243d3475ddc71&nc=true&u=132950225.453961cb3ac70127a4d243d3475ddc71.1710379744839.1710379744839.1710379744839.1&b=132950225.1.1710379744839&cc=15
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700::6813:9a53 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
dc111a70984a9eda00752b06277113029ef288f1125c31eff2477413e15e8aa4
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains; preload
X-Content-Type-Options nosniff

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:04 GMT
strict-transport-security
max-age=31536000; includeSubDomains; preload
x-content-type-options
nosniff
cf-cache-status
DYNAMIC
nel
{"success_fraction":0.01,"report_to":"cf-nel","max_age":604800}
x-evy-trace-route-service-name
envoyset-translator
x-hubspot-correlation-id
8e05036b-9cd8-4a89-96ed-23dfda02cc98
p3p
CP="NOI CUR ADM OUR NOR STA NID"
x-envoy-upstream-service-time
16
content-length
45
x-evy-trace-route-configuration
listener_https/all
x-evy-trace-listener
listener_https
x-request-id
8e05036b-9cd8-4a89-96ed-23dfda02cc98
server
cloudflare
vary
origin, Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=QiKS9nedZ%2B7BpC0DPiGtsb8TOmEeKlv2UfkYBz70%2FXRJPQpwVpG8TYS%2B9zFNikar0hZX%2FrbzqDljx7BzV89Xqf6rFsFUunvyNyh9%2FtqFj7iWZyQYNUZO1%2FBKBit%2F1oKIP4m2H4s%2B7VdR8bI1XlrP"}],"group":"cf-nel","max_age":604800}
content-type
image/gif
x-evy-trace-served-by-pod
iad02/analytics-tracking-td/envoy-proxy-68f68ffdf9-7wdmj
x-evy-trace-virtual-host
all
cache-control
no-cache, no-store, no-transform
access-control-allow-credentials
false
cf-ray
86407d9d6ac59741-FRA
x-robots-tag
none
364ed848-41d8-405d-adc1-bd9475c14c96
https://www.semanticscholar.org/
85 B
0
Other
General
Full URL
blob:https://www.semanticscholar.org/364ed848-41d8-405d-adc1-bd9475c14c96
Protocol
BLOB
Server
-, , ASN (),
Reverse DNS
Software
/
Resource Hash
3b272e43c528bdb75ea6aacc0fdd09ce62573a3849869f7ea80d532de6a8c57d

Request headers

accept-language
de-DE,de;q=0.9
Referer
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

Content-Length
85
Content-Type
application/javascript
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&z=0&h=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&d=www.semanticscholar.org&t=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&k=feature%3Apdf_note_taking&k=false&k=feature%3Aweblab_opt_out&k=false&k=feature%3Aweb_app_capable_meta_tag&k=false&k=feature%3Agoogle_fonts&k=true&k=feature%3Asearch_spellcheck_suggestions&k=false&k=feature%3Ahomepage_ads&k=true&k=feature%3Agoogle_analytics&k=true&k=feature%3Apaper_qa_exp&k=false&k=feature%3Agoogle_tag_manager&k=true&k=feature%3Avenues_page&k=true&k=feature%3Apaper_qa&k=true&k=feature%3Avalidate_user_images&k=true&k=feature%3Alog_heap_landmarks&k=false&k=feature%3Areader_acronyms&k=true&k=experiment%3Aaa_stable_hash_session_test&k=control&k=feature%3Aahp_sort_pref&k=false&k=feature%3Ahomepage_ad_semantic_reader&k=true&k=feature%3Asearch_citations_perf&k=false&k=feature%3Aauthor_claim_on_pdp&k=true&k=feature%3Apaper_qa_is_test&k=false&k=feature%3Aheap&k=true&k=feature%3Aresearch_prototypes&k=true&k=feature%3Ahubspot&k=true&k=feature%3Ahomepage_ad_public_api&k=true&k=feature%3Agraphql_proxy&k=false&k=feature%3Aterm_understanding&k=true&k=feature%3Alogin_demographics_modal&k=true&k=feature%3Aaws_waf&k=true&k=feature%3Aauth_google_one_tap&k=true&k=feature%3Aauthor_profile_picture&k=true&k=feature%3Aminify_js&k=true&k=feature%3Awith_entitlements&k=true&k=feature%3Asimilar_papers_pdp&k=true&k=feature%3Aappcues&k=true&k=feature%3Apaper_labs&k=false&k=feature%3Acitation_style_preference&k=true&k=feature%3Afreshdesk_down&k=false&k=feature%3Ahubspot_newsletter_form&k=true&k=feature%3Ascroll_to_top&k=true&k=Locale&k=en-US&k=Google%20Translate&k=false&k=Timezone%20Offset%20(minutes)&k=-60&k=Timezone&k=Europe%2FBerlin&k=Continent&k=Europe&k=Language&k=en&k=Network%20Effective%20Type&k=4g&k=Network%20Downlink%20(mbps)&k=10&k=Network%20Latency%20(ms)&k=0&k=Prefer%20Color%20Scheme&k=light&k=Pixel%20Ratio&k=1&k=Screen%20Height&k=1200&k=Screen%20Width&k=1600&k=Browser%20Height&k=1200&k=Browser%20Width&k=1600&k=Cookie%20Banner%20Visible&k=true&k=Visibility%20State&k=visible&k=History%20Length&k=2&k=Route%20Name&k=PAPER_DETAIL&k=Save%20Data&k=false&k=Raw%20User%20Agent&k=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&ts=1710379744193&sch=1200&scw=1600&st=1710379744986
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=z&sp=0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&sp=t&sp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&id0=1208969680269911&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&k0=appLoadId&k0=43f1264e-b088-4f55-813f-8b6b7c6bad43&k0=pageLoadId&k0=2ba3ffc4-dbe3-4ac4-859c-055843804f0b&t0=layover_metrics&ts0=1710379744440&st=1710379744988
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=z&sp=0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&sp=t&sp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&id0=4853018672725781&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&k0=url&k0=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&k0=eventType&k0=rico&k0=timestamp&k0=2024-03-14T01%3A29%3A04.534Z&k0=isMobile&k0=false&k0=screenSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=viewportSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=name&k0=pdp.impression&k0=id&k0=9b297229-f091-46df-8579-f537f725fcb6&t0=general.rico&ts0=1710379744609&st=1710379744999
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=z&sp=0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&sp=t&sp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&id0=7439996464900918&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&k0=url&k0=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&k0=eventType&k0=show&k0=timestamp&k0=2024-03-14T01%3A29%3A04.540Z&k0=isMobile&k0=false&k0=screenSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=viewportSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=target&k0=paperDetail.scorecardImpression&k0=scorecardType&k0=cited_by&t0=paperDetail.scorecardImpression.show&ts0=1710379744612&st=1710379745009
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=z&sp=0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&sp=t&sp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&id0=6745618849534803&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&k0=url&k0=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&k0=eventType&k0=show&k0=timestamp&k0=2024-03-14T01%3A29%3A04.546Z&k0=isMobile&k0=false&k0=screenSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=viewportSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=target&k0=experiment-impression&k0=page-type&k0=paper_detail&k0=page-paper-id&k0=f3318491a55590e00dfe45d68708f515822e343a&k0=experiment&k0=topics_beta3&k0=impressedAs&k0=topics_beta3&t0=experiment-impression.show&ts0=1710379744619&st=1710379745019
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
telemetry
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
1 KB
1 KB
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/telemetry
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
e5d119b1bb85a895986c99f65cf2fac2a8bc1e98b7aac8a6c615af49097b6adf

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
vary
Accept-Encoding
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e1-67c65930424f937166f0503a
cache-control
no-cache, no-store, must-revalidate
access-control-max-age
86400
x-amz-cf-id
lKubdMXUTqHANQDZws8Foi8dTBLtjvsNwh96VD7RMO3jSt_LvdcDOw==
expires
0
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=z&sp=0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&sp=t&sp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&id0=8813652153712657&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&k0=url&k0=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&k0=eventType&k0=show&k0=timestamp&k0=2024-03-14T01%3A29%3A04.565Z&k0=isMobile&k0=false&k0=screenSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=viewportSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=target&k0=paperDetail.topics.impression&t0=paperDetail.topics.impression.show&ts0=1710379744636&st=1710379745032
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=z&sp=0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&sp=t&sp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&id0=6303957567883224&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&k0=url&k0=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&k0=eventType&k0=routeloadtiming&k0=timestamp&k0=2024-03-14T01%3A29%3A04.883Z&k0=isMobile&k0=false&k0=screenSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=viewportSize&k0=%7B%22width%22%3A1600%2C%22height%22%3A1200%7D&k0=requestTimeMs&k0=331&k0=requestTimeWithoutRedirectMs&k0=331&k0=authTimeMs&k0=18&k0=willRouteToTimeMs&k0=298&k0=initiatesRedirect&k0=false&k0=hasError&k0=false&t0=general.routeloadtiming&ts0=1710379744894&st=1710379745039
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
ab88f373-9c0f-48cf-8125-e23182f55bc1
https://www.semanticscholar.org/
85 B
0
Other
General
Full URL
blob:https://www.semanticscholar.org/ab88f373-9c0f-48cf-8125-e23182f55bc1
Protocol
BLOB
Server
-, , ASN (),
Reverse DNS
Software
/
Resource Hash
3b272e43c528bdb75ea6aacc0fdd09ce62573a3849869f7ea80d532de6a8c57d

Request headers

accept-language
de-DE,de;q=0.9
Referer
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

Content-Length
85
Content-Type
application/javascript
telemetry
heapanalytics.com/api/
32 B
233 B
Image
General
Full URL
https://heapanalytics.com/api/telemetry?a=2424575119&te=type&te=data&te=cm&te=Cookie%20too%20large%20to%20store%20full%20landing%20page%20params&te=val&te=1&st=1710379745130&hv=4.21.0
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
/
Resource Hash
853b983923a033223e4f391790e6e86619b31d542b40e7e1e8221fb0d6957ab1
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

access-control-allow-origin
*
pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
strict-transport-security
max-age=31536000; includeSubDomains
content-length
32
content-type
image/gif
open-builder.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
fast.appcues.com/generic/main/5.0.4/
298 KB
93 KB
Script
General
Full URL
https://fast.appcues.com/generic/main/5.0.4/open-builder.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/appcues.main.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
2cf71a1d0e9777de00ced90ccb5715267f750cef065265cad337b272bf85786c

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
via
1.1 varnish
x-amz-request-id
RT3PK5GQPC7NWQMD
age
29373
x-amz-server-side-encryption
AES256
x-cache
HIT
content-length
94793
x-amz-id-2
jXv+A/Wswc5brsusFeBNe13Gps9/Q0OU2nzou8Qr30raO1jX23KWriTy+K235HAv39Eju2YPnl5J5MuRFd9kPg==
x-served-by
cache-fra-eddf8230033-FRA
last-modified
Wed, 13 Mar 2024 16:59:15 GMT
server
AmazonS3
x-timer
S1710379745.171233,VS0,VE1
etag
"87f5f8a8796d2cc0346f362913ab0898"
vary
Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
application/javascript; charset=utf-8
access-control-allow-origin
*
cache-control
public,max-age=31536000,immutable
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
1
dcc0a843-18bb-4c61-b8f2-e79b40efccf2
fast.appcues.com/v1/accounts/87350/styles/
15 KB
3 KB
XHR
General
Full URL
https://fast.appcues.com/v1/accounts/87350/styles/dcc0a843-18bb-4c61-b8f2-e79b40efccf2
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/appcues.main.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
Cowboy /
Resource Hash
ab92ec0271d4d1dfde97f4f249587a5d19caacdc1017c0438336c51ff38103ba

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
via
1.1 varnish
age
75975
x-cache
HIT
content-length
3044
x-request-id
F7w4N6iY2BNQfTKpz5qQ
x-served-by
cache-fra-eddf8230117-FRA
server
Cowboy
x-timer
S1710379745.166978,VS0,VE1
vary
Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
application/json; charset=utf-8
access-control-allow-origin
*
access-control-expose-headers
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
1
tooltip.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.css
fast.appcues.com/generic/main/5.0.4/ Frame 2717
15 KB
3 KB
Stylesheet
General
Full URL
https://fast.appcues.com/generic/main/5.0.4/tooltip.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.css
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/appcues.main.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
AmazonS3 /
Resource Hash
5447e70f83b40b93f05bda6c917caf026f7f2ab2244172024abfeb047507ae06

Request headers

Referer
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
via
1.1 varnish
x-amz-request-id
629WVC4AGC955FBT
age
29224
x-amz-server-side-encryption
AES256
x-cache
HIT
content-length
2515
x-amz-id-2
825VaydCWRCBweoX08zmdeozFLtwAoPrD9IOE9hE/J1PA3L86j2S8hLdUlUARPHX4pI2q2fjyAKYh1UUiZqbmg==
x-served-by
cache-fra-eddf8230117-FRA
last-modified
Wed, 13 Mar 2024 16:59:15 GMT
server
AmazonS3
x-timer
S1710379745.190611,VS0,VE0
etag
"90daebd151212a0bca9f24b93318dab9"
vary
Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
text/css; charset=utf-8;
access-control-allow-origin
*
cache-control
public,max-age=31536000,immutable
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
2
css
fonts.googleapis.com/ Frame 2717
33 KB
2 KB
Stylesheet
General
Full URL
https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i
Requested by
Host: client
URL: about:client
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:827::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
a60d4f8cc0e1ec57d2574653a779b41406c419a8e1a0fc49d6d0a45f73491370
Security Headers
Name Value
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

strict-transport-security
max-age=31536000
date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
x-content-type-options
nosniff
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 00:19:20 GMT
server
ESF
cross-origin-opener-policy
same-origin-allow-popups
x-frame-options
SAMEORIGIN
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=86400, stale-while-revalidate=604800
timing-allow-origin
*
link
<https://fonts.gstatic.com>; rel=preconnect; crossorigin
expires
Thu, 14 Mar 2024 01:29:05 GMT
-MWjiciDzQ8bdIwQcRbi
fast.appcues.com/v1/accounts/87350/styles/
15 KB
3 KB
Fetch
General
Full URL
https://fast.appcues.com/v1/accounts/87350/styles/-MWjiciDzQ8bdIwQcRbi
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/open-builder.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2a04:4e42:400::622 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
Cowboy /
Resource Hash
f6b0399f7661ccc135bc2769fb735d83d6bd68242a10f1751f25c886a7a48330

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
via
1.1 varnish
age
83073
x-cache
HIT
content-length
3036
x-request-id
F7wxwx5atD8TgHKED8wg
x-served-by
cache-fra-eddf8230117-FRA
server
Cowboy
x-timer
S1710379745.218181,VS0,VE0
vary
Accept-Encoding
access-control-allow-methods
GET,PUT,POST,DELETE,OPTIONS
content-type
application/json; charset=utf-8
access-control-allow-origin
*
access-control-expose-headers
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
accept-ranges
bytes
timing-allow-origin
*
access-control-allow-headers
X-Requested-With,Authorization
x-cache-hits
8
add_user_properties_v3
heapanalytics.com/api/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/api/add_user_properties_v3?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&_appcuesUserID=anon%3A5764b493-b3da-43c1-b25e-8a2e7162f63d&st=1710379745227
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&source0=appcues&id0=7519062827140921&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&t0=Icon%20Seen%20(Appcues)&ts0=1710379745227&sprops0=experienceId&sprops0=43381698-3a8e-4519-9957-34657e7ca6b1&sprops0=experienceName&sprops0=PDP%20-%20Save%20this%20paper&sprops0=experienceType&sprops0=persistent&sprops0=isCoreEvent&sprops0=true&sprops0=localeName&sprops0=default&sprops0=localeId&sprops0=default&sprops0=timestamp&sprops0=1710379745218&sprops0=name&sprops0=Icon%20Seen&sprops0=stepId&sprops0=6375ea5c-7b49-4323-84ae-1d2a263a5247&sprops0=stepName&sprops0=Save%20this%20paper&sprops0=stepType&sprops0=tooltip&sprops0=type&sprops0=EXTENDED_EVENT&sprops0=id&sprops0=v2%3Aicon_seen&sprops0=sessionId&sprops0=e95b4560-c67a-4950-b1c8-7fccf3daf55d&st=1710379745227
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
add_user_properties_v3
heapanalytics.com/api/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/api/add_user_properties_v3?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&_appcuesUserID=anon%3A5764b493-b3da-43c1-b25e-8a2e7162f63d&st=1710379745242
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&source0=appcues&id0=4811659851263843&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&t0=Experience%20Started%20(Appcues)&ts0=1710379745242&sprops0=experienceId&sprops0=43381698-3a8e-4519-9957-34657e7ca6b1&sprops0=experienceName&sprops0=PDP%20-%20Save%20this%20paper&sprops0=experienceType&sprops0=persistent&sprops0=isCoreEvent&sprops0=true&sprops0=localeName&sprops0=default&sprops0=localeId&sprops0=default&sprops0=timestamp&sprops0=1710379745234&sprops0=name&sprops0=Experience%20Started&sprops0=id&sprops0=v2%3Aexperience_started&sprops0=sessionId&sprops0=e95b4560-c67a-4950-b1c8-7fccf3daf55d&st=1710379745242
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTS-muw.woff2
fonts.gstatic.com/s/opensans/v40/ Frame 2717
47 KB
47 KB
Font
General
Full URL
https://fonts.gstatic.com/s/opensans/v40/memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTS-muw.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
3c4d6a1421c7ddb7e404521fe8c4cd5be5af446d7689cd880be26612eaad3cfa
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Tue, 12 Mar 2024 00:50:53 GMT
x-content-type-options
nosniff
age
175092
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
48236
x-xss-protection
0
last-modified
Thu, 14 Dec 2023 02:08:40 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Wed, 12 Mar 2025 00:50:53 GMT
memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTS-muw.woff2
fonts.gstatic.com/s/opensans/v40/ Frame 2717
47 KB
47 KB
Font
General
Full URL
https://fonts.gstatic.com/s/opensans/v40/memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTS-muw.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
3c4d6a1421c7ddb7e404521fe8c4cd5be5af446d7689cd880be26612eaad3cfa
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Tue, 12 Mar 2024 00:50:53 GMT
x-content-type-options
nosniff
age
175092
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
48236
x-xss-protection
0
last-modified
Thu, 14 Dec 2023 02:08:40 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Wed, 12 Mar 2025 00:50:53 GMT
memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTUGmu1aB.woff2
fonts.gstatic.com/s/opensans/v40/ Frame 2717
24 KB
24 KB
Font
General
Full URL
https://fonts.gstatic.com/s/opensans/v40/memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTUGmu1aB.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
7e510e61c497d334da21eccda06df5d3a428c9ea94d6903b6138e7c7255aba0f
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 11 Mar 2024 19:17:02 GMT
x-content-type-options
nosniff
age
195123
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
24984
x-xss-protection
0
last-modified
Thu, 14 Dec 2023 02:04:54 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Tue, 11 Mar 2025 19:17:02 GMT
css2
fonts.googleapis.com/
2 KB
628 B
Stylesheet
General
Full URL
https://fonts.googleapis.com/css2?family=Roboto+Slab:wght@700
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/open-builder.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:827::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
81cf2142369afec9e5758dbbe5923ac596369f577456c02b452b4801639eff5f
Security Headers
Name Value
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

strict-transport-security
max-age=31536000
date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
x-content-type-options
nosniff
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 01:29:05 GMT
server
ESF
cross-origin-opener-policy
same-origin-allow-popups
x-frame-options
SAMEORIGIN
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=86400, stale-while-revalidate=604800
timing-allow-origin
*
link
<https://fonts.gstatic.com>; rel=preconnect; crossorigin
expires
Thu, 14 Mar 2024 01:29:05 GMT
css2
fonts.googleapis.com/
2 KB
593 B
Stylesheet
General
Full URL
https://fonts.googleapis.com/css2?family=Roboto
Requested by
Host: fast.appcues.com
URL: https://fast.appcues.com/generic/main/5.0.4/open-builder.74874beb1e6cbf1398d69f68f2d9f5a36f628f1b.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:827::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
44004199012159c073f8c965213f9e0aecd633dfe1d58641d7f497d3c7423a61
Security Headers
Name Value
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

strict-transport-security
max-age=31536000
date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
x-content-type-options
nosniff
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 01:29:05 GMT
server
ESF
cross-origin-opener-policy
same-origin-allow-popups
x-frame-options
SAMEORIGIN
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=86400, stale-while-revalidate=604800
timing-allow-origin
*
link
<https://fonts.gstatic.com>; rel=preconnect; crossorigin
expires
Thu, 14 Mar 2024 01:29:05 GMT
css
fonts.googleapis.com/
33 KB
2 KB
Stylesheet
General
Full URL
https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i
Requested by
Host: client
URL: about:client
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:827::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
a60d4f8cc0e1ec57d2574653a779b41406c419a8e1a0fc49d6d0a45f73491370
Security Headers
Name Value
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

strict-transport-security
max-age=31536000
date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
x-content-type-options
nosniff
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
last-modified
Thu, 14 Mar 2024 00:24:22 GMT
server
ESF
cross-origin-opener-policy
same-origin-allow-popups
x-frame-options
SAMEORIGIN
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=86400, stale-while-revalidate=604800
timing-allow-origin
*
link
<https://fonts.gstatic.com>; rel=preconnect; crossorigin
expires
Thu, 14 Mar 2024 01:29:05 GMT
KFOmCnqEu92Fr1Mu4mxK.woff2
fonts.gstatic.com/s/roboto/v30/
15 KB
15 KB
Font
General
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOmCnqEu92Fr1Mu4mxK.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css2?family=Roboto
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
f6734f8177112c0839b961f96d813fcb189d81b60e96c33278c1983b6f419615
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Tue, 12 Mar 2024 04:10:19 GMT
x-content-type-options
nosniff
age
163126
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15744
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:48 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Wed, 12 Mar 2025 04:10:19 GMT
BngbUXZYTXPIvIBgJJSb6s3BzlRRfKOFbvjoa4Omb2Rj.woff2
fonts.gstatic.com/s/robotoslab/v34/
14 KB
14 KB
Font
General
Full URL
https://fonts.gstatic.com/s/robotoslab/v34/BngbUXZYTXPIvIBgJJSb6s3BzlRRfKOFbvjoa4Omb2Rj.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css2?family=Roboto+Slab:wght@700
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
d531d2326ba02994a585f666486d2bbb664425608a707fe1ea0a6d5935f30806
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Wed, 13 Mar 2024 12:40:55 GMT
x-content-type-options
nosniff
age
46090
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
14240
x-xss-protection
0
last-modified
Tue, 24 Oct 2023 01:50:47 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Thu, 13 Mar 2025 12:40:55 GMT
memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTUGmu1aB.woff2
fonts.gstatic.com/s/opensans/v40/ Frame 2717
24 KB
24 KB
Font
General
Full URL
https://fonts.gstatic.com/s/opensans/v40/memvYaGs126MiZpBA-UvWbX2vVnXBbObj2OVTUGmu1aB.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2a00:1450:4001:80b::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
7e510e61c497d334da21eccda06df5d3a428c9ea94d6903b6138e7c7255aba0f
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://fonts.googleapis.com/
Origin
https://www.semanticscholar.org
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

date
Mon, 11 Mar 2024 19:17:02 GMT
x-content-type-options
nosniff
age
195123
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
24984
x-xss-protection
0
last-modified
Thu, 14 Dec 2023 02:04:54 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Tue, 11 Mar 2025 19:17:02 GMT
metrics
www.semanticscholar.org/beacon/
0
583 B
XHR
General
Full URL
https://www.semanticscholar.org/beacon/metrics
Requested by
Host: cdn.semanticscholar.org
URL: https://cdn.semanticscholar.org/038e00ba8acb5fa3/js/BrowserEntry.tsx.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
2600:9000:236e:c200:6:4565:580:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software
nginx / Express
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

Referer
https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

date
Thu, 14 Mar 2024 01:29:05 GMT
via
1.1 adc51edbb4dc468fb382e40b115a2f62.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA60-P1
x-powered-by
Express
x-cache
Miss from cloudfront
alt-svc
h3=":443"; ma=86400
server
nginx
x-ratelimit-remaining
299
access-control-allow-methods
GET,POST,PUT,DELETE,OPTIONS
access-control-allow-origin
https://www.semanticscholar.org
access-control-expose-headers
Cache-Control,Content-Language,Content-Length,Content-Range,Content-Type,Expires,Last-Modified,Pragma
access-control-allow-credentials
true
x-ratelimit-reset
1710380574
x-ratelimit-limit
300
access-control-allow-headers
Accept,Accept-Encoding,Accept-Language,Cache-Control,Connection,Content-Length,Content-Type,Cookie,DNT,Host,If-Modified-Since,Origin,Pragma,Range,Referer,Sec-Fetch-Mode,Sec-Fetch-Site,User-Agent,X-Requested-With
x-amz-cf-id
DWNqqmrvLinGy9CcwuSHNZ1DKeluoe_FcYwswLXCmXV7mgzlDeJZ6w==
telemetry
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
1 KB
1 KB
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/telemetry
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
8a2adb9282819c1f45436ddc1f9637a1552d35e3c778d8f178e0091882cbf0c2

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
content-encoding
gzip
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
vary
Accept-Encoding
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e1-5256c1371e2583b5469abb47
cache-control
no-cache, no-store, must-revalidate
access-control-max-age
86400
x-amz-cf-id
w_q9MQIbc_xoxwD7jgfXIt67ozgERHCHGoqCOhlUeD-V6hLWBkCLaA==
expires
0
add_user_properties_v3
heapanalytics.com/api/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/api/add_user_properties_v3?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&_appcuesUserID=anon%3A5764b493-b3da-43c1-b25e-8a2e7162f63d&st=1710379745587
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&source0=appcues&id0=3673209558775637&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&t0=Flow%20Started%20(Appcues)&ts0=1710379745587&sprops0=id&sprops0=flow_started&sprops0=name&sprops0=Flow%20Started&sprops0=flowId&sprops0=0d38497b-666f-49da-bd8c-e730885000c0&sprops0=flowName&sprops0=Venues%20launch&sprops0=flowType&sprops0=journey&sprops0=flowVersion&sprops0=1706646600163&sprops0=timestamp&sprops0=1710379745581&sprops0=sessionId&sprops0=e95b4560-c67a-4950-b1c8-7fccf3daf55d&sprops0=localeName&sprops0=default&sprops0=localeId&sprops0=default&st=1710379745587
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
add_user_properties_v3
heapanalytics.com/api/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/api/add_user_properties_v3?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&_appcuesUserID=anon%3A5764b493-b3da-43c1-b25e-8a2e7162f63d&st=1710379745593
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
h
heapanalytics.com/
37 B
260 B
Image
General
Full URL
https://heapanalytics.com/h?a=2424575119&u=505357187167292&v=6800526701442290&s=4230966136209348&b=web&tv=4.0&sp=ts&sp=1710379744193&sp=d&sp=www.semanticscholar.org&sp=h&sp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=d&pp=www.semanticscholar.org&pp=h&pp=%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&pp=t&pp=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&pp=ts&pp=1710379744193&source0=appcues&id0=7481500380227385&k0=feature%3Apdf_note_taking&k0=false&k0=feature%3Aweblab_opt_out&k0=false&k0=feature%3Aweb_app_capable_meta_tag&k0=false&k0=feature%3Agoogle_fonts&k0=true&k0=feature%3Asearch_spellcheck_suggestions&k0=false&k0=feature%3Ahomepage_ads&k0=true&k0=feature%3Agoogle_analytics&k0=true&k0=feature%3Apaper_qa_exp&k0=false&k0=feature%3Agoogle_tag_manager&k0=true&k0=feature%3Avenues_page&k0=true&k0=feature%3Apaper_qa&k0=true&k0=feature%3Avalidate_user_images&k0=true&k0=feature%3Alog_heap_landmarks&k0=false&k0=feature%3Areader_acronyms&k0=true&k0=experiment%3Aaa_stable_hash_session_test&k0=control&k0=feature%3Aahp_sort_pref&k0=false&k0=feature%3Ahomepage_ad_semantic_reader&k0=true&k0=feature%3Asearch_citations_perf&k0=false&k0=feature%3Aauthor_claim_on_pdp&k0=true&k0=feature%3Apaper_qa_is_test&k0=false&k0=feature%3Aheap&k0=true&k0=feature%3Aresearch_prototypes&k0=true&k0=feature%3Ahubspot&k0=true&k0=feature%3Ahomepage_ad_public_api&k0=true&k0=feature%3Agraphql_proxy&k0=false&k0=feature%3Aterm_understanding&k0=true&k0=feature%3Alogin_demographics_modal&k0=true&k0=feature%3Aaws_waf&k0=true&k0=feature%3Aauth_google_one_tap&k0=true&k0=feature%3Aauthor_profile_picture&k0=true&k0=feature%3Aminify_js&k0=true&k0=feature%3Awith_entitlements&k0=true&k0=feature%3Asimilar_papers_pdp&k0=true&k0=feature%3Aappcues&k0=true&k0=feature%3Apaper_labs&k0=false&k0=feature%3Acitation_style_preference&k0=true&k0=feature%3Afreshdesk_down&k0=false&k0=feature%3Ahubspot_newsletter_form&k0=true&k0=feature%3Ascroll_to_top&k0=true&k0=tid&k0=rBIABmXyUt6phQANBC%2BDAg%3D%3D&k0=Is%20Signed%20In&k0=false&k0=Locale&k0=en-US&k0=Google%20Translate&k0=false&k0=Timezone%20Offset%20(minutes)&k0=-60&k0=Timezone&k0=Europe%2FBerlin&k0=Continent&k0=Europe&k0=Language&k0=en&k0=Network%20Effective%20Type&k0=4g&k0=Network%20Downlink%20(mbps)&k0=10&k0=Network%20Latency%20(ms)&k0=0&k0=Prefer%20Color%20Scheme&k0=light&k0=Pixel%20Ratio&k0=1&k0=Screen%20Height&k0=1200&k0=Screen%20Width&k0=1600&k0=Browser%20Height&k0=1200&k0=Browser%20Width&k0=1600&k0=Cookie%20Banner%20Visible&k0=true&k0=Visibility%20State&k0=visible&k0=History%20Length&k0=2&k0=Route%20Name&k0=PAPER_DETAIL&k0=Save%20Data&k0=false&k0=Raw%20User%20Agent&k0=Mozilla%2F5.0%20(Windows%20NT%2010.0%3B%20Win64%3B%20x64)%20AppleWebKit%2F537.36%20(KHTML%2C%20like%20Gecko)%20Chrome%2F122.0.6261.128%20Safari%2F537.36&t0=Step%20Started%20(Appcues)&ts0=1710379745593&sprops0=id&sprops0=step_started&sprops0=name&sprops0=Step%20Started&sprops0=flowId&sprops0=0d38497b-666f-49da-bd8c-e730885000c0&sprops0=flowName&sprops0=Venues%20launch&sprops0=flowType&sprops0=journey&sprops0=flowVersion&sprops0=1706646600163&sprops0=timestamp&sprops0=1710379745581&sprops0=sessionId&sprops0=e95b4560-c67a-4950-b1c8-7fccf3daf55d&sprops0=localeName&sprops0=default&sprops0=localeId&sprops0=default&sprops0=stepId&sprops0=335c668f-0e95-46af-9914-39c6e9f7447c&sprops0=stepType&sprops0=hotspot-group&sprops0=stepNumber&sprops0=0&st=1710379745594
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
44.194.83.62 Ashburn, United States, ASN14618 (AMAZON-AES, US),
Reverse DNS
ec2-44-194-83-62.compute-1.amazonaws.com
Software
nginx /
Resource Hash
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains

Request headers

accept-language
de-DE,de;q=0.9
Referer
https://www.semanticscholar.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:05 GMT
strict-transport-security
max-age=31536000; includeSubDomains
server
nginx
etag
W/"25-4iFqfptz9csCeTUceM5hwzR1zqc"
content-type
image/gif
cache-control
private, no-cache, no-cache=Set-Cookie, proxy-revalidate
content-length
37
telemetry
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
1 KB
1 KB
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/telemetry
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
8b4f2a1b3467eaf0f3166b660d0da93f475d2bbdcb0589e4af65626dbdc9364c

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:06 GMT
content-encoding
gzip
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
vary
Accept-Encoding
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e2-3b140aa81c6ad2b214a88a5e
cache-control
no-cache, no-store, must-revalidate
access-control-max-age
86400
x-amz-cf-id
aowjuN975amSlF73igJSC84gAwzLL6DvSOTyG3soApuJH-3xkbr5Yg==
expires
0
telemetry
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/
1 KB
1 KB
Fetch
General
Full URL
https://c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com/c09bc9c04079/4996efde3854/telemetry
Requested by
Host: c09bc9c04079.edge.sdk.awswaf.com
URL: https://c09bc9c04079.edge.sdk.awswaf.com/c09bc9c04079/4996efde3854/challenge.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
18.245.31.118 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-18-245-31-118.fra56.r.cloudfront.net
Software
/
Resource Hash
42ede100517d6d99102619d0d5277542741c1199d753c3ba151b0fd3a0a23512

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:07 GMT
content-encoding
gzip
via
1.1 f99e0a5708c6297d4aa91b3e4794707e.cloudfront.net (CloudFront)
x-amz-cf-pop
FRA56-P8
vary
Accept-Encoding
access-control-allow-methods
OPTIONS,GET,POST
content-type
application/json
access-control-allow-origin
*
x-cache
Miss from cloudfront
x-amzn-waf-challenge-id
Root=1-65f252e3-3e83bff04365023c0a8f81c0
cache-control
no-cache, no-store, must-revalidate
access-control-max-age
86400
x-amz-cf-id
XgsNdRk7hzFNnmFMIF028lL6IrOp1W6hXQCmnSzUwlTBX2uRaMkDGw==
expires
0
collect
region1.analytics.google.com/g/
0
54 B
Ping
General
Full URL
https://region1.analytics.google.com/g/collect?v=2&tid=G-H7P4ZT52H5&gtm=45je43b0v9101518703za200&_p=1710379743823&gcd=13l3l3l2l1&npa=1&dma_cps=sypham&dma=1&gdid=dZTQ1Zm&cid=1400002458.1710379744&ul=en-us&sr=1600x1200&uaa=&uab=&uafvl=&uamb=0&uam=&uap=&uapv=&uaw=0&pscdl=noapi&sid=1710379743&sct=1&seg=0&dl=https%3A%2F%2Fwww.semanticscholar.org%2Fpaper%2FCosette%3A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a&dt=%5BPDF%5D%20Cosette%3A%20An%20Automated%20Prover%20for%20SQL%20%7C%20Semantic%20Scholar&_s=2&tfd=6756
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-H7P4ZT52H5
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4860:4802:32::36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

Referer
https://www.semanticscholar.org/
accept-language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.6261.128 Safari/537.36
Content-Type
text/plain;charset=UTF-8

Response headers

pragma
no-cache
date
Thu, 14 Mar 2024 01:29:09 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://www.semanticscholar.org
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
rico
www.semanticscholar.org/beacon/
0
0

Failed requests

These URLs were requested, but there was no response received. You will also see them in the list above.

Domain
www.semanticscholar.org
URL
https://www.semanticscholar.org/beacon/rico

Verdicts & Comments Add Verdict or Comment

60 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

object| 0 object| 1 object| 2 object| 3 object| 4 object| 5 function| gtag string| googleAnalyticsId object| dataLayer boolean| s2isMobile string| s2RouteName object| google_tag_manager object| google_tag_data function| onYouTubeIframeAPIReady object| gaGlobal object| heap object| AppcuesBundleSettings object| Appcues object| _hsp string| __AURYC_JSLIB_PATH__ object| aurycReadyCb object| auryc object| aurycEventPropertiesCb boolean| aurycInit number| aurycLoadedTime object| aurycJsLibConfig object| regeneratorRuntime undefined| DATA string| GOOGLE_LOGIN_CLIENT_ID object| a2_0x7ffe function| a2_0x33bb object| AwsWafIntegration object| ChallengeScript boolean| PIXELS_RAN object| enabledEventSettings object| _hsq object| hsCookieBanner boolean| _hspb_loaded boolean| _hspb_ran object| _paq function| sanitizeKey boolean| _hstc_loaded object| webpackChunks2 object| GooglebQhCsO object| default_gsi object| _F_toggles object| google object| closure_lm_527427 object| __G_ID_CLIENT__ function| launchAurycEventMarker boolean| _hstc_ran string| __hsUserToken number| expireDateTime object| aurycBehaviorAPI object| aurycRecordAPI object| aurycFeedbackAPI object| reactiveElementVersions object| litHtmlVersions object| litElementVersions function| createAppcues

21 Cookies

Domain/Path Name / Value
www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang Name: sid
Value: 98488a2d-a4bb-4a96-acfc-328f167f3bef
www.semanticscholar.org/ Name: s2Exp
Value: new_ab_framework_aa%3D-control%26paper_qa%3D-paper_qa%26pdp_citation_and_reference_paper_cues%3D-enable_citation_and_reference_paper_cues%26venues%3D-enable_venues%26reader_link_styling%3D-control%26topics_beta3%3D-topics_beta3%26alerts_aa_test%3D-control%26personalized_author_card_cues%3D-control%26term_understanding%3D-control%26aa_user_based_test%3D-control%26paper_cues%3D-all_paper_cues%26new_ab_framework_mock_ab%3D-control%26aa_stable_hash_session_test%3Dcontrol
www.semanticscholar.org/ Name: tid
Value: rBIABmXyUt6phQANBC+DAg==
.semanticscholar.org/ Name: _ga
Value: GA1.1.1400002458.1710379744
.semanticscholar.org/ Name: _gcl_au
Value: 1.1.2049902384.1710379744
.semanticscholar.org/ Name: _hp2_id.2424575119
Value: %7B%22userId%22%3A%22505357187167292%22%2C%22pageviewId%22%3A%226800526701442290%22%2C%22sessionId%22%3A%224230966136209348%22%2C%22identity%22%3Anull%2C%22trackerVersion%22%3A%224.0%22%7D
.semanticscholar.org/ Name: _hp2_props.2424575119
Value: %7B%22feature%3Apdf_note_taking%22%3Afalse%2C%22feature%3Aweblab_opt_out%22%3Afalse%2C%22feature%3Aweb_app_capable_meta_tag%22%3Afalse%2C%22feature%3Agoogle_fonts%22%3Atrue%2C%22feature%3Asearch_spellcheck_suggestions%22%3Afalse%2C%22feature%3Ahomepage_ads%22%3Atrue%2C%22feature%3Agoogle_analytics%22%3Atrue%2C%22feature%3Apaper_qa_exp%22%3Afalse%2C%22feature%3Agoogle_tag_manager%22%3Atrue%2C%22feature%3Avenues_page%22%3Atrue%2C%22feature%3Apaper_qa%22%3Atrue%2C%22feature%3Avalidate_user_images%22%3Atrue%2C%22feature%3Alog_heap_landmarks%22%3Afalse%2C%22feature%3Areader_acronyms%22%3Atrue%2C%22experiment%3Aaa_stable_hash_session_test%22%3A%22control%22%2C%22feature%3Aahp_sort_pref%22%3Afalse%2C%22feature%3Ahomepage_ad_semantic_reader%22%3Atrue%2C%22feature%3Asearch_citations_perf%22%3Afalse%2C%22feature%3Aauthor_claim_on_pdp%22%3Atrue%2C%22feature%3Apaper_qa_is_test%22%3Afalse%2C%22feature%3Aheap%22%3Atrue%2C%22feature%3Aresearch_prototypes%22%3Atrue%2C%22feature%3Ahubspot%22%3Atrue%2C%22feature%3Ahomepage_ad_public_api%22%3Atrue%2C%22feature%3Agraphql_proxy%22%3Afalse%2C%22feature%3Aterm_understanding%22%3Atrue%2C%22feature%3Alogin_demographics_modal%22%3Atrue%2C%22feature%3Aaws_waf%22%3Atrue%2C%22feature%3Aauth_google_one_tap%22%3Atrue%2C%22feature%3Aauthor_profile_picture%22%3Atrue%2C%22feature%3Aminify_js%22%3Atrue%2C%22feature%3Awith_entitlements%22%3Atrue%2C%22feature%3Asimilar_papers_pdp%22%3Atrue%2C%22feature%3Aappcues%22%3Atrue%2C%22feature%3Apaper_labs%22%3Afalse%2C%22feature%3Acitation_style_preference%22%3Atrue%2C%22feature%3Afreshdesk_down%22%3Afalse%2C%22feature%3Ahubspot_newsletter_form%22%3Atrue%2C%22feature%3Ascroll_to_top%22%3Atrue%2C%22tid%22%3A%22rBIABmXyUt6phQANBC%2BDAg%3D%3D%22%2C%22Is%20Signed%20In%22%3Afalse%7D
.doubleclick.net/ Name: test_cookie
Value: CheckForPermission
.semanticscholar.org/ Name: __hstc
Value: 132950225.453961cb3ac70127a4d243d3475ddc71.1710379744839.1710379744839.1710379744839.1
.semanticscholar.org/ Name: hubspotutk
Value: 453961cb3ac70127a4d243d3475ddc71
.semanticscholar.org/ Name: __hssrc
Value: 1
.semanticscholar.org/ Name: __hssc
Value: 132950225.1.1710379744839
.semanticscholar.org/ Name: pvSession
Value: 1
.semanticscholar.org/ Name: tisestart
Value: 1710379744
.semanticscholar.org/ Name: userty.core.p.5e7287
Value: __2VySWQiOiI3ZDQ2ODZlZjc5YTlkYTRjNWE1YTU2N2M0ZWNhODA5OCJ9eyJ1c
.semanticscholar.org/ Name: userty.core.s.5e7287
Value: __SI6MTcxMDM4MTU0NDk1Niwic2lkIjoiNTU3ZDVlZTUxNjJlNDg3MDVhODI4NGU1NjliODc4NmIiLCJzdCI6MTcxMDM3OTc0NDk1NiwicHYiOjEsInJlYWR5Ijp0cnVlLCJ3cyI6IntcIndcIjoxNjAwLFwiaFwiOjEyMDB9In0=eyJzZ
.hubspot.com/ Name: __cf_bm
Value: pzmWZ4qwWFUVV3LaRqVV2pOB.b9xYNdrDzCMJW3I6Gk-1710379744-1.0.1.1-_FoE_qST5hYagtgoUQMfYNCU4pkbDXESG21Je0IQs4MuaRaxK1m_FIlaEEbpbkgx6xSxe2z6l042iMoxQrmoEw
.hubspot.com/ Name: _cfuvid
Value: zfPMxyxmAAyagw5lJSNQ6LKQy4jAsjJqjK3pPat4szg-1710379744995-0.0.1.1-604800000
.semanticscholar.org/ Name: _hp2_ses_props.2424575119
Value: %7B%22ts%22%3A1710379744193%2C%22d%22%3A%22www.semanticscholar.org%22%2C%22h%22%3A%22%2Fpaper%2FCosette%253A-An-Automated-Prover-for-SQL-Chu-Wang%2Ff3318491a55590e00dfe45d68708f515822e343a%22%7D
.semanticscholar.org/ Name: _ga_H7P4ZT52H5
Value: GS1.1.1710379743.1.0.1710379745.58.0.0
.www.semanticscholar.org/ Name: aws-waf-token
Value: 92412ab3-8634-48c7-b083-15a90ef7b1fd:CQoAYd8IxEoEAAAA:Owr5t9bqLgjgCP1rpp2V8PdVa5HGwwkBlZY3unOh3dRG6XtHUuBHoxmV0GWKna1DDZyq3yKHsCbGMJtQESkv/ntlq8rm/xR7AWUFQ56V68aktt3DtMpduHHBp3NdnaXnbZmfOdtjYqTIo5cfbNLPJyWlI55V/AT5mN3norw4BQYDoXaqIsTGBTOq70nfPRj4YQhK9Lt0XZsktW6GDxz8yNmXbwSUG34nYlWZAJ6IObYuOIG3hQhZHGG5bRan0YMMuKtzKlJ8EzYNmq4b+1M/ETcY81AA3WaZ+KdyDUcGzO0znBHMt9+4pw==

4 Console Messages

Source Level URL
Text
other warning URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.semanticscholar.org/paper/Cosette%3A-An-Automated-Prover-for-SQL-Chu-Wang/f3318491a55590e00dfe45d68708f515822e343a
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header Value
X-Frame-Options SAMEORIGIN

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

accounts.google.com
api.hubapi.com
c09bc9c04079.163f2b53.eu-central-1.token.awswaf.com
c09bc9c04079.edge.sdk.awswaf.com
cdn.heapanalytics.com
cdn.semanticscholar.org
client-api.auryc.com
d3i71xaburhd42.cloudfront.net
fast.appcues.com
fonts.googleapis.com
fonts.gstatic.com
googleads.g.doubleclick.net
heapanalytics.com
js.hs-analytics.net
js.hs-banner.com
js.hs-scripts.com
js.hsadspixel.net
region1.analytics.google.com
stats.g.doubleclick.net
track.hubspot.com
www.google.com
www.google.de
www.googleadservices.com
www.googletagmanager.com
www.semanticscholar.org
www.semanticscholar.org
13.32.27.116
172.217.18.2
18.245.31.106
18.245.31.118
2001:4860:4802:32::36
2600:9000:236e:c200:6:4565:580:93a1
2600:9000:266e:1c00:18:6e50:4ec0:93a1
2600:9000:266e:d600:7:8e2f:e880:21
2606:4700:4400::6812:22e5
2606:4700::6810:4eba
2606:4700::6810:bd59
2606:4700::6811:c9cc
2606:4700::6811:e4a3
2606:4700::6813:9a53
2a00:1450:4001:80b::2003
2a00:1450:4001:80b::2004
2a00:1450:4001:813::2003
2a00:1450:4001:827::200a
2a00:1450:4001:82a::2008
2a00:1450:4001:831::2002
2a00:1450:400c:c02::54
2a00:1450:400c:c06::9c
2a04:4e42:400::622
34.66.73.214
44.194.83.62
1270b2ae3cf88624d0ce288813d4e17aabe6992c141f57b2994e15333e961476
133289cb18f0306610e864ded68341034a6e27f4bb40511a08ecd0fe0ad2a857
13ced26b21d358eb443f4fc0202000a00835e971eaa35709734587340e2a92e4
1405c1c7c5e9d844b914ba50706716cd9ee1677ef8d05fa344e0636eb7b545e3
1c4e7e389d73c6acf7f19cc812514e71230740791fde8a018c1d7edccf1590ae
1f747fb63c568eacc6c03f08b1ced25e6917b16a1a99d240311ef8555b4a1ed4
2be396d11abd95939450455d78d3d4299b1ee13918ed9217ccf8977b774228f7
2cf71a1d0e9777de00ced90ccb5715267f750cef065265cad337b272bf85786c
322a028c17e758e205dc6ae6efaefa920a8058683b5f313221ce406db278fce8
343364f41373bb7fbd4b219315705f1816e720b11defb8a6846a342f476b6495
355b78191372e7c039cdc5ae3f7ba2e7d18778b1d8e929ac7cf9a6b8a874c110
3b272e43c528bdb75ea6aacc0fdd09ce62573a3849869f7ea80d532de6a8c57d
3c4d6a1421c7ddb7e404521fe8c4cd5be5af446d7689cd880be26612eaad3cfa
41bb9a9d36a8cb250d494577ff5209e8b4ba77c611d33ee4c31f28afbd542ae3
42ede100517d6d99102619d0d5277542741c1199d753c3ba151b0fd3a0a23512
44004199012159c073f8c965213f9e0aecd633dfe1d58641d7f497d3c7423a61
4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
5447e70f83b40b93f05bda6c917caf026f7f2ab2244172024abfeb047507ae06
5a747792d5e347f502e604c607b8543ffcba6fb9a72cf23ff90b33be1f935510
60e245a90b084401c711b6a08e4d27389f5c5db59faade5ec5d169f7db66f614
6c31466999902ac3a7ac3933b0ae243bca04ed470db7aa6de870e89f2c7aff4c
720719c4fa12fb09d3dcce34cfd69d73045dc1f47195e319f8e64820dce7bc04
73c914a1f3a94ea5340475abe4544fa61353037650163072b031b8f6ba408b0a
7453f365efcae51a65348be81f1fa623448c5df91843e1d242915c3dbd202064
74e6565e957961734002c53d2912c3ae72dd4f6cf8ed7a4e152e126635f64316
79acffdff6d7baacc966dbd1853d76cada4c3c09dd409e444e812e2ba269a93f
7adeed7fce51b5605069cd57b822e0a734565cb5719e3f6374c64549466253b1
7e510e61c497d334da21eccda06df5d3a428c9ea94d6903b6138e7c7255aba0f
81cf2142369afec9e5758dbbe5923ac596369f577456c02b452b4801639eff5f
835bfd2aad67c9a2a618b3bdc495edb89e8901929d6e4f6d4226ec47a5a7a8a4
853b983923a033223e4f391790e6e86619b31d542b40e7e1e8221fb0d6957ab1
8586012eb4bf3c9cd7dfeff7e7b69b7a7520fb20b487ae7552e6260cc1b49b9b
8802ecfd4659a00b7c1d4976077ecd3b5ac10c07f784d2bd90669d03a66da7d0
8a2adb9282819c1f45436ddc1f9637a1552d35e3c778d8f178e0091882cbf0c2
8b4f2a1b3467eaf0f3166b660d0da93f475d2bbdcb0589e4af65626dbdc9364c
8cad1715c9c0ef686b9dbb4fd1842b4eca650023dddceb28fdf929b4de48634f
8ea0655320fc54c4b4b0a19f7a7bdb35363165f82d87a8b59a85f1aa7a2a1f1c
9848fac43365b6d75640081b3d9a0aa02f1099bcf7ab74b88ce25ef58ae3aa6e
a60d4f8cc0e1ec57d2574653a779b41406c419a8e1a0fc49d6d0a45f73491370
a8e429611131e3fdc2018ec943a36100dbabb4aaa788c8dead6bdcf927917293
ab92ec0271d4d1dfde97f4f249587a5d19caacdc1017c0438336c51ff38103ba
b019538234514166ec7665359d097403358f8a4c991901983922fb4d56989f1e
bb229a48bee31f5d54ca12dc9bd960c63a671f0d4be86a054c1d324a44499d96
bd47bb5c3c79ece4cd4b9fd66d3d9e3775150737494912c71663ea52040decd8
c249d8a3dccac186b657a1e76d80e5bdbbf88472c6457473a59f8c21c5f0a962
c2f5a697cf483b8a50b286ec9481c2767bcc448ad563047894e7e623de8049eb
c5b81aa7e9aab1d9bd98ccf90a676b0fcb5fdb774368fff0631982dbc6ba9f4d
c8b3172d6838defdb2fb72c2f4b946f68b71b1d92153485d6f43be29e052144d
c9e34530e255a5d8619d7f2fba4b56b68a5b8eff758ba4078d02030ba3aa5a4d
d08dbcea96d526277cb691fcc29c8d1eb50b56b764966bc151b3fd48abf3ca7d
d531d2326ba02994a585f666486d2bbb664425608a707fe1ea0a6d5935f30806
d65dada7e0594079a5008757aefdc6c53b07fa5ea5e4617efbd01b661ba471ce
d851212514d009db569c86a7e521c0a7a2a22cd8e14e43a07940d920ad5f0abc
d8f6683a20fc8d1e811ad22c048c2e883aae9700e3905b2cdfa1f96e98c32129
dc111a70984a9eda00752b06277113029ef288f1125c31eff2477413e15e8aa4
dd739dd46c2f982ef8651b41fc1505e94a1e147b80739eb81b6c1a58cc830bf6
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
e5d119b1bb85a895986c99f65cf2fac2a8bc1e98b7aac8a6c615af49097b6adf
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629
f5aebdfea35d1e7656ef4acc5db1f243209755ae3300943ef8fc6280f363c860
f6734f8177112c0839b961f96d813fcb189d81b60e96c33278c1983b6f419615
f6b0399f7661ccc135bc2769fb735d83d6bd68242a10f1751f25c886a7a48330
f7e86d76b53e5a3dfabe39c34ac135d99b390f4a3adb6992fad9af21462ccd92
f8daacf92c0ab1928fe9ced3b6907b658a3038da9a424d7c2826fb22f0ebf36b
ff4e7b31f0c7a03df6c6206e1a0519fd08753956f4e7d7db112fe099036d6779