{"entities":{"Q2565266":{"pageid":2576009,"ns":120,"title":"Item:Q2565266","lastrevid":44362566,"modified":"2025-11-22T08:17:24Z","type":"item","id":"Q2565266","labels":{"en":{"language":"en","value":"Algebraic and logic programming. 4th international conference, ALP '94, Madrid, Spain, September 14--16, 1994. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 971630"}},"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":"Q2565266$AC5C2FEA-8528-4FDB-A390-E3B5AFE7E616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f6a4213e6c88df6cd61008834c414652194aa9d","datavalue":{"value":{"text":"Algebraic and logic programming. 4th international conference, ALP '94, Madrid, Spain, September 14--16, 1994. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565266$39D098D2-B2C3-4A22-8F66-11BDD576F93E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b08a10f4d6d2a04df47bdb25cfcb23a0ab817e4a","datavalue":{"value":"0856.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$4FB93A43-853A-4AAC-BD5A-B969DC26EFD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51a86cbe9bff63882f91dcf2125888f210a142e5","datavalue":{"value":"10.1007/3-540-58431-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$1E4037F6-1C54-4021-BD2F-2434E4A9B714","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":"Q2565266$A3F2E33B-6E4B-41E4-B774-F45E0CA58F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d9db0d0445860ceb417de2a7c60e6d857e66f7","datavalue":{"value":{"time":"+1997-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565266$9CC7957F-7C00-4D9F-A098-4C7968808586","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aad907ddff2cd721a5fca71e30b91117e3c8c806","datavalue":{"value":"The articles of this volume will be reviewed individually. The 2nd conference (1990) has been reviewed (see Zbl 0763.68011).  Indexed articles:  \\textit{Palamidessi, C.}, Concurrent constraint programming (abstract), 1-2 [Zbl 0988.68679]  \\textit{Miller, Dale}, Specifications using multiple-conclusion logic programs (abstract), 3-4 [Zbl 0988.68742]  \\textit{Paige, Robert}, Viewing a program transformation system at work (abstract), 5 [Zbl 0988.68760]  \\textit{Codish, M.; Mashevitzky, G.}, Proving implications by algebraic approximation, 6-22 [Zbl 0988.68597]  \\textit{Bouhoula, Adel}, Sufficient completeness and parameterized proofs by induction, 23-40 [Zbl 0988.68601]  \\textit{Bidoit, M.; Hennicker, R.}, Proving behavioural theorems with standard first-order logic, 41-58 [Zbl 0988.03525]  \\textit{Werner, Andreas; Bockmayr, Alexander; Krischer, Stefan}, How to realize LSE narrowing, 59-76 [Zbl 0988.68555]  \\textit{Alpuente, M.; Falaschi, M.; Vidal, G.}, Compositional analysis for equational Horn programs, 77-94 [Zbl 0988.68561]  \\textit{Balbiani, P.}, Equation solving in projective planes and planar ternary rings, 95-113 [Zbl 0988.68838]  \\textit{Bueno, F.; Hermenegildo, M.; Montanari, U.; Rossi, F.}, From eventual to atomic and locally atomic CC programs: A concurrent semantics, 114-132 [Zbl 0988.68534]  \\textit{Volpe, P.}, Concurrent logic programming as uniform linear proofs, 133-149 [Zbl 0988.68509]  \\textit{Teusink, Frank}, Three-valued completion for abductive logic programs, 150-167 [Zbl 0988.68515]  \\textit{Antoy, Sergio; Middeldorp, Aart}, A sequential reduction strategy, 168-185 [Zbl 0988.68554]  \\textit{Gramlich, B.}, On modularity of termination and confluence properties of conditional rewrite systems, 186-203 [Zbl 0988.68558]  \\textit{Ferreira, M. C. F.; Zantema, H.}, Syntactical analysis of total termination, 204-222 [Zbl 0988.68556]  \\textit{Marchiori, Massimo}, Logic programs as term rewriting systems, 223-241 [Zbl 0988.68512]  \\textit{Jones, Neil D.; Rosendahl, Mads}, Higher-order minimal function graphs, 242-252 [Zbl 0988.68527]  \\textit{Kesner, Delia}, Reasoning about layered, wildcard and product patterns, 253-268 [Zbl 0988.68531]  \\textit{Bossi, Annalisa; Cocco, Nicoletta}, Preserving universal termination through unfold/fold, 269-286 [Zbl 0988.68513]  \\textit{Marchiori, Elena}, A logic for variable aliasing in logic programs, 287-304 [Zbl 0988.68506]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$ABC60FAD-3146-4A89-B386-B98480CA3214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$DBA89C4A-B430-41CA-9DF0-3672CF4B101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$6446F110-1ECE-4108-88AF-98F3AC351145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$8E4EACE0-CF7A-43BC-B97D-34B7B9B3F991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2c0bad87de6fe8f11e2490357e7e39763895f0","datavalue":{"value":"971630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$43F12AE9-BEB0-42D5-B6FB-0FFE81D7782D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3853e6731e4275f54eec652233e9b6f9cedea4","datavalue":{"value":"Algebraic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$1EA2E656-F4F3-484D-98B1-73D312943B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$C54E1E43-0D3F-4B0D-9789-AB389ECA817C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$8B0AA734-B396-4661-A5DF-45DCB32214FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$AE25FC00-6E24-4EB4-9D25-7A9795A62ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbf57afd29420885b9eb47388d5d79e0512dcb3","datavalue":{"value":"ALP '94","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$B00E6E9C-1EB0-4B3C-A16B-43D96344D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7c38fab5803882d94b5d52b486ebc1ff4079f4","datavalue":{"value":"Madrid (Spain)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565266$113410CE-A3DC-4E95-AAC0-9864C3DDE574","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":"Q2565266$94E3FA46-5DF5-4D7E-96CC-6F75AAC582F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70646d91461d715eea1a2e02b98aba96da81cc9d","datavalue":{"value":"https://doi.org/10.1007/3-540-58431-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565266$398647A9-4965-48EB-B151-7E498325F5C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"518f1cd8ab4e59abd069eaa731278b5e7be2e23e","datavalue":{"value":"W4252583917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565266$C536D62A-66A2-49AE-A511-AFC5C8A2D3AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c409d6a3bb2b683eb6a39aaec038f0b860a529","datavalue":{"value":{"entity-type":"item","numeric-id":1366681,"id":"Q1366681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce93ba86b2d1c97620620004bedb7cb8027301c8","datavalue":{"value":{"amount":"+0.9951025","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":"Q2565266$CF6B2A3A-5F38-4ADF-94FE-D637BD9EAA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba2e03600a9c195b68c88be3b97661fccc0ed9b","datavalue":{"value":{"entity-type":"item","numeric-id":2565251,"id":"Q2565251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82440e2994c145729b19b66ab927cc5c534f632e","datavalue":{"value":{"amount":"+0.87712866","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":"Q2565266$ED32B02B-4FE9-4523-8DC7-B8D7BCE8B669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edd98d175efa5c7e1d32e19cd3f6b62b1bde21d","datavalue":{"value":{"entity-type":"item","numeric-id":2565250,"id":"Q2565250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a9ceea1efc3c07a55dd4d1bca3db9b1ddc855d","datavalue":{"value":{"amount":"+0.8739781","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":"Q2565266$9D5EAF78-E037-4157-B77B-DEB1EFBE66C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925221344f48ea465f637adaa2f9d7cf2aa4da8a","datavalue":{"value":{"entity-type":"item","numeric-id":3998025,"id":"Q3998025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e92f8eeba56cce593e57371bde5c2d9f05bd4ec","datavalue":{"value":{"amount":"+0.86072373","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":"Q2565266$9BE2A438-29AE-412D-97B3-E9EB4D202AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0e304195294fd95f9592c896f558e1c551f8b","datavalue":{"value":{"entity-type":"item","numeric-id":1338453,"id":"Q1338453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf445ad8fe7e450031bc4fef30d98d315aa3492","datavalue":{"value":{"amount":"+0.8596995","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":"Q2565266$59D9A609-BE14-4BFA-AEBF-F1F50C312FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624739de8d0ff591cd048699779d2b8969962dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4282680,"id":"Q4282680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f0b1cba025769933e13e71fe207018c1b531de","datavalue":{"value":{"amount":"+0.8539139","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":"Q2565266$2082081C-4EF9-43B3-AC88-8466E0CBB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b89c700e515eab4e138571b1083df5e1aa4a2b5","datavalue":{"value":{"entity-type":"item","numeric-id":1188886,"id":"Q1188886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4778e6f088cc001710fda394251390e71dad4266","datavalue":{"value":{"amount":"+0.85276496","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":"Q2565266$EAFFD607-6068-4B36-B548-E61ABFDE848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79fb522f40a91c3f95d5e4f0deb6d9caae74ca1","datavalue":{"value":{"entity-type":"item","numeric-id":1801227,"id":"Q1801227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3067e29b74befa6204e5ff70e9f2e2e2753d918a","datavalue":{"value":{"amount":"+0.85062766","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":"Q2565266$660A09C2-4DAB-4819-860D-CDFDC63414CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1388b83c9178dbd4599f8263431e74210631cb01","datavalue":{"value":{"entity-type":"item","numeric-id":1367070,"id":"Q1367070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6498730c2520735c3a8841cb7549bfa008034ff7","datavalue":{"value":{"amount":"+0.8479036","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":"Q2565266$3C167EC2-ED5D-4635-BA97-BDB00DAF7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b5c16f8314b29677b66dc2f6d494d7386db2608","datavalue":{"value":{"entity-type":"item","numeric-id":4395689,"id":"Q4395689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1864ea9e9881fd7fdf13400f7656ff0ee67ab0","datavalue":{"value":{"amount":"+0.83777","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":"Q2565266$B1B6F1B1-38AC-42D6-9B9F-EEC238686AC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2565266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2565266"}}}}}