{"entities":{"Q1801227":{"pageid":1811969,"ns":120,"title":"Item:Q1801227","lastrevid":71289351,"modified":"2026-04-13T21:13:27Z","type":"item","id":"Q1801227","labels":{"en":{"language":"en","value":"Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194635"}},"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":"Q1801227$C2C73A4B-D7B5-4577-9078-3E63E1B71627","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d3fbf248f35934d539934f891d32735668130be","datavalue":{"value":{"text":"Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801227$A012E948-6E72-46BC-B95C-91DE6A323607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ccf7b45d9c9b42115dc16d0e768bd5e316f5a4a","datavalue":{"value":"0708.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$6D82EAFB-0734-4E3C-B06A-56F0D5284ED8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0622fe645218c92a2b816acc5fdf0673e22a482c","datavalue":{"value":"10.1007/3-540-50667-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$A1B9A292-DEE3-499D-982A-D3FF9462AB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05ac6c0c24f67c58b8f03d3d9fce3abac96db585","datavalue":{"value":{"entity-type":"item","numeric-id":599502,"id":"Q599502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801227$A4EDD28F-7E8C-4C12-8C7D-52A9DFA8F511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801227$6515AD16-12CD-4FBB-A866-F7A4A5AAA228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef50836ca60dcbcfe3a815432541891093607141","datavalue":{"value":{"entity-type":"item","numeric-id":916638,"id":"Q916638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801227$8E353503-0FF8-4A88-A732-F67D638EFA90","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":"Q1801227$F37FF927-1B9F-4343-A0E1-A00BE9845372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801227$E59C1E69-4BA2-4D3E-BDCD-422B2F2745BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1245ac3fea39137d21d42dbe0908c3ed0b8bdeb","datavalue":{"value":"The articles of this volume will be reviewed individually under the abbreviation ``Algebraic and logic programming, Proc. Int. Workshop, Gaussig/GDR 1988, Lect. Notes Comput. Sci. 343 (1989)''.    This volume contains twenty-three papers and three abstracts of papers presented at a workshop on Algebraic and Logic Programming. Equational programming, algebraic specifications, relational logic programming, relations between the functional and the relational paradigms, and term rewriting are considered from several different angles.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$8DA2A937-6855-4C00-95DB-D2252592A630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$36DD33B2-A8FA-4C07-B5D6-961D8ADD4E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$87D3BD2A-A92D-42BA-A924-22BFAB8F3C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$478115AC-38F1-47F7-A60F-97F7D6E5788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$EE2E716E-8CE9-4A06-9DCA-11ADE3EF9393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$8E5B3A2C-323A-4327-83DC-3DFAF980E533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737eedbef1cc219596613d280d93d2149c672f4c","datavalue":{"value":"194635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$58ACA443-4E9E-44F2-8385-3E48190F273C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f836a36d5655bb34397a5d2a628164130ddcca","datavalue":{"value":"Algebraic and logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$5709E498-47CA-4571-8BB0-2749AACBC1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$F4988213-0598-4A7A-A8AF-791171FA5E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$6E2D79CA-1B0C-4936-8D8B-BE569ACFF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abe567239b0c24f4fc9d4091166e272898c51a5c","datavalue":{"value":"Gaussig (GDR)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$0FE2C370-7B2A-41E5-8033-57A3FDEE2E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$208F167A-0464-420D-B1B0-FC620B999E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259ced1590758d803fef59197baaf46c2c03025f","datavalue":{"value":"algebraic specifications. Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$E6B3E9B5-C05B-4716-9CB3-3F694A21AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801227$7AA36A10-DD11-4059-ABD6-AF434148A62C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801227$D1D043DE-64F6-4BD8-BF17-6ABC48977D68","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":"Q1801227$E22A43A9-C8FD-43CA-94BD-D38E93ACDAD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ec422df6d8e5af5f364f93caf274072dddecc4a","datavalue":{"value":"https://doi.org/10.1007/3-540-50667-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1801227$7178C05E-01AB-4EC1-A7D0-32750A49A3C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a6b443bb4d0922877c33894418296c09ca24e18","datavalue":{"value":"W2497156078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801227$5D89D955-A347-4C3C-80CB-2277A8F515A5","rank":"normal"}],"P1643":[{"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":"a6a1ceabcdb5de193e7fdae01207ae7daafabcbc","datavalue":{"value":{"amount":"+0.8647618889808655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1801227$55A6A8D2-429E-4DC0-98DD-D014963A2CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f929103c1137f18e2d622073c63c3aefb22d8f6b","datavalue":{"value":{"entity-type":"item","numeric-id":3993363,"id":"Q3993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a4744a3d7eb3d534867b665fb5aaf09be34265","datavalue":{"value":{"amount":"+0.8597432374954224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1801227$5B13A9DF-4939-4BA1-A0CC-DE4D9715D0B7","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":"5c9f57eb88bc311e4c2928a62b165050afd8f0dd","datavalue":{"value":{"amount":"+0.8341274261474609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1801227$E5935491-F123-46AC-8CBC-5BA1CCC15DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2592b0e27a6511ec7c3bfa0980939598934031","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a416d71c459abcb7580e5f2e86fbe18e82b5634","datavalue":{"value":{"amount":"+0.820602536201477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1801227$B57B3C50-C01C-44D0-9A8E-EB1A41AA98FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b2b54105026127cd5103768fc696f0c67219f5","datavalue":{"value":{"entity-type":"item","numeric-id":3707343,"id":"Q3707343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bedaf64094a5aaa6cc6b93858441db08c4910b","datavalue":{"value":{"amount":"+0.7663089036941528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1801227$22B1645E-417C-4F9E-B572-65D9D6B8E4C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_and_logic_programming._International_workshop,_Gaussig,_GDR,_November_14-18,_1988._Proceedings"}}}}}