User contributions for CorrectionBot

30 July 2025

• 15:0015:00, 30 July 2025 diff hist +26 Analysis of mobile networks' protocols based on abstract state machine (Q2117591) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Spot the difference: a detailed comparison between B and Event-B (Q2117587) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 ASM specification and refinement of a quantum algorithm (Q2117586) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Language and communication problems in formalization: a natural language approach (Q2117584) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Communities and ancestors associated with Egon Börger and ASM (Q2117583) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Semantic splitting of conditional belief bases (Q2117582) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A nonlinear version of Roth's theorem on sets of fractional dimensions (Q2117581) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Optimal dividend and proportional reinsurance strategy under standard deviation premium principle (Q2117578) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On \((3, r)\)-choosability of some planar graphs (Q2117577) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Existence and non-existence of solutions for semilinear bi-\(\Delta_{\gamma}\)-Laplace equation (Q2117575) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A condition on Hamilton-connected line graphs (Q2117573) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A game with two players choosing the coefficients of a polynomial (Q2117572) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Extremal trees for the general Randić index with a given domination number (Q2117571) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Spectral properties of a fourth-order differential operator with eigenvalue parameter-dependent boundary conditions (Q2117569) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Second Hankel determinant of logarithmic coefficients of convex and starlike functions of order alpha (Q2117567) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On the neighbor-distinguishing indices of planar graphs (Q2117565) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Isolated subsemigroups of order-preserving and decreasing transformation semigroups (Q2117563) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Edge coloring of the signed generalized Petersen graph (Q2117562) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Ad-nilpotent elements of skew index in semiprime rings with involution (Q2117561) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Large bias amongst products of two primes (Q2117560) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On characterizing nilpotent Lie algebra by their multiplier, \(s(L)=6, 7\) (Q2114987) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Statistical inference of Burr-XII distribution under adaptive type II progressive censored schemes with competing risks (Q2114985) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Some remarks on the Saito Kurokawa lift for orthogonal forms (Q2114983) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Characterizations of Wilson systems using roots of polynomials (Q2114982) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Samples of homogeneous functions (Q2114979) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Output feedback stabilization for a wave-ODE cascade system with the time-varying input and output delay (Q2114978) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 \(\mathcal{L}^p\)-approximation using fractal functions on the Sierpiński gasket (Q2114974) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Generalized classical weighted means, the invariance, complementarity and convergence of iterates of the mean-type mappings (Q2114970) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Gneiting's space-time positive definiteness criterion revisited (Q2114966) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Ramanujan-type supercongruences involving Almkvist-Zudilin numbers (Q2114965) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Global solution and spatial patterns for a ratio-dependent predator-prey model with predator-taxis (Q2114964) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Global wave front sets in ultradifferentiable classes (Q2114963) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Cu-water nanofluid MHD quadratic natural convection on square porous cavity (Q2114961) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 A new approach to solve group decision making problems with attribute values and attribute weights represented by interval-valued intuitionistic fuzzy numbers (Q2114959) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Slow motion past a spheroid implanted in a Brinkman medium: slip condition (Q2114958) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 An efficient collocation algorithm with SSP-RK43 scheme to solve Rosenau-KdV-RLW equation (Q2114957) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 A multidimensional reverse interpolation method and its application in solving the multidimensional Fredholm integral equations (Q2114956) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Soliton solutions of deformed nonlinear Schrödinger equations using ansatz method (Q2114954) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Painlevé analysis and invariant solutions of variable coefficients extended Ostrovsky equation (Q2114953) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Approximate analytical solutions of generalized Zakharov-Kuznetsov and generalized modified Zakharov-Kuznetsov equations (Q2114952) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 An efficient perturbation Sumudu transform technique for the time-fractional vibration equation with a memory dependent fractional derivative in Liouville-Caputo sense (Q2114951) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 On oscillatory and asymptotic behavior of higher order neutral differential equations with impulsive conditions (Q2114950) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Regularization of weak and basic singularities in fractional integro-differential equations (Q2114948) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Novel functional matrix method using standard basis of polynomial linear space (Q2114947) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Alpha labeling of cyclic graphs (Q2114946) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 A comparative study between two different adaptive sliding mode control techniques (Q2114944) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Aligned magnetic and bioconvection effects on tangent hyperbolic nanofluid flow across faster/slower stretching wedge with activation energy: finite element simulation (Q2114943) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Hyers-Ulam stability and existence of solution for nonlinear variable fractional differential equations with singular kernel (Q2114941) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5914:59, 30 July 2025 diff hist +26 Taylor-heat flux effect on fluid flow and heat transfer in a curved rectangular duct with rotation (Q2114940) ‎Changed label, description and/or aliases in en, and other parts current