{"entities":{"Q5376339":{"pageid":7405913,"ns":120,"title":"Item:Q5376339","lastrevid":92208911,"modified":"2026-06-05T01:08:41Z","type":"item","id":"Q5376339","labels":{"en":{"language":"en","value":"Symbolic manipulation of code properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6938218"}},"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":"Q5376339$2DC32268-B55A-4FF7-9B18-63797C574B14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9758d9841e752a29c8fe0d5a859c95c3b086a14","datavalue":{"value":"1396.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376339$66A5E8AA-7C60-4CFA-A9CC-029892EE57B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af211d5038a6188830a4fac53124d7725b0728cb","datavalue":{"value":{"entity-type":"item","numeric-id":256708,"id":"Q256708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376339$304E4AC0-0224-4E7B-A209-C315FC9C32BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39b214638c57d0350e2a293896752b580031750b","datavalue":{"value":{"entity-type":"item","numeric-id":2830219,"id":"Q2830219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376339$D5DCA5E5-BC8B-4D5B-8272-32FF9960236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376339$98E0878C-4C65-4D90-BEB2-2FDFF37F0944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb64126f3b0348026730db4bcdb13b8ce3ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":329727,"id":"Q329727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376339$BA7FD90C-1B7E-4302-8945-F33F683D2973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b659f459f103c6c1eb03033eb788f40be26f86f","datavalue":{"value":{"time":"+2018-09-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":"Q5376339$3771CABC-DFD0-43BD-9B78-55D44FE3D693","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b382a31fc5ad31b32c2e0341b8d4fae46399210","datavalue":{"value":"https://arxiv.org/abs/1504.04715","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376339$1FB662E0-62C2-4FB4-9871-F73E6CC4DDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376339$853EAEB1-DC74-46C4-9E01-B600DC9917CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376339$B4B66E67-BC4B-4872-993D-C177BF7DE922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf807832f23b1843158a0f1abb6a671308ea384a","datavalue":{"value":"94A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376339$52C3F5FA-E7F0-4CF1-8CCD-8F36A8030900","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42b501e14b1803871a4e0551ef9b55575db15759","datavalue":{"value":"6938218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376339$29091954-CC78-44DB-9D65-C3CC3AF9C94A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$14643499-38DF-4B00-ACD2-D0BA1F5E65C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$F1AB1C43-32D1-4BEB-8E31-874FE3272717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40c595896edb872fcc3daf0eb3f55c7ded3f4b9","datavalue":{"value":"codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$EEBAECDE-E59F-4F7D-A3A0-5D49135012DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c477d283acc1923eb354db5182e26d9f1ddeaec","datavalue":{"value":"FAdo","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$84516EE0-08EF-4BA8-B3CC-0707BFFA4192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$E9A97983-F872-4C5C-8B3D-B67386B6D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$23F2EA2F-7849-42A8-BDD0-9FCF9D579803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa5d04028fdc7db0e45eaf67ef8c456ec24d9fe","datavalue":{"value":"LaSer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$BE906248-5B47-4101-8345-BA3965CFC740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a63cf77dfbddf3ceb7d5d68e1e54dc9ea2fe4c6","datavalue":{"value":"maximal regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$7C5B7937-6642-43CB-91EA-7712282F30F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$648E013A-E7D8-4611-8F50-9A9AC8F8FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2369ac9056598061a146ba1f7977963b6930ce25","datavalue":{"value":"program generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376339$FFFC39F7-8B0D-4EF6-B765-E367BD4DAAA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"412a275acfd8d67b5c00146c5fd28a1e6136b224","datavalue":{"value":{"entity-type":"item","numeric-id":20319,"id":"Q20319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376339$0577CF21-5CBF-478E-956D-B574C07A76B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8af18ec42272cb01b899d6c39971dfaa386bdaf8","datavalue":{"value":{"entity-type":"item","numeric-id":22296,"id":"Q22296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376339$62A37C30-EB79-444D-92B7-3C2AEBAA0A25","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":"Q5376339$FAE2C974-ACF8-4ED0-8452-9AB64AC6855C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e1ea764f8cdf0d79eb9a1642799a50a411f23b6","datavalue":{"value":"10.25596/JALC-2018-243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376339$2B827AE9-8017-4F44-8106-EC6015C37A81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476fc4e3624e1e720f441c1853a0bba4783919","datavalue":{"value":{"entity-type":"item","numeric-id":2830220,"id":"Q2830220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0955d87c4833de1a4bb1afcfe4d3fdb1ec193bb","datavalue":{"value":{"amount":"+0.9539437294006348","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":"Q5376339$87B64EF6-4661-4475-B24C-11B569914C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b1487fe30b51f7fdd6b3843d4c75d3db894bec","datavalue":{"value":{"entity-type":"item","numeric-id":2909182,"id":"Q2909182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adfa7513d24c1c94a76c858daf5fc6c009754638","datavalue":{"value":{"amount":"+0.7690793871879578","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":"Q5376339$3A45A38D-8815-40A6-93BD-6B89B2BB075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757f63e78647a2242de28a3bf2f73af630634c72","datavalue":{"value":{"entity-type":"item","numeric-id":4858445,"id":"Q4858445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a8ccb12979eb2796f49d9adcf512a297636a1f","datavalue":{"value":{"amount":"+0.7267680168151855","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":"Q5376339$99AD5E3C-5031-4B70-951B-D9E13FF53B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6441b82fc7b88b2ae3a160be63ff411807f91b4","datavalue":{"value":{"entity-type":"item","numeric-id":1058858,"id":"Q1058858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec75d513ba341bb40ced3392fa5fd0539f438be","datavalue":{"value":{"amount":"+0.6644025444984436","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":"Q5376339$25AA2892-668D-4CC9-937B-495287E2B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4acfa99172160f7ea35e10e83250a1e63368c8c2","datavalue":{"value":{"entity-type":"item","numeric-id":2708960,"id":"Q2708960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb43f1945499577692d1c37be43c543115c587e0","datavalue":{"value":{"amount":"+0.6636791825294495","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":"Q5376339$FB9711A2-D839-4E56-B4AB-F7949E776225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic manipulation of code properties","badges":[]}}}}}