As of 2022-03-07, the Wikidata property ProofWiki ID (P6781) is used on 57 items as main value on statements (not counting qualifiers) of the Q and P namespaces.

Closest properties: by cardinality of intersection, by Jaccard index.

Display properties of the following types:                                    

Closest properties by cardinality of intersection

IDLabelIntersection cardinalityJaccard index
P279 subclass of 32
0.0000
P646 Freebase ID 32
0.0000
P31 instance of 31
0.0000
P6366 Microsoft Academic ID 29
0.0001
P2812 MathWorld identifier 22
0.0050
P1889 different from 20
0.0000
P4215 nLab ID 17
0.0043
P138 named after 17
0.0001
P2534 defining formula 16
0.0030
P1417 Encyclopædia Britannica Online ID 14
0.0001
P2671 Google Knowledge Graph ID 12
0.0000
P10283 OpenAlex ID 11
0.0001
P7554 Encyclopedia of Mathematics wiki ID 8
0.0235
P244 Library of Congress authority ID 8
0.0000
P373 Commons category 8
0.0000
P3827 JSTOR topic ID 7
0.0003
P8189 National Library of Israel J9U ID 7
0.0000
P361 part of 7
0.0000
P1552 has quality 6
0.0001
P61 discoverer or inventor 6
0.0001
P268 Bibliothèque nationale de France ID 6
0.0000
P2579 studied by 5
0.0010
P461 opposite of 5
0.0002
P2924 Great Russian Encyclopedia Online ID 5
0.0001
P349 National Diet Library ID 5
0.0000
P3417 Quora topic ID 5
0.0000
P1343 described by source 5
0.0000
P508 BNCF Thesaurus ID 4
0.0002
P1296 Gran Enciclopèdia Catalana ID 4
0.0000
P527 has part or parts 4
0.0000
P910 topic's main category 4
0.0000
P227 GND ID 4
0.0000
P18 image 4
0.0000
P6564 Brilliant Wiki ID 3
0.0086
P7235 in defining formula 3
0.0027
P4342 Store norske leksikon ID 3
0.0000
P1269 facet of 3
0.0000
P269 IdRef ID 3
0.0000
P214 VIAF ID 3
0.0000
P734 family name 3
0.0000
P735 given name 3
0.0000
P106 occupation 3
0.0000
P21 sex or gender 3
0.0000
P5106 Dictionary of Algorithms and Data Structures ID 2
0.0034
P9545 Encyclopedia of China Online Database ID 2
0.0004
P1051 PSH ID 2
0.0003
P8947 Museo Galileo authority ID 2
0.0001
P7666 Visuotinė lietuvių enciklopedija ID 2
0.0001
P3219 Encyclopædia Universalis ID 2
0.0001
P7305 Online PWN Encyclopedia ID 2
0.0001

Closest properties by Jaccard index

IDLabelIntersection cardinalityJaccard index
P7554 Encyclopedia of Mathematics wiki ID 8
0.0235
P8558 Butcher tableau 1
0.0132
P9982 IGI Global Dictionary ID 1
0.0112
P7719 generalization of 1
0.0111
P7726 PlanetMath ID 1
0.0086
P6564 Brilliant Wiki ID 3
0.0086
P1318 proved by 1
0.0066
P1993 TeX string 1
0.0062
P2159 computes solution to 1
0.0061
P2812 MathWorld identifier 22
0.0050
P2384 statement describes 1
0.0044
P3285 Mathematics Subject Classification ID 1
0.0043
P4215 nLab ID 17
0.0043
P5047 Rosetta Code ID 1
0.0037
P5106 Dictionary of Algorithms and Data Structures ID 2
0.0034
P2737 union of 1
0.0031
P2534 defining formula 16
0.0030
P4934 calculated from 1
0.0029
P7235 in defining formula 3
0.0027
P3235 PhilPapers topic 1
0.0013
P2579 studied by 5
0.0010
P3123 Stanford Encyclopedia of Philosophy ID 1
0.0009
P8703 entry in abbreviations table 1
0.0008
P7311 Aozora Bunko author ID 1
0.0006
P9545 Encyclopedia of China Online Database ID 2
0.0004
P6900 NicoNicoPedia ID 1
0.0004
P1051 PSH ID 2
0.0003
P1563 MacTutor biography ID 1
0.0003
P8885 Namuwiki ID 1
0.0003
P3827 JSTOR topic ID 7
0.0003
P1150 Regensburg Classification 1
0.0003
P5555 schematic 1
0.0003
P508 BNCF Thesaurus ID 4
0.0002
P4724 Maitron ID 1
0.0002
P461 opposite of 5
0.0002
P6058 Larousse ID 1
0.0002
P3569 Cultureel Woordenboek ID 1
0.0002
P10 video 1
0.0002
P4746 Elhuyar ZTH ID 1
0.0002
P8947 Museo Galileo authority ID 2
0.0001
P7033 Australian Educational Vocabulary ID 1
0.0001
P1552 has quality 6
0.0001
P7666 Visuotinė lietuvių enciklopedija ID 2
0.0001
P10283 OpenAlex ID 11
0.0001
P5063 Interlingual Index ID 1
0.0001
P6366 Microsoft Academic ID 29
0.0001
P7400 LibraryThing author ID 1
0.0001
P737 influenced by 1
0.0001
P2924 Great Russian Encyclopedia Online ID 5
0.0001
P3965 Bridgeman artist ID 1
0.0001