{"entities":{"Q5210811":{"pageid":7240382,"ns":120,"title":"Item:Q5210811","lastrevid":36553885,"modified":"2024-07-21T11:23:24Z","type":"item","id":"Q5210811","labels":{"en":{"language":"en","value":"Combining symbolic computation and theorem proving: Some problems of Ramanujan"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154588"}},"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":"Q5210811$267778E1-E46D-4D78-B46C-21DB639D1957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"407d2355984fecd06184ad65e587d15a5711548e","datavalue":{"value":{"text":"Combining symbolic computation and theorem proving: Some problems of Ramanujan","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210811$367D95CC-80C9-41FC-B008-78FA8F41D945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"997cd2ee2ede3d7cce5e0cb92f8e70bb01d71f57","datavalue":{"value":"1433.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$2DF54EE1-778D-4DF6-94C3-61256BF55669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf606d93372f09b0394dfe82ad7bacf5fb39e6e3","datavalue":{"value":"10.1007/3-540-58156-1_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$BC1D700D-EC84-496D-A281-CCBDCDC5700E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f604a46fda80ac945b2846c7370096254c6c31","datavalue":{"value":{"entity-type":"item","numeric-id":285696,"id":"Q285696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$46491694-1F1E-4BC5-A8ED-C5DD77639875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$CD78A814-3745-432F-8A1D-45C5DC158A9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$F3336E3D-AEBC-4263-8F93-FA8E6BFE0ABB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210811$42ADC662-045D-43BD-9A4D-002EF693F675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"381620d329ff9039b9528f0dcd4f982715141e2a","datavalue":{"value":"https://figshare.com/articles/journal_contribution/Combining_Symbolic_Computation_and_Theorem_Proving_Some_Problems_of_Ramanujan/6604205","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210811$AA26FDCE-A97D-402D-94C5-0DF39769995B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$3FB52C2C-1186-4530-B32E-71D125F97222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$E75200CA-3A9E-453D-B40D-85D1C45853E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$C49289B4-7D4C-4A7E-A3DE-CF55C09901AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51df0e225692746d7e1e29c0d1049a86ad1e9429","datavalue":{"value":"7154588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$62A48784-E0DB-4669-8D43-A5F0AA476604","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":"Q5210811$91019680-B61A-4DE8-926D-55A84D5B27E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c7aa2f6524ce87293a606a3bdff5a4ce53dcd95","datavalue":{"value":"W1835022414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210811$AF46A6D0-BA84-4CE0-9DF1-E9F2AEAB6C84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b63e14f4f9f74ab677474f29791c9310ce51bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3218192,"id":"Q3218192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$F0381832-4439-4300-A3B5-60A8FE3201E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43a14224fa5235de73a12a4a92053be887ea6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1272608,"id":"Q1272608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$83834A5B-5581-4CD7-B481-56B5DD337A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c20ff7cbd853f51faf63c9f9e5111598e059c4","datavalue":{"value":{"entity-type":"item","numeric-id":1823014,"id":"Q1823014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$1F559E12-733C-42C9-B34B-CA492A9F85C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3df713312a9e3c7a322486a58346b343f25100","datavalue":{"value":{"entity-type":"item","numeric-id":4264708,"id":"Q4264708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210811$EC1F3CE2-37B2-46E9-9D42-8845BFCBF7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210811","badges":[]}}}}}