Ontdek Satisfiability via 2 voorbeeldzinnen uit het Nederlands. Ideaal voor taalgebruikers, schrijvers en taalliefhebbers.
Satisfiability in een zin
Context rond Satisfiability
- Gemiddelde zinslengte in deze voorbeelden: 28.5 woorden
- Plaats in de zin: 0 begin, 0 midden, 2 einde
- Zinsoorten: 2 stellend, 0 vragen, 0 uitroepen
Corpusanalyse van Satisfiability
- In deze selectie staat "satisfiability" meestal aan het einde van de zin. De gemiddelde voorbeeldzin telt 28.5 woorden en het corpus bestaat hier vooral uit stellende zinnen.
- Direct rond het woord vallen vooral sat en vervulbaarheid op; die woorden geven extra context aan het gebruik van "satisfiability".
- Herkenbare gebruikssignalen zijn probleem sat satisfiability en voor vervulbaarheid satisfiability. Daardoor krijgt deze pagina eigen corpusinformatie en niet alleen losse voorbeeldzinnen.
- Qua corpusfrequentie ligt "satisfiability" dicht bij woorden als aaahh, aaahhh en aabar, wat helpt om het woord binnen de bredere woordenindex te plaatsen.
Voorbeeldtypes met satisfiability
Dezelfde corpuszinnen zijn hieronder uitgesplitst naar lengte en zinsoort, zodat je sneller ziet in welke soort context het woord voorkomt:
Vervulbaarheidsequivalentie wordt soms genoteerd als ≡ sat waarbij sat verwijst naar het Engelse woord voor vervulbaarheid: satisfiability. (16 woorden)
Dan reduceert ieder probleem in NP (inclusief A) tot B. Als B ook tot A reduceert, dan reduceert ieder probleem in NP tot A en wel via B. Het begin van de "NPC-boom" wordt gevormd door het probleem SAT (satisfiability). (41 woorden)
Dan reduceert ieder probleem in NP (inclusief A) tot B. Als B ook tot A reduceert, dan reduceert ieder probleem in NP tot A en wel via B. Het begin van de "NPC-boom" wordt gevormd door het probleem SAT (satisfiability). (41 woorden)
Vervulbaarheidsequivalentie wordt soms genoteerd als ≡ sat waarbij sat verwijst naar het Engelse woord voor vervulbaarheid: satisfiability. (16 woorden)
Voorbeeldzinnen (2)
Dan reduceert ieder probleem in NP (inclusief A) tot B. Als B ook tot A reduceert, dan reduceert ieder probleem in NP tot A en wel via B. Het begin van de "NPC-boom" wordt gevormd door het probleem SAT (satisfiability).
Vervulbaarheidsequivalentie wordt soms genoteerd als ≡ sat waarbij sat verwijst naar het Engelse woord voor vervulbaarheid: satisfiability.
Veelgestelde vragen
Hoe gebruik je "satisfiability" in een zin?
Hoeveel voorbeeldzinnen met "satisfiability" zijn er?
Bekijk perfecte rijmwoorden, halfrijm en assonantie op WatRijmtOp.nl