{"entities":{"Q5933483":{"pageid":8110285,"ns":120,"title":"Item:Q5933483","lastrevid":101983700,"modified":"2026-06-06T03:15:13Z","type":"item","id":"Q5933483","labels":{"en":{"language":"en","value":"Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599103"}},"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":"Q5933483$E556BE04-2880-4B30-8A04-DBC8F2CB15BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30cc3dd00da6a7e831ed7fe5b6ffc918ac8eabdd","datavalue":{"value":{"text":"Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5933483$1B368040-8652-4861-934F-EEA76A14A11E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe47b8156d4a2c6656d38ac2aa7064cf7ba8e03","datavalue":{"value":"0961.00024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933483$A49E90DE-3276-4681-8C60-B45D7DAD7392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b959bf0e698a0c5c5937a6dd69f884b73a5caac9","datavalue":{"value":"10.1007/3-540-45406-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933483$096EC2E5-76B6-4067-998D-2271B5527D8F","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":"Q5933483$E2B3A615-F586-4C65-B907-1B647C9B13DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82146a8074a40d7249ebefe93809b550846d3a01","datavalue":{"value":{"time":"+2001-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5933483$FC49B21D-B48D-4C68-BA91-F8EDDD82E167","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0448c38c3e79a630ea34a9d0f5e1f91961c8bde6","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Jouannaud, Jean-Pierre; Treinen, Ralf}, Constraints and constraint solving: an introduction, 1-46 [Zbl 0976.03517]  \\textit{Comon, Hubert; Kirchner, Claude}, Constraint solving on terms, 47-103 [Zbl 0976.03516]  \\textit{Baader, Franz; Schulz, Klaus U.}, Combining constraint solving, 104-158 [Zbl 0976.03515]  \\textit{Ganzinger, Harald; Nieuwenhuis, Robert}, Constraints and theorem proving, 159-201 [Zbl 0976.03518]  \\textit{Rodr\u00edguez-Artalejo, Mario}, Functional and constraint logic programming, 202-270 [Zbl 0976.68507]  \\textit{Simonis, Helmut}, Building industrial applications with constraint programming, 271-309 [Zbl 0976.68541]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933483$C0473434-178E-4C21-864D-E60C85538005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933483$E8AA4DC3-8033-45F3-A741-0D666A215831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933483$64B09368-B99E-45BA-8E00-E5EFDD2F44AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"966dd7a2701fee91609a874476130df0ba2a9671","datavalue":{"value":"1599103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933483$C8FF5B05-A0EB-4B51-9827-987589D8A066","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"525925af882da5949f6da9c0b8a89f1c94092b56","datavalue":{"value":"Gif-sur-Yvette (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933483$BCD58B3C-BF2F-44F8-9AAB-37BF473B6CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7359bf2c7e8ae67e6fd17892b1e83904a1df6032","datavalue":{"value":"Summer school","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933483$8938C4AE-46FD-4F5F-89FA-FD3B6E190900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2799d4dd85760ca9775ca90869678d551b2ba9b9","datavalue":{"value":"Lectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933483$7DF62AD3-FB9D-425A-AA8E-7C74DE4DB898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec85ae0dff8ef05b18f6e62a15ec44e2c6ca4f2","datavalue":{"value":"CCL '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933483$B8230AAA-9D2E-4771-8D5D-172E470C3FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c48f3410525ef21afefb51b50f93e2b16cf7f77","datavalue":{"value":"Computational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933483$53EF9F25-15E7-4D8B-8B7F-AD9641A1AAE8","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":"Q5933483$30B95E43-6FAA-4B5A-964B-D82DB6A5E899","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a0edda34e53db67c0c17d6342cf82e92c94b781","datavalue":{"value":"https://doi.org/10.1007/3-540-45406-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5933483$A2B44C9D-2FE1-4FB6-A5AD-358A48AA150C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa66be021c9c09b6b0c6a7834b9ebec08b2a72d4","datavalue":{"value":"W2506940380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933483$042F7DDE-7789-44E0-84FC-E061251AF57B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures","badges":[]}}}}}