{"entities":{"Q1608370":{"pageid":1619110,"ns":120,"title":"Item:Q1608370","lastrevid":67978659,"modified":"2026-04-12T20:36:57Z","type":"item","id":"Q1608370","labels":{"en":{"language":"en","value":"Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1776419"}},"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":"Q1608370$812E3A13-6579-49EF-9FFA-0C78EFA60B83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e54ede1c9399a8da8a1d6d8c10f9551f85afee5d","datavalue":{"value":{"text":"Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1608370$47EE79E4-3875-42A0-9870-77EFAB50C1C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45bc8f01b55dca48906987a03d2585bcebb7c562","datavalue":{"value":"0990.00065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608370$16E522C8-F5B1-40D3-9FD0-A7C02D7F2492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c6dbef14c490a9981d421af8816e8d619868b9c","datavalue":{"value":"10.1007/3-540-45988-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608370$D616FB5D-A2FA-4463-8613-EADE7B0571B0","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":"Q1608370$FF826AAA-2EC9-4A78-8A40-61D893A84CCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"376aaf1740af05b888daf45e8d11d5d06f385dfd","datavalue":{"value":{"time":"+2002-08-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":"Q1608370$4EF6F0EC-FAAB-4553-97CE-4EF1C0C4C0A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c68c4e418f77ed42367b4f4212b1057ec2f3d40","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (3rd, 2000) has been reviewed (see Zbl 0935.00044).  Indexed articles:  \\textit{Nelson, Greg}, Foundations of a constraint-based illustrator, 1 [Zbl 1057.68680]  \\textit{Autexier, Serge; Mossakowski, Till}, Integrating HOL-CASL into the development graph manager MAYA, 2-17 [Zbl 1057.68678]  \\textit{L\u00fcth, Christoph; Ghani, Neil}, Monads and modularity, 18-32 [Zbl 1057.68063]  \\textit{Marte, Michael}, A modular approach to proving confluence, 33-48 [Zbl 1057.68112]  \\textit{Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando}, Integrating BDD-based and SAT-based symbolic model checking, 49-56 [Zbl 1057.68623]  \\textit{Yavuz-Kahveci, Tuba; Bultan, Tevfik}, Heuristics for efficient manipulation of composite constraints, 57-71 [Zbl 1057.68638]  \\textit{Delzanno, Giorgio}, Constraint-based model checking for parameterized synchronous systems, 72-86 [Zbl 1057.68624]  \\textit{Kapur, Deepak}, A rewrite rule based framework for combining decision procedures (preliminary draft), 87-102 [Zbl 1057.68679]  \\textit{Zarba, Calogero G.}, Combining sets with integers, 103-116 [Zbl 1057.68682]  \\textit{Ceberio, Martine; Granvilliers, Laurent}, Solving nonlinear equations by abstraction, Gaussian elimination, and interval methods, 117-131 [Zbl 1057.68110]  \\textit{Barrett, Clark W.; Dill, David L.; Stump, Aaron}, A generalization of Shostak's method for combining decision procedures, 132-146 [Zbl 1057.68109]  \\textit{Cadoli, Marco; Mancini, Toni}, Combining relational algebra, SQL, and constraint programming, 147-161 [Zbl 1057.68604]  \\textit{Balbiani, Philippe; Condotta, Jean-Fran\u00e7ois}, Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning, 162-176 [Zbl 1057.68116]  \\textit{Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Milano, Michela}, Exploiting constraints for domain managing in CLP(FD), 177-191 [Zbl 1057.68685]  \\textit{Fruehwirth, Thom; Abdennadher, Slim}, Tutorial: reasoning with, about and for constraint handling rules, 192 [Zbl 1057.68573]  \\textit{Melham, T. F.}, PROSPER. An investigation into software architecture for embedded proof engines, 193-206 [Zbl 1057.68593]  \\textit{H\u00f6lzl, Matthias; Crossley, John N.}, Constraint-lambda calculi, 207-221 [Zbl 1057.68014]  \\textit{Rasga, Jo\u00e3o; Sernadas, Am\u00edlcar; Sernadas, Cristina; Vigan\u00f2, Luca}, Labelled deduction over algebras of truth-values, 222-238 [Zbl 1057.03009]  \\textit{Burrieza, Alfredo; de Guzm\u00e1n, Inma P.}, A temporal \\(\\times\\) modal approach to the definability of properties of functions, 239-254 [Zbl 1057.03013]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608370$30D8766F-B223-4CD0-A742-1ECCA9D7902C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608370$FD84FAE7-B05E-4F84-9513-40D09A8481CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608370$1B4AED7D-B5A3-456E-9E39-B03F5284A35A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d71ebecb2091f1a74b325889c2657e1fe12dcff2","datavalue":{"value":"1776419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608370$3C7DB83A-69A0-47BA-9581-CDD2EDCE09F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea2f27e921ebba77e4eb3e4980ab723c2db6a2d","datavalue":{"value":"Santa Margherita Ligure (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608370$E01FE1BA-1EAE-4C79-9610-FC70ABD6D678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608370$323ABF06-3F48-4349-BCF6-5FF10EF82583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608370$EE56855D-C6DB-46B4-B207-8DA04CFDB423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24df30dee2f094213168b72a570360fc545738a","datavalue":{"value":"FroCos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608370$6FA57D78-FD75-49A8-8016-335878EA3DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ae2c5aa8e4703d178d956ebdde9b8507d902bf","datavalue":{"value":"Combining systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608370$88FCAE28-3F0B-42C9-8DA7-9254DC340570","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":"Q1608370$7D18DD34-5E23-4D44-B7AF-1C1448BA594A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ea400a489071a809f85ef2a863a5876b03f76c","datavalue":{"value":{"entity-type":"item","numeric-id":1972826,"id":"Q1972826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af8ddc0a97859775f6ebaa7273a437edf63b5a0","datavalue":{"value":{"amount":"+0.93583244","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":"Q1608370$0A2CC813-B038-4FCF-8DCD-3AE9A001EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2d381c508e0f7e95831de0ce01a2fad90adc57","datavalue":{"value":{"entity-type":"item","numeric-id":731475,"id":"Q731475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee0516914cf8974d537c4c5d9bc4a3fc19092f2","datavalue":{"value":{"amount":"+0.91482043","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":"Q1608370$480CA835-7624-45DD-A4D0-DF166412D8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3def7209313cf557f4fc1f11d6ca7976d1bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":2762491,"id":"Q2762491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ee66746b5e7d735f50aacc92ff8502a9f5695f","datavalue":{"value":{"amount":"+0.91050506","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":"Q1608370$4B7A5224-BC67-4221-BDC4-F8AC56EF0179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b738859941e3255374d239ad5ea22f770d610534","datavalue":{"value":{"entity-type":"item","numeric-id":938559,"id":"Q938559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3168671be520fa4afe90f35639c254ba18dcf2","datavalue":{"value":{"amount":"+0.8983104","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":"Q1608370$C20DC3CE-A0BB-44A5-B04B-FA774A011BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47b3d318801896c6fb84c5b604a6062b36b8829","datavalue":{"value":{"entity-type":"item","numeric-id":2493602,"id":"Q2493602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f87ca1fa3101964cbcebdc1b44a78cea023f0e","datavalue":{"value":{"amount":"+0.8969274","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":"Q1608370$57AFA52A-6024-41DE-8F98-E8FDF229B854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9a38705a006814696c87c7e8931726d9d0c176","datavalue":{"value":{"entity-type":"item","numeric-id":716576,"id":"Q716576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e741e4bb46b8fcd2296a1c8887698b390a2ee6a5","datavalue":{"value":{"amount":"+0.89476156","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":"Q1608370$73F882DB-EF28-48B0-9BEE-689185C16DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f918e2f3f206620070203b2f81e9433b3dbee18","datavalue":{"value":{"entity-type":"item","numeric-id":368049,"id":"Q368049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71faa9bc3a8626e7ac253533071e15edf5a48ce8","datavalue":{"value":{"amount":"+0.89085245","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":"Q1608370$E75F36FD-CCA9-4C6F-83C0-F359C2E3D15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b8542ef7fe4fc88c6c52bab3756a7d916dc592","datavalue":{"value":{"entity-type":"item","numeric-id":509527,"id":"Q509527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd590ddb4306bbf11383f0f59742eeea92ef5718","datavalue":{"value":{"amount":"+0.88850063","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":"Q1608370$9B453BE2-B4B8-48F4-A479-322367377D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326d575ebbed22338080788973172038772b098a","datavalue":{"value":{"entity-type":"item","numeric-id":2286166,"id":"Q2286166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd2d816c8a936b0af78542dec12ef587145f631","datavalue":{"value":{"amount":"+0.8851124","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":"Q1608370$A58B7412-E2F6-4BF8-9015-CE6ED8CBD8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e8235fa8a99aa5b6c1bd068e97e4c13e20dba2","datavalue":{"value":{"entity-type":"item","numeric-id":1379286,"id":"Q1379286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01617937d72b5f755e824adf470ce7872405e962","datavalue":{"value":{"amount":"+0.8749976","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":"Q1608370$BA877277-A117-4264-926A-E95861EDCED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frontiers_of_combining_systems._4th_international_workshop,_FroCos_2002,_Santa_Margherita_Ligure,_Italy,_April_8--10,_2002._Proceedings"}}}}}