Lensby Arxo
Download JSON
Question Saved analysis

Eine Forderung, entstanden am 15. März 2020: ist die regelmäßige Verjährung nach dem BGB von 1896 vollendet, und nach dem heutigen BGB?

Dieselben vier Jahre, zwei Texte. Das BGB von 1896 zählt dreißig Jahre. Das heutige BGB lässt die regelmäßige Frist von drei Jahren mit dem Schluss des Jahres beginnen.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

At a glance

5

Select a result to explore its grounds

Detailed analysis

5

Condition

BGB 1896: die dreißigjährige Frist ist nicht vollendet

Jurisdiction DeutschlandLaw as of 1900-01-01

Calculation result

Refuted

Input parameters

What we are finding

Verjährung vollendet

c4

Input facts

  • the debtor bound himself toward the creditor by the contract underlying the claim

    creditor: g4debitor: s4causa: c4
  • the claimant brings a claim against the defendant — the contested relation the question is about

    causa: c4actor: g4reus: s4
  • the claim arose (the right of action opened) that many full years before the day of the dispute; the term is given as a duration, not a date, so one case can be read at any date of the link's law

    causa: c4anni: 4
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:c4",
      "kind": "entity_ref"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#contractus"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#petitio"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 4
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
    }
  ],
  "kind": "truth",
  "legalTime": "1900-01-01",
  "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
}
Why this resultApplied rules and conditions

Derivation path3 steps

  1. 1

    the claim arose (the right of action opened) that many full years before the day of the dispute; the term is given as a duration, not a date, so one case can be read at any date of the link's law

    causa: urn:de:bgb:p11:c4; anni: 4

    case fact
  2. 2

    Die regelmäßige Verjährungsfrist beträgt dreißig Jahre

    not Verjährung vollendet: causa: urn:de:bgb:p11:c4

    para. 195, para. 198

    Identifier
    urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht
    rule
  3. 3

    Query evaluation

    query

verified by the engine: 2 · case fact: 1 · Full graph: 16 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

de.bgb_1896
  • Die regelmäßige Verjährungsfrist beträgt dreißig Jahre

    Identifier
    urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht
Other rules in the evaluation8

Applied in the overall evaluation, but not on the proof path for this answer.

de.bgb_1896
  • Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch)

    Identifier
    urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur
  • Vertrag

    Identifier
    urn:de:corpus:clir:bgb-1896#CausaExContractu
  • Anspruch

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch
  • schuldrechtlicher Anspruch

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam
  • Schuldner

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio
  • Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft ist ein Vertrag erforderlich

    Identifier
    urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis
doctrine.ius_privatum
  • the right is effective when the remedy belongs to the claimant

    Identifier
    urn:doctrine:clir:ius-privatum#IusEfficax
  • the remedy given by the legal order belongs to the claimant

    Identifier
    urn:doctrine:clir:ius-privatum#RemediumCompetitDatum

Proof graph

Proof graph · 3 layer
query_evaluationverjaehrung_vollendetrule_applicationRegelmaessigeVerjaehrungNochNichtassertionactio_nata_ante_annos

Proof nodes: 16 · assertion 2, rule_application 9, candidate_closure 4, query_evaluation 1

assertion · urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre
attributes
assertion
jahre
conclusion
Arguments
  • Identifier
    c4
    Type
    entity_ref
  • Type
    value
    type
    name
    Integer
    value
    4
Type
literal
Polarity
positive
Condition
actio_nata_ante_annos
evidence
—
Identifier
jahre
Type
assertion
Premises
—
sourceAnchors
—
rule_application · urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d
attributes
—
conclusion
Arguments
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
negative
Condition
verjaehrung_vollendet
evidence
—
Identifier
6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d
Type
rule_application
Premises
  • jahre
Rule
RegelmaessigeVerjaehrungNochNicht
sourceAnchors
—
substitution
v0
Identifier
c4
Type
entity_ref
v1
Type
value
type
name
Integer
value
4
assertion · urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag
attributes
assertion
vertrag
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
contractus
evidence
—
Identifier
vertrag
Type
assertion
Premises
—
sourceAnchors
—
rule_application · urn:proof:apply:CausaExContractu:9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc
attributes
—
conclusion
Arguments
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
causa_ex_contractu
evidence
—
Identifier
9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc
Type
rule_application
Premises
  • vertrag
Rule
CausaExContractu
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
attributes
—
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
schuldverhaeltnis
evidence
—
Identifier
e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Type
rule_application
Premises
  • vertrag
Rule
VertragBegruendetSchuldverhaeltnis
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4
attributes
—
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
anspruch
evidence
—
Identifier
a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4
Type
rule_application
Premises
  • e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Rule
SchuldverhaeltnisAnspruch
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_datur
evidence
—
Identifier
d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
Type
rule_application
Premises
  • a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4
Rule
AnspruchRemediumDatur
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_competit
evidence
—
Identifier
36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
Type
rule_application
Premises
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
Rule
RemediumCompetitDatum
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
ius_efficax
evidence
—
Identifier
6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
Type
rule_application
Premises
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
Rule
IusEfficax
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_in_personam
evidence
—
Identifier
4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
Type
rule_application
Premises
  • e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Rule
SchuldverhaeltnisInPersonam
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:SchuldverhaeltnisObligatio:6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d
attributes
—
conclusion
Arguments
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
obligatio
evidence
—
Identifier
6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d
Type
rule_application
Premises
  • e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Rule
SchuldverhaeltnisObligatio
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
candidate_closure · urn:proof:closure:ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9
attributes
allApplicableCandidateIds
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#remedium_competit"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
3
survivingCandidateIds
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_competit
evidence
—
Identifier
ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9
Type
candidate_closure
Premises
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
sourceAnchors
—
candidate_closure · urn:proof:closure:c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b
attributes
allApplicableCandidateIds
  • 6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#ius_efficax"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
4
survivingCandidateIds
  • 6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
ius_efficax
evidence
—
Identifier
c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b
Type
candidate_closure
Premises
  • 6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
sourceAnchors
—
candidate_closure · urn:proof:closure:d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced
attributes
allApplicableCandidateIds
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#remedium_datur"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
2
survivingCandidateIds
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_datur
evidence
—
Identifier
d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced
Type
candidate_closure
Premises
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
sourceAnchors
—
candidate_closure · urn:proof:closure:e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3
attributes
allApplicableCandidateIds
  • 4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#remedium_in_personam"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
1
survivingCandidateIds
  • 4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_in_personam
evidence
—
Identifier
e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3
Type
candidate_closure
Premises
  • 4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
sourceAnchors
—
query_evaluation · urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet
attributes
—
conclusion
literal
Arguments
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
verjaehrung_vollendet
truthStatus
Refuted
evidence
—
Identifier
case/VierJahre_1896/query/v4-1896-vollendet
Type
query_evaluation
Premises
  • 6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d
sourceAnchors
—
Calendar and proof identifiers
Proof reference
case/VierJahre_1896/query/v4-1896-vollendet
Original reasoning · JSON
JSONRead only
{
  "evaluation": {
    "conflicts": [],
    "issues": [],
    "manifest": {
      "artifactHash": "sha256:5b73dc66560078d6d02b2f5dc9919fe9e0fb63d05e648b9ba524e1154a2c449f",
      "calendarSnapshot": "",
      "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
      "decisionTime": "2024-06-01T12:00:00Z",
      "evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "externalSnapshots": {},
      "id": "urn:manifest:oracle-1",
      "interpretations": [],
      "knowledgeTime": "2024-06-01T12:00:00Z",
      "legalTime": "1900-01-01",
      "lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "mode": "audit",
      "policies": {},
      "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "resolvedEditions": {},
      "semanticHash": "sha256:cb2d0635b0c07f680a54fc42b59a9d5ce1604612ac9b3184b5aae23e1edac5d0",
      "semantics": "law.core/0.2.1",
      "theoryHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "timezone": "Europe/Berlin"
    },
    "positions": [],
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 4
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
          },
          "evidence": [],
          "id": "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Integer"
              },
              "value": 4
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#contractus"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#causa_ex_contractu"
          },
          "evidence": [],
          "id": "urn:proof:apply:CausaExContractu:9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#CausaExContractu",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis"
          },
          "evidence": [],
          "id": "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#anspruch"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#IusEfficax",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#obligatio"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisObligatio:6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_competit\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 3,
            "survivingCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:closure:ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#ius_efficax\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 4,
            "survivingCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:closure:c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_datur\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 2,
            "survivingCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:closure:d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_in_personam\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 1,
            "survivingCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:closure:e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:de:bgb:p11:c4",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
            },
            "truthStatus": "FALSE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:b66dd0a6fa103c3c789946e9e25d0e23f860915d1b99eba1da5a750d320dcb61",
      "roots": [
        "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet"
      ]
    },
    "resultHash": "sha256:5933d7b19e64f6db35601cf6faab0c0e67e60b2db5d270b739146c176da6b0f4",
    "results": [
      {
        "conflicts": [],
        "evaluationStatus": "COMPUTED",
        "evidence": [],
        "id": "urn:result:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
        "judgmentRequests": [],
        "manifest": "urn:manifest:oracle-1",
        "missingInputs": [],
        "normativeStatusSupports": [],
        "proof": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
        "query": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
        "resultKind": "PROPOSITION",
        "sourceAnchors": [],
        "target": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet",
        "truthStatus": "FALSE_ONLY"
      }
    ],
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
  "rulesApplied": [
    "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
    "urn:de:corpus:clir:bgb-1896#CausaExContractu",
    "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
    "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
    "urn:doctrine:clir:ius-privatum#IusEfficax",
    "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum"
  ]
}
SourcesExcerpts: 5

paragraph/194

§ 194 Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch), unterliegt der Verjährung. Der Anspruch aus einem familienrechtlichen Verhältniß unterliegt der Verjährung nicht, soweit er auf die Herstellung des dem Verhältniß entsprechenden Zustandes für die Zukunft gerichtet ist.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:d6eb2d21893667f66864b2c8b06f80e8852e5ae0fb966a863e715922068d862b",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P194",
  "kind": "fragment",
  "locator": "paragraph/194",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:6474aa2a7e1f0e3d986a3ac80ca63a34b83a25619ad5db2004eb91505298dbbc",
      "language": "de",
      "status": "official",
      "text": "§ 194\nDas Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch), unterliegt der Verjährung.\nDer Anspruch aus einem familienrechtlichen Verhältniß unterliegt der Verjährung nicht, soweit er auf die Herstellung des dem Verhältniß entsprechenden Zustandes für die Zukunft gerichtet ist.\n"
    }
  ]
}

paragraph/195

§ 195 Die regelmäßige Verjährungsfrist beträgt dreißig Jahre.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:8a81acd785f976eaabdba546f4543d417c6d1ff2eef8acf6ca76099a71edd357",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P195",
  "kind": "fragment",
  "locator": "paragraph/195",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:06d01bf02e9f3967954cfd8f87137d43a1d771fca4439885d9edff34a5e7e8e9",
      "language": "de",
      "status": "official",
      "text": "§ 195\nDie regelmäßige Verjährungsfrist beträgt dreißig Jahre.\n"
    }
  ]
}

paragraph/198

§ 198 Die Verjährung beginnt mit der Entstehung des Anspruchs. Geht der Anspruch auf ein Unterlassen, so beginnt die Verjährung mit der Zuwiderhandlung.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:037fad6739ea7d56ff7b9d0d4dcb6a701d682e0a9c29ba2457c23da973c89d90",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P198",
  "kind": "fragment",
  "locator": "paragraph/198",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:d6ce3ed08efd46b998252501e15d3c1c88b69361afaf5a5509b97c3773f3a8f8",
      "language": "de",
      "status": "official",
      "text": "§ 198\nDie Verjährung beginnt mit der Entstehung des Anspruchs. Geht der Anspruch auf ein Unterlassen, so beginnt die Verjährung mit der Zuwiderhandlung.\n"
    }
  ]
}

