{"entities":{"Q5717442":{"pageid":7746996,"ns":120,"title":"Item:Q5717442","lastrevid":101651504,"modified":"2026-06-06T01:55:57Z","type":"item","id":"Q5717442","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244724"}},"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":"Q5717442$220076A7-3608-4646-9939-6CBABF150D40","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":"Q5717442$622F8496-6EAC-43DC-AB11-71A5E83898E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a3999d43bc0ebfb5e18a677d93b50968d715ce5","datavalue":{"value":"1098.68705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$73A8A73A-CDB1-41DD-93EE-42E69E5F048A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717442$6E31155E-84BA-46A6-8771-B2638929C3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b787c151653507489e8a5af88ca1b96d25a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":438565,"id":"Q438565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717442$703F80B0-C5BD-4903-8FED-FBC051CE7945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faba8a041f2410cf65e45e40a1807e773a945b14","datavalue":{"value":{"entity-type":"item","numeric-id":229742,"id":"Q229742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717442$8E3891D9-046A-4581-A96B-5E48FEF3678A","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":"Q5717442$4647EEC2-8D01-4506-BA13-7EA7795FDF5D","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":"Q5717442$83730EBB-1C65-40DE-897D-E4913FA59C15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$A881D5AC-F404-40BF-8C90-2F0C6DE417C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$DF40F9A8-CBB3-4BC9-BB84-A952C818F2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$7BF9FBE8-86AF-4E0A-83F0-625DB064F368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$DDEECD62-AC3A-4674-8013-92B21019A64C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00b202c624cdb7bf6210fc6c1a33a2615d0cbe9a","datavalue":{"value":"2244724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$45616C65-D676-40E4-91E0-98C0F40A4B49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4cf1098435f0ea239db8e958cd90d4a3155da2b","datavalue":{"value":{"entity-type":"item","numeric-id":14266,"id":"Q14266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717442$8AB6FF2A-CAC2-4D93-BA50-BB5F3F99E494","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":"Q5717442$D93C154F-B591-4AF1-A42E-22B86BC7899B","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":"Q5717442$01F35E01-EE8E-4A55-AA6A-4F4C55266F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$EFD06E53-57B6-402A-AB7B-C1DAD6BAC762","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717442$2FDD0276-63DD-4797-A8F6-526C42E79DC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846e1ab0d95e76268ad690c405e21125e48320a2","datavalue":{"value":{"entity-type":"item","numeric-id":2922735,"id":"Q2922735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083e245c0805f159afc981f274e53fa900534731","datavalue":{"value":{"amount":"+0.8882452845573425","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":"Q5717442$7A211983-E75C-4580-8143-80F534701C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec1a54469d6f14e1f1fe29e595dc2322b0661b2","datavalue":{"value":{"entity-type":"item","numeric-id":5479264,"id":"Q5479264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2446beaa3761f2862bbefd1dcfc68b7bddb3984","datavalue":{"value":{"amount":"+0.8373493552207947","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":"Q5717442$4B69071E-4C1E-46E7-A533-0374FC33423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fd28bfaf82097668fc1844ac0b57ab206ceb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4809039,"id":"Q4809039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f1209caa5cc1196a55e53772dbceb17a9d1615","datavalue":{"value":{"amount":"+0.8300984501838684","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":"Q5717442$DECD70DD-F50B-41DD-8D95-302B5EBE864A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6dc7220da87e4691a671b077e42da230fe7bca3","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11432be7bef2477bef1220d6a8c35bc80b47f5e1","datavalue":{"value":{"amount":"+0.816132128238678","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":"Q5717442$6558F7F1-AB7A-46E9-A775-2A2B68FECC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2c4f49bb3dff8235785e2d9d9a741d5f235fb8","datavalue":{"value":{"entity-type":"item","numeric-id":5900603,"id":"Q5900603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6631e06fbbd8fb3f04b081648bc4e63be1e77c","datavalue":{"value":{"amount":"+0.8099817633628845","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":"Q5717442$50985182-3717-4078-B3B3-2490670B95EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Mathematical Reasoning (scientific article; zbMATH DE number 2244724)","badges":[]}}}}}