{"entities":{"Q1339492":{"pageid":1350231,"ns":120,"title":"Item:Q1339492","lastrevid":67190181,"modified":"2026-04-12T15:56:35Z","type":"item","id":"Q1339492","labels":{"en":{"language":"en","value":"Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 699344"}},"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":"Q1339492$A1A3A2E8-DE62-496D-A355-1CCD3A2176C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"146bf17e5b3ec2227c7f6f3b6b1c48c6133c2234","datavalue":{"value":{"text":"Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1339492$7448E4B1-30DA-4E72-BE1E-EF75F905939F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f13bdfcf7416ca7cf51a4681228f59092209eca9","datavalue":{"value":"0802.00038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339492$B0054AC2-EA05-4DC7-AAC0-5B960FD675A3","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":"Q1339492$83F8D2FF-0DF5-4418-80BB-E8D105BEB5B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7736fa8696abd897b2ab96cb60896aceef987c38","datavalue":{"value":{"time":"+1994-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1339492$077BCDD0-B4E3-401B-BDC8-9A82298A85E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"005cde32d1858b546e2e457172c8a137d59ac706","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Lynch, Christopher}, Local simplification, 3-18 [Zbl 1495.03015]  \\textit{Barth, Peter}, Simplifying clausal satisfiability problems, 19-33 [Zbl 1495.68156]  \\textit{Uribe, Tom\u00e1s E.; Stickel, Mark E.}, Ordered binary decision diagrams and the Davis-Putnam procedure, 34-49 [Zbl 1495.68202]  \\textit{Smolka, Gert}, A foundation for higher-order concurrent constraint programming, 50-72 [Zbl 1495.68044]  \\textit{Nielson, Flemming; Riis Nielson, Hanne}, Constraints for polymorphic behaviours of concurrent ML, 73-88 [Zbl 1495.68028]  \\textit{Niehren, Joachim; Smolka, Gert}, A confluent relational calculus for higher-order programming with constraints, 89-104 [Zbl 1495.68043]  \\textit{Qian, Zhenyu; Wang, Kang}, Modular AC unification of higher-order patterns, 105-120 [Zbl 1495.03016]  \\textit{Lugiez, D.}, Higher order disunification: some decidable cases, 121-135 [Zbl 1495.03014]  \\textit{Boudet, Alexandre; Contejean, Evelyne}, ``Syntactic'' AC-unification, 136-151 [Zbl 1495.03012]  \\textit{Michaylov, Spiro}, Repeated redundant inequalities in constraint logic programming, 154-169 [Zbl 1495.68032]  \\textit{Fujio, Tsutsumi}, An efficient algorithm of logic programming with constraint hierarchy, 170-182 [Zbl 1495.68031]  \\textit{Codognet, Philippe; Nardiello, Giuseppe}, Path consistency in clp(FD), 201-216 [Zbl 1495.68030]  \\textit{Hense, Andreas V.; Smolka, Gert}, A record calculus with principal types, 219-236 [Zbl 1495.68027]  \\textit{Prehofer, Christian}, On modularity in term rewriting and narrowing, 253-268 [Zbl 1495.68117]  \\textit{Avenhaus, J\u00fcrgen; Lor\u00eda-S\u00e1enz, Carlos}, Higher order conditional rewriting and narrowing, 269-284 [Zbl 1495.68107]  \\textit{Bachmair, Leo; Ganzinger, Harald}, Buchberger's algorithm: a constraint-based completion procedure, 285-301 [Zbl 1495.68249]  \\textit{Charatonik, Witold}, Set constraints in some equational theories, 304-319 [Zbl 1495.68040]  \\textit{Backofen, Rolf; Treinen, Ralf}, How to win a game with features, 320-335 [Zbl 1495.68045]  \\textit{Gilleron, R\u00e9mi; Tison, Sophie; Tommasi, Marc}, Some new decidability results on positive and negative set constraints, 336-351 [Zbl 1495.03010]  \\textit{Johann, Patricia; Socher-Ambrosius, Rolf}, Solving simplification ordering constraints, 352-367 [Zbl 1495.03011]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339492$851B272C-37DA-4357-A667-7E78F4B954D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339492$8211907C-7374-4445-B031-1BA4CF9AD499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339492$E9562C82-CE9D-44AB-9DC6-803D34D334E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9141f58e3d2577b709b58645cdbf1186b556d980","datavalue":{"value":"699344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339492$8678EB13-08B9-4EE8-99AF-445DB66D2BB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31913f2e7690b48b9728d309b849e9e77eb45b28","datavalue":{"value":"Munich (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339492$9456751A-73D2-4491-BCA5-BACC08C1EAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339492$9C802BB5-163E-4281-9B1E-E4588D058B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339492$78BEB045-AA2E-45B8-A19D-B399C7422502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc73e3ae249ccebe57396c3767e0c2ad77d67e7","datavalue":{"value":"CCL '94","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339492$75170084-4051-4341-B708-19182787BC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c48f3410525ef21afefb51b50f93e2b16cf7f77","datavalue":{"value":"Computational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339492$A6EEEE64-09DD-4342-8616-71954700FD81","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":"Q1339492$ED8C6B62-3FA7-4A5C-8855-2689EE71911F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83c322b909f6de5027d15d288abdd4dedb54df58","datavalue":{"value":"10.1007/BFB0016839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339492$AF48C973-1ABC-4BA5-8FDD-04AF88A34516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraints_in_computational_logics._1st_international_conference,_CCL_%2794,_Munich,_Germany,_September_7--9,_1994._Proceedings"}}}}}