PROOF
This page sumarizes information related to the representation of all information model patterns in XBRL to (a) prove the proper functioning of each pattern and (b) prove the proper functioning of each pattern interacting with other patterns.
Summary
- Overview: (Human | Machine) This is an XBRL taxonomy that shows the terms, associations between terms, assertions of the reporting scheme.
- Terms: (Human | Machine) These are the terms.
- Associations: (Human | Machine) These are the assertions.
- Assertions: (Human | Machine) These are the assertions.
- Facts: (Human | Machine) These are the facts which are reported.
- Rendering: (Human).
Documentation
- Video Overview
- Documentation
- Proof Mathematical Computations Image
- Download files
- Download Microsoft Database Creation Tool
Basic XBRL Files
- XBRL instance (Raw XBRL)
- Inline XBRL (auto generated by XBRL Cloud)
- Inline XBRL (auto generated by my demo software, basic layout)
- Human Readable (review tool) (Download Review Tool)
- Validation (Logical Contracts)
- Validation (XBRL Query)
- XBRL taxonomy schema (Terms)
- XBRL presentation relations
- XBRL definition relations
- XBRL references
- XBRL labels
- XBRL formulas - Adjustment rules
- XBRL formulas - Arithmetic rules 2
- XBRL formulas - Consistency rules 1
- XBRL formulas - Consistency rules 2
- XBRL formulas - Derivation rules 1
- XBRL formulas - Derivation rules 2
- XBRL formulas - Derivation rules 3
- XBRL formulas - Member aggregation rules
- XBRL formulas - Roll forward rules
- XBRL formulas - Variance rules 1
- XBRL formulas - Variance rules 2
- XBRL formulas - Variance rules 3
- XBRL formulas - Variance rules 4
- XBRL formulas - Variance rules 5
Additional Supporting Resources for Disclosure Mechanics and Disclosure Rules
- Download ZIP Archive with all files including Disclosure Mechanics and Disclosure Rules
- XBRL Instance with Disclosure Mechanics and Disclosure Rules Attached
- Disclosure Mechanics Rules
- Disclosure Rules
- Balance Sheet Rules
- Basis of Reporting Rules
- Changes in Equity Rules
- Comprehensive Income Rules
- Financial Highlights Rules
- Nature of Operations Rules
- Prior Period Adjustments Rules
- Revenue Recognition Policy Rules
- Setment Revenues Rules
- Stock Plan Activity Rules
- Variance Analysis Rules
- Disclosures Taxonomy Schema
- Disclosures XBRL Presentation relations
- Disclosures XBRL Definition relations
- Disclosures Labels
- Disclosure Mechanics and Disclosure Rules Arcroles (Semantics)
- Conceptual Model (Semantics)
Type-Subtype Associations (Not 100% sure this is necessary)
- Set of Type-Subtype Assocations (XBRL Taxonomy Schema)
- Type-Subtype Assocations (XBRL Definition Relations)
- Definition of extended link role (XBRL Taxonomy Schema)
- JPEG Image of Type-Subtype Associations
Formats
- Proof - Represented using XBRL Format (i.e. from above)
- Proof - Represented using Microsoft Access Database
- Proof - Represented using Microsoft Excel
- Proof - Represented using CSV (Commma Separated Values)
- Proof - Represented using Cypher | (Human readable)
- Proof - Represented using RDF/OWL/SHACL
- Proof - Represented using PROLOG
PROLOG Implementation Details
- PROLOG Implementation
- Video Walking you Through PROLOG Implementation
- Second Video Walking you Through PROLOG Implementation, explains login process more clearly
- XBRL Instance that HAS ERROR
Last updated: 10/4/2019 11:34:03 AM
