date: 2024-01-12T09:47:38Z
pdf:PDFVersion: 1.7
pdf:docinfo:title: Ramsey Quantifiers in Linear Arithmetics
xmp:CreatorTool: LaTeX with acmart 2023/11/05 v2.00 Typesetting articles for the Association for Computing Machinery and hyperref 2021-06-07 v7.00m Hypertext links for LaTeX; Conference Publishing Consulting
access_permission:can_print_degraded: true
subject: Proc. ACM Program. Lang. 2024.8:1-32
dc:format: application/pdf; version=1.7
pdf:docinfo:creator_tool: LaTeX with acmart 2023/11/05 v2.00 Typesetting articles for the Association for Computing Machinery and hyperref 2021-06-07 v7.00m Hypertext links for LaTeX; Conference Publishing Consulting
access_permission:fill_in_form: true
pdf:encrypted: false
dc:title: Ramsey Quantifiers in Linear Arithmetics
modified: 2024-01-12T09:47:38Z
cp:subject: Proc. ACM Program. Lang. 2024.8:1-32
pdf:docinfo:subject: Proc. ACM Program. Lang. 2024.8:1-32
pdf:docinfo:creator: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, and Georg Zetzsche
PTEX.Fullbanner: This is MiKTeX-pdfTeX 4.8.0 (1.40.23)
meta:author: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, and Georg Zetzsche
meta:creation-date: 2023-12-11T09:53:00Z
created: 2023-12-11T09:53:00Z
access_permission:extract_for_accessibility: true
Creation-Date: 2023-12-11T09:53:00Z
Author: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, and Georg Zetzsche
producer: MiKTeX-pdfTeX 4.8.0 (1.40.23); ConfPub - popl24main-p3-p rev-c17b60bde0-73191 p1; modified using iText 4.2.0 by 1T3XT
pdf:docinfo:producer: MiKTeX-pdfTeX 4.8.0 (1.40.23); ConfPub - popl24main-p3-p rev-c17b60bde0-73191 p1; modified using iText 4.2.0 by 1T3XT
pdf:unmappedUnicodeCharsPerPage: 1
Keywords: Ramsey Quantifiers; Satisfiability Modulo Theories; Linear Integer Arithmetic; Linear Real Arithmetic; Monadic Decomposability; Liveness; Termination; Infinite Chains; Infinite Cliques
access_permission:modify_annotations: true
dc:creator: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, and Georg Zetzsche
dcterms:created: 2023-12-11T09:53:00Z
Last-Modified: 2024-01-12T09:47:38Z
dcterms:modified: 2024-01-12T09:47:38Z
title: Ramsey Quantifiers in Linear Arithmetics
Last-Save-Date: 2024-01-12T09:47:38Z
pdf:docinfo:keywords: Ramsey Quantifiers; Satisfiability Modulo Theories; Linear Integer Arithmetic; Linear Real Arithmetic; Monadic Decomposability; Liveness; Termination; Infinite Chains; Infinite Cliques
pdf:docinfo:modified: 2024-01-12T09:47:38Z
meta:save-date: 2024-01-12T09:47:38Z
pdf:docinfo:custom:PTEX.Fullbanner: This is MiKTeX-pdfTeX 4.8.0 (1.40.23)
Content-Type: application/pdf
X-Parsed-By: org.apache.tika.parser.DefaultParser
creator: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, and Georg Zetzsche
dc:subject: Ramsey Quantifiers; Satisfiability Modulo Theories; Linear Integer Arithmetic; Linear Real Arithmetic; Monadic Decomposability; Liveness; Termination; Infinite Chains; Infinite Cliques
access_permission:assemble_document: true
xmpTPg:NPages: 32
pdf:charsPerPage: 3278
access_permission:extract_content: true
access_permission:can_print: true
meta:keyword: Ramsey Quantifiers; Satisfiability Modulo Theories; Linear Integer Arithmetic; Linear Real Arithmetic; Monadic Decomposability; Liveness; Termination; Infinite Chains; Infinite Cliques
access_permission:can_modify: true
pdf:docinfo:created: 2023-12-11T09:53:00Z