{"component": "definition", "props": {"groups": [{"snippet_links": [{"key": "based-on", "type": "clause", "offset": [19, 27]}, {"key": "state-of", "type": "definition", "offset": [65, 73]}, {"key": "similar-product", "type": "definition", "offset": [86, 101]}, {"key": "conditions-of-sale", "type": "definition", "offset": [154, 172]}, {"key": "the-value", "type": "clause", "offset": [279, 288]}, {"key": "the-product", "type": "clause", "offset": [292, 303]}, {"key": "of-the-seller", "type": "clause", "offset": [330, 343]}, {"key": "direct-and-indirect-costs", "type": "clause", "offset": [346, 371]}], "snippet": "means market value based on sales at comparable locations in the state of the same or similar product of like quality and character sold under comparable conditions of sale to comparable purchasers. In the absence of such sales of the same or similar prod- uct, true value means the value of the product sold as determined by all of the seller's direct and indirect costs attributed to the prod- uct.", "size": 74, "samples": [{"hash": "lxzANlVyNpD", "uri": "https://lawfilesext.leg.wa.gov/law/wsr/2024/21/24-21PERM.pdf", "label": "lawfilesext.leg.wa.gov", "score": 19.5167783978, "published": false}, {"hash": "a6qLGUs4Soe", "uri": "https://lawfilesext.leg.wa.gov/law/wsrpdf/2024/16/24-16-126.pdf", "label": "lawfilesext.leg.wa.gov", "score": 19.228171228, "published": false}, {"hash": "jNYXvAgA8Lx", "uri": "https://app.leg.wa.gov/documents/laws/WACPDF/WAC%20314%20%20TITLE/WAC%20314%20-%2055%20%20CHAPTER/WAC%20314%20-%2055%20%20COMBINEDCHAPTER.pdf", "label": "app.leg.wa.gov", "score": 18.8117191129, "published": false}], "hash": "64b54da2a696d43062f1542020d143de", "id": 1}, {"snippet_links": [{"key": "fair-market-value", "type": "clause", "offset": [6, 23]}, {"key": "acceptable-method", "type": "definition", "offset": [82, 99]}], "snippet": "means fair market value as determined by any objective, reliable and commercially acceptable method including but not necessarily limited to appraisal by an appraiser;", "size": 5, "samples": [{"hash": "gDwOhvaiSv3", "uri": "https://www.nmstatelands.org/wp-content/uploads/2019/09/Rule-21-Land-Exchanges.pdf", "label": "www.nmstatelands.org", "score": 6.8637919233, "published": false}, {"hash": "8eR0eLThQhC", "uri": "https://www.srca.nm.gov/wp-content/uploads/attachments/19.002.0021.pdf", "label": "www.srca.nm.gov", "score": 6.720054757, "published": false}, {"hash": "iyZUKmETwaE", "uri": "http://164.64.110.239/nmac/parts/title19/19.002.0021.pdf", "label": "164.64.110.239", "score": 5.2484599589, "published": false}], "hash": "86d6d9dfba4237e0f11c4ff3e0cdaa11", "id": 2}, {"snippet_links": [{"key": "based-on", "type": "clause", "offset": [19, 27]}, {"key": "state-of", "type": "definition", "offset": [65, 73]}, {"key": "similar-product", "type": "definition", "offset": [86, 101]}, {"key": "conditions-of-sale", "type": "definition", "offset": [154, 172]}], "snippet": "means market value based on sales at comparable locations in the state of the same or similar product of like quality and character sold under comparable conditions of sale to comparable purchasers. In the absence of such sales of the same or similar prod-", "size": 5, "samples": [{"hash": "ctUPpu3RXp1", "uri": "https://apps.leg.wa.gov/WAC/default.aspx?dispo=true&cite=314-55&full=true&pdf=true", "label": "apps.leg.wa.gov", "score": 11.0800821355, "published": false}, {"hash": "80D8H2T5JIz", "uri": "https://apps.leg.wa.gov/WAc/default.aspx?cite=314-55&full=true&pdf=true", "label": "apps.leg.wa.gov", "score": 10.5694729637, "published": false}, {"hash": "2Y5r6HQNohl", "uri": "https://apps.leg.wa.gov/wac/default.aspx?cite=314-55&full=true&pdf=true", "label": "apps.leg.wa.gov", "score": 10.4750171116, "published": false}], "hash": "3d567970eeec2173f8325c23b4c9cc4a", "id": 3}, {"snippet_links": [{"key": "in-respect-to", "type": "clause", "offset": [2, 15]}, {"key": "the-value", "type": "clause", "offset": [32, 41]}], "snippet": ", in respect to quantity, means the value which characterizes the quantity perfectly defined;", "size": 3, "samples": [{"hash": "l2b52QE45Kt", "uri": "https://www.lawexplorer.co.za/StatutoryDatabase/SubordinateFile/SubordinateFileDownload/8268", "label": "Notice", "score": 13.3381245722, "published": false}, {"hash": "gznfBE5ty7j", "uri": "https://www.gov.za/sites/default/files/gcis_document/201808/41854gon877.pdf", "label": "www.gov.za", "score": 9.4093086927, "published": false}, {"hash": "Q8bTamzgcr", "uri": "https://www.nrcs.org.za/Documents/Legislation/Legal%20Metrology%20Regulation%20No%20877%20of%2024%20August%202018%20gg41854_nn877.pdf", "label": "www.nrcs.org.za", "score": 9.3216974675, "published": false}], "hash": "37a60d1343bc5a26c6addb380db7ba9f", "id": 4}, {"snippet_links": [{"key": "in-relation-to", "type": "clause", "offset": [9, 23]}, {"key": "equal-to", "type": "definition", "offset": [61, 69]}, {"key": "the-product", "type": "clause", "offset": [70, 81]}, {"key": "recovery-value", "type": "definition", "offset": [89, 103]}, {"key": "aggregate-principal-amount", "type": "clause", "offset": [141, 167]}], "snippet": "\u2019 means, in relation to any particular securities, an amount equal to the product of the Recovery Value of the particular securities and the aggregate principal amount of such securities.", "size": 2, "samples": [{"hash": "2JdFzQnSmJe", "uri": "https://www.ise.ie/debt_documents/Saphir%20series%202006-7_3817.pdf", "label": "www.ise.ie", "score": 5.0, "published": false}, {"hash": "kaBsO3r6Z1T", "uri": "https://www.ise.ie/debt_documents/Saphir%202006-9_7989.pdf", "label": "www.ise.ie", "score": 5.0, "published": false}], "hash": "e3e9c41b16d235db9b982bbe13d9e7fd", "id": 5}, {"snippet_links": [{"key": "the-value", "type": "clause", "offset": [6, 15]}, {"key": "enforcement-officer", "type": "definition", "offset": [55, 74]}, {"key": "the-village", "type": "clause", "offset": [103, 114]}, {"key": "in-accordance-with", "type": "definition", "offset": [148, 166]}, {"key": "generally-accepted", "type": "definition", "offset": [171, 189]}, {"key": "method-of", "type": "clause", "offset": [200, 209]}, {"key": "construction-trade", "type": "definition", "offset": [214, 232]}, {"key": "real-estate-appraisers", "type": "clause", "offset": [236, 258]}], "snippet": "means the value of a property determined by the Zoning Enforcement Officer or any board or official of the Village required to make a determination in accordance with any generally accepted appraisal method of the construction trade or real estate appraisers.", "size": 1, "samples": [{"hash": "hWqxr5dMF00", "uri": "https://www.avon-ny.org/VCB/Chapter_30.pdf", "label": "www.avon-ny.org", "score": 4.3675564682, "published": false}], "hash": "f88b67e741a5be8019228b8234b0dbc1", "id": 6}, {"snippet_links": [{"key": "stored-value", "type": "definition", "offset": [137, 149]}, {"key": "definition-of-a", "type": "clause", "offset": [183, 198]}, {"key": "an-agreement", "type": "clause", "offset": [890, 902]}, {"key": "initial-value", "type": "definition", "offset": [1519, 1532]}, {"key": "in-short", "type": "clause", "offset": [1573, 1581]}, {"key": "the-agreement", "type": "clause", "offset": [1831, 1844]}, {"key": "the-protocol", "type": "clause", "offset": [2038, 2050]}, {"key": "total-number-of", "type": "definition", "offset": [2380, 2395]}], "snippet": "For a correct vertex \u03b1i in the tree of a healthy node in the healthy node j, val(\u03b1i) is the true value of vertex \u03b1i. In other words, the stored value is called the true value. By the definition of a correct vertex, its stored value is received from a healthy node, and a healthy node always transmits the same value to all nodes; therefore, the correct vertices of such an mg-tree are common. After reorganizing the mg-tree into a corresponding ic-tree by deleting the vertices with repeated node names, the values stored on the correct vertices of an ic-tree shall be the same; therefore, all correct vertices of an ic-tree are also in common. By the definition of a correct vertex, the common frontier does exist in the ic-tree. Thus the root can be proved to be a common vertex [(Agreement\u2019) is true] due to the existence of a common frontier, regardless of the correctness of a node i. An agreement of the root value is reached. Next, we will check the validity of (Validity\u2019). When the node i has failed, (Validity\u2019) is true due to the propositional logic [(P\u20acQ)] meaning (NOT(P) OR Q). Hence (NOT(P) OR Q) or (P\u20acQ) is true when P is false, where P implies \u201cthe node i is correct\u201d and (P\u20acQ) implies (Validity\u2019s)]. Conversely, root i is a correct vertex by the definition of a correct vertex if the node i is healthy. If all correct vertices\u2019 true values can be computed by FGCA, then the true value of the root can be computed because the root is a correct vertex. By definition, the true value of the root is the initial value of the node i if the node i is healthy. In short, each healthy node\u2019s root value is the initial value of the node i if the node i is healthy; therefore, (Validity\u2019) is true when the node i is healthy. Since (Agreement\u2019) and (Validity\u2019) are both true regardless whether node i is healthy or failed, the agreement problem is solved.\nLemma 1. The message(s) sent through dormant faulty nodes can be detected by healthy receiving nodes. Proof: The message(s) from dormant faulty components can be detected if the protocol appropriately encodes a transmitted message with the Manchester code [4] before transmission.\nTheorem 1. A healthy receiving node can receive message(s) from sending nodes without influence from any faulty components between the sending node and receiving node if cA>2fmA+fdA, where cA is the connectivity of Layer-A, fmA is the total number of allowable malicious faulty nodes in Layer-A, and fdA is the total number of allowable dormant faulty nodes in Layer-A.", "size": 1, "samples": [{"hash": "llHJtERkWHc", "uri": "/contracts/llHJtERkWHc#true-value", "label": "General Agreement", "score": 19.815807524, "published": true}], "hash": "0d5f896d6ef1efa86c52d5400238778b", "id": 7}, {"snippet_links": [], "snippet": "means precise result of an expert scientist", "size": 1, "samples": [{"hash": "juVb4Lom7k6", "uri": "https://indico.cern.ch/event/593812/contributions/2547516/attachments/1468143/2270548/Bonn-Comparisons-CAP2017.pdf", "label": "indico.cern.ch", "score": 6.704312115, "published": false}], "hash": "266c07aa984a8b439ee8bd45cdfa73eb", "id": 8}, {"snippet_links": [{"key": "in-relation-to", "type": "clause", "offset": [7, 21]}, {"key": "the-collateral", "type": "definition", "offset": [45, 59]}, {"key": "equal-to", "type": "definition", "offset": [71, 79]}, {"key": "the-product", "type": "clause", "offset": [80, 91]}, {"key": "recovery-value", "type": "definition", "offset": [99, 113]}, {"key": "aggregate-principal-amount", "type": "clause", "offset": [163, 189]}], "snippet": "means, in relation to any particular part of the Collateral, an amount equal to the product of the Recovery Value of the particular part of the Collateral and the aggregate principal amount of such part of the Collateral.", "size": 1, "samples": [{"hash": "9meCfgBSonL", "uri": "https://www.ise.ie/debt_documents/41046_BP_19102009_15748.pdf", "label": "Form of Note", "score": 9.0, "published": false}], "hash": "ea105729b86588354a0a5e479dc9bfa0", "id": 9}, {"snippet_links": [{"key": "based-on", "type": "clause", "offset": [19, 27]}, {"key": "state-of", "type": "definition", "offset": [66, 74]}, {"key": "similar-product", "type": "definition", "offset": [87, 102]}, {"key": "conditions-of-sale", "type": "definition", "offset": [155, 173]}], "snippet": "means market value based on sales at comparable locations in this state of the same or similar product of like quality and character sold under comparable conditions of sale", "size": 1, "samples": [{"hash": "kKGiCiFuPw2", "uri": "https://leg.wa.gov/House/HDJ/Documents/2015/HJ_15_029ESS2.pdf", "label": "leg.wa.gov", "score": 10.6568786689, "published": false}], "hash": "75f0386edc527a5cc3ff6ad9981e825a", "id": 10}], "next_curs": "ClcSUWoVc35sYXdpbnNpZGVyY29udHJhY3RzcjMLEhpEZWZpbml0aW9uU25pcHBldEdyb3VwX3Y1NiITdHJ1ZS12YWx1ZSMwMDAwMDAwYQyiAQJlbhgAIAA=", "definition": {"snippet": "means market value based on sales at comparable locations in the state of the same or similar product of like quality and character sold under comparable conditions of sale to comparable purchasers. In the absence of such sales of the same or similar prod- uct, true value means the value of the product sold as determined by all of the seller's direct and indirect costs attributed to the prod- uct.", "size": 91, "title": "True value", "id": "true-value", "examples": [], "related": [["ri-value", "RI Value", "RI Value"], ["reference-value", "Reference Value", "Reference Value"], ["baseline-value", "Baseline Value", "Baseline Value"], ["worst-value", "Worst Value", "Worst Value"], ["rand-value", "rand value", "rand value"]], "related_snippets": [], "updated": "2025-07-06T21:58:41+00:00"}, "json": true, "cursor": ""}}