{"entities":{"Q3654815":{"pageid":5684721,"ns":120,"title":"Item:Q3654815","lastrevid":88585430,"modified":"2026-06-04T14:54:56Z","type":"item","id":"Q3654815","labels":{"en":{"language":"en","value":"Proofs verifying programs and programs producing proofs: a conceptual analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655627"}},"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":"Q3654815$2C454D12-502A-42DE-8BC4-29E6A35C02EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfea379d1be0370916ca6fb0a4b86e722d496679","datavalue":{"value":{"text":"Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3654815$5AB866D1-8217-4A87-8DA0-F4ED1E2E3168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e9e187f3c7be09919d7a741e03c2693917dfcab","datavalue":{"value":"1193.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$453112F9-A52B-40F2-BC59-FE9C3A714AC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3871bd6a7e8776da801d3b70a2c0405bb881705b","datavalue":{"value":"10.1007/978-88-470-0784-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$D7C72B53-16C1-4927-882E-F3AA96C10692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8e1626803f2971fce4228c956999d9d244fe7c","datavalue":{"value":{"entity-type":"item","numeric-id":383063,"id":"Q383063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654815$A99F9F19-F37D-4007-9AA1-D15B9113A62F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"817f3a21306ffbb21ac9556a17dce6a253f22692","datavalue":{"value":{"entity-type":"item","numeric-id":3654810,"id":"Q3654810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654815$0D5CEA2C-1CE3-4E9B-B2F3-1E13D15081E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d12cfe50c59f687f38be9f2f77cfadd66d91c79","datavalue":{"value":{"time":"+2010-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3654815$2AC04BF7-116B-4C16-AA50-728D773FC5F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$4EB200C8-05BE-4D9C-A90D-660F6A746581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$2A9F2E8B-CCE4-442D-80E4-9432D1CBB0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$D6C029B4-AD4E-40AB-A395-3549A919CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$4CCC8BCE-FB43-4A8E-A27B-F8337B69084D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$CCB72755-57C3-4AAE-81C8-816434A59D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$1A4A22F1-0193-489C-95DA-C632498D595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$AB23668F-6EFB-4203-8F40-329F36FCD5A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1cac45f3e18d30ae17c4805cd4dcef1004a4542","datavalue":{"value":"5655627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$6049E8EE-012A-434D-8D2E-AE2C88C62190","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":"Q3654815$4E6435C1-E229-4AD3-9637-4C32386BCCBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01f50124d6a6027c0511cad1a5f9a390a0fa5714","datavalue":{"value":"https://doi.org/10.1007/978-88-470-0784-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3654815$FF83FBA6-89D5-4DF1-86A2-07350D903524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"785c2dc4f6a562b1502a2d5b463d3fcd51651897","datavalue":{"value":"W63969647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654815$6391D5A5-793A-44C0-A2FF-ACC0DF7B8D91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb08caf66d53ea0b6eb2f6a9740844d85c1b9a9","datavalue":{"value":{"amount":"+0.790293276309967","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":"Q3654815$24E9CCFA-DA76-4A44-AFF8-30060276C8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb08caf66d53ea0b6eb2f6a9740844d85c1b9a9","datavalue":{"value":{"amount":"+0.790293276309967","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":"Q3654815$6FAC76E7-881E-4857-9162-E1D00B622534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71a7de87cb767d1754fe0ee1a199c88548c0e87","datavalue":{"value":{"amount":"+0.7877157926559448","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":"Q3654815$DCBD08E2-B118-4435-BBE3-C9635CFBA333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed36a1c563bb64f40122e778dae15c105e1d6ce5","datavalue":{"value":{"amount":"+0.7745100855827332","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":"Q3654815$1CC9C473-EFB0-4999-ABC3-784035993BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c0c38f6268df2cba63533bb44a641d219e574","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6426f64fa1a142ac30cc72d30cf394a9af3fab34","datavalue":{"value":{"amount":"+0.7710497975349426","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":"Q3654815$7ED8E588-ABBF-49A3-929D-5099E8D0892B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs verifying programs and programs producing proofs: a conceptual analysis","badges":[]}}}}}