StackOverflow Questions for Tag: quantifiers

Rich

Reputation: 209

How to match one or more characters nominated in a regex character class?

phpregexvalidationquantifiers

Score: 0

Answers: 3

Revenant

Reputation: 2984

Greedy quantifier is matching two consecutive segments instead of making two separate matches

phpregexregex-greedyquantifiersnon-greedy

Score: 1

Answers: 3

Griff

Reputation: 1747

Match one or two of a subpattern in a regular expression

phpregexquantifiers

Score: 3

Answers: 1

barudo

Reputation: 665

Using preg_replace to modify square brace placeholders in a string is incorrectly matching multiple placeholders at once

phppreg-replaceshortcodeplaceholderquantifiers

Score: 0

Answers: 1

Marcin

Reputation: 5579

Make regex pattern stop at the shortest match instead of the longest match

phpregexpreg-matchlazy-evaluationquantifiers

Score: 0

Answers: 2

Chris Sprague

Reputation: 368

Regular expression with [0-9]:[0-9] is not matching H:i formatted time string

phpregexquantifiers

Score: 0

Answers: 1

Georg Leber

Reputation: 3605

Make trailing characters non-optional in a regex pattern

phpregexquantifiers

Score: 2

Answers: 2

mpluse

Reputation: 1875

Regex expressions in Java, \\s vs. \\s+

javaregexstringquantifiers

Score: 107

Answers: 5

enneenne2

Reputation: 31

Universal quantifiers in Lark grammar

pythonparsingquantifierslark-parser

Score: 0

Answers: 0

enneenne2

Reputation: 31

How do I write the Lark grammar to extend logical statements by bounded second-order quantifiers?

pythonparsingquantifierslark-parser

Score: 0

Answers: 0

trusis

Reputation: 75

Lean prover: prove existential quantifier by providing an example

proofquantifierslean

Score: 0

Answers: 2

Merlin Nestler

Reputation: 438

T-SQL LIKE - quantifiers

regext-sqlcomparisonquantifiers

Score: 0

Answers: 0

Jabber1

Reputation: 227

regex quantifiers in bash --simple vs extended matching {n} times

regexbashfilenamesquantifiers

Score: 2

Answers: 2

user

Reputation: 133

Alternative to possessive quantifier in python

pythonregexquantifiers

Score: 13

Answers: 3

Theo Deep

Reputation: 766

Is there a parser from Python-Z3 to Z3/smt2?

z3smtz3pyquantifiers

Score: 0

Answers: 2

gfs

Reputation: 1

Exporting code for definitions with the universal quantifier in Isabelle

isabellequantifiers

Score: 0

Answers: 0

سہیل احمد

Reputation: 1

Express each of these statements in terms of C(x), D(x), F(x), quantifiers, and logical connectives

iphonelogiclogical-operatorsquantifierspropositional-calculus

Score: 0

Answers: 1

Theo Deep

Reputation: 766

Searching Skolem functions in non-linear arithmetics

z3smtquantifiersfirst-order-logic

Score: 0

Answers: 1

Theo Deep

Reputation: 766

Does quantifier elimination preserve equi-satisfiability or equivalence? And in Z3?

z3smtquantifiers

Score: 0

Answers: 1

Theo Deep

Reputation: 766

If a theory is decidable in the existential fragment, does this mean that there is a (terminating) method to obtain witnesses of satisfaction?

z3smtquantifiersfirst-order-logic

Score: 0

Answers: 1

PreviousPage 1Next