{"entities":{"Q2426094":{"pageid":2436837,"ns":120,"title":"Item:Q2426094","lastrevid":74342466,"modified":"2026-04-14T19:38:00Z","type":"item","id":"Q2426094","labels":{"en":{"language":"en","value":"Automated and readable simplification of trigonometric expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265447"}},"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":"Q2426094$193C0E96-C6B3-4509-A84A-29BFEB408F69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d68940d9d0a0e99d647d5f6d60e22d9b29f2863","datavalue":{"value":{"text":"Automated and readable simplification of trigonometric expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426094$80ED56AA-2303-4ECD-AEA9-45BE0770309B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"237e05d35448d73fd5690f056613fe1766691979","datavalue":{"value":"1137.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426094$DA7EB75E-8EEF-4168-BE07-FB99AE99E2F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21731ce0bb1ed0a8e08875a2314de3d060616d4","datavalue":{"value":{"entity-type":"item","numeric-id":606823,"id":"Q606823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$2C6C3978-67E0-45BF-8009-5F480B7D2A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2488885e44eaeae21355eb5840c2a31bf1505aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2426093,"id":"Q2426093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$85973ABF-FF20-4CD9-9292-1245EB14D2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbcf9ac1ba76a06a48faf533f4bb13c409546036","datavalue":{"value":{"entity-type":"item","numeric-id":450300,"id":"Q450300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$94B9E35C-6B5A-4EF0-859D-9D589C6DA82C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b010567da0e068295e34b824b5eafea5ffd18ef1","datavalue":{"value":{"entity-type":"item","numeric-id":166953,"id":"Q166953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$4ADE3164-3F97-41F8-A62E-FC791714A15D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b68fe80f656d7ba57a0d19d53515ac5e22b2d633","datavalue":{"value":{"time":"+2008-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2426094$5C32BDA9-8CF4-47C8-B989-FFBAF489F2C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426094$B7D81F54-D075-42AA-ABED-A93D59BE0225","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e3fc051ac6a331001f1b9a40f0b6c33843a3f69","datavalue":{"value":"5265447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426094$AB77BE45-728F-4B7F-AD68-D4E843D469C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019538d28bcdb0e55fd12ba6dd9b31ab28845c56","datavalue":{"value":"simplification of trigonometric expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426094$C671E631-4A34-4867-B852-442FEB1A0F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2745fa9cd6d3498160ed340b495b35da25253df7","datavalue":{"value":"combination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426094$C64671CB-CBF3-4F50-8EDC-5D0FD4957220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"130ef7a1ac09d63e0ee9b8cbb0266eafe6823c29","datavalue":{"value":"rule lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426094$98F61E36-3CD0-4876-945E-B797117914FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426094$CBE0B8C1-A0BF-465B-979C-CAA4A95BB5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426094$34B3B6D9-20F1-4243-B620-ED5D7B7328F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cccf8e51ad05a1ac0bc1bb0127778dafdc83670","datavalue":{"value":"readable proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426094$C20BB9C7-3A85-42DF-B8EC-959C44082982","rank":"normal"}],"P1463":[{"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":"Q2426094$6C03005D-1005-4539-A8BA-E1DFE1BEE91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9d0806f0b5ec51d591843e253f795fa06ed0fa","datavalue":{"value":{"entity-type":"item","numeric-id":13315,"id":"Q13315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$0C562C78-9EAD-4542-A190-E3CC333C021C","rank":"normal"},{"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":"Q2426094$9AF04B0B-094A-4E55-8F8C-57DE8F985B47","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":"Q2426094$AB155AA3-0573-456E-94CA-EA2DA3A49CD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae5db6881bf2e072e2bfa4ca200e2da4136ab7a","datavalue":{"value":"https://doi.org/10.1016/j.mcm.2006.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426094$39C54948-321B-4BAE-851E-1877F9A45A02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3e4a24d9123900f9b80938f787863be332fb68c","datavalue":{"value":"W2030026472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426094$01BCC377-40CC-4988-B0D8-135EC1C46B27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b194cdeb56e3afe4fdaf2f02279f137ce9d27857","datavalue":{"value":{"entity-type":"item","numeric-id":4657304,"id":"Q4657304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$4607C35D-6AED-40C2-8FED-D538808B417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc64d5257c27d15c5b7b0f9b631ea9c790c7fcef","datavalue":{"value":{"entity-type":"item","numeric-id":4377719,"id":"Q4377719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$A7804954-E8D6-45E4-A70D-F5F6FCD499DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6fc65716ca53b4df443be754d1a7c89f6f684","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$83A55C8F-92C6-4598-B181-62F58A08C347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0bf6f505a7b8a0b46637d2e994ee4ea3ea64e0","datavalue":{"value":{"entity-type":"item","numeric-id":4325270,"id":"Q4325270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426094$B7690660-C7BD-46EC-873B-6570FBB17641","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7ab06da8ecf5aaf12868f88de34065e72c0f850","datavalue":{"value":"10.1016/J.MCM.2006.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426094$6958AA3C-1837-4C77-9065-337BEB7BFBD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474271d334cac837141a9b82f079d96c29387c7a","datavalue":{"value":{"entity-type":"item","numeric-id":1114390,"id":"Q1114390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b58619ffa1a2ba17bf4afa553bcab49fd26e4b","datavalue":{"value":{"amount":"+0.7704917192459106","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":"Q2426094$58C5E201-E73A-44D1-9B2D-EBFFBC3C6180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7da64c47e90e659b34d8266d9e123994aa528da","datavalue":{"value":{"entity-type":"item","numeric-id":540339,"id":"Q540339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e71bc424ba5d363b6bef3c7d9891419022f9d0","datavalue":{"value":{"amount":"+0.7531035542488098","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":"Q2426094$151261CA-CA63-48C9-888E-F57C173777A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbcfbb47b2a3cda58a9f44943a31b10cf18ea284","datavalue":{"value":{"entity-type":"item","numeric-id":4657297,"id":"Q4657297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a5a2b9d118b256a16a270a46bcf92556837dfe","datavalue":{"value":{"amount":"+0.7419567108154297","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":"Q2426094$919F79F0-8B79-4BC7-A818-AAAB527F4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcd7c089a0fda53a51f62c7dc5a98c1849a2234","datavalue":{"value":{"entity-type":"item","numeric-id":1382074,"id":"Q1382074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51e348e36b2ced383f0c25ef341dd19e57b215e","datavalue":{"value":{"amount":"+0.7372254133224487","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":"Q2426094$3FDECDBF-4FEC-4C27-9D84-86A2A55BB213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"546beca706d88d2347e23fa18fb8201b0360ed5b","datavalue":{"value":{"entity-type":"item","numeric-id":4657304,"id":"Q4657304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de84cc0a2df957cbabef18764438b31e4d70b86","datavalue":{"value":{"amount":"+0.7356087565422058","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":"Q2426094$E09C7F21-8BAB-495D-8B23-BEDB0E5E385A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated and readable simplification of trigonometric expressions","badges":[]}}}}}