{"entities":{"Q5301848":{"pageid":7331422,"ns":120,"title":"Item:Q5301848","lastrevid":96004439,"modified":"2026-06-05T10:12:31Z","type":"item","id":"Q5301848","labels":{"en":{"language":"en","value":"Computing and the cultures of proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494543"}},"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":"Q5301848$8E861E8C-9B91-4AE4-A9CE-6D0A7F582472","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7304fd9fe909c46c44d2e2d03e751392f65298d","datavalue":{"value":{"text":"Computing and the cultures of proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301848$0217D53D-140E-47F0-B0BF-9031C4A7B8AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd6b9a1fa744c00905630bcd56d61e243a13d10d","datavalue":{"value":"1152.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$DD5EADBD-CC7B-4E80-A310-DADB32DED58B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$6867913B-CC03-41D0-B333-F22BE61B7CCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5301848$8C59288D-F4F8-4336-A80E-DF6CEB023BEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$BC14766C-1CB0-4D08-96F5-9D4265658B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$580D5267-2E73-46ED-B63D-57C0BD749296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$E44DC05C-D6A6-41B8-AC11-6E8D4CB9494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$72D4D56B-F55D-4A96-9650-7C5B9FA431A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8c009a942bde43de83d445440ef15fb7fcfdd02","datavalue":{"value":"5494543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$64E2A1F5-32CB-497A-AAC2-F295025E38D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301848$98C82D9A-9289-4BF0-9610-B476BBC094E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14956eb149ed799e4731becf157454c88da0519e","datavalue":{"value":"sociology of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301848$1B8B373F-0CF1-45D1-BE5E-E2100DE760D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0019de65e9115abb2395c0470ecc43aead5f7bf","datavalue":{"value":"cultures of proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301848$35FEA6E7-B7B0-4032-8B94-4B7609A452FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25637d8660d1dd39c0e911ac7100dfe2194a266e","datavalue":{"value":"computer-system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301848$080FC0BB-F59C-40D3-BCB8-94A9953DE106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301848$53354CCD-0649-4095-B550-E12290E19A82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a82971f6ecbad2ae07a3cfbba93be5b8be6f47","datavalue":{"value":{"entity-type":"item","numeric-id":2281472,"id":"Q2281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$5E70889D-6E6F-43DE-9FEE-D2AE966F515B","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":"Q5301848$C881CB77-D49C-4D2E-BCD6-89CEFEB524CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9704af97dc9d2b9d4eeb0c48311c1951d2817aa8","datavalue":{"value":"https://doi.org/10.1098/rsta.2005.1649","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301848$B349737C-CCE3-4F1B-9626-78B6741988A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eeb5af9cfe6b1dd41457cda0c0da115f125e951f","datavalue":{"value":"W1979207622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$1E4A7410-A730-4811-B8D6-CE631D20B62B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9447d73f685b8442a75e511dc7481f03507d8097","datavalue":{"value":{"entity-type":"item","numeric-id":5301851,"id":"Q5301851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$44FC1006-E1F7-44B1-B24A-26F6D33E1770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$2DBA3959-95A4-4F1E-81BF-CF9074C5C281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd38b193cc51f672c5a66b73980812c74b3423c","datavalue":{"value":{"entity-type":"item","numeric-id":4013174,"id":"Q4013174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$68E8FE44-F234-47C7-8328-A8DE8279DE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b69785742bae8a46dab1d942229a955ccc194e3","datavalue":{"value":{"entity-type":"item","numeric-id":3949940,"id":"Q3949940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$10DE97F4-4345-4EA1-B3B6-835D63627F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$888578CD-6FA4-4B2B-BCA2-41F66B78E025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fbdd7c9846a3031008e4ca920851f7e4843d695","datavalue":{"value":{"entity-type":"item","numeric-id":1607098,"id":"Q1607098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$92EE9179-4BAF-4371-9889-2C5D15271F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb5831420071cf432dc3e1c476b61a79483d852","datavalue":{"value":{"entity-type":"item","numeric-id":3250587,"id":"Q3250587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$580F9F2E-4D78-44A3-91B6-D74B936F498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e40591ab29f28745c8b11a707dbd2c936b994b3","datavalue":{"value":{"entity-type":"item","numeric-id":3997884,"id":"Q3997884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$4410AE4E-BFFC-4F9C-8280-02F53B5BB5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$770BFB60-DD3D-409C-AAD5-DC5191760A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d07053bfe32a04098a7ecd7d7f509a8717a462","datavalue":{"value":{"entity-type":"item","numeric-id":1821550,"id":"Q1821550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301848$F21C9F5F-7222-4759-AED6-337C1B7127AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4b4ba25f0dec88c1486c16c0daa463f9ff208727","datavalue":{"value":"Q39731353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$B8311163-EEF5-4997-95F9-49C91A40D1D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76c925e2d911e33ab514a96c81d1778f40964e59","datavalue":{"value":"10.1098/RSTA.2005.1649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301848$EC2D350F-1133-423C-80F8-F552656E0C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3402ca78550be85cdc6de3757cefccaa74df2e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4664201,"id":"Q4664201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fbf1fcf60825c16304c60a236fb47b2f78e18e","datavalue":{"value":{"amount":"+0.7801441550254822","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":"Q5301848$CAAA5001-F634-40F3-9E07-71ACF3B7A263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4656fbbe92a39aa996b8b4758bffd34d9eba30","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cce490dc8455e76048330e7174daf2bba969b4","datavalue":{"value":{"amount":"+0.772332489490509","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":"Q5301848$DFB25922-942D-4D6D-B8EE-1B00D7B3EC0D","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":"b39054d7be159501b01d2df2d03d42c80570069a","datavalue":{"value":{"amount":"+0.7723259329795837","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":"Q5301848$80742F08-7145-4F64-9134-DB08D8A78C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95879e37b088d3a6f41b86d40ae8b8d0456823cd","datavalue":{"value":{"entity-type":"item","numeric-id":4892490,"id":"Q4892490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fb702753603092ab741dd41f1c94097c37892f","datavalue":{"value":{"amount":"+0.7718210816383362","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":"Q5301848$9DCCBC13-90AA-401F-B9C4-6EA65CFED5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cf4e037dea03bda055f5abb8cad5161217acb9","datavalue":{"value":{"amount":"+0.7640529274940491","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":"Q5301848$E390C517-D82B-4942-9D04-D8FCE83B78EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing and the cultures of proving","badges":[]}}}}}