Traduction de «prouvabilité » (Français → Anglais) :

TERMINOLOGIE

prouvabilité du premier ordre
first-order provability

prouvabilité
provability

prouvabilité non monotone
nonmonotonic provability

TRADUCTIONS EN CONTEXTE

Dans sa forme originelle, le projet de loi C-5 prévoyait la prouvabilité limitée et une priorité limitée, mais cela a ensuite été modifié en faveur d'une prouvabilité illimitée et d'une priorité limitée.
Bill C-5, as first introduced, included limited provability plus limited priority. It has now been amended further to provide for unlimited provability plus limited priority.

Malgré les démarches que nous avons entreprises auprès du comité de la Chambre des communes, aucune disposition anticollusion n'a été ajoutée au projet de loi. Au contraire, la solution proposée a été renforcée en rendant la prouvabilité, c'est-à-dire la possibilité de partage, illimitée plutôt que limitée comme elle l'était dans la version antérieure.
As a result of our submissions to the House committee, no anti-collusion provision was added; instead, the remedy was strengthened by making provability, that is, sharability, unlimited instead of limited, as it had been in the earlier version.

Malgré l'exemple australien et les préoccupations que nous avons énergiquement exprimées, le projet de loi C-5 a été amendé d'une façon qui ne fait qu'exacerber les problèmes de collusion auxquels on pouvait s'attendre, en renforçant le nouveau recours (autrement dit, en imposant une prouvabilité illimitée), sans assurer pour autant de protection contre la collusion.
Despite the Australian example and our strongly held concerns, Bill C-5 was amended in a form which exacerbates the anticipated collusion problem by strengthening the new remedy (namely by making provability unlimited), and still providing no anti-collusion protection.

En 1980, l'Australie a adopté une clause de prouvabilité semblable à celle du projet de loi C-5.
A provability amendment similar to the Bill C-5 provision was introduced in Australia in 1980.

Nous estimons que notre proposition initiale de prouvabilité limitée pour les arriérés de pension alimentaire (c'est-à-dire le partage égal) était équilibrée.
We believe our initial proposal of limited provability for support arrears (i.e. equal sharing) is well balanced.