{"entities":{"Q4051571":{"pageid":6081251,"ns":120,"title":"Item:Q4051571","lastrevid":88036745,"modified":"2026-06-04T13:28:42Z","type":"item","id":"Q4051571","labels":{"en":{"language":"en","value":"Speeding up the Synthesis of Programs from Traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3466500"}},"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":"Q4051571$B18A4A5A-7575-4570-B9B5-0E26D353AAA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d80e2d9b5caacdc773e7107ec76e48f149e8715","datavalue":{"value":{"text":"Speeding up the Synthesis of Programs from Traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4051571$10BA00BF-8AD7-477D-8E41-E72D655C0CBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0ef58fb1067e2e41243957b35d53b291260f8fb","datavalue":{"value":"0297.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4051571$980D1DBB-5CB0-44F6-B1D9-E410D2F400E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1176d375beff5144c7a0421487ba4ad2a3cc01ac","datavalue":{"value":"10.1109/T-C.1975.224180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4051571$354FF55B-0126-4118-B4A9-6F1DC9F69C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a7a1c9196a5f7809540273123101467b92071","datavalue":{"value":{"entity-type":"item","numeric-id":1060832,"id":"Q1060832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4051571$287CA467-7B37-4860-9120-3C19734EB964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4196ef2855cb42e325b6ccb9d1c094c28f61b751","datavalue":{"value":{"entity-type":"item","numeric-id":4051570,"id":"Q4051570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4051571$B4577C69-578E-400D-8B8E-8236B6800D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dafb071d9ac562eac0dbbf9f9cbf0af48d4acf28","datavalue":{"value":{"entity-type":"item","numeric-id":760813,"id":"Q760813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4051571$BFD1E71D-69F3-458C-94CE-DEF0E582D529","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4051571$E7D07356-6014-4027-AED4-F821A01FC0C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4051571$42AD6BC0-4578-46D8-A17A-465F25E891D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4051571$F6E39987-08B5-48EB-A035-BD68CCF11433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4051571$B33E7D5E-AB22-42FD-8487-FEA430A9A01B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"673c3983caa0fec001cbad313938db556b4008f2","datavalue":{"value":"3466500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4051571$B89F6668-5212-4BC5-BDA7-AAE1AB55E278","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":"Q4051571$355CED3D-D10D-4BFD-A062-5F30FE380954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7492e9bd5137626f8f29832b925f29da478cb20","datavalue":{"value":"https://doi.org/10.1109/t-c.1975.224180","type":"string"},"datatype":"url"},"type":"statement","id":"Q4051571$504CCDAD-939C-46AC-A792-6B3F13DE148D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"014b7b12e841d9e46f21be5ed2276f1348d3d0ff","datavalue":{"value":"W2060302428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4051571$C5D208A9-6E55-4E33-BAAA-9930010EB756","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Speeding up the Synthesis of Programs from Traces","badges":[]}}}}}