paragraph/241

§ 241 Kraft des Schuldverhältnisses ist der Gläubiger berechtigt, von dem Schuldner eine Leistung zu fordern. Die Leistung kann auch in einem Unterlassen bestehen.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:f62095aa2b5c8da6074b03044927af0797462243e9a68da1c388525d7a17de3c",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P241",
  "kind": "fragment",
  "locator": "paragraph/241",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:06ce3c0749800023fe4b29d23668cfe3da139dceec73fc8ad76f4e19c590eba4",
      "language": "de",
      "status": "official",
      "text": "§ 241\nKraft des Schuldverhältnisses ist der Gläubiger berechtigt, von dem Schuldner eine Leistung zu fordern. Die Leistung kann auch in einem Unterlassen bestehen.\n"
    }
  ]
}

paragraph/305

§ 305 Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft sowie zur Aenderung des Inhalts eines Schuldverhältnisses ist ein Vertrag zwischen den Betheiligten erforderlich, soweit nicht das Gesetz ein Anderes vorschreibt.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:bb00dd1984cf2565662f7fb2ff77c2127c1f51cc631b56fcf109a9f82a22fb14",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P305",
  "kind": "fragment",
  "locator": "paragraph/305",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:2f476360e1db320eb53d1e6bcece14659f7d2d472c296a4b0d3bc1463a062ea9",
      "language": "de",
      "status": "official",
      "text": "§ 305\nZur Begründung eines Schuldverhältnisses durch Rechtsgeschäft sowie zur Aenderung des Inhalts eines Schuldverhältnisses ist ein Vertrag zwischen den Betheiligten erforderlich, soweit nicht das Gesetz ein Anderes vorschreibt.\n"
    }
  ]
}

Packages in the snapshot

  • de.bgb.core
  • de.bgb.fristen
  • de.bgb_1896
  • doctrine.ius_privatum
Technical dataFull response, parameters and checksums
Calculation status
COMPUTED
Full engine response
BGB 1896: die dreißigjährige Frist ist nicht vollendet

Complete machine result · JSON

JSONRead only
{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "missingInputs": [],
    "truthStatus": "FALSE_ONLY"
  },
  "evaluation": {
    "conflicts": [],
    "issues": [],
    "manifest": {
      "artifactHash": "sha256:5b73dc66560078d6d02b2f5dc9919fe9e0fb63d05e648b9ba524e1154a2c449f",
      "calendarSnapshot": "",
      "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
      "decisionTime": "2024-06-01T12:00:00Z",
      "evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "externalSnapshots": {},
      "id": "urn:manifest:oracle-1",
      "interpretations": [],
      "knowledgeTime": "2024-06-01T12:00:00Z",
      "legalTime": "1900-01-01",
      "lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "mode": "audit",
      "policies": {},
      "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "resolvedEditions": {},
      "semanticHash": "sha256:cb2d0635b0c07f680a54fc42b59a9d5ce1604612ac9b3184b5aae23e1edac5d0",
      "semantics": "law.core/0.2.1",
      "theoryHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "timezone": "Europe/Berlin"
    },
    "positions": [],
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 4
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
          },
          "evidence": [],
          "id": "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Integer"
              },
              "value": 4
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#contractus"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#causa_ex_contractu"
          },
          "evidence": [],
          "id": "urn:proof:apply:CausaExContractu:9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#CausaExContractu",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis"
          },
          "evidence": [],
          "id": "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#anspruch"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#IusEfficax",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#obligatio"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisObligatio:6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_competit\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 3,
            "survivingCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:closure:ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#ius_efficax\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 4,
            "survivingCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:closure:c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_datur\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 2,
            "survivingCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:closure:d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_in_personam\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 1,
            "survivingCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:closure:e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:de:bgb:p11:c4",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
            },
            "truthStatus": "FALSE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:b66dd0a6fa103c3c789946e9e25d0e23f860915d1b99eba1da5a750d320dcb61",
      "roots": [
        "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet"
      ]
    },
    "resultHash": "sha256:5933d7b19e64f6db35601cf6faab0c0e67e60b2db5d270b739146c176da6b0f4",
    "results": [
      {
        "conflicts": [],
        "evaluationStatus": "COMPUTED",
        "evidence": [],
        "id": "urn:result:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
        "judgmentRequests": [],
        "manifest": "urn:manifest:oracle-1",
        "missingInputs": [],
        "normativeStatusSupports": [],
        "proof": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
        "query": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
        "resultKind": "PROPOSITION",
        "sourceAnchors": [],
        "target": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet",
        "truthStatus": "FALSE_ONLY"
      }
    ],
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
  "provenance": {
    "acts": [
      {
        "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
        "namespace": "urn:de:corpus:clir:bgb-core",
        "package": "de.bgb.core"
      },
      {
        "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
        "namespace": "urn:de:corpus:clir:bgb-fristen",
        "package": "de.bgb.fristen"
      },
      {
        "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
        "namespace": "urn:de:corpus:clir:bgb-1896",
        "package": "de.bgb_1896"
      },
      {
        "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
        "namespace": "urn:doctrine:clir:ius-privatum",
        "package": "doctrine.ius_privatum"
      }
    ],
    "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
    "jurisdiction": "Deutschland",
    "legalTime": "1900-01-01",
    "mode": "audit",
    "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
    "resultHash": "sha256:5933d7b19e64f6db35601cf6faab0c0e67e60b2db5d270b739146c176da6b0f4",
    "timezone": "Europe/Berlin"
  },
  "rulesApplied": [
    "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
    "urn:de:corpus:clir:bgb-1896#CausaExContractu",
    "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
    "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
    "urn:doctrine:clir:ius-privatum#IusEfficax",
    "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum"
  ]
}

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

JSONRead only
{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:80566e19bc88f4c7ffcf3cb0f83394533ae7c295f03fc3be9cd6c2a20306f007"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:de:bgb:p11:c4",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Integer"
            },
            "value": 4
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
      },
      "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:de:bgb:p11:c4",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
      },
      "id": "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
      ],
      "rule": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
      "sourceAnchors": [
        "urn:de:corpus:clir:bgb-1896#BGB_P195",
        "urn:de:corpus:clir:bgb-1896#BGB_P198"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        "v1": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 4
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
        },
        "truthStatus": "FALSE_ONLY"
      },
      "id": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-1896-vollendet",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch)"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The holder of an Anspruch is given a remedy against the obligor (§ 194)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "defeasible"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#CausaExContractu",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Vertrag"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "A claim arising from a contract (§ 305)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Die regelmäßige Verjährungsfrist beträgt dreißig Jahre"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "A claim that arose fewer than thirty years ago is not yet time-barred (§ 195; § 198)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Anspruch"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The creditor may require performance from the debtor — Anspruch (§ 241; § 194)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "schuldrechtlicher Anspruch"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The claim to performance of an obligation is a personal remedy (§ 241)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "defeasible"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Schuldner"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The debtor of an obligation is the debtor under this law (§ 241)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft ist ein Vertrag erforderlich"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "A contract creates an obligation: the creditor may require performance from the debtor (§ 305; § 241)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#anspruch",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Anspruch"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "the right to require another to do or refrain from an act (§ 194)"
        }
      ],
      "name": "anspruch",
      "package": "urn:de:corpus:clir:bgb-1896",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-1896#anspruch/arg/glaeubiger",
          "labels": [],
          "name": "glaeubiger",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#anspruch/arg/schuldner",
          "labels": [],
          "name": "schuldner",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#anspruch/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Schuldverhältniß"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "an obligation between creditor and debtor (§ 241, § 305)"
        }
      ],
      "name": "schuldverhaeltnis",
      "package": "urn:de:corpus:clir:bgb-1896",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis/arg/glaeubiger",
          "labels": [],
          "name": "glaeubiger",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis/arg/schuldner",
          "labels": [],
          "name": "schuldner",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Verjährung vollendet"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "the thirty-year limitation of the claim has been completed (§ 195, § 198)"
        }
      ],
      "name": "verjaehrung_vollendet",
      "package": "urn:de:corpus:clir:bgb-1896",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#Causa",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "притязание как основание тяжбы: договор, деликт, собственность, наследство — одно спорное отношение между двумя лицами"
        }
      ],
      "name": "Causa",
      "package": "urn:doctrine:clir:ius-privatum"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#IusEfficax",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Право действенно, когда истцу принадлежит средство защиты"
        }
      ],
      "package": "urn:doctrine:clir:ius-privatum",
      "strength": "defeasible"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#Persona",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "лицо частного права: истец, ответчик, собственник, должник, кредитор, наследник"
        }
      ],
      "name": "Persona",
      "package": "urn:doctrine:clir:ius-privatum"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Данное правопорядком средство защиты принадлежит истцу"
        }
      ],
      "package": "urn:doctrine:clir:ius-privatum",
      "strength": "defeasible"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "притязание возникло (право на иск открылось) столько полных лет назад на день спора; срок дан длительностью, а не датой, чтобы один казус читался на любую дату права звена"
        }
      ],
      "name": "actio_nata_ante_annos",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos/arg/anni",
          "labels": [],
          "name": "anni",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#causa_ex_contractu",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "притязание возникло из договора"
        }
      ],
      "name": "causa_ex_contractu",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#causa_ex_contractu/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#contractus",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "должник обязался перед кредитором по договору, лежащему в основании притязания"
        }
      ],
      "name": "contractus",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#contractus/arg/creditor",
          "labels": [],
          "name": "creditor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#contractus/arg/debitor",
          "labels": [],
          "name": "debitor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#contractus/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#ius_efficax",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "право действенно: средство защиты дано и не отнято"
        }
      ],
      "name": "ius_efficax",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#ius_efficax/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#ius_efficax/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#ius_efficax/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#obligatio",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "должник обязан перед кредитором по этому притязанию"
        }
      ],
      "name": "obligatio",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#obligatio/arg/debitor",
          "labels": [],
          "name": "debitor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#obligatio/arg/creditor",
          "labels": [],
          "name": "creditor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#obligatio/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#petitio",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "истец предъявляет к ответчику притязание — спорное отношение, о котором задаётся вопрос"
        }
      ],
      "name": "petitio",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#petitio/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#petitio/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#petitio/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#remedium_competit",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "средство защиты принадлежит истцу против ответчика: дано ему самому либо перешло к нему или против него по наследству"
        }
      ],
      "name": "remedium_competit",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_competit/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_competit/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_competit/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#remedium_datur",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "правопорядок даёт истцу средство защиты против ответчика по этому притязанию"
        }
      ],
      "name": "remedium_datur",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_datur/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_datur/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_datur/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "средство защиты личное: истец требует от ответчика дать, сделать, предоставить"
        }
      ],
      "name": "remedium_in_personam",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ]
}

JSON · calculations, sources and exact data

JSONRead only
{
  "acts": [
    {
      "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
      "namespace": "urn:de:corpus:clir:bgb-core",
      "package": "de.bgb.core"
    },
    {
      "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
      "namespace": "urn:de:corpus:clir:bgb-fristen",
      "package": "de.bgb.fristen"
    },
    {
      "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
      "namespace": "urn:de:corpus:clir:bgb-1896",
      "package": "de.bgb_1896"
    },
    {
      "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
      "namespace": "urn:doctrine:clir:ius-privatum",
      "package": "doctrine.ius_privatum"
    }
  ],
  "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
  "jurisdiction": "Deutschland",
  "legalTime": "1900-01-01",
  "mode": "audit",
  "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
  "resultHash": "sha256:5933d7b19e64f6db35601cf6faab0c0e67e60b2db5d270b739146c176da6b0f4",
  "timezone": "Europe/Berlin"
}
evaluation SHA-256
sha256:faf0c10d64a5663adc9e2d83d1ae510ddeb01a4db2738bf1f2ba6316449869ef
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:c4",
      "kind": "entity_ref"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#contractus"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#petitio"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 4
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
    }
  ],
  "kind": "truth",
  "legalTime": "1900-01-01",
  "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
}

