{"entities":{"Q4900163":{"pageid":6929742,"ns":120,"title":"Item:Q4900163","lastrevid":98148074,"modified":"2026-06-05T16:46:45Z","type":"item","id":"Q4900163","labels":{"en":{"language":"en","value":"Computerized proof techniques for undergraduates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6124934"}},"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":"Q4900163$3B912866-F494-4FAC-A095-419756114724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e8c55296c958fe50f59903e5b47f55cd9c61540","datavalue":{"value":{"text":"Computerized proof techniques for undergraduates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4900163$C75DE5D5-7E5D-4864-8696-B0CDE6960277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc92564a5002ea12e59cd06b3ee795f0fd0e23cc","datavalue":{"value":"1286.97005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900163$E9919406-C2E0-46AC-8BCC-F90DCDE0E700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"383b677cf689f3cc510897c622f75b3aa3f34d1e","datavalue":{"value":"10.1080/0020739X.2011.644335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900163$A65B636C-F340-4A64-814F-6CC5F0A63D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f1bcc501f4136698071eeebfffc2a59b53ede9","datavalue":{"value":{"entity-type":"item","numeric-id":446360,"id":"Q446360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$450C3885-C9A2-467B-BD67-D38E026108DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e5c376841945db4d064ef1bd031d145231349c","datavalue":{"value":{"entity-type":"item","numeric-id":175171,"id":"Q175171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$8391E0B0-560E-4957-92CE-FE5FEE3CB250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba11f1db96fc0886541ecea8c4e1ffafc2c4dba","datavalue":{"value":{"entity-type":"item","numeric-id":884211,"id":"Q884211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$F4D58394-60F5-4EA7-A6F0-47CA226C2E3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08d20bac7e1bce8563c7b2788edae6eea2ce4dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2808985,"id":"Q2808985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$688EA7BB-D07A-4382-B648-616E31D78439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4900163$6742FD4F-1449-4C29-A6F1-68E606733077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900163$5AED4F9B-37F8-4B30-9D83-8BEE428E7295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900163$265857FD-8FA3-4790-A104-4475AC680C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91bdae4575c464ef1e2d38d3f925f0e19e104e8","datavalue":{"value":"97I30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900163$B67C7238-07CB-4412-AC88-10B3B2986648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c473b9412bdc86b77d499ff84392a2c4962b897","datavalue":{"value":"6124934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900163$459ACB55-75E8-4034-A51B-A692FA446D77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2adb78a7e9d0ee11c60a036ba2de46bd0d1a1e","datavalue":{"value":"Gosper's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900163$04467E9D-FCAA-4198-98ED-7027DF18474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc148c45f8a133fadf92260f0123771cbb8a69c","datavalue":{"value":"Zeilberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900163$5A087649-EB6E-4904-8E4C-0F23D741796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa054cada7c144063166b34492f4d946ff8af5c0","datavalue":{"value":"combinatorial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900163$82EAF816-F2A4-4640-9DF1-09C98B7A7F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ff55a6d80cdfe759100a39ea538f07060c244","datavalue":{"value":"recurrence equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900163$DEF45C73-5DDB-4D5F-B4F5-2CE588FE6305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf21bba8c478596899d93893cf4d6d6c1cc16265","datavalue":{"value":"Wilf-Zeilberger","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900163$A4486A9D-64B6-4C2D-BA96-E068949E0B31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$557DBE24-36FC-42CB-BBE5-B467CA831F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$A3AD4DFB-477D-4667-821F-C68C77600BFB","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":"Q4900163$484C5E17-498D-4333-A418-064891131E8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1c8adc8a660ac16f1ae4cf15f6da7298792f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3649209,"id":"Q3649209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$8C3F3815-1205-45C9-8CE9-4BE227B977D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66ae057e584c87bbeab14b0a64e964a31fc298e","datavalue":{"value":{"entity-type":"item","numeric-id":2862715,"id":"Q2862715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$8E45EFC7-8BEA-441F-9C1D-A79AFB7AFBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4671f2bd3d67b63595a6ce8e3b37ad636cd58","datavalue":{"value":{"entity-type":"item","numeric-id":4164353,"id":"Q4164353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$8A2C030A-32DA-40BC-A03D-98E18A891BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e00ba7d03a470ce43f8b1440f8d2f240d4fa40f","datavalue":{"value":{"entity-type":"item","numeric-id":1918487,"id":"Q1918487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900163$EEF80A80-A51F-4120-9B57-481347472F56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb200e110be925acc5d0d25caab466400e0869e0","datavalue":{"value":{"entity-type":"item","numeric-id":3416192,"id":"Q3416192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f621cc7efe68fc0f476b7816dc4af8dc497d48b2","datavalue":{"value":{"amount":"+0.7601979970932007","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":"Q4900163$DB6D4789-3A4F-40C1-8318-7D84214772C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e157db28629ef10c9bedc71d22dda03a2adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3602565,"id":"Q3602565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b0d677d9b4cac9c078ec3ce79ea64a787649ca","datavalue":{"value":{"amount":"+0.7385628819465637","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":"Q4900163$A396DE03-924A-4445-AF7B-C111DFC8AB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e712b96a7088226e12cf40381e34cb68c6fbefd","datavalue":{"value":{"entity-type":"item","numeric-id":5443880,"id":"Q5443880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88232185bedfb62d8b7da2531cc9aef411ec323","datavalue":{"value":{"amount":"+0.7315073609352112","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":"Q4900163$A20F54D0-F717-496E-AE88-237165926DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8924de7023fadb1d8147de6cbd5b82d66a152f68","datavalue":{"value":{"entity-type":"item","numeric-id":2319443,"id":"Q2319443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9811aaf8d2d14f46612f3bd74f8a162c3f67b24","datavalue":{"value":{"amount":"+0.7238314151763916","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":"Q4900163$8B6EF9ED-23DB-4609-BE9B-60BA0B7D8786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a5ed41603b6329aa9c9dc2197ea7f218ae685f","datavalue":{"value":{"entity-type":"item","numeric-id":5138449,"id":"Q5138449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4cb3376e7438bcc7caeb0ea625b5a4cf2ee318","datavalue":{"value":{"amount":"+0.7195839881896973","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":"Q4900163$33BAE315-35DE-47CC-81A1-A5EBAC6B0BF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computerized proof techniques for undergraduates","badges":[]}}}}}