{"entities":{"Q4501827":{"pageid":6531420,"ns":120,"title":"Item:Q4501827","lastrevid":81893444,"modified":"2026-05-06T19:36:16Z","type":"item","id":"Q4501827","labels":{"en":{"language":"en","value":"The automation of proof: a historical and sociological exploration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1503656"}},"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":"Q4501827$DFBCA27D-1E68-4BBC-A2BB-A92811A91A27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"631b4c380974a78c44cac6578a17f0c8e06b9171","datavalue":{"value":{"text":"The automation of proof: a historical and sociological exploration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4501827$320D8FE2-3657-4D38-B992-84FC4F6ADCC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f18c9e8c8979b6830acd92b5c5633a21c8525b97","datavalue":{"value":"0944.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$A4EEE399-C5A9-486A-85F8-4637FB4BD8A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"690846ce051d29dd5fe9a2a780746722b03be411","datavalue":{"value":"10.1109/85.397057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$C886B66F-549D-4C15-BB28-B4D76D72A49D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56a8dcaab253099ce80ac5ea30348fb36afe2762","datavalue":{"value":{"entity-type":"item","numeric-id":3199362,"id":"Q3199362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501827$D46B0A09-97DF-487D-8160-61E24BEE6306","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10c84906cee8b3553255ea7c153c4a47e01010b2","datavalue":{"value":{"time":"+2000-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501827$9835BA2F-0F72-4215-99E3-1841920DC568","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef3a1b1c8de467ba011e50889b8a2398a97a08c2","datavalue":{"value":"https://semanticscholar.org/paper/56ac06a49b77f55bbc527156625bcbabe2789867","type":"string"},"datatype":"url"},"type":"statement","id":"Q4501827$6271D74F-52D8-4A9C-92BA-9A336F4734BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$EF3BA515-7699-41E1-872A-AE4DA0C9A37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$753F1003-A027-409E-8448-1FF365C5F005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$D627A496-597E-4F8C-A597-29B1F54D4E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$5EF129EA-E0BC-4F6E-9EB2-C826B8EB10C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$1C57FDDC-40BD-41BA-9109-97BA54817E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c3918278637bedc498728ff8dd20fc7649472fc","datavalue":{"value":"1503656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$54278912-CE69-42E0-9A4E-FAE1E263E3DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501827$BEB9013B-E324-4421-86DF-319334B9D740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501827$59D01EA1-9ACD-4458-AEEC-553453BB9CD9","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":"Q4501827$2062E17A-44C7-4456-9C90-D918B87100FE","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":"Q4501827$85C4C20D-F33B-4909-8ADB-98401924BB23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23010555fec7c86366a57cb2ba934d874ffc364d","datavalue":{"value":"W2157491995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501827$938BE692-9B93-4161-AF1F-DB4EF5C5674F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The automation of proof: a historical and sociological exploration","badges":[]}}}}}