---
title: "Hjälp mig översätta denna mening!"
type: "forum-thread"
url: "https://www.webforum.nu/amne/sprak/144710-hjälp-mig-översätta-denna-mening"
topic: "Språk"
topic_url: "https://www.webforum.nu/amne/sprak"
author: "Compusa"
published: "2006-03-28T20:08:07.000Z"
updated: "2006-03-29T08:05:15.000Z"
replies: 2
views: 533
page: 1
pages: 1
language: "sv-SE"
site: "webForum — webforum.nu"
rights: "Upphovsrätten till varje inlägg tillhör dess författare."
attribution: "Citera som: webForum, https://www.webforum.nu/amne/sprak/144710-hjälp-mig-översätta-denna-mening"
---

# Hjälp mig översätta denna mening!

## #1 — Compusa, 2006-03-28T20:08Z

Har försökt översätta denna mening till svenska men får det inte att låta vettigt. Sammanhang: beskrivning av två verktyg till ett programmeringsspråk.

> The Simplifier and Checker automate the discharging of proof obligations.

 

Mycket tacksam för hjälp. Ska presentera imorgon   :)

Permalänk: https://www.webforum.nu/p/144710

## #2 — Compusa, 2006-03-29T07:57Z

Jag börjar...

> Simplifieraren och Checkern automatiserar avlossningen av bevisförplikterser...

Det här låter inte riktigt klokt tycker jag...

Permalänk: https://www.webforum.nu/p/1788269

## #3 — bassebhu, 2006-03-29T08:05Z

Flyttad från Övriga Frågor!

Permalänk: https://www.webforum.nu/p/1788270

---

Tråden på webben: https://www.webforum.nu/amne/sprak/144710-hjälp-mig-översätta-denna-mening