Problema de satisfacibilitat booleana: historial de revisions

Visualitza els registres d’aquesta pàgina (veure el registre d'abusos)

Eines: Estadístiques • Nombre de visites • Cerca text a l'historial

Llegenda (ajuda): (act) = diferència amb la versió actual, (prev) = diferència amb la versió prèvia, m = edició menor, → = edició de secció.

actprev 22:4922:49, 30 oct 2023‎ EVA3.0 (bot) discussió contribucions‎ m 6.278 octets +5‎ Bibliografia desfés Etiqueta: paws [2.2]

actprev 19:5719:57, 11 feb 2023‎ Ferran Mir discussió contribucions‎ 6.273 octets +32‎ →‎Complexitat i versions restrictives desfés

actprev 18:0218:02, 28 oct 2022‎ EVA3.0 (bot) discussió contribucions‎ m 6.241 octets −9‎ Tipografia desfés Etiqueta: PAWS [2.1]

actprev 00:4900:49, 26 oct 2022‎ EVA3.0 (bot) discussió contribucions‎ m 6.250 octets −36‎ Tipografia desfés Etiqueta: PAWS [2.1]

actprev 19:3019:30, 6 feb 2022‎ Loupeter discussió contribucions‎ m 6.286 octets −34‎ Suprimida Categoria:Lògica matemàtica usant HotCat desfés
actprev 19:3019:30, 6 feb 2022‎ Loupeter discussió contribucions‎ m 6.320 octets +36‎ Afegida Categoria:Lògica computacional usant HotCat desfés

actprev 12:4012:40, 4 abr 2021‎ EVA3.0 (bot) discussió contribucions‎ m 6.284 octets −6‎ Bot estandarditza format de referència citada per a posterior revisió tipogràfica. desfés Etiqueta: PAWS [2.1]

actprev 18:5218:52, 25 gen 2021‎ EVA3.0 (bot) discussió contribucions‎ m 6.290 octets −2‎ Bot estandarditza format de referència citada per a posterior revisió tipogràfica. desfés Etiqueta: PAWS [2.1]

actprev 05:1205:12, 9 set 2020‎ Rebot discussió contribucions‎ m 6.292 octets +2‎ neteja i estandardització de codi desfés

actprev 10:2210:22, 23 ago 2020‎ Rebot discussió contribucions‎ m 6.290 octets −2‎ neteja i estandardització de codi desfés

actprev 22:1422:14, 21 juny 2020‎ EVA3.0 (bot) discussió contribucions‎ m 6.292 octets −1‎ Bot elimina espais sobrants desfés Etiqueta: PAWS [1.2]

actprev 09:2809:28, 18 oct 2019‎ Rebot discussió contribucions‎ m 6.293 octets +2‎ llengua=anglès desfés

actprev 20:5920:59, 8 set 2019‎ Langtoolbot discussió contribucions‎ m 6.291 octets −1‎ bot: - el número de + el nombre de desfés
actprev 20:5920:59, 8 set 2019‎ Langtoolbot discussió contribucions‎ m 6.292 octets −1‎ bot: - el número de + el nombre de desfés

actprev 12:5812:58, 2 set 2019‎ Langtoolbot discussió contribucions‎ m 6.293 octets +2‎ bot: - com problema 3-SAT + com a problema 3-SAT desfés

actprev 00:5900:59, 23 ago 2019‎ Misterchef102 discussió contribucions‎ m 6.291 octets 0‎ →‎3-SAT: corregir negreta desfés Etiqueta: editor visual

actprev 17:4817:48, 24 feb 2019‎ Langtoolbot discussió contribucions‎ m 6.291 octets +1‎ bot: - no te cap + no té cap desfés

actprev 01:0301:03, 2 des 2018‎ Mariusmm discussió contribucions‎ m 6.290 octets +61‎ →‎Complexitat i versions restrictives: links, typos desfés Etiqueta: editor visual
actprev 00:5700:57, 2 des 2018‎ Mariusmm discussió contribucions‎ 6.229 octets +6.229‎ creat de zero Etiqueta: editor visual

Obtingut de «https://ca.wikipedia.org/wiki/Problema_de_satisfacibilitat_booleana»