{"entities":{"Q3105697":{"pageid":3116413,"ns":120,"title":"Item:Q3105697","lastrevid":45465163,"modified":"2025-12-08T21:46:37Z","type":"item","id":"Q3105697","labels":{"en":{"language":"en","value":"AfterMath: The Work of Proof in the Age of Human\u2013Machine Collaboration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5995442"}},"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":"Q3105697$D955268C-8CE0-49B1-8949-F5C3D42E10EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2139f7e7e67fc8e0b53666b3689c0e06607472a","datavalue":{"value":{"text":"AfterMath: The Work of Proof in the Age of Human\u2013Machine Collaboration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3105697$28123773-6390-442B-B2C2-BAEE7253C378","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f7600b17940fd67f27d1ab2e0983b9fbbdb7f3","datavalue":{"value":"1236.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$0E6F52A3-D4DC-4CA3-B98F-701A7EDCD87B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2c6594e5ef63d4b724717c91a68424983091026","datavalue":{"value":"10.1086/661623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$5A83D119-8721-4A72-9804-2C3EE1165446","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5254887921850f1926d5a2e4ed9dd4bf77f6f0ba","datavalue":{"value":{"entity-type":"item","numeric-id":3105696,"id":"Q3105696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105697$741AB7EC-74B5-43F5-BF56-4B3E0948347F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2a9e43c6b5942af06c15aadfa7a01bc44f156fa3","datavalue":{"value":{"entity-type":"item","numeric-id":2769113,"id":"Q2769113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105697$44F3FDB6-BAE7-4520-8433-9EFC32A27CAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d04b8daff84f99cf3f01a5ba8a71b465d6e6ca7c","datavalue":{"value":{"time":"+2012-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3105697$FE0F709C-856E-47D9-95B2-D1F61298162E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$F172D08D-51EC-4967-BDFE-FAFE5C6681CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$593F2E98-D410-4DC6-9820-FEC160ACCB09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3966a41c38cc67defeb1e9ddd15e73bf1b2a99bb","datavalue":{"value":"5995442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$67729A8F-2677-4B59-ABAB-4F333067C5CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105697$ECB09A3C-030D-4BF0-AB24-C21CCE10FC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fbeaeaff7f9e5903b4fbbb64ca9a1312f6de05","datavalue":{"value":"automated assistance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105697$B9744927-C706-4E16-98FE-137100E97011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb0f5af803150db3a83a2a683bd8c1643660152","datavalue":{"value":"AURA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105697$EE930980-801A-434A-A857-C793BFD5CFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc98925582f9120ab40e9675ad5121ad9b92969e","datavalue":{"value":"Argonne National Laboratory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105697$975E12D1-A6E4-431A-B8B8-01C075E1F0AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0dcbdba1f38f10b0fd720ef60862c7246233d3b1","datavalue":{"value":"Q47344675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$25804AFD-E597-4FB8-9AF2-3EF4FA5EF145","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":"Q3105697$3109CEE5-5267-4A0E-B765-2D5F34DD164F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27d3185911b56ee916c8fcdf31a8f21fca6f19d6","datavalue":{"value":"https://doi.org/10.1086/661623","type":"string"},"datatype":"url"},"type":"statement","id":"Q3105697$58F5C94E-6A44-4C73-91C0-F1EA9B1D5A7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0ef010fafe842ea927a781f1dbde04750bda16e","datavalue":{"value":"W1990781035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105697$773E6DC4-1BCB-4067-A073-1DC3F847000D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebed1dda9f46a3427857bcfea77a17b31ede27eb","datavalue":{"value":{"entity-type":"item","numeric-id":691169,"id":"Q691169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb298577851b8cbd3fc7a2b4a1d78b82580251da","datavalue":{"value":{"amount":"+0.78327334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$5DB5DC01-7290-4E3D-94C4-E194830B5EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040efcad29b55e43be678d9495fe4066891d758f","datavalue":{"value":{"entity-type":"item","numeric-id":4972861,"id":"Q4972861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916d2d454e5f3062cce7d986b8d26a47e977e950","datavalue":{"value":{"amount":"+0.7791015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$B724D95B-9168-4964-9268-2E4CD6A1F4F0","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":"3576c3a3eef560a2f45fc146fb15450129084d77","datavalue":{"value":{"amount":"+0.7734368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$FD53B9C6-1B67-437A-80C9-3607011494DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350abb8291e9a175b3aabe73a3976b1ecaa27253","datavalue":{"value":{"entity-type":"item","numeric-id":3616422,"id":"Q3616422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847361d9e95583ba29bde5828809348206c5ea73","datavalue":{"value":{"amount":"+0.77193236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$83B4A316-D0D1-406E-9F57-1E4D4D0A7D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209fa210943d0fef470cb6ecf9b68e1e7313ee33","datavalue":{"value":{"entity-type":"item","numeric-id":5234246,"id":"Q5234246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c2be44f4f6a9bf73970e67ed455042f56477e5","datavalue":{"value":{"amount":"+0.76512975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$3B991B04-2C2A-4B3D-9741-AB939F3D28BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c636da3f6df0db98ad3898751b71d2c79d534186","datavalue":{"value":{"entity-type":"item","numeric-id":3690258,"id":"Q3690258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8fae4609f6807ab45170a35310d16138bcab7a","datavalue":{"value":{"amount":"+0.76047087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$A81B1178-5382-4AC9-B2CE-F93ADB50FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32069b0589eb4db5087176898bae93506014dd43","datavalue":{"value":{"entity-type":"item","numeric-id":5301848,"id":"Q5301848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b46252c72f1c592354aca417400729a159d74cb","datavalue":{"value":{"amount":"+0.7599504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$ACD8CCB8-6BC8-48FD-B307-95D4FE2114F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ffdf54fbcc3bdde8a77a9b752c88bc0363f5af","datavalue":{"value":{"entity-type":"item","numeric-id":2826604,"id":"Q2826604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1838200634a60838589ebfecf2b0c5bb5473a7","datavalue":{"value":{"amount":"+0.7550692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$86D2DA1F-3CE5-44CA-B1AB-2172A95E3117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa89c6e70be16dca65fe5beeaabf1b30ad08153","datavalue":{"value":{"entity-type":"item","numeric-id":4247309,"id":"Q4247309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f930f64fcf66176ee7b0d62a0203030cc77476d","datavalue":{"value":{"amount":"+0.7535291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105697$0DC956F0-C721-4F90-AAE7-331288FDB4E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3105697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3105697"}}}}}