{"entities":{"Q5717454":{"pageid":7747008,"ns":120,"title":"Item:Q5717454","lastrevid":48625153,"modified":"2026-01-05T10:33:03Z","type":"item","id":"Q5717454","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244736"}},"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":"Q5717454$3C76987C-0C16-4BC2-837E-F3A24BACA33D","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":"Q5717454$FF027BB1-8676-41E6-80AA-2B52BCF1A6B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9464c42a771c51286f8ee37ed2fb3970c6fdd938","datavalue":{"value":"1098.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$64C70B4A-F93D-4044-A9DC-4B76CDFB7195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717454$F1A22C3A-8B30-4696-AA1D-92EBAB46BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717454$6BC9DA51-C4ED-4EE4-9A25-06C734DE0CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6bcca3bd7252b9c5a02bfeefa11f61fdd9ae6f1","datavalue":{"value":{"entity-type":"item","numeric-id":4447231,"id":"Q4447231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717454$D79B1BEC-7F7B-4D57-80B6-09C530AE5B4A","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":"Q5717454$D743BA32-7756-4522-B765-6176DF363601","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":"Q5717454$BB6EF344-DC0F-4565-8213-7D159345BC71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$CA778E68-F815-43BF-8936-E665105A6A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$FED93111-013B-4F20-B9CE-1F363C7947DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$12DD4CAC-A47B-4687-A50F-DD5ADB6B1B20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c75df2fe1aff289fa95b2ef4db89c3445696a5a","datavalue":{"value":"2244736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$779D788C-2404-4953-A9A5-5ADC7B73FE9D","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":"Q5717454$5374207E-23A9-4E50-91E8-A6F610712290","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":"Q5717454$8F27F8AA-4FFF-4B15-85DB-D5F0BA7DCF09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$6DDAF43A-4F92-45B0-A885-99256F656D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717454$4850C090-877F-42CC-B9BA-2ECF3E0D6A4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531299e148adcdf1259b5a4e0470a366a51d8610","datavalue":{"value":{"entity-type":"item","numeric-id":4447232,"id":"Q4447232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987b48d75df00ad6450dea1da360d1915a234f8d","datavalue":{"value":{"amount":"+0.8274887204170227","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":"Q5717454$FF32A4E6-A494-4EF4-907B-E0B67AE3BC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559f15a94cef400e2ec9844671c1946cbc80e3c8","datavalue":{"value":{"entity-type":"item","numeric-id":462489,"id":"Q462489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84fb00121ec69ee723cef1d080c5853bab956de","datavalue":{"value":{"amount":"+0.8118557333946228","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":"Q5717454$D4645805-33E4-430F-9FF4-2E5F4F8EE057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5e5d7696f749c6c2d0d011dd43966ec0a67352","datavalue":{"value":{"entity-type":"item","numeric-id":5200040,"id":"Q5200040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a19949e568a4877a24d384a45a682e6e1900f0","datavalue":{"value":{"amount":"+0.8022280335426331","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":"Q5717454$9D0204D0-4D20-4847-862A-416EDFF91327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdea5b3b77714448ddef7ac8643257273cedb3e2","datavalue":{"value":{"entity-type":"item","numeric-id":4928441,"id":"Q4928441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25169fd4e99c74746865ab9148615f0b530bd958","datavalue":{"value":{"amount":"+0.7875486016273499","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":"Q5717454$6B70FCF6-34B2-4324-9A49-28E6825DD5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37606ff70932a9570760ab69cba902c0d3f1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e645cc013058bf707557e2e628b9b70d582e229c","datavalue":{"value":{"amount":"+0.7874139547348022","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":"Q5717454$7878C204-A060-4A70-974B-F50ADD4EC545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717454"}}}}}