Condition

BGB 1896: die heutige Verjährung ist nicht festgestellt

Jurisdiction DeutschlandLaw as of 1900-01-01

Calculation result

Not established

Input parameters

What we are finding

Tag, mit dessen Ablauf die Verjährung des Anspruchs eintritt

a431 December 2023

Input facts

  • the debtor bound himself toward the creditor by the contract underlying the claim

    creditor: g4debitor: s4causa: c4
  • the claimant brings a claim against the defendant — the contested relation the question is about

    causa: c4actor: g4reus: s4
  • the claim arose (the right of action opened) that many full years before the day of the dispute; the term is given as a duration, not a date, so one case can be read at any date of the link's law

    causa: c4anni: 4
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:a4",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Date"
      },
      "value": "2023-12-31"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#contractus"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#petitio"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 4
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
    }
  ],
  "kind": "truth",
  "legalTime": "1900-01-01",
  "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
}
Why this resultApplied rules and conditions

Derivation path1 steps

  1. 1

    Query evaluation

    query

verified by the engine: 1 · case fact: 0 · Full graph: 16 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Applied rules9
de.bgb_1896
  • Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch)

    Identifier
    urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur
  • Vertrag

    Identifier
    urn:de:corpus:clir:bgb-1896#CausaExContractu
  • Die regelmäßige Verjährungsfrist beträgt dreißig Jahre

    Identifier
    urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht
  • Anspruch

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch
  • schuldrechtlicher Anspruch

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam
  • Schuldner

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio
  • Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft ist ein Vertrag erforderlich

    Identifier
    urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis
doctrine.ius_privatum
  • the right is effective when the remedy belongs to the claimant

    Identifier
    urn:doctrine:clir:ius-privatum#IusEfficax
  • the remedy given by the legal order belongs to the claimant

    Identifier
    urn:doctrine:clir:ius-privatum#RemediumCompetitDatum

Proof graph

Proof graph · 1 layer
query_evaluationverjaehrung_eingetreten_am

Proof nodes: 16 · assertion 2, rule_application 9, candidate_closure 4, query_evaluation 1

assertion · urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre
attributes
assertion
jahre
conclusion
Arguments
  • Identifier
    c4
    Type
    entity_ref
  • Type
    value
    type
    name
    Integer
    value
    4
Type
literal
Polarity
positive
Condition
actio_nata_ante_annos
evidence
—
Identifier
jahre
Type
assertion
Premises
—
sourceAnchors
—
rule_application · urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d
attributes
—
conclusion
Arguments
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
negative
Condition
verjaehrung_vollendet
evidence
—
Identifier
6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d
Type
rule_application
Premises
  • jahre
Rule
RegelmaessigeVerjaehrungNochNicht
sourceAnchors
—
substitution
v0
Identifier
c4
Type
entity_ref
v1
Type
value
type
name
Integer
value
4
assertion · urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag
attributes
assertion
vertrag
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
contractus
evidence
—
Identifier
vertrag
Type
assertion
Premises
—
sourceAnchors
—
rule_application · urn:proof:apply:CausaExContractu:9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc
attributes
—
conclusion
Arguments
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
causa_ex_contractu
evidence
—
Identifier
9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc
Type
rule_application
Premises
  • vertrag
Rule
CausaExContractu
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
attributes
—
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
schuldverhaeltnis
evidence
—
Identifier
e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Type
rule_application
Premises
  • vertrag
Rule
VertragBegruendetSchuldverhaeltnis
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4
attributes
—
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
anspruch
evidence
—
Identifier
a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4
Type
rule_application
Premises
  • e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Rule
SchuldverhaeltnisAnspruch
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_datur
evidence
—
Identifier
d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
Type
rule_application
Premises
  • a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4
Rule
AnspruchRemediumDatur
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_competit
evidence
—
Identifier
36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
Type
rule_application
Premises
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
Rule
RemediumCompetitDatum
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
ius_efficax
evidence
—
Identifier
6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
Type
rule_application
Premises
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
Rule
IusEfficax
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
attributes
strength
defeasible
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_in_personam
evidence
—
Identifier
4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
Type
rule_application
Premises
  • e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Rule
SchuldverhaeltnisInPersonam
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
rule_application · urn:proof:apply:SchuldverhaeltnisObligatio:6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d
attributes
—
conclusion
Arguments
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
obligatio
evidence
—
Identifier
6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d
Type
rule_application
Premises
  • e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90
Rule
SchuldverhaeltnisObligatio
sourceAnchors
—
substitution
v0
Identifier
g4
Type
entity_ref
v1
Identifier
s4
Type
entity_ref
v2
Identifier
c4
Type
entity_ref
candidate_closure · urn:proof:closure:ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9
attributes
allApplicableCandidateIds
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#remedium_competit"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
3
survivingCandidateIds
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_competit
evidence
—
Identifier
ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9
Type
candidate_closure
Premises
  • 36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8
sourceAnchors
—
candidate_closure · urn:proof:closure:c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b
attributes
allApplicableCandidateIds
  • 6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#ius_efficax"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
4
survivingCandidateIds
  • 6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
ius_efficax
evidence
—
Identifier
c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b
Type
candidate_closure
Premises
  • 6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd
sourceAnchors
—
candidate_closure · urn:proof:closure:d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced
attributes
allApplicableCandidateIds
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#remedium_datur"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
2
survivingCandidateIds
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_datur
evidence
—
Identifier
d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced
Type
candidate_closure
Premises
  • d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706
sourceAnchors
—
candidate_closure · urn:proof:closure:e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3
attributes
allApplicableCandidateIds
  • 4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
conflictKey
{"args":[{"id":"urn:de:bgb:p11:g4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:s4","kind":"entity_ref"},{"id":"urn:de:bgb:p11:c4","kind":"entity_ref"}],"predicate":"urn:doctrine:clir:ius-privatum#remedium_in_personam"}
evaluationInputSemanticHash
sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1
priorityGraphHash
sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6
programSemanticHash
sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457
stratum
1
survivingCandidateIds
  • 4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
conclusion
Arguments
  • Identifier
    g4
    Type
    entity_ref
  • Identifier
    s4
    Type
    entity_ref
  • Identifier
    c4
    Type
    entity_ref
Type
literal
Polarity
positive
Condition
remedium_in_personam
evidence
—
Identifier
e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3
Type
candidate_closure
Premises
  • 4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a
sourceAnchors
—
query_evaluation · urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt
attributes
—
conclusion
literal
Arguments
  • Identifier
    a4
    Type
    entity_ref
  • Type
    value
    type
    name
    Date
    value
    2023-12-31
Type
literal
Polarity
positive
Condition
verjaehrung_eingetreten_am
truthStatus
Not established
evidence
—
Identifier
case/VierJahre_1896/query/v4-heute-verjaehrt
Type
query_evaluation
Premises
—
sourceAnchors
—
Calendar and proof identifiers
Proof reference
case/VierJahre_1896/query/v4-heute-verjaehrt
Original reasoning · JSON
JSONRead only
{
  "evaluation": {
    "conflicts": [],
    "issues": [],
    "manifest": {
      "artifactHash": "sha256:5b73dc66560078d6d02b2f5dc9919fe9e0fb63d05e648b9ba524e1154a2c449f",
      "calendarSnapshot": "",
      "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
      "decisionTime": "2024-06-01T12:00:00Z",
      "evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "externalSnapshots": {},
      "id": "urn:manifest:oracle-1",
      "interpretations": [],
      "knowledgeTime": "2024-06-01T12:00:00Z",
      "legalTime": "1900-01-01",
      "lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "mode": "audit",
      "policies": {},
      "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "resolvedEditions": {},
      "semanticHash": "sha256:cb2d0635b0c07f680a54fc42b59a9d5ce1604612ac9b3184b5aae23e1edac5d0",
      "semantics": "law.core/0.2.1",
      "theoryHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "timezone": "Europe/Berlin"
    },
    "positions": [],
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 4
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
          },
          "evidence": [],
          "id": "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Integer"
              },
              "value": 4
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#contractus"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#causa_ex_contractu"
          },
          "evidence": [],
          "id": "urn:proof:apply:CausaExContractu:9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#CausaExContractu",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis"
          },
          "evidence": [],
          "id": "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#anspruch"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#IusEfficax",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#obligatio"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisObligatio:6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_competit\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 3,
            "survivingCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:closure:ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#ius_efficax\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 4,
            "survivingCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:closure:c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_datur\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 2,
            "survivingCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:closure:d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_in_personam\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 1,
            "survivingCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:closure:e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:de:bgb:p11:a4",
                  "kind": "entity_ref"
                },
                {
                  "kind": "value",
                  "type": {
                    "name": "urn:law:std#Date"
                  },
                  "value": "2023-12-31"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:f800c6c2ab2a45f11995f916a78340a40a3242d775eb3eb7fdd99968f2aa90e8",
      "roots": [
        "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt"
      ]
    },
    "resultHash": "sha256:5173018cc8dfa766e6881f3b28065ffd928e91cddd3da45630b774097b7b845e",
    "results": [
      {
        "conflicts": [],
        "evaluationStatus": "COMPUTED",
        "evidence": [],
        "id": "urn:result:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
        "judgmentRequests": [],
        "manifest": "urn:manifest:oracle-1",
        "missingInputs": [],
        "normativeStatusSupports": [],
        "proof": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
        "query": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
        "resultKind": "PROPOSITION",
        "sourceAnchors": [],
        "target": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am",
        "truthStatus": "NEITHER"
      }
    ],
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
  "rulesApplied": [
    "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
    "urn:de:corpus:clir:bgb-1896#CausaExContractu",
    "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
    "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
    "urn:doctrine:clir:ius-privatum#IusEfficax",
    "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum"
  ]
}
SourcesExcerpts: 5

paragraph/194

§ 194 Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch), unterliegt der Verjährung. Der Anspruch aus einem familienrechtlichen Verhältniß unterliegt der Verjährung nicht, soweit er auf die Herstellung des dem Verhältniß entsprechenden Zustandes für die Zukunft gerichtet ist.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:d6eb2d21893667f66864b2c8b06f80e8852e5ae0fb966a863e715922068d862b",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P194",
  "kind": "fragment",
  "locator": "paragraph/194",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:6474aa2a7e1f0e3d986a3ac80ca63a34b83a25619ad5db2004eb91505298dbbc",
      "language": "de",
      "status": "official",
      "text": "§ 194\nDas Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch), unterliegt der Verjährung.\nDer Anspruch aus einem familienrechtlichen Verhältniß unterliegt der Verjährung nicht, soweit er auf die Herstellung des dem Verhältniß entsprechenden Zustandes für die Zukunft gerichtet ist.\n"
    }
  ]
}

paragraph/195

§ 195 Die regelmäßige Verjährungsfrist beträgt dreißig Jahre.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:8a81acd785f976eaabdba546f4543d417c6d1ff2eef8acf6ca76099a71edd357",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P195",
  "kind": "fragment",
  "locator": "paragraph/195",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:06d01bf02e9f3967954cfd8f87137d43a1d771fca4439885d9edff34a5e7e8e9",
      "language": "de",
      "status": "official",
      "text": "§ 195\nDie regelmäßige Verjährungsfrist beträgt dreißig Jahre.\n"
    }
  ]
}

paragraph/198

§ 198 Die Verjährung beginnt mit der Entstehung des Anspruchs. Geht der Anspruch auf ein Unterlassen, so beginnt die Verjährung mit der Zuwiderhandlung.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:037fad6739ea7d56ff7b9d0d4dcb6a701d682e0a9c29ba2457c23da973c89d90",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P198",
  "kind": "fragment",
  "locator": "paragraph/198",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:d6ce3ed08efd46b998252501e15d3c1c88b69361afaf5a5509b97c3773f3a8f8",
      "language": "de",
      "status": "official",
      "text": "§ 198\nDie Verjährung beginnt mit der Entstehung des Anspruchs. Geht der Anspruch auf ein Unterlassen, so beginnt die Verjährung mit der Zuwiderhandlung.\n"
    }
  ]
}

