{"entities":{"Q1367070":{"pageid":1377810,"ns":120,"title":"Item:Q1367070","lastrevid":68746101,"modified":"2026-04-13T01:47:50Z","type":"item","id":"Q1367070","labels":{"en":{"language":"en","value":"Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062551"}},"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":"Q1367070$7AA5DA36-C6B3-42D9-9AA9-5C139D1B58E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942470ad9e0aa736ca60b84b59fb524c006d06aa","datavalue":{"value":{"text":"Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367070$B8B7A1A7-89B4-4054-9154-395C7B49EC41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48d04ac2694222366d1b1b84f7f08d660a6d74c0","datavalue":{"value":"0871.00033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$DF2FA1BA-10C4-4126-86B7-A852AC4DA7EC","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":"Q1367070$3036C486-8651-4A36-A874-A468B921E4D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-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":"Q1367070$2F9A8FC5-3B97-48BB-9EB2-DDCB4A70E753","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"906798a6d041ba25efb736677031defbd530e008","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (5th, 1996) has been reviewed (see Zbl 0856.68011).  Indexed articles:  \\textit{Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.}, Safe folding/unfolding with conditional narrowing, 1-15 [Zbl 0886.68033]  \\textit{Antoy, Sergio}, Optimal non-deterministic functional logic computations, 16-30 [Zbl 0886.68034]  \\textit{Codish, Michael; Taboch, Cohavit}, A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints, 31-45 [Zbl 0889.68026]  \\textit{Geser, Alfons; Gorlatch, Sergei}, Parallelizing functional programs by generalization, 46-60 [Zbl 0886.68035]  \\textit{Kirchner, Claude; Ringeissen, Christophe}, Higher-order equational unification via explicit substitutions, 61-75 [Zbl 0888.03007]  \\textit{Steggles, L. J.}, Parameterised higher-order algebraic specifications, 76-98 [Zbl 0884.68087]  \\textit{Suzuki, Taro; Nakagawa, Koji; Ida, Tetsuo}, Higher-order lazy narrowing calculus: A computational model for a higher-order functional logic language, 99-113 [Zbl 0941.03536]  \\textit{Aoto, Takahito; Toyama, Yoshihito}, On composable properties of term rewriting systems, 114-128 [Zbl 0884.68069]  \\textit{Ohlebusch, Enno}, Conditional term graph rewriting, 144-158 [Zbl 0889.68087]  \\textit{Caires, Lu\u00eds; Monteiro, Lu\u00eds}, Proof net semantics of proof search computation, 194-208 [Zbl 0885.03031]  \\textit{Barthe, Gilles; Kamareddine, Fairouz; R\u00edos, Alejandro}, Explicit substitutions for the \\(\\lambda\\Delta\\)-calculus, 209-223 [Zbl 0884.03009]  \\textit{Mu\u00f1oz H., C\u00e9sar A.}, A left-linear variant of \\(\\lambda\\sigma\\), 224-239 [Zbl 0884.03012]  \\textit{Khasidashvili, Zurab; Ogawa, Mizuhito}, Perpetuality and uniform normalization, 240-255 [Zbl 0884.03010]  \\textit{Abdennadher, Slim; Sch\u00fctz, Heribert}, Model generation and existentially quantified variables and constraints, 256-272 [Zbl 0889.03010]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$5DB34768-1369-49D6-8149-3B5B8CBAEA01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$A21E522A-4AD4-4EA5-9C8A-EA02D732ABA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$FAB276A9-FEB0-4127-82AD-1EDC65270C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$AF94CD79-9232-4793-8F6D-6820AE31ED90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b81bf61391985f56d2a0a614089189a3a04120fc","datavalue":{"value":"1062551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$1706D0A2-3E72-4796-A6D4-801C8E415EF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"695c1220de0c3184f0948cfe6fc4c5f94bb057b8","datavalue":{"value":"Southampton (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$E517AFCF-1339-42E5-B7F9-6F76F4CB1EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$F32AEEAD-E684-4520-A557-CA609921E394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$965F9049-CB0D-4C9D-A250-EA5AABB9265A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ac5fc40795828dea569e88e887c4b3fdd6a2cd","datavalue":{"value":"ALP '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$25066007-77DA-4776-844B-B8B37AA51938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"130956f8ac20d8a852d47b1df453dd5ae874c7d5","datavalue":{"value":"HOA '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$DCF4E8AE-7994-48B7-A4C8-1A5DFC523F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3853e6731e4275f54eec652233e9b6f9cedea4","datavalue":{"value":"Algebraic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$6EB89A2A-1310-4BF5-B851-F3E91611C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367070$9C537031-21A5-48AB-A170-BD42435DD7E5","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":"Q1367070$DC08D656-D95D-462F-8EBA-0688A22362DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d128d5c328ba6800e18c9976f61fc5b73afa6a93","datavalue":{"value":"https://doi.org/10.1007/bfb0026998","type":"string"},"datatype":"url"},"type":"statement","id":"Q1367070$79245B46-739E-4C18-8AEC-A13EA4E4A53F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71fbfb0a43ead738a6c34a34e5e1d83357605453","datavalue":{"value":"W4234297789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$4643F958-514A-4ACB-824D-0BB7AA45A449","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f93437e84ed42cf77b645409703699b92bea5e9c","datavalue":{"value":"10.1007/BFB0026998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367070$4ADFC72A-2315-4510-9F39-6C8447401CAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_and_logic_programming._6th_international_joint_conference,_ALP_%2797_-_HOA_%2797,_Southampton,_GB,_September_3--5,_1997._Proceedings"}}}}}