cut
type: Thing
description: rule in logic
additional property: PropertyValue
  property ID: P460
  value: cut rule
additional property: PropertyValue
  property ID: P2534
  value: \frac{\Gamma\vdash A\qquad A, \Delta\vdash B}{\Gamma, \Delta\vdash B}
additional property: PropertyValue
  property ID: P2671
  value: /g/120jx2hm
confidence:
  popularity graph score:
    score: 0.0
    score pct: 0
    tier: long_tail
    components:
      sitelinks: 0
      sitelinks norm: 0.0
      unique citations: 0
      unique citations norm: 0.0
      monthly pageviews: 0
      monthly pageviews norm: 0.0
  sitelinks: 0
  unique citations: 0
  monthly pageviews: 0
  yearly pageviews: 1
  pageview trend:
    m: 2026-05
    v: 1
  tier: long_tail
claims:
  P460:
    value: Q18400501
    source count: 0
    confidence: 0.0
    value label: cut rule
  P2534:
    value: \frac{\Gamma\vdash A\qquad A, \Delta\vdash B}{\Gamma, \Delta\vdash B}
    source count: 0
    confidence: 0.0
  P2671:
    value: /g/120jx2hm
    source count: 0
    confidence: 0.0
meta:
  wikidata id: Q2248126
  domain: general
  level: standard
  html url: https://4ort.xyz/entity/cut-q2248126
  markdown url: https://4ort.xyz/entity/cut-q2248126.md
  facts url summary: https://4ort.xyz/entity/cut-q2248126/facts.json
  facts url standard: https://4ort.xyz/entity/cut-q2248126/facts.json
  facts url full: https://4ort.xyz/entity/cut-q2248126/facts.json
  data source: Wikidata (CC0 / public domain)
  license: https://creativecommons.org/publicdomain/zero/1.0/
  api version: v1
  served at: 2026-08-23T19:27:39.214170Z
  entity updated at: 2026-05-07T12:56:24.458635+00:00Z
  entity created at: 2026-05-07T12:56:24.458635+00:00Z