paragraph/241

§ 241 Kraft des Schuldverhältnisses ist der Gläubiger berechtigt, von dem Schuldner eine Leistung zu fordern. Die Leistung kann auch in einem Unterlassen bestehen.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:f62095aa2b5c8da6074b03044927af0797462243e9a68da1c388525d7a17de3c",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P241",
  "kind": "fragment",
  "locator": "paragraph/241",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:06ce3c0749800023fe4b29d23668cfe3da139dceec73fc8ad76f4e19c590eba4",
      "language": "de",
      "status": "official",
      "text": "§ 241\nKraft des Schuldverhältnisses ist der Gläubiger berechtigt, von dem Schuldner eine Leistung zu fordern. Die Leistung kann auch in einem Unterlassen bestehen.\n"
    }
  ]
}

paragraph/305

§ 305 Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft sowie zur Aenderung des Inhalts eines Schuldverhältnisses ist ein Vertrag zwischen den Betheiligten erforderlich, soweit nicht das Gesetz ein Anderes vorschreibt.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:bb00dd1984cf2565662f7fb2ff77c2127c1f51cc631b56fcf109a9f82a22fb14",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P305",
  "kind": "fragment",
  "locator": "paragraph/305",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:2f476360e1db320eb53d1e6bcece14659f7d2d472c296a4b0d3bc1463a062ea9",
      "language": "de",
      "status": "official",
      "text": "§ 305\nZur Begründung eines Schuldverhältnisses durch Rechtsgeschäft sowie zur Aenderung des Inhalts eines Schuldverhältnisses ist ein Vertrag zwischen den Betheiligten erforderlich, soweit nicht das Gesetz ein Anderes vorschreibt.\n"
    }
  ]
}

Packages in the snapshot

  • de.bgb.core
  • de.bgb.fristen
  • de.bgb_1896
  • doctrine.ius_privatum
Technical dataFull response, parameters and checksums
Calculation status
COMPUTED
Full engine response
BGB 1896: die heutige Verjährung ist nicht festgestellt

Complete machine result · JSON

JSONRead only
{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "missingInputs": [],
    "truthStatus": "NEITHER"
  },
  "evaluation": {
    "conflicts": [],
    "issues": [],
    "manifest": {
      "artifactHash": "sha256:5b73dc66560078d6d02b2f5dc9919fe9e0fb63d05e648b9ba524e1154a2c449f",
      "calendarSnapshot": "",
      "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
      "decisionTime": "2024-06-01T12:00:00Z",
      "evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "externalSnapshots": {},
      "id": "urn:manifest:oracle-1",
      "interpretations": [],
      "knowledgeTime": "2024-06-01T12:00:00Z",
      "legalTime": "1900-01-01",
      "lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
      "mode": "audit",
      "policies": {},
      "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "resolvedEditions": {},
      "semanticHash": "sha256:cb2d0635b0c07f680a54fc42b59a9d5ce1604612ac9b3184b5aae23e1edac5d0",
      "semantics": "law.core/0.2.1",
      "theoryHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
      "timezone": "Europe/Berlin"
    },
    "positions": [],
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 4
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
          },
          "evidence": [],
          "id": "urn:proof:apply:RegelmaessigeVerjaehrungNochNicht:6ca0e7837845009ec542b0c11290c1dce5d613ee5f4f8c1593ab1a4e5a2aac5d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#jahre"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Integer"
              },
              "value": 4
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#contractus"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#causa_ex_contractu"
          },
          "evidence": [],
          "id": "urn:proof:apply:CausaExContractu:9910c0976a2020c1ca51bef1d9e46d76164911b21ab1b980b673328965506afc",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#CausaExContractu",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis"
          },
          "evidence": [],
          "id": "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#vertrag"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:de:corpus:clir:bgb-1896#anspruch"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisAnspruch:a609d3c61a1f31d6fd18dac83f9c7c41d033a75f04f6f91c44b1089d62107db4"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "rule": "urn:doctrine:clir:ius-privatum#IusEfficax",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#obligatio"
          },
          "evidence": [],
          "id": "urn:proof:apply:SchuldverhaeltnisObligatio:6aae1458cdf1aa09216dda0a430ec989c33018fce2d82986135cedd75b408c7d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:VertragBegruendetSchuldverhaeltnis:e7d53358441ac9fc07350786769858a438cf0a4d46cdaed8e4bdd10c1861be90"
          ],
          "rule": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:de:bgb:p11:g4",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:de:bgb:p11:s4",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:de:bgb:p11:c4",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_competit\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 3,
            "survivingCandidateIds": [
              "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_competit"
          },
          "evidence": [],
          "id": "urn:proof:closure:ab49e289649b0c7b299ae3af4a38683fff63235bd0705fd0d326c9f8f61e52e9",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:RemediumCompetitDatum:36729e5b335a0d97ae4a5babffe1406312beb7c02d9460bb2922131b5baf07d8"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#ius_efficax\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 4,
            "survivingCandidateIds": [
              "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#ius_efficax"
          },
          "evidence": [],
          "id": "urn:proof:closure:c072bf0a2caec1573c624c713246ac70ef547e5720c8dc4859234950645a278b",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:IusEfficax:6387e197569d8d73af784317f44d5d3e37e4537657fb89a6575319ca2a966bfd"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_datur\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 2,
            "survivingCandidateIds": [
              "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_datur"
          },
          "evidence": [],
          "id": "urn:proof:closure:d03eac116c202ec78d1d6e927bc044cdc254b9660208e6cc1bd8959f9fdb6ced",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:AnspruchRemediumDatur:d96dd16fa87d2a4368004bd849759bb27ab4a609bc641a88db0c06459a09e706"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:de:bgb:p11:g4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:s4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:p11:c4\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:doctrine:clir:ius-privatum#remedium_in_personam\"}",
            "evaluationInputSemanticHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
            "priorityGraphHash": "sha256:58d65b711bddd0dd9aafc2522e89ff89444832e76061b73fc7419c5efbe5bcd6",
            "programSemanticHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
            "stratum": 1,
            "survivingCandidateIds": [
              "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:de:bgb:p11:g4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:s4",
                "kind": "entity_ref"
              },
              {
                "id": "urn:de:bgb:p11:c4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:doctrine:clir:ius-privatum#remedium_in_personam"
          },
          "evidence": [],
          "id": "urn:proof:closure:e416b1399f8113c6f68ee46ee9b4c5861231f696c0b9717c0d0be89ec40382e3",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:SchuldverhaeltnisInPersonam:4ed919f9069eb7ddfec3d061af4d15cf98f24833715e015750fa1e53bc4cda8a"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:de:bgb:p11:a4",
                  "kind": "entity_ref"
                },
                {
                  "kind": "value",
                  "type": {
                    "name": "urn:law:std#Date"
                  },
                  "value": "2023-12-31"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:f800c6c2ab2a45f11995f916a78340a40a3242d775eb3eb7fdd99968f2aa90e8",
      "roots": [
        "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt"
      ]
    },
    "resultHash": "sha256:5173018cc8dfa766e6881f3b28065ffd928e91cddd3da45630b774097b7b845e",
    "results": [
      {
        "conflicts": [],
        "evaluationStatus": "COMPUTED",
        "evidence": [],
        "id": "urn:result:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
        "judgmentRequests": [],
        "manifest": "urn:manifest:oracle-1",
        "missingInputs": [],
        "normativeStatusSupports": [],
        "proof": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
        "query": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
        "resultKind": "PROPOSITION",
        "sourceAnchors": [],
        "target": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am",
        "truthStatus": "NEITHER"
      }
    ],
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
  "provenance": {
    "acts": [
      {
        "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
        "namespace": "urn:de:corpus:clir:bgb-core",
        "package": "de.bgb.core"
      },
      {
        "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
        "namespace": "urn:de:corpus:clir:bgb-fristen",
        "package": "de.bgb.fristen"
      },
      {
        "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
        "namespace": "urn:de:corpus:clir:bgb-1896",
        "package": "de.bgb_1896"
      },
      {
        "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
        "namespace": "urn:doctrine:clir:ius-privatum",
        "package": "doctrine.ius_privatum"
      }
    ],
    "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
    "jurisdiction": "Deutschland",
    "legalTime": "1900-01-01",
    "mode": "audit",
    "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
    "resultHash": "sha256:5173018cc8dfa766e6881f3b28065ffd928e91cddd3da45630b774097b7b845e",
    "timezone": "Europe/Berlin"
  },
  "rulesApplied": [
    "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
    "urn:de:corpus:clir:bgb-1896#CausaExContractu",
    "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
    "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
    "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
    "urn:doctrine:clir:ius-privatum#IusEfficax",
    "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum"
  ]
}

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

