{"entities":{"Q1379286":{"pageid":1390026,"ns":120,"title":"Item:Q1379286","lastrevid":70288092,"modified":"2026-04-13T13:45:12Z","type":"item","id":"Q1379286","labels":{"en":{"language":"en","value":"Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1120785"}},"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":"Q1379286$6EAF62E0-1848-46F5-BE04-32CDE36E50C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d602d01f644f3dd307d5d0fccc2a4bdaa2c80d10","datavalue":{"value":{"text":"Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1379286$79D77FAD-F10E-4046-9850-56FAE6968156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4d597529bd3687c1ce6697475372f5007015e71","datavalue":{"value":"0885.00046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379286$809C0EB3-BCB6-4394-A08D-407243EE3700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379286$0458AC55-57B4-44F3-89E6-58F949B3A080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebc5e9ce3989c0335c0c5247dcb59274f460bafb","datavalue":{"value":{"time":"+1998-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1379286$08C40760-157D-489F-800C-CFD3BFF0176B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b57a53857f686abe5c542cdb5141328d1240823b","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Gabbay, Dov M.}, An overview of fibred semantics and the combination of logics, 1-55 [Zbl 0896.03009]  \\textit{Russo, Alessandra}, Generalising propositional modal logic using labelled deductive systems, 57-73 [Zbl 0902.03009]  \\textit{Basin, David; Matthews, Se\u00e1n; Vigan\u00f2, Luca}, A topography of labelled modal logics, 75-92 [Zbl 0897.03012]  \\textit{Fari\u00f1as del Cerro, Luis; Herzig, Andreas}, Combining classical and intuitionistic logic. Or: Intuitionistic implication as a conditional, 93-102 [Zbl 0896.03010]  \\textit{Tinelli, Cesare; Harandi, Mehdi}, A new correctness proof of the Nelson-Oppen combination procedure, 103-119 [Zbl 0893.03001]  \\textit{Ringeissen, Christophe}, Cooperation of decision procedures for the satisfiability problem, 121-139 [Zbl 0945.03011]  \\textit{Slaney, John; Surendonk, Timothy}, Combining finite model generation with theorem proving. Problems and prospects, 141-155 [Zbl 0895.03004]  \\textit{Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn}, Reasoning theories. Towards an architecture for open mechanized reasoning systems, 157-174 [Zbl 0899.03022]  \\textit{Dahn, Bernd Ingo; Wolf, Andreas}, Natural language presentation and combination of automatically generated proofs, 175-192 [Zbl 0894.68136]  \\textit{Buchberger, Bruno}, Symbolic computation: Computer algebra and logic, 193-219 [Zbl 0894.68086]  \\textit{Calmet, Jacques; Homann, Karsten}, Classification of communication and cooperation mechanisms for logical and symbolic computation systems, 221-234 [Zbl 0894.68087]  \\textit{Denti, Enrico; Natali, Antonio; Omicini, Andrea; Venuti, Marco}, Logic tuple spaces for the coordination of heterogeneous agents, 235-248 [Zbl 0894.68145]  \\textit{Lamma, Evelina; Milano, Michela; Mello, Paola}, Combining solvers in a meta constraint logic programming architecture, 267-283 [Zbl 0894.68031]  \\textit{Stolzenburg, Frieder}, Membership-constraints and complexity in logic programming with sets, 285-302 [Zbl 0894.68032]  \\textit{Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco}, Integrating lists, multisets, and sets in a logic programming framework, 303-319 [Zbl 0894.68033]  \\textit{Mesnard, Fred; Horau, S\u00e9bastien; Maillard, Alexandra}, \\(CLP(\\chi)\\) for proving program properties, 321-338 [Zbl 0894.68034]  \\textit{Crossley, John N.; Mandel, Luis; Wirsing, Martin}, First-order constrained lambda calculus, 339-356 [Zbl 0893.03002]  \\textit{Habra, Naji; Le Charlier, Baudouin}, Unified relational framework for programming paradigm combination, 357-375 [Zbl 0893.68096]  \\textit{Chen, Xiao Jun}, Model checking ACTL constrained processes, 377-388 [Zbl 0894.68059]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379286$404A9252-7798-4B6E-916A-096FBA782E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379286$75174E6B-EBAD-4A12-B40E-B093A85E69B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379286$6201D935-31CE-485F-9D4E-93F82F0C663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379286$52285F72-BD35-4A3F-A9CB-C4BCDF449C95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b466b34c7f6f0e70746cedd874a0800f966ba0a4","datavalue":{"value":"1120785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379286$D987A6CF-25B8-4C04-A928-815E06BAAAB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ae2c5aa8e4703d178d956ebdde9b8507d902bf","datavalue":{"value":"Combining systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379286$CA4C902C-612B-4CDE-BC4B-C7A7D39766A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379286$C521C610-827A-4A44-90D7-CE2BBF362A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379286$C7DC4264-F54D-4CC6-AF17-511DF62CE90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31913f2e7690b48b9728d309b849e9e77eb45b28","datavalue":{"value":"Munich (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379286$4A32C6E3-F266-445B-8459-30C66CB27AFB","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":"Q1379286$3B25E6E1-F2ED-4322-8182-781145D0BA4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frontiers_of_combining_systems._First_international_workshop,_Munich,_Germany,_March_26--29,_1996"}}}}}