User contributions for CorrectionBot

30 July 2025

• 12:4712:47, 30 July 2025 diff hist +26 GK: implementing full first order default logic for commonsense reasoning (system description) (Q2104518) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Actions over core-closed knowledge bases (Q2104517) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Evonne: interactive proof visualization for description logics (system description) (Q2104515) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Term orderings for non-reachability of (conditional) rewriting (Q2104512) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 SCL(EQ): SCL for first-order logic with equality (Q2104511) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Semantic relevance (Q2104509) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Ground joinability and connectedness in the superposition calculus (Q2104507) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Reasoning about vectors using an SMT theory of sequences (Q2104504) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Preprocessing of propagation redundant clauses (Q2104502) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Clause redundancy and preprocessing in maximum satisfiability (Q2104499) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 SAT-based proof search in intermediate propositional logics (Q2104497) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Flexible proof production in an industrial-strength SMT solver (Q2104495) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 From the universality of mathematical truth to the interoperability of proof systems (Q2104491) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts (Q2104490) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Stick breaking, in coalgebra and probability (Q2104486) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Corecursive algebras in nature (Q2104485) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Corecursion up-to via causal transformations (Q2104483) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 A categorical framework for learning generalised tree automata (Q2104477) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Coalgebraic semantics for nominal automata (Q2104476) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 SPEEDY on Cortex-M3: efficient software implementation of SPEEDY on ARM Cortex-M3 (Q2104470) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Grover on SM3 (Q2104468) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Efficient quantum circuit of Proth number modular multiplication (Q2104467) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 \(T\)-\textit{depth} reduction method for efficient \textit{SHA}-256 quantum circuit construction (Q2104462) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 New general framework for algebraic degree evaluation of NFSR-based cryptosystems (Q2104459) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Forward secure message franking (Q2104457) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Collision-resistant and pseudorandom function based on Merkle-Damgård hash function (Q2104455) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Learning-based side-channel analysis on PIPO (Q2104454) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Differential fault attack on lightweight block cipher PIPO (Q2104448) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 The quasi-reversibility method for an inverse source problem for time-space fractional parabolic equations (Q2101083) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 Hopf bifurcation in a Lotka-Volterra competition-diffusion-advection model with time delay (Q2101082) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 Linearization of ultra-differentiable circle flows beyond Brjuno condition (Q2101081) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Representation formulae for higher order curvature flows (Q2101080) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Besov regularity theory for stationary electrorheological fluids (Q2101076) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 Excited states for two-component Bose-Einstein condensates in dimension two (Q2101069) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 Various regularity estimates for the Keller-Segel-Navier-Stokes system in Besov spaces (Q2101068) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 Bifurcations in Holling-Tanner model with generalist predator and prey refuge (Q2101065) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Asymptotic behavior of solutions of initial-boundary value problems for 1D viscous and heat-conducting ionized gas (Q2101063) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension (Q2101062) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Aggregation and classification of spatial dynamics of vector-borne disease in advective heterogeneous environment (Q2101060) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Two sequences of solutions for the semilinear elliptic equations with logarithmic nonlinearities (Q2101059) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 The Gevrey normalization for quasi-periodic systems under Siegel type small divisor conditions (Q2101058) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Chern-Simons limit of ground state solutions for the Schrödinger equations coupled with a neutral scalar field (Q2101056) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 Stackelberg-Nash exact controllability for the Kuramoto-Sivashinsky equation with boundary and distributed controls (Q2101053) ‎Changed label, description and/or aliases in en, and other parts
• 12:4612:46, 30 July 2025 diff hist +26 RG-induced modulus stabilization: perturbative de Sitter vacua and improved D3-\(\overline{\mathrm{D}3}\) inflation (Q2101052) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4612:46, 30 July 2025 diff hist +26 Type IIB flux compactifications with \(h^{1, 1} = 0\) (Q2101051) ‎Changed label, description and/or aliases in en, and other parts