JSONRead only
{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:63436266e1cad37b41baa976f497e4a05b4884c5e134ad380fd1120cf24ee20e"
  },
  "steps": [
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:de:bgb:p11:a4",
              "kind": "entity_ref"
            },
            {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Date"
              },
              "value": "2023-12-31"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
        },
        "truthStatus": "NEITHER"
      },
      "id": "urn:proof:query:ein-fall-zwei-jahrhunderte#case/VierJahre_1896/query/v4-heute-verjaehrt",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch)"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The holder of an Anspruch is given a remedy against the obligor (§ 194)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "defeasible"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#CausaExContractu",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Vertrag"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "A claim arising from a contract (§ 305)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrungNochNicht",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Die regelmäßige Verjährungsfrist beträgt dreißig Jahre"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "A claim that arose fewer than thirty years ago is not yet time-barred (§ 195; § 198)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Anspruch"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The creditor may require performance from the debtor — Anspruch (§ 241; § 194)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "schuldrechtlicher Anspruch"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The claim to performance of an obligation is a personal remedy (§ 241)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "defeasible"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Schuldner"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "The debtor of an obligation is the debtor under this law (§ 241)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis",
      "kind": "rule",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft ist ein Vertrag erforderlich"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "A contract creates an obligation: the creditor may require performance from the debtor (§ 305; § 241)"
        }
      ],
      "package": "urn:de:corpus:clir:bgb-1896",
      "strength": "strict"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#anspruch",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Anspruch"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "the right to require another to do or refrain from an act (§ 194)"
        }
      ],
      "name": "anspruch",
      "package": "urn:de:corpus:clir:bgb-1896",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-1896#anspruch/arg/glaeubiger",
          "labels": [],
          "name": "glaeubiger",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#anspruch/arg/schuldner",
          "labels": [],
          "name": "schuldner",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#anspruch/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Schuldverhältniß"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "an obligation between creditor and debtor (§ 241, § 305)"
        }
      ],
      "name": "schuldverhaeltnis",
      "package": "urn:de:corpus:clir:bgb-1896",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis/arg/glaeubiger",
          "labels": [],
          "name": "glaeubiger",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis/arg/schuldner",
          "labels": [],
          "name": "schuldner",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Persona"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-1896#schuldverhaeltnis/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Verjährung vollendet"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "the thirty-year limitation of the claim has been completed (§ 195, § 198)"
        }
      ],
      "name": "verjaehrung_vollendet",
      "package": "urn:de:corpus:clir:bgb-1896",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:de:corpus:clir:bgb-1896#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "official",
          "text": "Tag, mit dessen Ablauf die Verjährung des Anspruchs eintritt"
        },
        {
          "language": "en",
          "status": "unofficial",
          "text": "day at whose end limitation of the claim occurs"
        }
      ],
      "name": "verjaehrung_eingetreten_am",
      "package": "urn:de:corpus:clir:bgb-fristen",
      "parameters": [
        {
          "id": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:de:corpus:clir:bgb-fristen#Anspruch"
          }
        },
        {
          "id": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am/arg/tag",
          "labels": [],
          "name": "tag",
          "type": {
            "name": "urn:law:std#Date"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#Causa",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "притязание как основание тяжбы: договор, деликт, собственность, наследство — одно спорное отношение между двумя лицами"
        }
      ],
      "name": "Causa",
      "package": "urn:doctrine:clir:ius-privatum"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#IusEfficax",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Право действенно, когда истцу принадлежит средство защиты"
        }
      ],
      "package": "urn:doctrine:clir:ius-privatum",
      "strength": "defeasible"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#Persona",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "лицо частного права: истец, ответчик, собственник, должник, кредитор, наследник"
        }
      ],
      "name": "Persona",
      "package": "urn:doctrine:clir:ius-privatum"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#RemediumCompetitDatum",
      "kind": "rule",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "Данное правопорядком средство защиты принадлежит истцу"
        }
      ],
      "package": "urn:doctrine:clir:ius-privatum",
      "strength": "defeasible"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "притязание возникло (право на иск открылось) столько полных лет назад на день спора; срок дан длительностью, а не датой, чтобы один казус читался на любую дату права звена"
        }
      ],
      "name": "actio_nata_ante_annos",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos/arg/anni",
          "labels": [],
          "name": "anni",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#causa_ex_contractu",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "притязание возникло из договора"
        }
      ],
      "name": "causa_ex_contractu",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#causa_ex_contractu/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#contractus",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "должник обязался перед кредитором по договору, лежащему в основании притязания"
        }
      ],
      "name": "contractus",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#contractus/arg/creditor",
          "labels": [],
          "name": "creditor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#contractus/arg/debitor",
          "labels": [],
          "name": "debitor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#contractus/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#ius_efficax",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "право действенно: средство защиты дано и не отнято"
        }
      ],
      "name": "ius_efficax",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#ius_efficax/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#ius_efficax/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#ius_efficax/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#obligatio",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "должник обязан перед кредитором по этому притязанию"
        }
      ],
      "name": "obligatio",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#obligatio/arg/debitor",
          "labels": [],
          "name": "debitor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#obligatio/arg/creditor",
          "labels": [],
          "name": "creditor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#obligatio/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#petitio",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "истец предъявляет к ответчику притязание — спорное отношение, о котором задаётся вопрос"
        }
      ],
      "name": "petitio",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#petitio/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#petitio/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#petitio/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#remedium_competit",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "средство защиты принадлежит истцу против ответчика: дано ему самому либо перешло к нему или против него по наследству"
        }
      ],
      "name": "remedium_competit",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_competit/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_competit/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_competit/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#remedium_datur",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "правопорядок даёт истцу средство защиты против ответчика по этому притязанию"
        }
      ],
      "name": "remedium_datur",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_datur/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_datur/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_datur/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru-KZ",
          "status": "unofficial",
          "text": "средство защиты личное: истец требует от ответчика дать, сделать, предоставить"
        }
      ],
      "name": "remedium_in_personam",
      "package": "urn:doctrine:clir:ius-privatum",
      "parameters": [
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam/arg/actor",
          "labels": [],
          "name": "actor",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam/arg/reus",
          "labels": [],
          "name": "reus",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Persona"
          }
        },
        {
          "id": "urn:doctrine:clir:ius-privatum#remedium_in_personam/arg/causa",
          "labels": [],
          "name": "causa",
          "type": {
            "name": "urn:doctrine:clir:ius-privatum#Causa"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ]
}

JSON · calculations, sources and exact data

JSONRead only
{
  "acts": [
    {
      "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
      "namespace": "urn:de:corpus:clir:bgb-core",
      "package": "de.bgb.core"
    },
    {
      "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
      "namespace": "urn:de:corpus:clir:bgb-fristen",
      "package": "de.bgb.fristen"
    },
    {
      "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
      "namespace": "urn:de:corpus:clir:bgb-1896",
      "package": "de.bgb_1896"
    },
    {
      "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
      "namespace": "urn:doctrine:clir:ius-privatum",
      "package": "doctrine.ius_privatum"
    }
  ],
  "caseHash": "sha256:23baf316ba6bbac71641091759bcdaa6a0f86f17f7c310167f33d82be2a2a8c1",
  "jurisdiction": "Deutschland",
  "legalTime": "1900-01-01",
  "mode": "audit",
  "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
  "resultHash": "sha256:5173018cc8dfa766e6881f3b28065ffd928e91cddd3da45630b774097b7b845e",
  "timezone": "Europe/Berlin"
}
evaluation SHA-256
sha256:3c75ef7885d7b7b8eacffa8b072fcfdfc9dbfb14d9b9adc99d357af9371560f1
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:a4",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Date"
      },
      "value": "2023-12-31"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#contractus"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:g4",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:s4",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#petitio"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:c4",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 4
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
    }
  ],
  "kind": "truth",
  "legalTime": "1900-01-01",
  "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
}

Nach dem Text von 1896 ist die dreißigjährige Frist nicht vollendet. Die heutige Verjährung antwortet auf diesem Dossier nicht.

Condition

Heutiges BGB: die Verjährung von 1896 greift nicht

Jurisdiction DeutschlandLaw as of 2026-09-17

Calculation result

Not established

Input parameters

What we are finding

Verjährung vollendet

c4

Input facts

  • Tag, an dem der Anspruch entstanden ist (§ 199 Abs. 1 Nr. 1, § 200)

    a: atag: 15 March 2020
  • Tag, an dem der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt hat (§ 199 Abs. 1 Nr. 2) — festgestellte Tatsache, im Fall origin adjudicated

    a: atag: 15 March 2020
  • Kein Hemmungstatbestand der §§ 203–208 festgestellt — ausdrückliche Angabe des Falls; das Fehlen einer Angabe ist keine Verneinung

    a: a
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:c4",
      "kind": "entity_ref"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-core#anspruch_entstanden_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#kenntnis_erlangt_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#keine_hemmung"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-17",
  "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
}
Why this resultApplied rules and conditions

Derivation path1 steps

  1. 1

    Query evaluation

    query

verified by the engine: 1 · case fact: 0 · Full graph: 24 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Applied rules20
de.bgb.fristen
  • Für den Tag der Entstehung des Anspruchs wird der Schluss des Jahres gesucht (§ 199 Abs. 1 Nr. 1)

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeGesuchtFuerEntstehung
  • Für den Tag der Kenntniserlangung wird der Schluss des Jahres gesucht (§ 199 Abs. 1 Nr. 2)

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeGesuchtFuerKenntnis
  • Schluss des Jahres (§ 199 Abs. 1): der Kandidat ist der 31. Dezember, wenn sein Monat 31 Tage hat, der folgende Monat 31 Tage und der übernächste höchstens 29 — Dezember, Januar, Februar

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeIstDezember
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 0 — Ende des 0. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat00
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 1 — Ende des 1. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat01
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 2 — Ende des 2. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat02
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 3 — Ende des 3. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat03
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 4 — Ende des 4. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat04
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 5 — Ende des 5. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat05
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 6 — Ende des 6. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat06
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 7 — Ende des 7. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat07
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 8 — Ende des 8. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat08
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 9 — Ende des 9. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat09
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 10 — Ende des 10. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat10
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 11 — Ende des 11. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat11
  • Nach Eintritt der Verjährung ist der Schuldner berechtigt, die Leistung zu verweigern (§ 214 Abs. 1)

    Identifier
    urn:de:corpus:clir:bgb-fristen#Leistungsverweigerungsrecht214
  • Die regelmäßige Verjährungsfrist beträgt drei Jahre (§ 195) — Jahresschritt vom Schluss des Jahres (§ 188 Abs. 2, Politik BGB_FRISTEN_KALENDER)

    Identifier
    urn:de:corpus:clir:bgb-fristen#RegelmaessigeVerjaehrungsfrist
  • Ohne Hemmung tritt die Verjährung mit dem Ende der Verjährungsfrist ein

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungOhneHemmung
  • Die regelmäßige Verjährungsfrist beginnt mit dem Schluss des Jahres, in dem der Anspruch entstanden ist und der Gläubiger Kenntnis erlangt hat (§ 199 Abs. 1 Nr. 1 und 2) — Kenntnis nicht nach der Entstehung: Schluss des Entstehungsjahres

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungsbeginnUltimoDerEntstehung
  • Ohne festgestellte Hemmung endet die Verjährungsfrist mit der regelmäßigen Frist (§§ 195, 199; § 209 greift nicht)

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungsfristEndeOhneHemmung

Proof graph

Proof graph · 1 layer
query_evaluationverjaehrung_vollendet

Proof nodes: 24 · assertion 3, rule_application 20, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓
Calendar and proof identifiers
Proof reference
case/VierJahre_Heute/query/v4-1896-vollendet
Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓
SourcesExcerpts: 4

paragraph/195

§ 195 Regelmäßige Verjährungsfrist Die regelmäßige Verjährungsfrist beträgt drei Jahre.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:53e15660089df268ecd95ba8fdcc0d8e73cba45a9e68c5cc802f87a60f03db9b",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P195",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 195 Regelmäßige Verjährungsfrist"
    }
  ],
  "locator": "paragraph/195",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:3a37767ed679ef6124cbd5c7272a5a798618598a194829b5a5ad5b10c1cfe898",
      "language": "de",
      "status": "official",
      "text": "§ 195 Regelmäßige Verjährungsfrist\nDie regelmäßige Verjährungsfrist beträgt drei Jahre.\n"
    }
  ],
  "visibility": "public"
}

paragraph/199

§ 199 Beginn der regelmäßigen Verjährungsfrist und Verjährungshöchstfristen (1) Die regelmäßige Verjährungsfrist beginnt, soweit nicht ein anderer Verjährungsbeginn bestimmt ist, mit dem Schluss des Jahres, in dem 1. der Anspruch entstanden ist und 2. der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt oder ohne grobe Fahrlässigkeit erlangen müsste. (2) Schadensersatzansprüche, die auf der Verletzung des Lebens, des Körpers, der Gesundheit oder der Freiheit beruhen, verjähren ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an. (3) Sonstige Schadensersatzansprüche verjähren 1. ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an und 2. ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an. Maßgeblich ist die früher endende Frist. (3a) Ansprüche, die auf einem Erbfall beruhen oder deren Geltendmachung die Kenntnis einer Verfügung von Todes wegen voraussetzt, verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Entstehung des Anspruchs an. (4) Andere Ansprüche als die nach den Absätzen 2 bis 3a verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an. (5) Geht der Anspruch auf ein Unterlassen, so tritt an die Stelle der Entstehung die Zuwiderhandlung.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:dbc2b5bc4ee946d17bb8636b8d724e0168033a99dc35c94f5c6eb2b53f2b838c",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P199",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 199 Beginn der regelmäßigen Verjährungsfrist und Verjährungshöchstfristen"
    }
  ],
  "locator": "paragraph/199",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:2916e6a9e86d21f331739cafd8a135c863d9e0bf3087e8a13fb6c60d7f2df4da",
      "language": "de",
      "status": "official",
      "text": "§ 199 Beginn der regelmäßigen Verjährungsfrist und Verjährungshöchstfristen\n(1) Die regelmäßige Verjährungsfrist beginnt, soweit nicht ein anderer Verjährungsbeginn bestimmt ist, mit dem Schluss des Jahres, in dem 1. der Anspruch entstanden ist und\n2. der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt oder ohne grobe Fahrlässigkeit erlangen müsste.\n(2) Schadensersatzansprüche, die auf der Verletzung des Lebens, des Körpers, der Gesundheit oder der Freiheit beruhen, verjähren ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an.\n(3) Sonstige Schadensersatzansprüche verjähren 1. ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an und\n2. ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an.\nMaßgeblich ist die früher endende Frist.\n(3a) Ansprüche, die auf einem Erbfall beruhen oder deren Geltendmachung die Kenntnis einer Verfügung von Todes wegen voraussetzt, verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Entstehung des Anspruchs an.\n(4) Andere Ansprüche als die nach den Absätzen 2 bis 3a verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an.\n(5) Geht der Anspruch auf ein Unterlassen, so tritt an die Stelle der Entstehung die Zuwiderhandlung.\n"
    }
  ],
  "visibility": "public"
}

