{"entities":{"Q5717464":{"pageid":7747018,"ns":120,"title":"Item:Q5717464","lastrevid":101651702,"modified":"2026-06-06T01:55:59Z","type":"item","id":"Q5717464","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244746"}},"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":"Q5717464$9804B2B6-6FE7-4DB0-8D6D-0106359369F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72fe85e01709f12944d8ecd77a8d9733a0d516d8","datavalue":{"value":{"text":"Mechanizing Mathematical Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5717464$3A617BBB-CE04-4EEC-ABEF-F51B213ADE0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a23f6c90c05d5240397bceb90e72db7eb9e6a8fb","datavalue":{"value":"1098.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$0948B0A3-04F6-4A89-9A1B-AA1C6218CA2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717464$A69DCE87-F16B-44A0-ACF5-0C08A9B9BEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91aa34df3677c28e61d4b12884763794b2394a45","datavalue":{"value":{"entity-type":"item","numeric-id":196896,"id":"Q196896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717464$6F10D316-1115-4FE5-97C7-AC563B6AC269","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717464$F666F07C-67CE-4222-B86C-5A04C3527817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-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":"Q5717464$DFE2D806-0459-4006-B9AA-B20A5488FE6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$258C102F-E299-4AB6-989D-D511279BDF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$50538844-CF4A-4060-B424-A9E8393C6093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$46A3320F-B261-49FC-A84E-CE8DB7D23AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$135E16C0-CB72-44FC-91BB-E714BBD50669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$735440C7-C7C0-43AF-97F8-B5A166E589BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b634414e6e26b5990a1ac2a563ffb60cdf7aef8","datavalue":{"value":"2244746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$097831AD-B231-4A60-9DE9-9B61FFB70638","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":"Q5717464$F00B0036-EDFA-4929-80A4-64ED27EA4FCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"703773b8d2bd6b8fbc89ad622e8566bce28b2e06","datavalue":{"value":"https://doi.org/10.1007/b106663","type":"string"},"datatype":"url"},"type":"statement","id":"Q5717464$31CE8C2C-58F9-41EA-B3D3-7176A951AF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$4374916F-7FA1-43E0-B64D-9574ECBB6373","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717464$BB70F037-8183-4531-9C89-F70CF193DE97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb1c56c1895a7d7166616aa878544012af54a70","datavalue":{"value":{"entity-type":"item","numeric-id":4928712,"id":"Q4928712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926b8547414a707af3070f159e470ec2ad57021c","datavalue":{"value":{"amount":"+0.81428206","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":"Q5717464$8772CC9F-8E4F-40C0-BDE5-DD4927AD6662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50324133f9e8c05feb53838a499c559e58ddc665","datavalue":{"value":{"entity-type":"item","numeric-id":4532203,"id":"Q4532203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89375826ed35f8106295bdb4cf11a1aa54c2a3e","datavalue":{"value":{"amount":"+0.81108195","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":"Q5717464$B841CB8C-EEB7-49E5-8BF1-1058FDD4F150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5952fe43c3f67bc3a2d48a0dc2805926e0b4b9e5","datavalue":{"value":{"entity-type":"item","numeric-id":582275,"id":"Q582275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef8d0ace04885a9447da22e0cb06605a27c8bdd","datavalue":{"value":{"amount":"+0.8102344","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":"Q5717464$E1EF0C95-01AC-4F71-9542-9F64750D7987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e1001d2711d335bc6ae4b5dbbb84c07f099beb","datavalue":{"value":{"entity-type":"item","numeric-id":3636803,"id":"Q3636803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562a01f498f28023eef876ab2423b49c3bc1695a","datavalue":{"value":{"amount":"+0.8080833","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":"Q5717464$47C969F5-2D0F-44EC-A530-858451430B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33462f57f12f05c8c3c0f121c843d1809c8d3318","datavalue":{"value":{"entity-type":"item","numeric-id":5458360,"id":"Q5458360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562a01f498f28023eef876ab2423b49c3bc1695a","datavalue":{"value":{"amount":"+0.8080833","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":"Q5717464$E9DC90FD-1F3A-4C13-9372-16B3B854E6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9eb16d7f8ca4797fa8d9259b2bd5a3279e4dab","datavalue":{"value":{"entity-type":"item","numeric-id":5285639,"id":"Q5285639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba497d23636e942684e0c82792a66fef252f9ed1","datavalue":{"value":{"amount":"+0.80516803","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":"Q5717464$749D097B-C299-4834-90AC-FBA0B3CB6FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ba61a6fb9d4aaace83a69f00b86b2a285b4da6","datavalue":{"value":{"entity-type":"item","numeric-id":4273480,"id":"Q4273480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e632a18bc9b325ee4eceaaa629d4cf8dae5f75","datavalue":{"value":{"amount":"+0.8027007","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":"Q5717464$91FA7312-B2F4-4F1A-B085-EC2454D902CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ec0ea93774616a96eac24f403d17e1046b7726","datavalue":{"value":{"entity-type":"item","numeric-id":2268772,"id":"Q2268772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faf7e860f3e571f58b3a172d84f58e0158ae176","datavalue":{"value":{"amount":"+0.80218387","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":"Q5717464$B3826698-DC62-45A4-9233-9DC45FE18D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8e0e23eaee46ee09151339d4b2fb3031cd468e","datavalue":{"value":{"entity-type":"item","numeric-id":2748738,"id":"Q2748738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd4f5fe64f4a1de8565d73ecd0b0b87d925ac6a","datavalue":{"value":{"amount":"+0.800648","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":"Q5717464$213CE741-5D2F-45F1-879E-5E38EEB327FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c4e5eb351e02023faa93238f482b93c48c99c1","datavalue":{"value":{"entity-type":"item","numeric-id":1992015,"id":"Q1992015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b60a2242d37e3822d67dec85e9344876373997f","datavalue":{"value":{"amount":"+0.79727316","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":"Q5717464$7AD282CB-CF7A-47DA-85C3-A5B67938AB00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Mathematical Reasoning (scientific article; zbMATH DE number 2244746)","badges":[]}}}}}