wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
сечение
сечение
Item
http://www.wikidata.org/entity/Q18400501
%D0%A1%D0%B5%D1%87%D0%B5%D0%BD%D0%B8%D0%B5_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2)
Q18400501
about
сечение
Item
http://www.wikidata.org/entity/Q18400501
description
правило сечений в теории доказательств
@ru
name
сечение
@ru
type
Item
label
сечение
@ru
altLabel
сечение (теория доказательств)
@ru
prefLabel
сечение
@ru
P2579
Q18400501-2a76078a-41c3-5993-5d6e-72393857a6ab
P31
Q18400501-e30cf879-428c-93e5-4472-2950d8bedd82
P2579
proof theory
P31
rule