paragraph/209

§ 209 Wirkung der Hemmung Der Zeitraum, während dessen die Verjährung gehemmt ist, wird in die Verjährungsfrist nicht eingerechnet.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:9d3c1967977b0f7d0bb0d9a7d89228d863b64a3cc4a8d54a9f351d8c9205188c",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P209",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 209 Wirkung der Hemmung"
    }
  ],
  "locator": "paragraph/209",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:d3a5349ff97577ebae64e94327f4d26341f8d6fbce09a12c6615b96f59d9b9be",
      "language": "de",
      "status": "official",
      "text": "§ 209 Wirkung der Hemmung\nDer Zeitraum, während dessen die Verjährung gehemmt ist, wird in die Verjährungsfrist nicht eingerechnet.\n"
    }
  ],
  "visibility": "public"
}

paragraph/214

§ 214 Wirkung der Verjährung (1) Nach Eintritt der Verjährung ist der Schuldner berechtigt, die Leistung zu verweigern. (2) Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden, auch wenn in Unkenntnis der Verjährung geleistet worden ist. Das Gleiche gilt von einem vertragsmäßigen Anerkenntnis sowie einer Sicherheitsleistung des Schuldners.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:12d652436994db82ae2d39189be9bf31cdc979290895389a4620639b3f937994",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P214",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 214 Wirkung der Verjährung"
    }
  ],
  "locator": "paragraph/214",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:1f3cff3f6a0d4efb9796bd6eff87447e953e444a38ba0121caedb177cf59002e",
      "language": "de",
      "status": "official",
      "text": "§ 214 Wirkung der Verjährung\n(1) Nach Eintritt der Verjährung ist der Schuldner berechtigt, die Leistung zu verweigern.\n(2) Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden, auch wenn in Unkenntnis der Verjährung geleistet worden ist. Das Gleiche gilt von einem vertragsmäßigen Anerkenntnis sowie einer Sicherheitsleistung des Schuldners.\n"
    }
  ],
  "visibility": "public"
}

Packages in the snapshot

  • de.bgb.core
  • de.bgb.fristen
  • de.bgb_1896
  • doctrine.ius_privatum
Technical dataFull response, parameters and checksums
Calculation status
COMPUTED
Full engine response
Heutiges BGB: die Verjährung von 1896 greift nicht

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

JSONRead only
{
  "acts": [
    {
      "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
      "namespace": "urn:de:corpus:clir:bgb-core",
      "package": "de.bgb.core"
    },
    {
      "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
      "namespace": "urn:de:corpus:clir:bgb-fristen",
      "package": "de.bgb.fristen"
    },
    {
      "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
      "namespace": "urn:de:corpus:clir:bgb-1896",
      "package": "de.bgb_1896"
    },
    {
      "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
      "namespace": "urn:doctrine:clir:ius-privatum",
      "package": "doctrine.ius_privatum"
    }
  ],
  "caseHash": "sha256:7867b02de68725c41390953d083627fd6c1b20397d124ff92e45a39ea900cb55",
  "jurisdiction": "Deutschland",
  "legalTime": "2026-09-17",
  "mode": "audit",
  "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
  "resultHash": "sha256:859d09f28f5f403697aa0354fdd211436ab05ee287814d33503250008b0ddc4f",
  "timezone": "Europe/Berlin"
}
evaluation SHA-256
sha256:f82fb13819348b015656de8e49c184a519ab6e5797a901855129027cea8a2333
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:c4",
      "kind": "entity_ref"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-core#anspruch_entstanden_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#kenntnis_erlangt_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#keine_hemmung"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-17",
  "predicate": "urn:de:corpus:clir:bgb-1896#verjaehrung_vollendet"
}

Condition

Heutiges BGB: die Verjährung ist am 31. Dezember 2023 eingetreten

Jurisdiction DeutschlandLaw as of 2026-09-17

Calculation result

Established

Input parameters

What we are finding

Tag, mit dessen Ablauf die Verjährung des Anspruchs eintritt

a431 December 2023

Input facts

  • Tag, an dem der Anspruch entstanden ist (§ 199 Abs. 1 Nr. 1, § 200)

    a: atag: 15 March 2020
  • Tag, an dem der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt hat (§ 199 Abs. 1 Nr. 2) — festgestellte Tatsache, im Fall origin adjudicated

    a: atag: 15 March 2020
  • Kein Hemmungstatbestand der §§ 203–208 festgestellt — ausdrückliche Angabe des Falls; das Fehlen einer Angabe ist keine Verneinung

    a: a
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:a4",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Date"
      },
      "value": "2023-12-31"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-core#anspruch_entstanden_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#kenntnis_erlangt_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#keine_hemmung"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-17",
  "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
}
Why this resultApplied rules and conditions

Derivation path11 steps

  1. 1

    Tag, an dem der Anspruch entstanden ist (§ 199 Abs. 1 Nr. 1, § 200)

    a: urn:de:bgb:p11:a4; tag: 15 March 2020

    case fact
  2. 2

    Für den Tag der Entstehung des Anspruchs wird der Schluss des Jahres gesucht (§ 199 Abs. 1 Nr. 1)

    für diesen Tag wird der Schluss des Jahres gesucht (§ 199 Abs. 1): a: urn:de:bgb:p11:a4; tag: 15 March 2020

    para. 199

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeGesuchtFuerEntstehung
    rule
  3. 3

    Schluss des Jahres (§ 199 Abs. 1): Kandidat 9 — Ende des 9. Monats nach dem Monat des Tages

    31 December 2020 = month end of(add calendar period(month start of(15 March 2020), 9 calendar_month))

    para. 199

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat09
    rule
  4. 4

    Schluss des Jahres (§ 199 Abs. 1): der Kandidat ist der 31. Dezember, wenn sein Monat 31 Tage hat, der folgende Monat 31 Tage und der übernächste höchstens 29 — Dezember, Januar, Februar

    Schluss des Jahres, in dem der Tag liegt (§ 199 Abs. 1): der 31. Dezember desselben Jahres: a: urn:de:bgb:p11:a4; tag: 15 March 2020; ultimo: 31 December 2020

    para. 199

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeIstDezember
    rule
  5. 5

    Kein Hemmungstatbestand der §§ 203–208 festgestellt — ausdrückliche Angabe des Falls; das Fehlen einer Angabe ist keine Verneinung

    a: urn:de:bgb:p11:a4

    case fact
  6. 6

    Tag, an dem der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt hat (§ 199 Abs. 1 Nr. 2) — festgestellte Tatsache, im Fall origin adjudicated

    a: urn:de:bgb:p11:a4; tag: 15 March 2020

    case fact
  7. 7

    Die regelmäßige Verjährungsfrist beginnt mit dem Schluss des Jahres, in dem der Anspruch entstanden ist und der Gläubiger Kenntnis erlangt hat (§ 199 Abs. 1 Nr. 1 und 2) — Kenntnis nicht nach der Entstehung: Schluss des Entstehungsjahres

    Schluss des Jahres, mit dem die regelmäßige Verjährungsfrist beginnt (§ 199 Abs. 1): a: urn:de:bgb:p11:a4; tag: 31 December 2020

    para. 199

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungsbeginnUltimoDerEntstehung
    rule
  8. 8

    Die regelmäßige Verjährungsfrist beträgt drei Jahre (§ 195) — Jahresschritt vom Schluss des Jahres (§ 188 Abs. 2, Politik BGB_FRISTEN_KALENDER)

    31 December 2023 = add calendar period(31 December 2020, 3 calendar_year)

    para. 195

    Identifier
    urn:de:corpus:clir:bgb-fristen#RegelmaessigeVerjaehrungsfrist
    rule
  9. 9

    Ohne festgestellte Hemmung endet die Verjährungsfrist mit der regelmäßigen Frist (§§ 195, 199; § 209 greift nicht)

    Tag, mit dessen Ablauf die Verjährungsfrist unter Berücksichtigung der Hemmung endet (§ 209): a: urn:de:bgb:p11:a4; tag: 31 December 2023

    para. 209

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungsfristEndeOhneHemmung
    rule
  10. 10

    Ohne Hemmung tritt die Verjährung mit dem Ende der Verjährungsfrist ein

    Tag, mit dessen Ablauf die Verjährung des Anspruchs eintritt: a: urn:de:bgb:p11:a4; tag: 31 December 2023

    para. 209

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungOhneHemmung
    rule
  11. 11

    Query evaluation

    query

verified by the engine: 8 · case fact: 3 · Full graph: 24 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

de.bgb.fristen
  • Für den Tag der Entstehung des Anspruchs wird der Schluss des Jahres gesucht (§ 199 Abs. 1 Nr. 1)

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeGesuchtFuerEntstehung
  • Schluss des Jahres (§ 199 Abs. 1): der Kandidat ist der 31. Dezember, wenn sein Monat 31 Tage hat, der folgende Monat 31 Tage und der übernächste höchstens 29 — Dezember, Januar, Februar

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeIstDezember
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 9 — Ende des 9. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat09
  • Die regelmäßige Verjährungsfrist beträgt drei Jahre (§ 195) — Jahresschritt vom Schluss des Jahres (§ 188 Abs. 2, Politik BGB_FRISTEN_KALENDER)

    Identifier
    urn:de:corpus:clir:bgb-fristen#RegelmaessigeVerjaehrungsfrist
  • Ohne Hemmung tritt die Verjährung mit dem Ende der Verjährungsfrist ein

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungOhneHemmung
  • Die regelmäßige Verjährungsfrist beginnt mit dem Schluss des Jahres, in dem der Anspruch entstanden ist und der Gläubiger Kenntnis erlangt hat (§ 199 Abs. 1 Nr. 1 und 2) — Kenntnis nicht nach der Entstehung: Schluss des Entstehungsjahres

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungsbeginnUltimoDerEntstehung
  • Ohne festgestellte Hemmung endet die Verjährungsfrist mit der regelmäßigen Frist (§§ 195, 199; § 209 greift nicht)

    Identifier
    urn:de:corpus:clir:bgb-fristen#VerjaehrungsfristEndeOhneHemmung
Other rules in the evaluation13

Applied in the overall evaluation, but not on the proof path for this answer.

de.bgb.fristen
  • Für den Tag der Kenntniserlangung wird der Schluss des Jahres gesucht (§ 199 Abs. 1 Nr. 2)

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeGesuchtFuerKenntnis
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 0 — Ende des 0. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat00
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 1 — Ende des 1. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat01
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 2 — Ende des 2. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat02
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 3 — Ende des 3. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat03
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 4 — Ende des 4. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat04
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 5 — Ende des 5. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat05
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 6 — Ende des 6. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat06
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 7 — Ende des 7. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat07
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 8 — Ende des 8. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat08
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 10 — Ende des 10. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat10
  • Schluss des Jahres (§ 199 Abs. 1): Kandidat 11 — Ende des 11. Monats nach dem Monat des Tages

    Identifier
    urn:de:corpus:clir:bgb-fristen#JahresendeKandidat11
  • Nach Eintritt der Verjährung ist der Schuldner berechtigt, die Leistung zu verweigern (§ 214 Abs. 1)

    Identifier
    urn:de:corpus:clir:bgb-fristen#Leistungsverweigerungsrecht214

Proof graph

Proof graph · 8 layer
query_evaluationverjaehrung_eingetreten_amrule_applicationVerjaehrungOhneHemmungrule_applicationVerjaehrungsfristEndeOhneHemmungassertionkeine_hemmungrule_applicationRegelmaessigeVerjaehrungsfristrule_applicationVerjaehrungsbeginnUltimoDerEntstehunrule_applicationJahresendeIstDezemberassertionanspruch_entstanden_amassertionkenntnis_erlangt_amrule_applicationJahresendeKandidat09rule_applicationJahresendeGesuchtFuerEntstehung

