AI & ChatGPT searches , social queries for ACL2
Search references for ACL2. Phrases containing ACL2
See searches and references containing ACL2!
Search references for ACL2. Phrases containing ACL2
See searches and references containing ACL2!ACL2
Programming language and theorem prover
ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order
ACL2
Ranking system used by the Asian Football Confederation
competitions – AFC Champions League Elite (ACLE), AFC Champions League Two (ACL2), AFC Challenge League (ACGL) – which would come into effect from the 2024–25
AFC_club_competitions_ranking
International football competition
Korea had no licensed teams to participate in AFC club competitions, their ACL2 spot was redistributed to the highest eligible Member Association (Thailand)
2025–26 AFC Champions League Two
2025–26_AFC_Champions_League_Two
Annual second-tier Asian club football competition
The AFC Champions League Two (abbreviated as the ACL Two or ACL2) is an annual continental club football competition organised by the Asian Football Confederation
AFC_Champions_League_Two
Programming language family
seen worldwide. ACL2 or "A Computational Logic for Applicative Common Lisp", an applicative (side-effect free) variant of Common LISP. ACL2 is both a programming
Lisp_(programming_language)
Graph data structure
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
E-graph
Interactive theorem prover software
to verify programs, not mathematics. Their theorem prover is now known as ACL2. In the 1970s, Edinburgh LCF introduced the idea of using a functional programming
Proof_assistant
Japan Professional Football League tournament
Retrieved 2 May 2026. "ACLE 2026/27 および ACL2 2026/27のクラブノミネーション方法について" [Club nomination procedures for ACLE 2026/27 and ACL2 2026/27]. JFA.jp (in Japanese). Japan
J1_100_Year_Vision_League
Concepts in theoretical computer science
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Safety and liveness properties
Safety_and_liveness_properties
Association football tournament
for next season. "ACLE 2026/27 および ACL2 2026/27のクラブノミネーション方法について" [Club nomination procedures for ACLE 2026/27 and ACL2 2026/27]. JFA.jp (in Japanese). Japan
2026–27 AFC Champions League Elite
2026–27_AFC_Champions_League_Elite
Of a function, an additional effect besides returning a value
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Side effect (computer science)
Side_effect_(computer_science)
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Hyperproperty
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Dependence_analysis
Computer program for the Boolean satisfiability problem
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
SAT_solver
Analysis of computer programs without executing them
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Static_program_analysis
Validates computer program operations
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Typestate_analysis
Concept in computer science
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Separation_logic
12th season of the Indian Football League
play just 13 games, the ISL winners will enter the qualifying stage of the ACL2 instead of the group stage. Head-to-head points: Jamshedpur 3, Punjab 1.
2025–26_Indian_Super_League
Approach to static program analysis
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Abstract_interpretation
Asia secondary club football tournament
follows. The detailed schedule was announced after the draw ceremony. Source: ACL2 Rules for classification: Tiebreakers 17 September 2025 (2025-09-17) 20:00 UTC+4
2025–26 AFC Champions League Two group stage
2025–26_AFC_Champions_League_Two_group_stage
American computer scientist
Edinburgh in Scotland in 1973. In addition, Moore is a co-author of the ACL2 automated theorem prover and its predecessors including Nqthm, for which
J_Strother_Moore
136th football season of Mohun Bagan
Bagan Knockout stage Mohun Bagan v East Bengal Group stage (Group C) Source: ACL2 Rules for classification: Tiebreakers Notes: On 27 September 2025, AFC announced
2025–26 Mohun Bagan Super Giant season
2025–26_Mohun_Bagan_Super_Giant_season
Mathematical program specifications
functionality of the hardware and software used in data centres. IBM used ACL2, a theorem prover, in the AMD x86 processor development process.[citation
Formal_methods
Set of software engineering methods
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Program_slicing
American mathematician, computer scientist and philosopher
he worked with Moore and Matt Kaufmann on another theorem prover called ACL2. He was elected AAAI Fellow in 1991. Boyer has published extensively, including
Robert_S._Boyer
Computer science field
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Model_checking
Fundamental problem in computer science
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Path_explosion
Iranian association football club based in Isfahan
3rd Round of 16 ACL Group Stage 2022–23 2nd Round of 16 ACL Round of 16 2023–24 3rd Champions - - 2024–25 ACLE ACL2 Prem. Round 1 Group stage 2025–26
Sepahan_S.C.
Implementation of Common Lisp
large projects including the mathematical tools Maxima, AXIOM, HOL88, and ACL2. GCL runs under eleven different architectures on Linux, and under FreeBSD
GNU_Common_Lisp
Software system
sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2. The system was developed by Robert S. Boyer and J Strother Moore, professors
Nqthm
Lisp software and development tools
components Owl Lisp — functional Lisp with emphasis on numerical programming ACL2 — theorem prover and logic system built on Common Lisp Axiom — computer algebra
List of Lisp software and tools
List_of_Lisp_software_and_tools
Competitive association football season
India v Pakistan Bhutan v India Sri Lanka v India Goa v Al-Seeb Source: ACL2 Rules for classification: Tiebreakers Notes: North Korea withdrew due to
2025–26_in_Indian_football
Type of logical system
complexity bounds: see Model checking § First-order logic. Philosophy portal ACL2 — A Computational Logic for Applicative Common Lisp Aristotelian logic Equiconsistency
First-order_logic
Al-Nassr 2025–26 football season
local, SAST (UTC+03:00). Jeddah v Al-Nassr Al-Nassr v Al-Ittihad Source: ACL2 Rules for classification: Tiebreakers Al-Nassr v Istiklol Al-Zawraa v Al-Nassr
2025–26_Al-Nassr_FC_season
Rules to verify computer program correctness
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Hoare_logic
2025–26 season of Malaysian association football club
were played on 18 September 2025. Win Draw Loss Fixtures Source: ACL2 Rules for classification: Tiebreakers Notes: The match was originally scheduled
2025–26_Selangor_F.C._season
International football competition
Preliminary stage Region AFC 9 17 India 23.639 0 (+1 ACL2) 0 10 18 Bahrain 20.681 0 (+1 ACL2) 0 11 19 Kuwait 20.069 1 0 12 20 Turkmenistan 19.464
2024–25_AFC_Challenge_League
Proving or disproving the correctness of certain intended algorithms
using either proof assistants (interactive theorem provers) (such as HOL, ACL2, Isabelle, Rocq (previously known as Coq) or PVS), or automatic theorem provers
Formal_verification
Common Lisp implementation
is also commonly used as an underlying Common Lisp implementation for the ACL2 theorem prover. Formerly known as OpenMCL, Clozure CL is an evolution of
Clozure_CL
Association football club in Thailand
Season League FA Cup League Cup ACL ACL2 Top scorer Division P W D L F A GD Pts Pos. Name Goals 2002–03 ↑ Division 1 (2) 22 13 8 1 42 10 32 47 1st — —
Bangkok_United_F.C.
International football competition
Zone AFC 10 18 Tajikistan 22.493 0 (+1 ACL2) 0 11 19 Turkmenistan 20.217 1 0 12 20 Oman 20.048 1 (+1 ACL2) 0 13 21 Lebanon 18.711 2 0 14 22 Kuwait
2025–26_AFC_Challenge_League
Software used in mathematical applications
OR-Tools Pyomo SCIP SciPy SNOPT TOMLAB WORHP CVC Yices Z3 Theorem Prover ACL2 Coq (now Rocq) HOL Light HOL4 Isabelle Lean Metamath Mizar NuPRL Twelf Botan
Mathematical_software
Topics referred to by the same term
wing Christian campaigning group Access-control list in computer security ACL2, theorem prover Agent Communications Language or FIPA-ACL Allegro Common
ACL
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Polyvariance
7 2020 Audi TT-R DTM Audi TT 1999 XGT Audi R8 LMS GT2 2023 AC Schnitzer ACL2 BMW M235i 2016 ACZ4 BMW Z4 2017 BMW i8 BMW i8 2015 GP3.10 BMW E92 2007 Raptor
List_of_sports_cars
International football competition
Saudi Arabia 103.148 2 (+1 ACLE) 0 2 4 United Arab Emirates 74.873 2 (+1 ACL2) 0 3 5 Qatar 70.330 2 1 4 6 Iran 68.640 1 1 5 9 Uzbekistan 47.259 1 0
2025–26 AFC Champions League Elite
2025–26_AFC_Champions_League_Elite
Muangthong United 2024–25 football season
June 2024. "Thanh Hoa FC withdraw from ACL2 2024/25". SNE Sports. 23 July 2024. "Muangthong United plays ACL2 2024/25 instead of Thanh Hoa FC". SNE Sports
2024–25 Muangthong United F.C. season
2024–25_Muangthong_United_F.C._season
Football events in Hong Kong
Lee Man Lee Man v Tai Po Kitchee v Kowloon City Kitchee v Lee Man Source: ACL2 Rules for classification: Tiebreakers 18 September 2025 (2025-09-18) 18:00 UTC+8
2025–26_in_Hong_Kong_football
Season of association football league
พร้อมเฉลยเหตุที่ไปต่อกันไม่ได้". ดำหริ, วิสูตร (2024-07-30). "เมืองทองส้มหล่น ได้ไป ACL2 เหตุ บีจี ไม่ขอรับโควตา". thinkcurve (in Thai). Retrieved 2024-07-30. "Thai
2023–24_Thai_League_1
Gamba Osaka 2026 football season
Gamba Osaka Gamba Osaka v Tokyo Verdy Tokyo Verdy v Gamba Osaka Source: ACL2 Pohang Steelers v Gamba Osaka Gamba Osaka v Pohang Steelers Gamba Osaka v
2026_Gamba_Osaka_season
Lion City Sailors Football team season
as Tampines fielded more than the allowed number of foreigners Source: ACL2 Rules for classification: Tiebreakers Notes: Head-to-head points: Bangkok
2025 Lion City Sailors Youth season
2025_Lion_City_Sailors_Youth_season
List of open-source programming languages Programming language License ACL2 BSD Agda BSD-like Apache Groovy Apache License 2.0 AssemblyScript Apache 2
List of open-source programming languages
List_of_open-source_programming_languages
Japan-born Singaporean footballer (born 1996)
As of 30 May 2026 Notes One appearance in ACL Elite & four appearances in ACL2 & three appearances in Shopee Cup As of match played 10 June 2025 Tampines
Kyoga_Nakamura
Football club
2021 ACL 2nd 2021 30th Anniversary 2021 Gamba Expo 2022 Gamba Expo 2023 Gamba Expo 2024 Gamba Expo 2025 GAMBA EXPO ACL2 2025/26 1st ACL2 2025/26 2nd
Gamba_Osaka
Motor vehicle
providing up to 48 PS (35 kW; 47 hp) at 3200 rpm. In following years the types ACL2, BDF1, BDF2 and BDS1 were introduced, and were produced until the early summer
Renault_Primaquatre
Recursive function for formal verification case testing
developed a formal proof that Knuth's generalized function was total, using the ACL2 theorem prover. Knuth, Donald E. (1991). "Textbook Examples of Recursion"
McCarthy_91_function
"Conclusions". Archived from the original on 2014-04-03. Retrieved 2016-03-18. "ACL2 Annotated Bibliography". Graham, Paul. "Arc FAQ". Retrieved 2016-03-18. "AutoLISP"
List of Lisp-family programming languages
List_of_Lisp-family_programming_languages
2025–26 season of FC Goa
Void Qualifying play-offs Goa v Al-Seeb Group stage (Group D) Source: ACL2 Rules for classification: Tiebreakers Goa v Zawraa Istiklol v Goa Goa v Al-Nassr
2025–26_FC_Goa_season
German automotive aftermarket company
AC Schnitzer ACL2 concept at the 2016 Geneva Motor Show
AC_Schnitzer
Association football club in Turkmenistan
the new coach. On September 18, Arkadag earned their first point in the ACL2 debut match, drawing 0–0 with Uzbekistan's Andijon. On 25 September 2025
FK_Arkadag
Singaporean football club
League Two". ESPN.com. Retrieved 18 February 2026. "BG Tampines Rovers' ACL2 hopes boosted by AFC ruling". The Straits Times. 17 February 2026. ISSN 0585-3923
Tampines_Rovers_FC
Baghdad Championship (defunct in 2004) Continental/regional competitions ACL2 = AFC Cup / AFC Champions League Two ACCC = Arab Club Champions Cup GCCL
List of football clubs in Iraq by major honours won
List_of_football_clubs_in_Iraq_by_major_honours_won
2024–25 season of Malaysian association football club
ACL2 – Muangthong United v Selangor". afc.com. Asian Football Confederation. 19 September 2024. Retrieved 20 September 2024. "Full Time Summary ACL2 –
2024–25_Selangor_F.C._season
Thai football club, based in Muang Thong Thani
เมืองทองส่อแยกทางSCG หลังไม่มีการต่อสัญญา AFC ยืนยันสิทธิ์ให้ เมืองทอง ยูไนเต็ด ลุย ACL2 ซีซั่น 2024-25 “เมืองทอง ยูไนเต็ด” แถลงการณ์ครั้งแรกหลัง “ตกชั้น” จาก “ไทยลีก”
Muangthong_United_F.C.
International football competition
Retrieved 2 May 2024. ดำหริ, วิสูตร (30 July 2024). "เมืองทองส้มหล่น ได้ไป ACL2 เหตุ บีจี ไม่ขอรับโควตา". thinkcurve (in Thai). Retrieved 30 July 2024. "AFC
2024–25 AFC Champions League Two
2024–25_AFC_Champions_League_Two
Process of analyzing computer program behavior
Tools Constraint solvers CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL
Program_analysis
Brazilian footballer (born 1990)
A-League". Sydney FC. 26 August 2024. Retrieved 26 August 2024. "Sydney FC Reach ACL2 Quarter Finals For First Time". Sydney FC. 20 February 2025. "Sydney FC Terminate
Douglas_Costa
Annual Swiss auto show
Excellence (European debut) W Motors Lykan HyperSport Zenvo TS1 AC Schnitzer ACL2 Alpine Vision Apollo Arrow Citroën SpaceTourer Hyphen DS E-Tense Honda Civic
Geneva International Motor Show
Geneva_International_Motor_Show
Thai football club
Season League FA Cup League Cup ACL ACL2 Top scorer Division P W D L F A Pts Pos Name Goals 2007 DIV 1 22 5 4 13 31 40 19 12th – – 2008 DIV 2 20 7 9
Ratchaburi_F.C.
Association football league in Vietnam
5) 2019 (×0.6) 2021 (×0.7) 2022 (×0.8) 2023–24 (×0.9) 2024–25 (×1.0) ACLE ACL2 ACGL 12 10 –2 W 6 Iraq (L, C) 9.833 8.933 8.633 8.300 3.250 7.450 7.473 8
V.League_1
Top Indonesian association football league
2021 (×0.6) 2022 (×0.7) 2023–24 (×0.8) 2024–25 (×0.9) 2025–26 (×1.0) ACLE ACL2 ACGL 18 21 +3 W 10 Kuwait (L, C) 0.000 0.000 3.433 7.070 4.160 3.165 8.075
Super_League_(Indonesia)
Programming language standard
projects, including the mathematical tools Maxima, AXIOM, and (historically) ACL2. GCL runs on Linux under eleven different architectures, and also under Windows
Common_Lisp
project management TeamLab – platform for project management and collaboration ACL2 Agda AssemblyScript Bash Befunge C# Carbon Chapel CLISP Clojure CMU Common
List of free and open-source software packages
List_of_free_and_open-source_software_packages
Multi-purpose stadium in Bishan, Singapore
Ganesan (12 May 2025). "Upgraded Bishan Stadium ready to host 10,000 in ACL2 final between Lion City Sailors, Sharjah FC". The Straits Times. Retrieved
Bishan_Stadium
Subfield of automated reasoning and mathematical logic
License type Web service Library Standalone Last update (YYYY-mm-dd format) ACL2 3-clause BSD No No Yes May 2019 Prover9/Otter Public Domain Via System on
Automated_theorem_proving
Methods in artificial intelligence research
for first-order logic are: Prover9 ACL2 Vampire Prover9 can be used in conjunction with the Mace4 model checker. ACL2 is a theorem prover that can handle
Symbolic artificial intelligence
Symbolic_artificial_intelligence
16th season of top division league in Indonesia
Ringan Shorts: None Persib Bojan Hodak Marc Klok Kelme Indofood / Indomie (ACL2) List Front: balé by BTN, Se'Indonesia4, Le Minerale, Greenfields, Teh Pucuk
2025–26 Super League (Indonesia)
2025–26_Super_League_(Indonesia)
57th season of national competitive soccer in Australia
qualified to the Group stage as winners of the 2024 Australia Cup. Source: ACL2 Rules for classification: Tiebreakers Bangkok United v Macarthur FC Macarthur
2025–26_in_Australian_soccer
professor at Åbo Akademi University Robert S. Boyer – string searching, ACL2 theorem prover Karlheinz Brandenburg – Main mp3 contributor Gilles Brassard
List_of_computer_scientists
Acid attack on Faisal Halim
acid attack". Selangor Journal. 4 October 2024. Retrieved 5 October 2024. "ACL2: Faisal Halim Relishes Longest Appearance Since Acid Attack". Bernama. 10
2024_Faisal_Halim_acid_attack
continent’s highest-ranked leagues. Below it is the AFC Champions League Two (ACL2), the second-tier tournament for clubs from developing football nations,
List of Negeri Sembilan FC records and statistics
List_of_Negeri_Sembilan_FC_records_and_statistics
Automated theorem proofer
double-checked by Ivy, a proof-checking tool that has been separately verified using ACL2. In July 2006 the LADR/Prover9/Mace4 input language made a major change (which
Prover9
129th competitive association football season in Vietnam
Thái Nguyên Stadium, Thái Nguyên Referee: Bùi Thị Thu Trang Source: ACL2 Source: ACL2 Source: AFC Rules for classification: Tiebreakers (H) Hosts Source:
2025–26 in Vietnamese football
2025–26_in_Vietnamese_football
Indonesian football club season
neutral ground at Bandung due to lack of ground available to Manila. Source: ACL2 Rules for classification: Tiebreakers Notes: Head-to-head points: Bangkok
2025–26_Persib_Bandung_season
Football match
Source: ACL2 Final standings Group F winners Pos Team v t e Pld Pts 1 Gamba Osaka 6 18 2 Ratchaburi 6 9 3 Nam Định 6 9 4 Eastern 6 0 Source: ACL2 Opponent
2026 AFC Champions League Two final
2026_AFC_Champions_League_Two_final
Gamba Osaka 2025 football season
Osaka Gamba Osaka v Veertien Mie Gamba Osaka v Montedio Yamagata Source: ACL2 Rules for classification: Tiebreakers Gamba Osaka v Eastern Ratchaburi v
2025_Gamba_Osaka_season
Bangkok United F.C. 2023–24 football season
played 26 May 2024 ดำหริ, วิสูตร (30 July 2024). "เมืองทองส้มหล่น ได้ไป ACL2 เหตุ บีจี ไม่ขอรับโควตา". thinkcurve (in Thai). Retrieved 30 July 2024. "ไทยลีก
2023–24 Bangkok United F.C. season
2023–24_Bangkok_United_F.C._season
formula Interior algebra First-order resolution Automated theorem proving ACL2 theorem prover E equational theorem prover Gandalf theorem prover HOL theorem
List of mathematical logic topics
List_of_mathematical_logic_topics
Indian football club season
play just 13 games, the ISL winners will enter the qualifying stage of the ACL2 instead of the group stage. Head-to-head points: Jamshedpur 3, Punjab 1.
2025–26_East_Bengal_FC_season
Malaysian footballer (born 1998)
Farah (9 March 2025). "Faisal hat-trick caps Selangor's 7-0 rout to seal ACL2 spot". nst.com.my. New Straits Times. Retrieved 9 March 2025. "Malaysia vs
Faisal_Halim
Bangkok United F.C. 2025–26 football season
and international competitions. As of 17 July 2025. Kosović registered for ACL2 & Shopee Cup only As of 17 July 2025. Win Draw Loss Bangkok United
2025–26 Bangkok United F.C. season
2025–26_Bangkok_United_F.C._season
Bangladeshi association football league
club points Ranking Member association Club points ACLE 2025–26 (GS+PO) ACL2 2025–26 (GS+PO) ACGL 2025–26 (GS+PO) 2023-24 2022 Mvmt Region Region Mvmt
Bangladesh_Football_League
Australian association football player
Kennedy". Sydney FC. 13 January 2025. "Sydney FC Name Six Academy Prospects In ACL2 Squad". Sydney FC. 10 September 2024. "A senior debut to Will Kennedy too
Will_Kennedy_(soccer)
19th season in existence of Cong An Hanoi FC
Công An Hà Nội The group stage draw was held on 15 August 2025. Source: ACL2 Rules for classification: Tiebreakers Source: AFC A = Away; H = Home; W =
2025–26 Cong An Hanoi FC season
2025–26_Cong_An_Hanoi_FC_season
French footballer (born 2003)
kelab Liga M" (in Malay). H Metro. 24 June 2025. Retrieved 8 January 2026. "ACL2: Bek Tengah Muda Perancis Mantapkan Benteng Selangor" (in Malay). makanbola
Seif_Dine_Hraoubia
Lion City Sailors 2025–26 football season
as Tampines fielded more than the allowed number of foreigners Source: ACL2 Rules for classification: Tiebreakers Notes: Head-to-head points: Bangkok
2025–26 Lion City Sailors FC season
2025–26_Lion_City_Sailors_FC_season
BG Tampines Rovers 2025–26 football season
as Tampines fielded more than the allowed number of foreigners Source: ACL2 Rules for classification: Tiebreakers Kaya–Iloilo v BG Tampines Rovers BG
2025–26 BG Tampines Rovers FC season
2025–26_BG_Tampines_Rovers_FC_season
Muangthong United 2023–24 football season
Saengdao to PT Prachuap". ดำหริ, วิสูตร (30 July 2024). "เมืองทองส้มหล่น ได้ไป ACL2 เหตุ บีจี ไม่ขอรับโควตา". thinkcurve (in Thai). Retrieved 30 July 2024.
2023–24 Muangthong United F.C. season
2023–24_Muangthong_United_F.C._season
Association football season
SBT (T2) Buriram United v BG Pathum United BG Pathum United v Port Source: ACL2 Rules for classification: Tiebreakers BG Pathum United v Pohang Steelers
2025–26 BG Pathum United F.C. season
2025–26_BG_Pathum_United_F.C._season
French footballer (born 1990)
on 27 February 2025. Retrieved 27 February 2025. "広島が圧巻のゴールラッシュ！ 大量6得点奪いACL2ベスト4へ前進…今季公式戦無敗を継続". Soccer King (in Japanese). 5 March 2025. Archived from
Valère_Germain
ACL2
ACL2
ACL2
ACL2
Girl/Female
Tamil
Good
Girl/Female
Tamil
A flower
Boy/Male
Muslim
Handle of a sword
Boy/Male
Tamil
Kaliyugavaradhan | கலீயà¯à®•à®µà®¾à®°à®¤à®¾à®¨Â
Protector in kaliyug
Girl/Female
Tamil
Desirable, Beautiful, Affectionate, A handsome woman
Boy/Male
British, English
Name of a King
Girl/Female
Australian, Dutch, Latin, Spanish
Beloved; Loved One
Boy/Male
Muslim
Master.
Girl/Female
Muslim
One who hides others sins
Girl/Female
Hindu, Indian, Traditional
Wearing a Badge of Shiva
ACL2
ACL2
ACL2
ACL2
ACL2