Condition
Ohne gerichtliche Feststellung: die Anpassung ist nicht festgestellt
Jurisdiction DeutschlandLaw as of 2026-09-20
Calculation result
Judgment required
Judgment requests
- authority
- Court
- Identifier
- case/PreisOhneGericht/query/anpassung-verlangbar:0
- Condition
- festhalten_am_unveraenderten_vertrag_nicht_zumutbar
- Include proof
- case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac
- request
- Arguments
- Identifier
- v
- Type
- entity_ref
- Identifier
- t
- Type
- entity_ref
- Polarity
- positive
- relation
- festhalten_am_unveraenderten_vertrag_nicht_zumutbar
Input parameters
What we are finding
Anpassung des Vertrags kann verlangt werden (§ 313 Abs. 1)
vt
Input facts
Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)
v: vLeistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)
l: ls: vUmstände, die zur Grundlage des Vertrags geworden sind, haben sich nach Vertragsschluss schwerwiegend verändert, und die Parteien hätten den Vertrag nicht oder mit anderem Inhalt geschlossen, wenn sie die Veränderung vorausgesehen hätten (§ 313 Abs. 1)
v: v
Original data · JSON
{
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"facts": [
{
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"
},
{
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l",
"kind": "const_ref"
},
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"
},
{
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"
}
],
"kind": "truth",
"legalTime": "2026-09-20",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"
}Why this resultApplied rules and conditions
Derivation path2 steps
- 1accepted externally
judgment
- accepted externally
- 2query
Query evaluation
verified by the engine: 1 · case fact: 0 · accepted externally: 1 · Full graph: 2 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.
Judgment requests
- authority
- Court
- Identifier
- case/PreisOhneGericht/query/anpassung-verlangbar:0
- Condition
- festhalten_am_unveraenderten_vertrag_nicht_zumutbar
- Include proof
- case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac
- request
- Arguments
- Identifier
- v
- Type
- entity_ref
- Identifier
- t
- Type
- entity_ref
- Polarity
- positive
- relation
- festhalten_am_unveraenderten_vertrag_nicht_zumutbar
Proof graph
Proof nodes: 2 · judgment 1, query_evaluation 1
judgment · urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac
- attributes
- —
- conclusion
- authority
- Court
- literal
- Arguments
- Identifier
- v
- Type
- entity_ref
- Identifier
- t
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- festhalten_am_unveraenderten_vertrag_nicht_zumutbar
- evidence
- —
- Identifier
- case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac
- Type
- judgment
- Premises
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- v
- Type
- entity_ref
- Identifier
- t
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- anpassung_des_vertrags_verlangbar
- truthStatus
- Not established
- evidence
- —
- Identifier
- case/PreisOhneGericht/query/anpassung-verlangbar
- Type
- query_evaluation
- Premises
- case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- case/PreisOhneGericht/query/anpassung-verlangbar
Original reasoning · JSON
{
"evaluation": {
"conflicts": [],
"issues": [],
"manifest": {
"artifactHash": "sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0",
"calendarSnapshot": "urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT",
"caseHash": "sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f",
"decisionTime": "2026-09-20T09:00:00Z",
"evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"externalSnapshots": {},
"id": "urn:manifest:oracle-1",
"interpretations": [],
"knowledgeTime": "2026-09-20T09:00:00Z",
"legalTime": "2026-09-20",
"lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"mode": "audit",
"policies": {},
"programHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b",
"resolvedEditions": {},
"semanticHash": "sha256:9b54fe5daab26dbe1860fb9d905a9942cc945ac919a3646241fdfa7e2e245114",
"semantics": "law.core/0.2.1",
"theoryHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b",
"timezone": "Europe/Berlin"
},
"positions": [],
"proofGraph": {
"nodes": [
{
"attributes": {},
"conclusion": {
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
},
"evidence": [],
"id": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"kind": "judgment",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"
},
"truthStatus": "NEITHER"
},
"evidence": [],
"id": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"kind": "query_evaluation",
"premises": [
"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:69d0c801c91779f9505f53e4334b8c37432c80c09143ad0ec51424d523f740e7",
"roots": [
"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar"
]
},
"resultHash": "sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216",
"results": [
{
"conflicts": [],
"evaluationStatus": "REQUIRES_JUDGMENT",
"evidence": [],
"id": "urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"judgmentRequests": [
{
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"id": "urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar",
"proof": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"request": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"polarity": "positive",
"relation": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
}
],
"manifest": "urn:manifest:oracle-1",
"missingInputs": [],
"normativeStatusSupports": [],
"proof": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"query": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"resultKind": "PROPOSITION",
"sourceAnchors": [],
"target": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar",
"truthStatus": "NEITHER"
}
],
"schemaVersion": "law.core.evaluation/0.2"
},
"judgmentRequests": [
{
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"id": "urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar",
"proof": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"request": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"polarity": "positive",
"relation": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
}
],
"proofRef": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar"
}SourcesTexts not saved
Source texts were not saved in this snapshot.
Packages in the snapshot
- de.bgb.schuldrecht_at
Technical dataFull response, parameters and checksums
- Calculation status
- REQUIRES_JUDGMENT
Full engine response
Ohne gerichtliche Feststellung: die Anpassung ist nicht festgestellt
Complete machine result · JSON
{
"answer": {
"evaluationStatus": "REQUIRES_JUDGMENT",
"kind": "TRUTH",
"missingInputs": [],
"truthStatus": "NEITHER"
},
"evaluation": {
"conflicts": [],
"issues": [],
"manifest": {
"artifactHash": "sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0",
"calendarSnapshot": "urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT",
"caseHash": "sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f",
"decisionTime": "2026-09-20T09:00:00Z",
"evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"externalSnapshots": {},
"id": "urn:manifest:oracle-1",
"interpretations": [],
"knowledgeTime": "2026-09-20T09:00:00Z",
"legalTime": "2026-09-20",
"lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"mode": "audit",
"policies": {},
"programHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b",
"resolvedEditions": {},
"semanticHash": "sha256:9b54fe5daab26dbe1860fb9d905a9942cc945ac919a3646241fdfa7e2e245114",
"semantics": "law.core/0.2.1",
"theoryHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b",
"timezone": "Europe/Berlin"
},
"positions": [],
"proofGraph": {
"nodes": [
{
"attributes": {},
"conclusion": {
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
},
"evidence": [],
"id": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"kind": "judgment",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"
},
"truthStatus": "NEITHER"
},
"evidence": [],
"id": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"kind": "query_evaluation",
"premises": [
"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:69d0c801c91779f9505f53e4334b8c37432c80c09143ad0ec51424d523f740e7",
"roots": [
"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar"
]
},
"resultHash": "sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216",
"results": [
{
"conflicts": [],
"evaluationStatus": "REQUIRES_JUDGMENT",
"evidence": [],
"id": "urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"judgmentRequests": [
{
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"id": "urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar",
"proof": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"request": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"polarity": "positive",
"relation": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
}
],
"manifest": "urn:manifest:oracle-1",
"missingInputs": [],
"normativeStatusSupports": [],
"proof": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"query": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"resultKind": "PROPOSITION",
"sourceAnchors": [],
"target": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar",
"truthStatus": "NEITHER"
}
],
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "REQUIRES_JUDGMENT",
"issues": [],
"judgmentRequests": [
{
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"id": "urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar",
"proof": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"request": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"polarity": "positive",
"relation": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
}
],
"proofRef": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"provenance": {
"acts": [
{
"artifactHash": "sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299",
"namespace": "urn:de:corpus:clir:bgb-schuldrecht-at",
"package": "de.bgb.schuldrecht_at"
}
],
"caseHash": "sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f",
"jurisdiction": "Deutschland",
"legalTime": "2026-09-20",
"mode": "audit",
"programHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b",
"resultHash": "sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216",
"timezone": "Europe/Berlin"
},
"rulesApplied": []
}Execution · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0\",\"calendarSnapshot\":\"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT\",\"caseHash\":\"sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f\",\"decisionTime\":\"2026-09-20T09:00:00Z\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-20T09:00:00Z\",\"legalTime\":\"2026-09-20\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:9b54fe5daab26dbe1860fb9d905a9942cc945ac919a3646241fdfa7e2e245114\",\"semantics\":\"law.core/0.2.1\",\"theoryHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"timezone\":\"Europe/Berlin\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{},\"conclusion\":{\"authority\":\"urn:de:corpus:clir:bgb-schuldrecht-at#Court\",\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\"}},\"evidence\":[],\"id\":\"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac\",\"kind\":\"judgment\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:69d0c801c91779f9505f53e4334b8c37432c80c09143ad0ec51424d523f740e7\",\"roots\":[\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\"]},\"resultHash\":\"sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"REQUIRES_JUDGMENT\",\"evidence\":[],\"id\":\"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"judgmentRequests\":[{\"authority\":\"urn:de:corpus:clir:bgb-schuldrecht-at#Court\",\"id\":\"urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\",\"proof\":\"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac\",\"request\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"polarity\":\"positive\",\"relation\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\"}}],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"query\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
"evaluationSha256": "sha256:66da26ae25439585f3c02ab137b548225bb1533788d98e9ea8e2c68d2370b399",
"request": {
"case": {
"assertions": [
{
"contentHash": "sha256:08afb1e9a64a0e16689f5ec3f5a363ff8001484f1dd5e8d9ca5e120ecafc066b",
"evidence": [],
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"
},
"origin": "case_input",
"package": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"
},
{
"contentHash": "sha256:8502293b5ca23737f8793b32e42cb61cd5243a515ee38edafea9ef434a8557fb",
"evidence": [],
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l",
"kind": "const_ref"
},
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"
},
"origin": "case_input",
"package": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"
},
{
"contentHash": "sha256:d20b7b0e5bf8b4b95e15a68b31e3378894509a896b1054c6392f34faf42cf725",
"evidence": [],
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"
},
"origin": "case_input",
"package": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"
}
],
"constants": {
"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l": {
"id": "urn:de:bgb:g14:l",
"kind": "entity_ref"
},
"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v": {
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
}
},
"context": {
"deadlinePolicy": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#BGB_RECHTSBEHELFE_KALENDER",
"decisionTime": "2026-09-20T09:00:00Z",
"knowledgeTime": "2026-09-20T09:00:00Z",
"legalTime": "2026-09-20",
"timezone": "Europe/Berlin"
},
"options": {
"calendarSnapshot": "urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT"
}
},
"ir": {
"irSha256": "sha256:b2cfb82ac0304e3eaf081e55ce063538338233507e12a3cc8d8cdba7acb01828",
"kind": "world_ref",
"nodeCount": 4019,
"packages": [
{
"artifactHash": "sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299",
"namespace": "urn:de:corpus:clir:bgb-schuldrecht-at",
"package": "de.bgb.schuldrecht_at",
"semanticHash": "sha256:8c030a1751d42bf3e0bd12820951d0af35dabd30cf55d17c2946594432c79ace"
}
],
"programHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"
},
"queryId": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar"
},
"semanticVersion": "0.2.1"
},
"requestCanonicalSha256": "sha256:4a4da17b5a8a1a5f7ca7ef76976bd67ee540d0d1f80cd7c2293b7dbdf1c5f136",
"verification": {
"matched": true,
"method": "law ask: attentes du texte, Rust = Python = rejeu"
}
}Display metadata
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:4a4da17b5a8a1a5f7ca7ef76976bd67ee540d0d1f80cd7c2293b7dbdf1c5f136"
},
"steps": [
{
"conclusion": {
"authority": "urn:de:corpus:clir:bgb-schuldrecht-at#Court",
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"
}
},
"id": "urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac",
"kind": "judgment",
"originStatus": "available",
"premises": [],
"trust": "external"
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"
},
"truthStatus": "NEITHER"
},
"id": "urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#Leistung",
"kind": "type_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "Leistung, die der Gläubiger kraft des Schuldverhältnisses fordern kann (§ 241 Abs. 1)"
},
{
"language": "en",
"status": "unofficial",
"text": "performance which the creditor may demand under the obligation (§ 241 (1))"
}
],
"name": "Leistung",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at"
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag",
"kind": "type_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "Vertrag als Schuldverhältnis (§ 311 Abs. 1)"
},
{
"language": "en",
"status": "unofficial",
"text": "contract as an obligation (§ 311 (1))"
}
],
"name": "Vertrag",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at"
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar",
"kind": "symbol_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "Anpassung des Vertrags kann verlangt werden (§ 313 Abs. 1)"
},
{
"language": "en",
"status": "unofficial",
"text": "adaptation of the contract may be demanded (§ 313 (1))"
}
],
"name": "anpassung_des_vertrags_verlangbar",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at",
"parameters": [
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"
}
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar/arg/teil",
"labels": [],
"name": "teil",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Person"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar",
"kind": "symbol_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "§ 313 Abs. 1. Das Gericht hat festgestellt, dass dem Teil unter Berücksichtigung aller Umstände des Einzelfalls, insbesondere der vertraglichen oder gesetzlichen Risikoverteilung, das Festhalten am unveränderten Vertrag nicht zugemutet werden kann"
},
{
"language": "en",
"status": "unofficial",
"text": "§ 313 (1). The court found that adherence to the unchanged contract cannot be required of the party, considering all circumstances and the allocation of risk"
}
],
"name": "festhalten_am_unveraenderten_vertrag_nicht_zumutbar",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at",
"parameters": [
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"
}
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar/arg/teil",
"labels": [],
"name": "teil",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Person"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag",
"kind": "symbol_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)"
},
{
"language": "en",
"status": "unofficial",
"text": "the contract is a synallagmatic contract (§§ 320 et seq.)"
}
],
"name": "gegenseitiger_vertrag",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at",
"parameters": [
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis",
"kind": "symbol_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "Leistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)"
},
{
"language": "en",
"status": "unofficial",
"text": "performance owed under the obligation (§ 241 (1))"
}
],
"name": "leistung_aus_schuldverhaeltnis",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at",
"parameters": [
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/l",
"labels": [],
"name": "l",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"
}
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Schuldverhaeltnis"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage",
"kind": "symbol_decl",
"labels": [
{
"language": "de",
"status": "official",
"text": "Umstände, die zur Grundlage des Vertrags geworden sind, haben sich nach Vertragsschluss schwerwiegend verändert, und die Parteien hätten den Vertrag nicht oder mit anderem Inhalt geschlossen, wenn sie die Veränderung vorausgesehen hätten (§ 313 Abs. 1)"
},
{
"language": "en",
"status": "unofficial",
"text": "circumstances forming the basis of the contract changed seriously after conclusion and the parties would not have concluded it, or would have done so with different content (§ 313 (1))"
}
],
"name": "schwerwiegende_veraenderung_der_geschaeftsgrundlage",
"package": "urn:de:corpus:clir:bgb-schuldrecht-at",
"parameters": [
{
"id": "urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"
}
}
],
"symbolKind": "relation"
}
]
}JSON · calculations, sources and exact data
{
"acts": [
{
"artifactHash": "sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299",
"namespace": "urn:de:corpus:clir:bgb-schuldrecht-at",
"package": "de.bgb.schuldrecht_at"
}
],
"caseHash": "sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f",
"jurisdiction": "Deutschland",
"legalTime": "2026-09-20",
"mode": "audit",
"programHash": "sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b",
"resultHash": "sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216",
"timezone": "Europe/Berlin"
}- evaluation SHA-256
- sha256:66da26ae25439585f3c02ab137b548225bb1533788d98e9ea8e2c68d2370b399
Original data · JSON
{
"args": [
{
"id": "urn:de:bgb:g14:v",
"kind": "entity_ref"
},
{
"id": "urn:de:bgb:g14:t",
"kind": "entity_ref"
}
],
"facts": [
{
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"
},
{
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l",
"kind": "const_ref"
},
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"
},
{
"args": [
{
"id": "urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"
}
],
"kind": "truth",
"legalTime": "2026-09-20",
"predicate": "urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"
}