{"entities":{"Q3939214":{"pageid":5969119,"ns":120,"title":"Item:Q3939214","lastrevid":87850814,"modified":"2026-06-04T13:00:08Z","type":"item","id":"Q3939214","labels":{"en":{"language":"en","value":"Symbolic Program Analysis in Almost-Linear Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3755848"}},"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":"Q3939214$6D89784D-5DDC-4778-801D-59AA0CA08029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d223cc22bcadd151ac8023beeb0d1fa3a1ff6890","datavalue":{"value":{"text":"Symbolic Program Analysis in Almost-Linear Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3939214$2AACCF86-68FC-4F03-8EA0-EF84A87FFF84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5795931f6b581bde8a94a456676acc02732d7208","datavalue":{"value":"0481.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939214$FC711270-CD0F-4943-BA6B-621BFF36159A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c3e11e6f75a55ac233dfa56f7ee026a8788951f","datavalue":{"value":"10.1137/0211007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939214$0A3D4FE5-EAA3-4E9F-B7C7-C54CD20EDEC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939214$B6EA5523-D848-4530-BCB8-20FB543E92FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3939214$D2F2CCBA-8B89-4020-B53D-4F5CE1017F26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939214$CAF23307-3209-4634-9571-55527EAC736D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939214$C0E754DE-6A26-42DD-9758-948780DE6BA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e5388872492e3d901f1ca84fe0af0a7529a3c9","datavalue":{"value":"3755848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939214$0EC2522B-7EED-4261-80B8-75BBD0ADCC89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07afbaa48b31ff3f4e4c1f588c0e16976a7634c","datavalue":{"value":"code movement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939214$1198FCF3-D7BC-486A-B78B-AEE897B67981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4c816d5bc63b5cf750b2c22490b418f45bed34","datavalue":{"value":"code optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939214$7B37335E-68F1-4057-B661-D7DF7890A187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b253361906ddaa6d720f63cf600b819d198e0e6","datavalue":{"value":"constant propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939214$EB723536-BC37-4F82-962C-A4C8ECB24F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939214$03157B29-66D9-499B-AE67-360268F2C646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6a3fc341e1f579c18f7681e6ea2f8d6ac6e7e8","datavalue":{"value":"symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939214$E161D140-3B13-4064-8285-F35C88E15A50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cdf21d0e331a47790f86a0203b4b15950c2a72f","datavalue":{"value":{"entity-type":"item","numeric-id":537850,"id":"Q537850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939214$1F3ECD0B-9598-4432-A886-4878CBA0B353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"065c91f208b67eb2296cd8ea5272c33efd202f25","datavalue":{"value":{"entity-type":"item","numeric-id":598808,"id":"Q598808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939214$1CCD3E00-CAC3-4D2D-8A47-8B46D5B29A9C","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":"Q3939214$F3D2F485-E06B-42B0-9EDD-9A5EC0C9D27C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe0cf8b60e2ce50ea2b933ce5f0e46857d16cea9","datavalue":{"value":"https://doi.org/10.1137/0211007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3939214$8F6C6AB3-7F06-49E7-BDE8-B4C6C97E761B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9030c243bcfaa2d764a54ef800b4a43b2d2228d","datavalue":{"value":"W2079671074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939214$0362BF99-45AB-4D38-84D4-DFDD59A84BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic Program Analysis in Almost-Linear Time","badges":[]}}}}}