Proof nodes: 24 · assertion 3, rule_application 20, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓
Calendar and proof identifiers
Proof reference
case/VierJahre_Heute/query/v4-heute-verjaehrt
Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓
SourcesExcerpts: 4

paragraph/195

§ 195 Regelmäßige Verjährungsfrist Die regelmäßige Verjährungsfrist beträgt drei Jahre.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:53e15660089df268ecd95ba8fdcc0d8e73cba45a9e68c5cc802f87a60f03db9b",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P195",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 195 Regelmäßige Verjährungsfrist"
    }
  ],
  "locator": "paragraph/195",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:3a37767ed679ef6124cbd5c7272a5a798618598a194829b5a5ad5b10c1cfe898",
      "language": "de",
      "status": "official",
      "text": "§ 195 Regelmäßige Verjährungsfrist\nDie regelmäßige Verjährungsfrist beträgt drei Jahre.\n"
    }
  ],
  "visibility": "public"
}

paragraph/199

§ 199 Beginn der regelmäßigen Verjährungsfrist und Verjährungshöchstfristen (1) Die regelmäßige Verjährungsfrist beginnt, soweit nicht ein anderer Verjährungsbeginn bestimmt ist, mit dem Schluss des Jahres, in dem 1. der Anspruch entstanden ist und 2. der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt oder ohne grobe Fahrlässigkeit erlangen müsste. (2) Schadensersatzansprüche, die auf der Verletzung des Lebens, des Körpers, der Gesundheit oder der Freiheit beruhen, verjähren ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an. (3) Sonstige Schadensersatzansprüche verjähren 1. ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an und 2. ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an. Maßgeblich ist die früher endende Frist. (3a) Ansprüche, die auf einem Erbfall beruhen oder deren Geltendmachung die Kenntnis einer Verfügung von Todes wegen voraussetzt, verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Entstehung des Anspruchs an. (4) Andere Ansprüche als die nach den Absätzen 2 bis 3a verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an. (5) Geht der Anspruch auf ein Unterlassen, so tritt an die Stelle der Entstehung die Zuwiderhandlung.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:dbc2b5bc4ee946d17bb8636b8d724e0168033a99dc35c94f5c6eb2b53f2b838c",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P199",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 199 Beginn der regelmäßigen Verjährungsfrist und Verjährungshöchstfristen"
    }
  ],
  "locator": "paragraph/199",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:2916e6a9e86d21f331739cafd8a135c863d9e0bf3087e8a13fb6c60d7f2df4da",
      "language": "de",
      "status": "official",
      "text": "§ 199 Beginn der regelmäßigen Verjährungsfrist und Verjährungshöchstfristen\n(1) Die regelmäßige Verjährungsfrist beginnt, soweit nicht ein anderer Verjährungsbeginn bestimmt ist, mit dem Schluss des Jahres, in dem 1. der Anspruch entstanden ist und\n2. der Gläubiger von den den Anspruch begründenden Umständen und der Person des Schuldners Kenntnis erlangt oder ohne grobe Fahrlässigkeit erlangen müsste.\n(2) Schadensersatzansprüche, die auf der Verletzung des Lebens, des Körpers, der Gesundheit oder der Freiheit beruhen, verjähren ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an.\n(3) Sonstige Schadensersatzansprüche verjähren 1. ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an und\n2. ohne Rücksicht auf ihre Entstehung und die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Begehung der Handlung, der Pflichtverletzung oder dem sonstigen, den Schaden auslösenden Ereignis an.\nMaßgeblich ist die früher endende Frist.\n(3a) Ansprüche, die auf einem Erbfall beruhen oder deren Geltendmachung die Kenntnis einer Verfügung von Todes wegen voraussetzt, verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in 30 Jahren von der Entstehung des Anspruchs an.\n(4) Andere Ansprüche als die nach den Absätzen 2 bis 3a verjähren ohne Rücksicht auf die Kenntnis oder grob fahrlässige Unkenntnis in zehn Jahren von ihrer Entstehung an.\n(5) Geht der Anspruch auf ein Unterlassen, so tritt an die Stelle der Entstehung die Zuwiderhandlung.\n"
    }
  ],
  "visibility": "public"
}

paragraph/209

§ 209 Wirkung der Hemmung Der Zeitraum, während dessen die Verjährung gehemmt ist, wird in die Verjährungsfrist nicht eingerechnet.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:9d3c1967977b0f7d0bb0d9a7d89228d863b64a3cc4a8d54a9f351d8c9205188c",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P209",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 209 Wirkung der Hemmung"
    }
  ],
  "locator": "paragraph/209",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:d3a5349ff97577ebae64e94327f4d26341f8d6fbce09a12c6615b96f59d9b9be",
      "language": "de",
      "status": "official",
      "text": "§ 209 Wirkung der Hemmung\nDer Zeitraum, während dessen die Verjährung gehemmt ist, wird in die Verjährungsfrist nicht eingerechnet.\n"
    }
  ],
  "visibility": "public"
}

paragraph/214

§ 214 Wirkung der Verjährung (1) Nach Eintritt der Verjährung ist der Schuldner berechtigt, die Leistung zu verweigern. (2) Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden, auch wenn in Unkenntnis der Verjährung geleistet worden ist. Das Gleiche gilt von einem vertragsmäßigen Anerkenntnis sowie einer Sicherheitsleistung des Schuldners.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:12d652436994db82ae2d39189be9bf31cdc979290895389a4620639b3f937994",
  "edition": "urn:de:corpus:clir:bgb-fristen#BGB_KONSOLIDIERT",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-fristen#BGB_P214",
  "kind": "fragment",
  "labels": [
    {
      "language": "de",
      "status": "official",
      "text": "§ 214 Wirkung der Verjährung"
    }
  ],
  "locator": "paragraph/214",
  "package": "urn:de:corpus:clir:bgb-fristen",
  "texts": [
    {
      "contentHash": "sha256:1f3cff3f6a0d4efb9796bd6eff87447e953e444a38ba0121caedb177cf59002e",
      "language": "de",
      "status": "official",
      "text": "§ 214 Wirkung der Verjährung\n(1) Nach Eintritt der Verjährung ist der Schuldner berechtigt, die Leistung zu verweigern.\n(2) Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden, auch wenn in Unkenntnis der Verjährung geleistet worden ist. Das Gleiche gilt von einem vertragsmäßigen Anerkenntnis sowie einer Sicherheitsleistung des Schuldners.\n"
    }
  ],
  "visibility": "public"
}

Packages in the snapshot

  • de.bgb.core
  • de.bgb.fristen
  • de.bgb_1896
  • doctrine.ius_privatum
Technical dataFull response, parameters and checksums
Calculation status
COMPUTED
Full engine response
Heutiges BGB: die Verjährung ist am 31. Dezember 2023 eingetreten

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

JSONRead only
{
  "acts": [
    {
      "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
      "namespace": "urn:de:corpus:clir:bgb-core",
      "package": "de.bgb.core"
    },
    {
      "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
      "namespace": "urn:de:corpus:clir:bgb-fristen",
      "package": "de.bgb.fristen"
    },
    {
      "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
      "namespace": "urn:de:corpus:clir:bgb-1896",
      "package": "de.bgb_1896"
    },
    {
      "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
      "namespace": "urn:doctrine:clir:ius-privatum",
      "package": "doctrine.ius_privatum"
    }
  ],
  "caseHash": "sha256:7867b02de68725c41390953d083627fd6c1b20397d124ff92e45a39ea900cb55",
  "jurisdiction": "Deutschland",
  "legalTime": "2026-09-17",
  "mode": "audit",
  "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
  "resultHash": "sha256:6dc42fd54fae1b2b4ae64a6f37164525ebb8576192e89bd4261f9578af305cff",
  "timezone": "Europe/Berlin"
}
evaluation SHA-256
sha256:79016b82166a14992d555c99e738e9247cd331ddeac36f6a6afe32ab9d6a0f1e
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:a4",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Date"
      },
      "value": "2023-12-31"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-core#anspruch_entstanden_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Date"
          },
          "value": "2020-03-15"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#kenntnis_erlangt_am"
    },
    {
      "args": [
        {
          "id": "urn:law:examples:de:bgb:ein-fall-zwei-jahrhunderte#a",
          "kind": "const_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:de:corpus:clir:bgb-fristen#keine_hemmung"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-17",
  "predicate": "urn:de:corpus:clir:bgb-fristen#verjaehrung_eingetreten_am"
}

Nach dem heutigen BGB ist die Verjährung am 31. Dezember 2023 eingetreten. Die Regel von 1896 greift hier nicht.

Condition

BGB 1896: das Geleistete kann nicht zurückgefordert werden

Jurisdiction DeutschlandLaw as of 1900-01-01

Calculation result

Established

Input parameters

What we are finding

das Geleistete kann nicht zurückgefordert werden

cp

Input facts

  • the debtor bound himself toward the creditor by the contract underlying the claim

    creditor: gpdebitor: spcausa: cp
  • the claimant brings a claim against the defendant — the contested relation the question is about

    causa: cpactor: gpreus: sp
  • the claim arose (the right of action opened) that many full years before the day of the dispute; the term is given as a duration, not a date, so one case can be read at any date of the link's law

    causa: cpanni: 31
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:cp",
      "kind": "entity_ref"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:gp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:sp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:cp",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#contractus"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:cp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:gp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:sp",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#petitio"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:cp",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 31
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
    }
  ],
  "kind": "truth",
  "legalTime": "1900-01-01",
  "predicate": "urn:de:corpus:clir:bgb-1896#geleistetes_nicht_zurueckforderbar"
}
Why this resultApplied rules and conditions

Derivation path4 steps

  1. 1

    the claim arose (the right of action opened) that many full years before the day of the dispute; the term is given as a duration, not a date, so one case can be read at any date of the link's law

    causa: urn:de:bgb:p11:cp; anni: 31

    case fact
  2. 2

    Die regelmäßige Verjährungsfrist beträgt dreißig Jahre

    Verjährung vollendet: causa: urn:de:bgb:p11:cp

    para. 195, para. 198

    Identifier
    urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrung
    rule
  3. 3

    Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden

    das Geleistete kann nicht zurückgefordert werden: causa: urn:de:bgb:p11:cp

    para. 222

    Identifier
    urn:de:corpus:clir:bgb-1896#GeleistetesNichtZurueck
    rule
  4. 4

    Query evaluation

    query

verified by the engine: 3 · case fact: 1 · Full graph: 25 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

de.bgb_1896
  • Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden

    Identifier
    urn:de:corpus:clir:bgb-1896#GeleistetesNichtZurueck
  • Die regelmäßige Verjährungsfrist beträgt dreißig Jahre

    Identifier
    urn:de:corpus:clir:bgb-1896#RegelmaessigeVerjaehrung
Other rules in the evaluation12

Applied in the overall evaluation, but not on the proof path for this answer.

de.bgb_1896
  • Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch)

    Identifier
    urn:de:corpus:clir:bgb-1896#AnspruchRemediumDatur
  • Vertrag

    Identifier
    urn:de:corpus:clir:bgb-1896#CausaExContractu
  • berechtigt, die Leistung zu verweigern

    Identifier
    urn:de:corpus:clir:bgb-1896#EinredeExcludit
  • Nach der Vollendung der Verjährung ist der Verpflichtete berechtigt, die Leistung zu verweigern

    Identifier
    urn:de:corpus:clir:bgb-1896#LeistungVerweigern
  • Anspruch

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisAnspruch
  • schuldrechtlicher Anspruch

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisInPersonam
  • Schuldner

    Identifier
    urn:de:corpus:clir:bgb-1896#SchuldverhaeltnisObligatio
  • Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft ist ein Vertrag erforderlich

    Identifier
    urn:de:corpus:clir:bgb-1896#VertragBegruendetSchuldverhaeltnis
