{"entities":{"Q5951524":{"pageid":8128326,"ns":120,"title":"Item:Q5951524","lastrevid":97715741,"modified":"2026-06-05T15:16:43Z","type":"item","id":"Q5951524","labels":{"en":{"language":"en","value":"A milestone reached and a secret revealed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686110"}},"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":"Q5951524$E3DA9566-0569-4BB1-8238-02D5E11E2921","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5f4b221607a5697353d5d924345debdaf08f817","datavalue":{"value":{"text":"A milestone reached and a secret revealed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951524$FC6F7E79-3976-43F5-912A-E39769EBD8BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82d19338ba4d7ed92baacda0e43e4dbd2c76683a","datavalue":{"value":"1006.03512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951524$9DBF56ED-B638-41C0-B39E-9A7349E6F809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1444c895ae23b2b49c2f515eaa0a5a8fa3f4fbe","datavalue":{"value":"10.1023/A:1010650624155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951524$138F7CEC-62DC-4F7D-960A-F187B141172C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951524$2B6D403E-BE46-4D1A-B90C-FD9DA6105653","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951524$A2BB8221-186A-4971-A272-4DE6B545293D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951524$243F6EE4-F6D5-498A-B63F-FD9E672BAAA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951524$6B4EEDC3-98B5-4794-9733-C165C77D6D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8543dc45b05e43d65aa6278eb3568aa417fc1e0","datavalue":{"value":"1686110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951524$0E420EF8-0CFD-4C35-AFC5-013E58213477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1965b9141b0e1ae6600b392707e4570797d4c030","datavalue":{"value":"elegant proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951524$E35DDE38-A004-42E8-B1C8-32DCBC2A8292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43192b6665f26d71c3b114dd22098c6364346a4f","datavalue":{"value":"proof finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951524$40251CBF-18AC-4E30-B1E0-70E0BF594355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951524$FF279B76-66F9-4ABC-AB05-5845786B09D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951524$49339F67-1314-4C1C-BCD0-B2865D16B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951524$34E0865C-7C9B-458E-B562-4F543A016D19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951524$C8FC9438-FB82-4D11-8B5A-FFBC19989F04","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":"Q5951524$DAAFD8B8-FBCA-455C-B0FA-88EDF0F98A0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b94ed9db928971612fa05404af0a3630cd165d2","datavalue":{"value":{"entity-type":"item","numeric-id":3809759,"id":"Q3809759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f268337f017ae03e8cdc6c851bafa50fdc480e69","datavalue":{"value":{"amount":"+0.7500169","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":"Q5951524$B3C7ABDB-9201-4FBF-988B-78F669C60802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384e6e1a7061040d4b2ab3e80d318a54eb3ca91d","datavalue":{"value":{"entity-type":"item","numeric-id":2509793,"id":"Q2509793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1c65894f2b939c1b3c58b5abace413c66bf643","datavalue":{"value":{"amount":"+0.7383198","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":"Q5951524$CFBEA2BC-8CE6-4F09-BBFD-543841F2A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96063969be962f0f9f3d42c4588411425d46d56d","datavalue":{"value":{"entity-type":"item","numeric-id":3453213,"id":"Q3453213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267673746a89b7e8722fac5dac724a15ee9283bd","datavalue":{"value":{"amount":"+0.7296246","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":"Q5951524$0F067B36-B379-41CF-9821-50DC91E0676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1f9ff36dee8792f61397e5942cb9160c716595","datavalue":{"value":{"entity-type":"item","numeric-id":1616388,"id":"Q1616388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dc5501344995a97310b6b5ce3df1e80696fc5c","datavalue":{"value":{"amount":"+0.72202396","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":"Q5951524$6FE23606-1666-45E3-97CD-33C99D427BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b271595549c84eb2b142bf3be9892f867b92cd","datavalue":{"value":{"entity-type":"item","numeric-id":3617701,"id":"Q3617701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1da564522ea1b30053dae6c402fe69d14ea62a7","datavalue":{"value":{"amount":"+0.708101","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":"Q5951524$0CB97CB5-2248-4035-9DCF-CFEE4783B5C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A milestone reached and a secret revealed","badges":[]}}}}}