{"entities":{"Q512374":{"pageid":514141,"ns":120,"title":"Item:Q512374","lastrevid":62392458,"modified":"2026-04-11T05:46:40Z","type":"item","id":"Q512374","labels":{"en":{"language":"en","value":"A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688750"}},"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":"Q512374$20A898E5-B43F-4282-85A9-66C7EC0C4A16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48eb5aa6c666caeecf3d933fa07ae5f78c81e859","datavalue":{"value":{"text":"A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512374$604DB78E-8B84-4F71-8EE3-78318F1411FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed95836c6b38c9dc3ffb315d4047fc773139d545","datavalue":{"value":"1357.33025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512374$4ADBC72E-8E17-4768-A8F6-BF9CD452F2A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8ce628c320074a0c35a6a3c8fbebae007172ab1","datavalue":{"value":{"entity-type":"item","numeric-id":512373,"id":"Q512373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$6DB50375-D37E-4910-95D2-A6208D719A97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$4172BAF1-0A40-4303-B3F5-FCABC311FB5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0603ea18d9047924c49ed7d920a19ba7519108b","datavalue":{"value":{"time":"+2017-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q512374$EE6D527A-9D03-456F-8DB8-B07ADA92B3B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512374$F549732C-F31B-4F47-A208-7B97AE353565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512374$99A9A60B-73B6-4241-B904-B0C494B14720","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0803ea72437703e76ef2e7d8c4bfefb10bc19691","datavalue":{"value":"6688750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512374$AA484F72-19EC-47FB-AEA0-4427048B8710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3920bdd8d53f0ebd77847fde4a26704e6e1fe989","datavalue":{"value":"Jacobi theta functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q512374$F814AE71-3DDC-4F72-86D6-8FCDEDDD7F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f2c2f17b94cf84089e5ae62be9ebb199167d84","datavalue":{"value":"modular forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q512374$A7CD4450-A4D4-4DFA-A1D8-64FA6C912FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b55fe3addb2e506a3d2158e1446120c637f6718d","datavalue":{"value":"algorithmic zero-recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q512374$C93DDD3C-80E8-47F4-A5F8-F57F4B40995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q512374$42FAD671-0A88-494B-9E2D-8A7C9803D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ef38b74c97f1355e979ebc368e020c16c8cb7e","datavalue":{"value":"automatic proving of special function identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q512374$3BBBB613-D2EF-4116-A805-F0B085C326BC","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":"Q512374$5FBD0F96-4BF6-4D20-9B26-DBDC32047EC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df2f2df671de143f00a05f36f28532802bbeb639","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2017.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q512374$06A5299E-B995-41BA-AFAD-65FA60E29543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"762e665d7b61bbb76933ea9e98e429f39fd55d3f","datavalue":{"value":"W2587277144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512374$47445B7F-7E52-4D31-9D48-7BC737C55191","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87dcff731f6464331b48ae1527915ddbb9be3658","datavalue":{"value":{"entity-type":"item","numeric-id":5825786,"id":"Q5825786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$628E5C12-B8C9-47F2-BCF8-D6FADAE528AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3290ec70bfc64a31f871f605c5d6ea902258f656","datavalue":{"value":{"entity-type":"item","numeric-id":4875822,"id":"Q4875822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$262F1674-9990-4FC7-B2A4-931A25392B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2bed7858f9df86b89f99937ca967b6f341c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5919970,"id":"Q5919970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$5154B803-2271-406D-8DB4-1DD3AEB5B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d16ea12f5732b5cb30a383b659e264386264e7","datavalue":{"value":{"entity-type":"item","numeric-id":4290177,"id":"Q4290177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$1C4D0C39-52A3-43F9-B24D-DF776CD2809B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d80b0c84e3ca7d1dbd82cbd15dcb5954e97672a","datavalue":{"value":{"entity-type":"item","numeric-id":4950583,"id":"Q4950583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$9E8D1CC2-D82A-4CFE-BDE3-8932F85A4318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f9a24fb09485a97eb138303c4a82f345abeeb0","datavalue":{"value":{"entity-type":"item","numeric-id":5666618,"id":"Q5666618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$18372BBA-90C0-4AD7-8183-FE5E0A872700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da36db8ec75b91821c4a63578e47a9063391f93","datavalue":{"value":{"entity-type":"item","numeric-id":5670687,"id":"Q5670687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$92520233-789D-4080-8155-D47E0C08EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01726b3c0eae59fb6a3310bf3e92471c1def5138","datavalue":{"value":{"entity-type":"item","numeric-id":3844537,"id":"Q3844537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$B30BA77F-9E50-44C3-8AD0-A0C69934235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0ef4e6294d031d2f86737152a0c2f5a2ddb67b","datavalue":{"value":{"entity-type":"item","numeric-id":3012442,"id":"Q3012442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$AAAE84E9-6D2F-493B-BBBF-38820853A312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb33754c10dd138f7c8d818566aad5da5dfddd3f","datavalue":{"value":"10.1016/J.JSC.2017.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512374$1DFE6F55-8BB2-4D3E-9B06-227A6EC8807F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fae54f4ca6f40a00c5d3af1e2bace8caf434c54","datavalue":{"value":{"entity-type":"item","numeric-id":57095,"id":"Q57095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512374$1738A7A3-7245-47EE-8110-B53210CC550E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bf480acae7c1f12de12c10ee3f96de10123233","datavalue":{"value":{"entity-type":"item","numeric-id":1635281,"id":"Q1635281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7f6c7594150df21c65c864705401919ffd0e2c","datavalue":{"value":{"amount":"+0.8766658306121826","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":"Q512374$E6572F3B-3FAF-4679-8CBA-324C2DEA0A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae764365b69c3cdc9af6c987e06db4bb5c43147","datavalue":{"value":{"entity-type":"item","numeric-id":4622677,"id":"Q4622677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a656dc47ffd30caceea5ea3ca3d3babe1d5e2b18","datavalue":{"value":{"amount":"+0.7520344257354736","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":"Q512374$695BEE62-4DC9-412B-9398-21F0D31348CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9fecf416d3bd2dade5a6bdaf859b1884e50aab5","datavalue":{"value":{"entity-type":"item","numeric-id":2420486,"id":"Q2420486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d90c15701ea566b63a0ba275ebf5ba48ed6def","datavalue":{"value":{"amount":"+0.7466607093811035","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":"Q512374$919869FA-5146-4E26-958D-1237D32E7DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab11c7855acb476a6b728684af7c31ca1a3c53ca","datavalue":{"value":{"entity-type":"item","numeric-id":506250,"id":"Q506250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf53f863d8a0caedf8b9dc4cc756f79d05e0ad9","datavalue":{"value":{"amount":"+0.7450354695320129","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":"Q512374$17FC63F9-180A-4393-836E-D49DD9022ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"546fef31b5a8278657481f2cf345bb8a46c76b19","datavalue":{"value":{"entity-type":"item","numeric-id":4605708,"id":"Q4605708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f03a0e8d58bdc7a988ea3fcb86b8601801e544","datavalue":{"value":{"amount":"+0.742729663848877","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":"Q512374$5A31C3D5-3E84-4368-AFF1-D566E57A3081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_symbolic_decision_procedure_for_relations_arising_among_Taylor_coefficients_of_classical_Jacobi_theta_functions"}}}}}