doctrine.ius_privatum
  • the right is effective when the remedy belongs to the claimant

    Identifier
    urn:doctrine:clir:ius-privatum#IusEfficax
  • an obligation whose remedy is excluded is a bare right

    Identifier
    urn:doctrine:clir:ius-privatum#IusNudumExclusione
  • the remedy given by the legal order belongs to the claimant

    Identifier
    urn:doctrine:clir:ius-privatum#RemediumCompetitDatum
  • an excluded remedy takes away the effectiveness of the right

    Identifier
    urn:doctrine:clir:ius-privatum#RemediumExclusumTollitIus

Proof graph

Who defeated whom
  1. Defeated the right is effective when the remedy belongs to the claimant the right is effective: the remedy is given and not excluded(urn:de:bgb:p11:gp, urn:de:bgb:p11:sp, urn:de:bgb:p11:cp)
    Defeated by an excluded remedy takes away the effectiveness of the right ¬the right is effective: the remedy is given and not excluded(urn:de:bgb:p11:gp, urn:de:bgb:p11:sp, urn:de:bgb:p11:cp) (ground: priority §106)
    conclusion the right is effective: the remedy is given and not excluded(urn:de:bgb:p11:gp, urn:de:bgb:p11:sp, urn:de:bgb:p11:cp)
    Priority path
    1. an excluded remedy takes away the effectiveness of the right the right is effective when the remedy belongs to the claimant by priority rule exclusion of the remedy prevails over its grant: exceptio against intentio

Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.

Proof graph · 4 layer
query_evaluationgeleistetes_nicht_zurueckforderbarrule_applicationGeleistetesNichtZurueckrule_applicationRegelmaessigeVerjaehrungassertionactio_nata_ante_annos

Proof nodes: 25 · assertion 2, rule_application 14, candidate_closure 7, defeat 1, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓
Calendar and proof identifiers
Proof reference
case/NachLeistung_1896/query/geleistet-1896
Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓
SourcesExcerpts: 6

paragraph/194

§ 194 Das Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch), unterliegt der Verjährung. Der Anspruch aus einem familienrechtlichen Verhältniß unterliegt der Verjährung nicht, soweit er auf die Herstellung des dem Verhältniß entsprechenden Zustandes für die Zukunft gerichtet ist.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:d6eb2d21893667f66864b2c8b06f80e8852e5ae0fb966a863e715922068d862b",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P194",
  "kind": "fragment",
  "locator": "paragraph/194",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:6474aa2a7e1f0e3d986a3ac80ca63a34b83a25619ad5db2004eb91505298dbbc",
      "language": "de",
      "status": "official",
      "text": "§ 194\nDas Recht, von einem Anderen ein Thun oder ein Unterlassen zu verlangen (Anspruch), unterliegt der Verjährung.\nDer Anspruch aus einem familienrechtlichen Verhältniß unterliegt der Verjährung nicht, soweit er auf die Herstellung des dem Verhältniß entsprechenden Zustandes für die Zukunft gerichtet ist.\n"
    }
  ]
}

paragraph/195

§ 195 Die regelmäßige Verjährungsfrist beträgt dreißig Jahre.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:8a81acd785f976eaabdba546f4543d417c6d1ff2eef8acf6ca76099a71edd357",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P195",
  "kind": "fragment",
  "locator": "paragraph/195",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:06d01bf02e9f3967954cfd8f87137d43a1d771fca4439885d9edff34a5e7e8e9",
      "language": "de",
      "status": "official",
      "text": "§ 195\nDie regelmäßige Verjährungsfrist beträgt dreißig Jahre.\n"
    }
  ]
}

paragraph/198

§ 198 Die Verjährung beginnt mit der Entstehung des Anspruchs. Geht der Anspruch auf ein Unterlassen, so beginnt die Verjährung mit der Zuwiderhandlung.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:037fad6739ea7d56ff7b9d0d4dcb6a701d682e0a9c29ba2457c23da973c89d90",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P198",
  "kind": "fragment",
  "locator": "paragraph/198",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:d6ce3ed08efd46b998252501e15d3c1c88b69361afaf5a5509b97c3773f3a8f8",
      "language": "de",
      "status": "official",
      "text": "§ 198\nDie Verjährung beginnt mit der Entstehung des Anspruchs. Geht der Anspruch auf ein Unterlassen, so beginnt die Verjährung mit der Zuwiderhandlung.\n"
    }
  ]
}

paragraph/222

§ 222 Nach der Vollendung der Verjährung ist der Verpflichtete berechtigt, die Leistung zu verweigern. Das zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden, auch wenn die Leistung in Unkenntniß der Verjährung bewirkt worden ist. Das Gleiche gilt von einem vertragsmäßigen Anerkenntnisse sowie einer Sicherheitsleistung des Verpflichteten.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:b69626ab00edbacdcbb812f09f7f493442f2b110b651dfc584f53bafdd83630f",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P222",
  "kind": "fragment",
  "locator": "paragraph/222",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:086c16b77f674e8a69f369447b924775848a5081e7d532e08daf2af1b25e2a3c",
      "language": "de",
      "status": "official",
      "text": "§ 222\nNach der Vollendung der Verjährung ist der Verpflichtete berechtigt, die Leistung zu verweigern.\nDas zur Befriedigung eines verjährten Anspruchs Geleistete kann nicht zurückgefordert werden, auch wenn die Leistung in Unkenntniß der Verjährung bewirkt worden ist. Das Gleiche gilt von einem vertragsmäßigen Anerkenntnisse sowie einer Sicherheitsleistung des Verpflichteten.\n"
    }
  ]
}

paragraph/241

§ 241 Kraft des Schuldverhältnisses ist der Gläubiger berechtigt, von dem Schuldner eine Leistung zu fordern. Die Leistung kann auch in einem Unterlassen bestehen.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:f62095aa2b5c8da6074b03044927af0797462243e9a68da1c388525d7a17de3c",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P241",
  "kind": "fragment",
  "locator": "paragraph/241",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:06ce3c0749800023fe4b29d23668cfe3da139dceec73fc8ad76f4e19c590eba4",
      "language": "de",
      "status": "official",
      "text": "§ 241\nKraft des Schuldverhältnisses ist der Gläubiger berechtigt, von dem Schuldner eine Leistung zu fordern. Die Leistung kann auch in einem Unterlassen bestehen.\n"
    }
  ]
}

paragraph/305

§ 305 Zur Begründung eines Schuldverhältnisses durch Rechtsgeschäft sowie zur Aenderung des Inhalts eines Schuldverhältnisses ist ein Vertrag zwischen den Betheiligten erforderlich, soweit nicht das Gesetz ein Anderes vorschreibt.
Original data · JSON
JSONRead only
{
  "contentHash": "sha256:bb00dd1984cf2565662f7fb2ff77c2127c1f51cc631b56fcf109a9f82a22fb14",
  "edition": "urn:de:corpus:clir:bgb-1896#BGB_1896_WIKISOURCE",
  "fragmentKind": "article",
  "id": "urn:de:corpus:clir:bgb-1896#BGB_P305",
  "kind": "fragment",
  "locator": "paragraph/305",
  "package": "urn:de:corpus:clir:bgb-1896",
  "texts": [
    {
      "contentHash": "sha256:2f476360e1db320eb53d1e6bcece14659f7d2d472c296a4b0d3bc1463a062ea9",
      "language": "de",
      "status": "official",
      "text": "§ 305\nZur Begründung eines Schuldverhältnisses durch Rechtsgeschäft sowie zur Aenderung des Inhalts eines Schuldverhältnisses ist ein Vertrag zwischen den Betheiligten erforderlich, soweit nicht das Gesetz ein Anderes vorschreibt.\n"
    }
  ]
}

Packages in the snapshot

  • de.bgb.core
  • de.bgb.fristen
  • de.bgb_1896
  • doctrine.ius_privatum
Technical dataFull response, parameters and checksums
Calculation status
COMPUTED
Full engine response
BGB 1896: das Geleistete kann nicht zurückgefordert werden

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

JSONRead only
{
  "acts": [
    {
      "artifactHash": "sha256:a6813604c35567e7c586d334efbf524d08f3467170c4b732cfb15809cacf4ff4",
      "namespace": "urn:de:corpus:clir:bgb-core",
      "package": "de.bgb.core"
    },
    {
      "artifactHash": "sha256:998148eaeeed28f1565811474ee7beb7eacc616c5681ed9638edc976512a9884",
      "namespace": "urn:de:corpus:clir:bgb-fristen",
      "package": "de.bgb.fristen"
    },
    {
      "artifactHash": "sha256:f534fb22166732d16b0c7fd87e539b4e95cfde2b8811a3247a0915eebfb597aa",
      "namespace": "urn:de:corpus:clir:bgb-1896",
      "package": "de.bgb_1896"
    },
    {
      "artifactHash": "sha256:7202de5de49a8a9d12837bc19cb7008ba2d1a68dbcc0134e0afccf1440a6d5ed",
      "namespace": "urn:doctrine:clir:ius-privatum",
      "package": "doctrine.ius_privatum"
    }
  ],
  "caseHash": "sha256:8a06685c2c358bcaee7b1362e4b24bfa5da6e2d0efbec573a1c943508a1a6afc",
  "jurisdiction": "Deutschland",
  "legalTime": "1900-01-01",
  "mode": "audit",
  "programHash": "sha256:1beaf90a712e5b8f919b03cccd9c8bbbcea2b9895334f14ccde56168b49f8457",
  "resultHash": "sha256:8b06be01ad7b238e98e717e1ccbeb225e6ce3dd46eb45633519c792ff0ca6e5a",
  "timezone": "Europe/Berlin"
}
evaluation SHA-256
sha256:84826705f163b58d4739fce42f23d7cda6d96123b07b23493d724c40285e0b58
Original data · JSON
JSONRead only
{
  "args": [
    {
      "id": "urn:de:bgb:p11:cp",
      "kind": "entity_ref"
    }
  ],
  "facts": [
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:gp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:sp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:cp",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#contractus"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:cp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:gp",
          "kind": "entity_ref"
        },
        {
          "id": "urn:de:bgb:p11:sp",
          "kind": "entity_ref"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#petitio"
    },
    {
      "args": [
        {
          "id": "urn:de:bgb:p11:cp",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Integer"
          },
          "value": 31
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:doctrine:clir:ius-privatum#actio_nata_ante_annos"
    }
  ],
  "kind": "truth",
  "legalTime": "1900-01-01",
  "predicate": "urn:de:corpus:clir:bgb-1896#geleistetes_nicht_zurueckforderbar"
}

Wird nach eingetretener Verjährung des Textes von 1896 dennoch geleistet, kann das Geleistete nicht zurückgefordert werden (§ 222 Abs. 2).

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation
“Eine Forderung, entstanden am 15. März 2020: ist die regelmäßige Verjährung nach dem BGB von 1896 vollendet, und nach dem heutigen BGB?”. Arxo Lens. https://lens.arxo.io/a/b_8dc60329493a1c04befdfc896a7615af13afbf432738c667585865a541756854. Snapshot SHA-256: 8dc60329493a1c04befdfc896a7615af13afbf432738c667585865a541756854.
BibTeX
@misc{arxo-lens-b_8dc60329493a,
  title = {Eine Forderung, entstanden am 15. März 2020: ist die regelmäßige Verjährung nach dem BGB von 1896 vollendet, und nach dem heutigen BGB?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_8dc60329493a1c04befdfc896a7615af13afbf432738c667585865a541756854},
  note = {SHA-256 8dc60329493a1c04befdfc896a7615af13afbf432738c667585865a541756854}
}
Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/b_8dc60329493a1c04befdfc896a7615af13afbf432738c667585865a541756854?lang=en" width="100%" height="390" loading="lazy" title="Ein Fall, zwei Jahrhunderte — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.