{"entities":{"Q5717459":{"pageid":7747013,"ns":120,"title":"Item:Q5717459","lastrevid":48625168,"modified":"2026-01-05T10:33:04Z","type":"item","id":"Q5717459","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244741"}},"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":"Q5717459$C9A9869C-7E74-4845-B7AC-BE38BCAEA331","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":"Q5717459$E04C1CEF-BE4E-43DE-BBAA-1A6A874E0FBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fe73a6d13529d21c383a8538b7579e145cde341","datavalue":{"value":"1098.68694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717459$8DB33512-9E08-47D6-9432-0D1E0AD10E4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717459$4610B767-FE37-4F8F-97EF-C1F03B25220C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4305e7b2a6e4459bc4478e72255ec07233bbecdb","datavalue":{"value":{"entity-type":"item","numeric-id":540675,"id":"Q540675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717459$FA71AC19-A201-4E2F-8BBE-682784192A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717459$8B4CA505-0B1B-4509-B92A-2276B2C6F3FA","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":"Q5717459$9FDB0F7B-D63E-404B-B747-A7CB9C8FAF17","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":"Q5717459$566E33A5-A6C4-49E3-97AB-99BFCC00827D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717459$662CF80E-2743-420F-AA84-787D6844CCB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0ead7fa1c7abd84b9276e2bce7f770ebe165f82","datavalue":{"value":"2244741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717459$72679C7F-7C8E-4A16-A1F6-46277C134A94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717459$E2308BD6-95E9-4FFD-84FA-33208E8A3BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717459$83C514B8-2F29-40B6-AB23-E5101833C427","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":"Q5717459$F41E153F-345C-4B38-8C9A-19D2248C0742","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":"Q5717459$38FFA798-C3D9-4BD7-996D-B14113613D01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717459$1C692122-229B-4814-8ECD-D80614B184E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717459$9E96E5DC-79B6-41C6-A568-55273D53F8FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5005ce220e7189d39b151521c80328c635f2c","datavalue":{"value":{"entity-type":"item","numeric-id":4539649,"id":"Q4539649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19ffa929490bcd991c57ff9ecedf2b4ea770f16","datavalue":{"value":{"amount":"+0.855280876159668","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":"Q5717459$F880717D-7B5C-4264-BFBC-1E0C8C2586F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97bab009359a69f6aba70a8416f3d9c2262960","datavalue":{"value":{"entity-type":"item","numeric-id":2738486,"id":"Q2738486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a778629289532553792117175bd0d242d59556ee","datavalue":{"value":{"amount":"+0.8141399025917053","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":"Q5717459$757FF315-A6F7-4A3E-9AAA-2C6F978FB427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cf9c69cc11af0284731f4902072a9447a636b9","datavalue":{"value":{"entity-type":"item","numeric-id":4737127,"id":"Q4737127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a778629289532553792117175bd0d242d59556ee","datavalue":{"value":{"amount":"+0.8141399025917053","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":"Q5717459$7B06325D-9970-4568-9718-5B458D21F10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8622c562c05b951ae17878a9cdb0da17672413","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273529c8d4ecd2815ed2571bea0aa299c2347ecc","datavalue":{"value":{"amount":"+0.8132899403572083","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":"Q5717459$EA9D8AAC-1CE4-4F3B-A819-D47E7FEE6C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a27f65171a16ec1255d72e9a05aaa54b77fc0c6","datavalue":{"value":{"entity-type":"item","numeric-id":2864358,"id":"Q2864358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fac3cf15bb154198c723f101cb17fdc477e8a7a","datavalue":{"value":{"amount":"+0.8094583749771118","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":"Q5717459$E9AC629B-2368-49B4-ABC0-3C5CDF38DA97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717459"}}}}}