{"entities":{"Q1890044":{"pageid":1900786,"ns":120,"title":"Item:Q1890044","lastrevid":78225581,"modified":"2026-05-06T11:05:18Z","type":"item","id":"Q1890044","labels":{"en":{"language":"en","value":"Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123486"}},"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":"Q1890044$76D30CBC-CE8F-4ACD-9479-D266B37AE668","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b4a3ff4440666616178841bb79e30d2990bd262","datavalue":{"value":{"text":"Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1890044$A2940930-185B-41EA-9DB9-3442CFDF68B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ba50f3b2e5ff288fc0b167c618f07574a98bcc3","datavalue":{"value":"1051.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$8460C3E0-2590-4452-A4F0-3CA7719164CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1890044$233E1F10-A773-4C08-AC48-7E03983E1982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8dc1168b3b80a8a4b1d9ffe93a75d3b1ad830ab","datavalue":{"value":{"time":"+2004-12-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":"Q1890044$19723045-89F0-43C0-B67C-D89F930B30C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e98df849c6000f4b43a7041b111b9eaf8a98128b","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1045.68013).  Indexed articles:  \\textit{Lehmann, Helko; Leuschel, Michael}, Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce, 1-19 [Zbl 1099.68730]  \\textit{Alexandre, Francis; Bsa\u00efes, Khaled; Demba, Moussa}, Predicate synthesis from inductive proof attempt of faulty conjectures, 20-33 [Zbl 1099.68094]  \\textit{Lau, Kung-Kiu; Ornaghi, Mario}, Correct OO systems in computational logic, 34-53 [Zbl 1099.68587]  \\textit{Fischer, Bernd; Visser, Eelco}, Adding concrete syntax to a Prolog-based program synthesis system (extended abstract), 56-58 [Zbl 1099.68592]  \\textit{Berghammer, Rudolf; M\u00fcller-Olm, Markus}, Formal development and verification of approximation algorithms using auxiliary variables, 59-74 [Zbl 1099.68585]  \\textit{Ruiz-Reina, Jos\u00e9 Luis; Alonso-Jim\u00e9nez, Jos\u00e9 Antonio; Hidalgo, Mar\u00eda Jos\u00e9; Mart\u00edn-Mateos, Francisco Jes\u00fas}, Formal reasoning about efficient data structures: A case study in ACL2, 75-91 [Zbl 1099.68660]  \\textit{Gallagher, John P.}, A program transformation for backwards analysis of logic programs, 92-105 [Zbl 1099.68547]  \\textit{Murakami, Takuma; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato}, An efficient staging algorithm for binding-time analysis, 106-107 [Zbl 1099.68595]  \\textit{Serebrenik, Alexander; De Schreye, Danny}, Proving termination with adornments, 108-109 [Zbl 1099.68589]  \\textit{Weber, Tjark; Caldwell, James}, Constructively characterizing fold and unfold, 110-127 [Zbl 1099.68023]  \\textit{Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato}, Deterministic higher-order patterns for program transformation, 128-142 [Zbl 1099.68591]  \\textit{Biernacki, Dariusz; Danvy, Olivier}, From interpreter to logic engine by defunctionalization, 143-159 [Zbl 1099.68546]  \\textit{Alves, Sandra; Florido, M\u00e1rio}, Linearization by program transformation, 160-175 [Zbl 1099.68020]  \\textit{Wang, Qian; Gupta, Gopal}, Continuation semantics as Horn clauses, 176-177 [Zbl 1099.68590]  \\textit{Christiansen, Henning; Martinenghi, Davide}, Simplification of database integrity constraints revisited: A transformational approach, 178-197 [Zbl 1099.68611]  \\textit{Abdennadher, Slim; Fr\u00fchwirth, Thom}, Integration and optimization of rule-based constraint solvers, 198-213 [Zbl 1099.68718]  \\textit{Flener, Pierre; Pearson, Justin; \u00c5gren, Magnus}, Introducing ESRA, a relational language for modelling combinatorial problems, 214-232 [Zbl 1099.68543]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1890044$DA91D0C2-A7AC-4E09-8478-8E89DCF5F508","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$A0CCE1EF-D233-49D4-AAF3-22A49754DC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$9F7657AE-9589-4109-9371-A81D4D7BF589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$32478457-A095-44A1-B4E1-A1B1FC96598B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc5a7d77daf8e0ba01d3c61641eb4a82cda2dfda","datavalue":{"value":"2123486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$FB393ABA-CB3A-49DB-8B9B-C66110F79691","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":"Q1890044$0969A391-2EAC-4CE8-BC72-B4CF3085E386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"413fe129bda5def11ab16011dc48bcecc801a48c","datavalue":{"value":"https://doi.org/10.1007/b98080","type":"string"},"datatype":"url"},"type":"statement","id":"Q1890044$BF59675A-E6E3-493A-BEE1-A9F066B545CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2194eed8c1061f6e103ed17206ad71dcd4a8bf","datavalue":{"value":"W4301837838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$F5D3C200-9E71-48BA-9EB9-68B3AF856183","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedeb413f38171312a2e9bbd69143a7846c8b6fb","datavalue":{"value":"10.1007/B98080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890044$AD2677EC-1DFE-4DD3-B14B-8427925ED387","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95085da7965cae1a1c6511381b46a4de1f220926","datavalue":{"value":{"entity-type":"item","numeric-id":497665,"id":"Q497665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a442bf446773db5ab8fe0d7134e0dc6f7c5f4ec","datavalue":{"value":{"amount":"+0.94636357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$C5F738A3-40C6-4292-8999-C3B61910AEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae753b053257d5a372c1a12e02c44b170ce3a20","datavalue":{"value":{"entity-type":"item","numeric-id":2371885,"id":"Q2371885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fbcbb3fc25dbfb63a12abe0c523030495fb385","datavalue":{"value":{"amount":"+0.9443817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$95699E7E-E61D-4612-9596-70C4938D1BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914ff20c2858cd6ba4128f9ce409e7ae1e223df0","datavalue":{"value":{"entity-type":"item","numeric-id":2379078,"id":"Q2379078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a724abe80a551c1c21dad0b085a4aae77dfd38","datavalue":{"value":{"amount":"+0.94355965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$209F0885-2376-4D84-8CCE-824A1D19DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0409eb1aa7a9fe49ce1bf864035149906d22d0","datavalue":{"value":{"entity-type":"item","numeric-id":2371884,"id":"Q2371884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa3e8345168689552747bef66026880cb24128b","datavalue":{"value":{"amount":"+0.9420711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$380AAB1F-DAB6-40AB-ABB3-7D299636BC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b8fe1dec2f3ac49a60a977b82c8b4c89b101db","datavalue":{"value":{"entity-type":"item","numeric-id":436929,"id":"Q436929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7110106219dbb22286f7c05e142a528c426c0f15","datavalue":{"value":{"amount":"+0.9369586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$25874066-6C2D-4006-91BD-264CF401B831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b2c6c8f5a371a13fcd1c3c9a3e088ec631638b","datavalue":{"value":{"entity-type":"item","numeric-id":1880555,"id":"Q1880555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a5dfe31f7dfde5f1c6163bdf0757ea98c0e4c7","datavalue":{"value":{"amount":"+0.93669367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$E50F0F12-E3C1-43F7-A401-B964BFA855EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74802b1cbd0335112e9ddc3728e4c7a9f3bae57f","datavalue":{"value":{"entity-type":"item","numeric-id":1005990,"id":"Q1005990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1257b280f00692fbd1177c038cd32754c1035a","datavalue":{"value":{"amount":"+0.93554246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$A5B1D779-D5D1-453F-940A-D3E9809912B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3b4ffe989d78709274e6582215d5860359cfe1","datavalue":{"value":{"entity-type":"item","numeric-id":1947233,"id":"Q1947233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fead84531815bc4233723d45474d94c5b88376c0","datavalue":{"value":{"amount":"+0.93470466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$ABB2AC52-6D0F-4996-82A9-4F581B0DB042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6555472bf82a4e6afad2070ad6e3b0701093b05","datavalue":{"value":{"entity-type":"item","numeric-id":532632,"id":"Q532632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47054c3b1bc1f5d59ca657bfb4140e66da3b0731","datavalue":{"value":{"amount":"+0.93317246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$4B00A724-3D73-483E-9473-8944BD522BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a2986ee21e1e5437d745913115c4a1ca408614","datavalue":{"value":{"entity-type":"item","numeric-id":897317,"id":"Q897317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744536e115491c7dba4fba1cdc45196b3badf540","datavalue":{"value":{"amount":"+0.93268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1890044$86EE7483-8A97-438E-9006-B728961C4C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_based_program_synthesis_and_transformation._13th_international_symposium,_LOPSTR_2003,_Uppsala,_Sweden,_August_25--27,_2003._Revised_selected_papers."}}}}}