{"schema_version":"4ort.packet/1","entity":{"entity_id":"logic-in-computer-science","kg_uuid":"82accc89-d536-44f5-9fcd-37771229330d","wikidata_id":"Q2651693","name":"logic in computer science","description":"academic discipline","type":"class","url":"https://4ort.xyz/entity/logic-in-computer-science"},"status":"complete","as_of":{"copy_written_at":"2026-11-07T17:42:05Z","last_source_edit_seen":"2026-07-10T16:06:03Z","stale_possible":false,"claims_refreshed_at":"2026-10-25T19:43:19Z","source_revision":2515924453},"facts":[{"field":"P279","label":"subclass of","value":"logic","value_id":"Q8078","value_raw":"Q8078","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P279","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P279","label":"subclass of","value":"computer science","value_id":"Q21198","value_raw":"Q21198","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P279","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P460","label":"said to be the same as","value":"computational logic","value_id":"Q5157327","value_raw":"Q5157327","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P460","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P3285","label":"Mathematics Subject Classification ID","value":"03B70","value_id":null,"value_raw":"03B70","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P3285","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P6366","label":"Microsoft Academic ID (discontinued)","value":"2779740250","value_id":null,"value_raw":"2779740250","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P6366","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P10565","label":"Encyclopedia of China (Third Edition) ID","value":"218532","value_id":null,"value_raw":"218532","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P10565","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P14541","label":"P14541","value":"1y08t5","value_id":null,"value_raw":"1y08t5","rank":"normal","current":null,"qualifiers":[{"field":"P1810","label":"subject named as","value":"计算机科学中的逻辑"},{"field":"P5017","label":"last update","value":"2024-12-05"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q2651693#P14541","source_edition":"2026-10-25T19:43:19Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}}],"unknowns":[],"omitted":{"facts":0,"reason":null},"licences":[{"source":"wikidata","source_name":"Wikidata","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"fields":["P279","P460","P3285","P6366","P10565","P14541"]}],"routes":{"entity_page":"https://4ort.xyz/entity/logic-in-computer-science","packet_api":"https://4ort.xyz/api/v1/entities/logic-in-computer-science/packet","facts_jsonld":"https://4ort.xyz/entity/logic-in-computer-science/facts.json","changes_api":"https://4ort.xyz/api/v1/knowledge/get_entity_changes?entity=logic-in-computer-science","attention_api":"https://4ort.xyz/api/v1/knowledge/get_attention?entity=logic-in-computer-science","wikidata":"https://www.wikidata.org/wiki/Q2651693","official_website":null},"trust_rules":{"wikidata-reference-support/2":"From the references in our copy of the statement: high = it cites a source (stated in P248, or a reference URL that is not Wikipedia); medium = only 'imported from Wikimedia project' or a Wikipedia URL; unscored = our copy holds no reference (older copies dropped references, so this is not evidence that Wikidata has none). Wikidata may hold more references than our copy shows. Reference support, not a probability."},"notes":[]}