{"entities":{"Q3763569":{"pageid":5793475,"ns":120,"title":"Item:Q3763569","lastrevid":51834953,"modified":"2026-01-20T06:55:44Z","type":"item","id":"Q3763569","labels":{"en":{"language":"en","value":"On the Simplification and Equivalence Problems for Straight-Line Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4020450"}},"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":"Q3763569$ADD52406-109C-4438-A8F7-3D5E53FE87C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04f55b65c7a03815b5ff2f95c62308e6a2dbe977","datavalue":{"value":{"text":"On the Simplification and Equivalence Problems for Straight-Line Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3763569$4D45AA5B-AB93-40A2-B092-DB8D2F11472F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce7249e69f11b1413d1508fd3b19996357298792","datavalue":{"value":"0627.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763569$0F24D131-E599-430B-8E43-D76C7254D1C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6fd1cccdcc47edb9b1619fbb50fcefb693fd9ef","datavalue":{"value":"10.1145/2402.322396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763569$2716B57C-0018-4121-A68F-10B7C893BFEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763569$86D34DBC-2454-4183-A64A-9736320A7675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0583074f7d9531f3883b0c9628c13d9fa1310332","datavalue":{"value":{"entity-type":"item","numeric-id":1162149,"id":"Q1162149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763569$6516344C-4601-43D7-A493-24223306B845","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763569$76C608D2-E76D-4574-B607-C75B1F78495D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3763569$47A83EF6-C0AD-4C3C-AA49-3041BAC3BF4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763569$09E34C37-BF52-4446-9E25-7F7199161167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763569$0AA6273E-08D8-4820-9068-66860EF8FFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"937e545f7c1536ed6829cd97fafc5789df164a4c","datavalue":{"value":"4020450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763569$26EB3625-489D-40E6-8CED-A307E3067B88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd34d60ebfb09dfa949de40c6141c9aa68e20398","datavalue":{"value":"one-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763569$32A98601-F236-439F-8763-6C487DD10581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763569$582E3ED2-489F-4AA7-B506-5B1211C07E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763569$2CA43CFA-C7D9-465C-9F27-C25C48A594F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763569$4FE96630-E22D-4776-8912-C044128F6ACA","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":"Q3763569$BB163BCF-BEC7-4F1E-A634-1299725AB049","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b005766bb47bdec662b921e9e63ee4973900641","datavalue":{"value":"https://doi.org/10.1145/2402.322396","type":"string"},"datatype":"url"},"type":"statement","id":"Q3763569$6BD15EB0-F83C-4356-9BFD-C1CBCCCE7060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6366e66c23125dbfdea44f0fabf8f925bb0c0e11","datavalue":{"value":"W1982804716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763569$76DD3A00-9FCD-442A-897B-B58AC8FE839C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12e2d07fed965fe7dda8bd47e4112d7a8e643eb","datavalue":{"value":{"entity-type":"item","numeric-id":3217582,"id":"Q3217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902e10654fe23f4db8d075b25d77e69c75c2d657","datavalue":{"value":{"amount":"+0.7747058272361755","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":"Q3763569$62E9B0E7-336B-4788-95E7-FABF562703E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f835e40ed477460c1a6fdf98ff70cd7472c531","datavalue":{"value":{"entity-type":"item","numeric-id":5445415,"id":"Q5445415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad01725b646588c141c496fe9c2d54cdccd8c9c","datavalue":{"value":{"amount":"+0.7520785331726074","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":"Q3763569$CEA5F754-C2FA-48CB-8750-29C2EF8229BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d5f5e8d56708644d046d966423c7ed7aab29e3","datavalue":{"value":{"entity-type":"item","numeric-id":3197319,"id":"Q3197319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2651b58785e289dccbf85ff97e4592695fb72674","datavalue":{"value":{"amount":"+0.7471281290054321","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":"Q3763569$5231549F-5927-4427-B1E7-015F21DC41EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d65f457eae5826196c1232d951ca6c5c35e927d","datavalue":{"value":{"entity-type":"item","numeric-id":2432964,"id":"Q2432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c7062392889e74f72be63c6846beca1732372a","datavalue":{"value":{"amount":"+0.7453853487968445","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":"Q3763569$E91C768D-3898-4117-83C6-21A0C474178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a3b90626cd9f864c262c45698573772dcf659a","datavalue":{"value":{"entity-type":"item","numeric-id":3694664,"id":"Q3694664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0888a6c071916e0fb7eb8e3ee1a3f4e231b22f40","datavalue":{"value":{"amount":"+0.7411242127418518","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":"Q3763569$2F5E8155-C270-430E-B410-CCD29EC6677F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3763569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3763569"}}}}}