{"entities":{"Q1623147":{"pageid":1633887,"ns":120,"title":"Item:Q1623147","lastrevid":77917136,"modified":"2026-05-06T10:21:37Z","type":"item","id":"Q1623147","labels":{"en":{"language":"en","value":"Explicit auditing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983517"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623147$33566987-A69E-48F5-B92A-6AB7F36C3F75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08d6e3783dbfd8ed8300f5566160ed9935dcd55e","datavalue":{"value":{"text":"Explicit auditing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1623147$C56E65B6-EB99-402F-8EA5-197576BC7579","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"235a16bbdf37327fbe2e5f7c20b6f8112d4b6280","datavalue":{"value":"10.1007/978-3-030-02508-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623147$0FDEB6D3-60E7-4E0E-B226-EFD90C6E3490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623147$F0CD88FA-BF6C-41A4-8832-CEA8016B198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623147$B84915DB-64C2-4FF0-8770-C4C7A2A1123C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1623147$5764871B-B03F-411A-B144-0DC28E87BE04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c1e23f0973d6291638f8cabfa67c690ca46f320","datavalue":{"value":"https://arxiv.org/abs/1808.00486","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623147$AEEB2DB6-1C9C-4780-B603-F5DC64DF002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb6b080fed4e54a937fdf16e96fdd5f05a690b5c","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/69797959/1808.00486v1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623147$394C1FB9-23DD-41FC-AABD-5C4B7699E667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623147$BE468247-C7D6-4090-9209-90B000F941AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7cd2156d87e0b22d4c0b5e261d914156046d182","datavalue":{"value":"6983517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623147$E21C8CB4-53E1-45FD-9777-14F1CC6F4AA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623147$9CACEE18-A130-4EB3-A254-E7937EED1B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623147$4C573524-9248-4445-8075-5C5BB488BD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae776c437887333f0b592510e604ea679d73c9b9","datavalue":{"value":"audited computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623147$FE14C380-9B8E-40D7-8968-FAFCC61315CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623147$0E40E632-F96D-49F0-AA04-8AEC36C3BE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623147$0313F1EE-5F63-432A-9FD8-E9836D50F428","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623147$B9FBC38C-BD77-494A-8B36-E087AEDE253A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee4371f08a26fa121a469d5832d7e5f116664363","datavalue":{"value":"W2887832750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623147$76F2F464-FE09-40BD-8714-AF7F4EC6D1D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31c47587899682bbd134b46426ba6b8a9022c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5111206,"id":"Q5111206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166babccc9d6db919072070fd9893316bdd214c8","datavalue":{"value":{"amount":"+0.8387590646743774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1623147$2D08DB8C-9B1E-48CA-84FA-2596577244B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3669276cdd944464f4db9d1d6b46e5240e15764d","datavalue":{"value":{"entity-type":"item","numeric-id":4612429,"id":"Q4612429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf20c4496fefa2d58962711fadb64282b237387","datavalue":{"value":{"amount":"+0.7546313405036926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1623147$CF79DA6B-FD70-4E01-A4E9-891B4B231052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe426ac3289233ddb1f1c83610c8b4291fe80d","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ead2923cff868f49083b478e93cc108f09d6e26","datavalue":{"value":{"amount":"+0.6882420182228088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1623147$06050A60-1E58-4A05-B83E-700934EDA900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bee7d35a4f979b2dedd12e3ca311e79a91c086c","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b9fddae552999e3aaa001d28ab7f4b5b619354","datavalue":{"value":{"amount":"+0.6453709602355957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1623147$D571D808-C66F-4B29-A308-5D64A3D508F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6329edf424aee4ec283bb9b74b8e8a8270f47417","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24d73442c8a7982eee14b147f4cdd748eb7bc18","datavalue":{"value":{"amount":"+0.6451212763786316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1623147$C76CE551-982B-46D4-BC02-F369EE6842E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit auditing","badges":[]}}}}}