{"entities":{"Q2762491":{"pageid":2773230,"ns":120,"title":"Item:Q2762491","lastrevid":41984589,"modified":"2025-05-20T13:42:48Z","type":"item","id":"Q2762491","labels":{"en":{"language":"en","value":"Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS'98), Amsterdam, Netherlands, October 2--4, 1998"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1688337"}},"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":"Q2762491$B7D3EE02-DC1D-4BDE-BC0B-864DDC537673","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b39dccb4e53e844b9b48dfc183b41ee5db22c75","datavalue":{"value":"0978.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762491$4562CA04-8143-4877-B933-CF66A300FB17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99679be6596c8cc4e11d1bbb5f9466f6a2a85c4","datavalue":{"value":{"time":"+2002-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2762491$1EFD4E11-1203-49F5-AB50-8B93222BD555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762491$75546F07-5AFF-446C-B43F-57424C132FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762491$7D541C4A-873F-4B67-9D26-19DAC1161788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762491$8F3BB209-4147-445F-84B1-91F1879CAE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762491$BF140075-CA45-48B8-8545-11430BB64BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82db3c8dc39f31b81ed4d4a9e4f899156771f535","datavalue":{"value":"1688337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762491$595C7E57-C045-47C8-903E-C500A3A7A51D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ae2c5aa8e4703d178d956ebdde9b8507d902bf","datavalue":{"value":"Combining systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762491$257D2C16-F207-4BD9-9B7A-04511C73F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552f33bb47b9133e865cc64b06277e6b7f5bd2fa","datavalue":{"value":"Amsterdam (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762491$AD2A378C-DEE2-4290-AA0D-51E8D763C39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762491$90317357-1958-4877-9A7B-D9A91ADAE0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762491$06E0D5E1-9C29-4123-AF6F-B6F98ED30C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1fd9e2be182660e96038948bdd3483ceaed0a31","datavalue":{"value":"FroCoS '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762491$B5B7A24E-190A-4585-81B5-CABCF0FDD582","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":"Q2762491$1A867F2E-B8C1-46BB-B384-0823035435F0","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":"6095229a3aab13a1254de9870788a9ceea7a79ce","datavalue":{"value":{"amount":"+0.9158913","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":"Q2762491$510E5EF2-E0F5-46AA-93D7-8FA89A770ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906b3be950f9115146b1a893749ec75023b120df","datavalue":{"value":{"entity-type":"item","numeric-id":1608370,"id":"Q1608370"},"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":"Q2762491$C5B5541F-DB93-4339-BE58-361BA35A663C","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":"e852603612f1ba5e9be47bbc1e0ea9cbcd6cdd1d","datavalue":{"value":{"amount":"+0.88795507","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":"Q2762491$9D36A497-8CC0-4BBB-8E94-E5BFE30D4E73","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":"07f9e9b3f8f8ecab6d1c023f1c5ff4e5b1d7f7c1","datavalue":{"value":{"amount":"+0.8797562","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":"Q2762491$CBA1724B-4FBC-42DF-BF4E-AF06B1B170EB","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":"1234f00bc8331f5d5d436daa76421c3c43805087","datavalue":{"value":{"amount":"+0.87907666","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":"Q2762491$234FC750-2F56-47A4-96AC-44B99009760A","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":"5dcc29d2fe06d55eb35caf13c1bd412e0fe265f6","datavalue":{"value":{"amount":"+0.87774134","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":"Q2762491$AA8B2723-799F-43F1-94AB-6895BF09BE41","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":"725d4f6eece211bdc0bc446e1fa6e40021fcd1e2","datavalue":{"value":{"amount":"+0.8774797","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":"Q2762491$228CD5C1-5A5B-4CBE-9405-08AB2E833E74","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":"e8505b3b982f975ef2565a083c3703cb4d1c7a5f","datavalue":{"value":{"amount":"+0.877039","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":"Q2762491$982C71FE-2F34-4AEA-8F8A-F97823DB222B","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":"e6d19f737cbc71a86f4a8ba2b0ae9991462c6f48","datavalue":{"value":{"amount":"+0.86845595","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":"Q2762491$00E77D5C-6E8D-4DB6-AB67-1D79EE734E6E","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":"63dba5423bab3efd15d7b6bae8fae59300bb21a8","datavalue":{"value":{"amount":"+0.8667875","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":"Q2762491$E0EC88D1-7378-4B30-BCC2-DEAF297CF62C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc14078b87e0efb85bdec2590c25b87cf63565b1","datavalue":{"value":{"text":"Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS'98), Amsterdam, Netherlands, October 2--4, 1998","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2762491$D2F8AFBB-8EEF-4FA8-BB3D-7A14CB88FB71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d66ba0af8e432df8df0b302145ba985c7a269668","datavalue":{"value":{"entity-type":"item","numeric-id":6769799,"id":"Q6769799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762491$E34E8160-8FC8-43DF-886E-7A5EC1756D3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db0657fc98d668b1b29e40c824bfc9a24e23b58a","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (1, 1996) has been reviewed (see Zbl 0885.00046).NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\\textit{Apt, Krzysztof R.; Schaerf, Andrea}, Programming in Alma-0, or imperative and declarative programming reconciled, 1-16 [Zbl 1013.68064]NEWLINENEWLINE\\textit{Ayala-Rinc\u00f3n, Mauricio}, Church-Rosser property for conditional rewriting systems with built-in predicates as premises, 17-37 [Zbl 1004.68079]NEWLINENEWLINE\\textit{Basin, David; Friedrich, Stefan}, Combining WS1S and HOL, 39-56 [Zbl 0988.03024]NEWLINENEWLINE\\textit{Basin, David; Vigan\u00f2, Luca}, A recipe for the complexity analysis of non-classical logics, 57-75 [Zbl 0988.03048]NEWLINENEWLINE\\textit{Benini, Marco; Nowotka, Dirk; Pulley, Carl}, Computer arithmetic: Logic, calculation, and rewriting, 77-93 [Zbl 1004.68143]NEWLINENEWLINE\\textit{Cirstea, Horatiu; Kirchner, Claude}, Combining higher-order and first-order computation using \\(\\rho\\)-calculus: Towards a semantics of ELAN, 95-119 [Zbl 1004.68080]NEWLINENEWLINE\\textit{Ghidini, Chiara; Serafini, Luciano}, Distributed first order logics, 121-139 [Zbl 1021.03007]NEWLINENEWLINE\\textit{Giesl, J\u00fcrgen; Ohlebusch, Enno}, Pushing the frontiers of combining rewrite systems farther outwards, 141-160 [Zbl 1004.68081]NEWLINENEWLINE\\textit{Howe, Douglas J.}, Toward sharing libraries of mathematics between theorem provers, 161-175 [Zbl 1012.68183]NEWLINENEWLINE\\textit{Kepser, Stephan}, Negation in combining constraint systems, 177-192 [Zbl 1004.68155]NEWLINENEWLINE\\textit{Kepser, Stephan; Richts, J\u00f6rn}, Optimisation techniques for combing constraint solvers, 193-210 [Zbl 1004.68156]NEWLINENEWLINE\\textit{Monfroy, Eric}, Then constraint solver collaboration language of BALI, 211-230 [Zbl 1004.68157]NEWLINENEWLINE\\textit{Naumann, Ralf}, A hybrid language for the analysis of aspectual and temporal phenomena in natural language, 231-253 [Zbl 0998.03027]NEWLINENEWLINE\\textit{Petermann, Uwe}, Combining semantical and syntactical theory reasoning, 255-273 [Zbl 0988.03025]NEWLINENEWLINE\\textit{Prestwich, Steven}, A generic approach to combining stochastic algorithms with systematic constraint solvers, 275-293 [Zbl 1004.68158]NEWLINENEWLINE\\textit{Sernadas, Am\u00edlcar; Sernadas, Cristina; Caleiro, Carlos; Mossakowski, Till}, Categorial fibring of logics with terms and binding operators, 295-316 [Zbl 0992.03085]NEWLINENEWLINE\\textit{Slind, Konrad; Boulton, Richard}, Iterative dialogues and automated proof., 317-335 [Zbl 1051.68558]NEWLINENEWLINE\\textit{Tarlecki, Andrzej}, Towards heterogeneous specifications, 337-360 [Zbl 0988.03056]NEWLINENEWLINE\\textit{Wang, Tie-Chung; Goldberg, Allen}, Integration of linear arithmetic and goal-oriented resolution for software reasoning, 361-378 [Zbl 1004.68144]NEWLINENEWLINE\\textit{Wolter, Frank; Zakharyaschev, Michael}, Temporalizing description logics, 379-401 [Zbl 0994.03026]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762491$8F668018-C5FC-407C-8D68-3DDA6E77FB23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2762491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2762491"}}}}}