{"entities":{"Q2565251":{"pageid":2575994,"ns":120,"title":"Item:Q2565251","lastrevid":44362521,"modified":"2025-11-22T08:16:54Z","type":"item","id":"Q2565251","labels":{"en":{"language":"en","value":"Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 971575"}},"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":"Q2565251$AB5EB1AC-4570-4A99-A9EA-CD6160E8FA88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82bfc7bd0dbf3ff95bef041910367190ac9edfc8","datavalue":{"value":{"text":"Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565251$18DA4E70-F6D4-4FAB-B06F-4EB792EAA15E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a98230468de35e8bbfb1baadf8c77b04343e7fab","datavalue":{"value":"0856.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565251$8BC0FED2-6A45-447C-B4AE-08A743A299B2","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":"Q2565251$80E9CDCA-158E-4DC0-924E-6D9D68C1D0A6","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":"Q2565251$C2CB1E5A-383F-428D-8495-6C662C7806D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f22d7ca383a9929586841e10324f08a0c5ae1a9","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{Ehrig, H.; Parisi-Presicce, F.}, High-level-replacement systems for equational algebraic specifications, 3-20 [Zbl 0925.68311]  \\textit{Gramlich, Bernhard}, Generalized sufficient conditions for modular termination of rewriting, 53-58 [Zbl 0925.68263]  \\textit{Hermann, Miki}, On the relation between primitive recursion, schematization, and divergence, 115-127 [Zbl 0925.03172]  \\textit{Lysne, Olav}, Proof by consistency in constructive systems with final algebra semantics, 276-290 [Zbl 0925.68305]  \\textit{Hardin, Th\u00e9r\u00e8se}, Eta-conversion for the languages of explicit substitutions, 306-321 [Zbl 0925.03089]  \\textit{Bachmair, Leo; Ganzinger, Harald; Waldmann, Uwe}, Theorem proving for hierarchic first-order theories, 420-434 [Zbl 0925.03074]  \\textit{Boudet, Alexandre; Contejean, Evelyne}, On \\(n\\)-syntactic equational theories, 446-457 [Zbl 0925.03159]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$22ACA312-620B-4EBA-A764-5F5CC2D3F806","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565251$43224FC3-9064-47BB-BAF7-1652AB9830D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565251$AD43AAF4-9EAD-4768-9A51-70F1FED4A025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565251$EA227D5A-2B1D-42ED-88B0-70CF71F3FDA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9437c80bc420a56aca7286ff5ada56d10d4af17","datavalue":{"value":"971575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565251$C4E5D890-93A1-4DAA-85F0-4A37F9DB223F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3853e6731e4275f54eec652233e9b6f9cedea4","datavalue":{"value":"Algebraic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$DC166AB5-AE00-47D4-968C-0378E9972FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$1A5F5C65-CB43-49FE-9F87-0EC3E2701049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$0E3A246C-10AA-40F3-8672-47492ABF28B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$9DC13E42-DF6B-473A-A18D-A4110D5BB9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"380a5719ff3605964e7dd6bbbfd93cdebedbe9aa","datavalue":{"value":"Aachen (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$E1808D8D-E7C3-4AC5-839E-9884E5A995DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e8c1fcd95a7050d5f888006351681013f186fb","datavalue":{"value":"ALP '92","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565251$BB97B5A0-49DF-45C6-99F6-4C5C2FCC06E2","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":"Q2565251$71C7303C-E394-467E-A761-65EC7A8558FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54260806d369ead79f9ee9c8d579153738581f0","datavalue":{"value":"10.1007/BFB0013814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565251$5CB337E3-B520-43EA-872B-E87DD900E048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2565251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2565251"}}}}}