Constraint report
Jump to navigation
Jump to search
This special page performs constraint checks on any entity you want. The entities are fetched from the live system, so every constraint violation you fix there will be instantly removed from this list.
The constraints are parsed from statements on properties each time those statements are edited, usually within a few minutes.
Result for An Overview of Separation Logic (Q22244855)
: 3, : 376, : 2
| Status | Property | Message | Constraint |
|---|---|---|---|
| cites work | An entity with cites work should also have a statement publication date. | item-requires-statement constraint | |
| cites work | An entity with cites work should also have a statement publication date. | item-requires-statement constraint | |
| DBLP publication ID | An entity with DBLP publication ID should also have a statement publication date. | item-requires-statement constraint |