{"entities":{"Q1972826":{"pageid":1983568,"ns":120,"title":"Item:Q1972826","lastrevid":78170090,"modified":"2026-05-06T10:57:18Z","type":"item","id":"Q1972826","labels":{"en":{"language":"en","value":"Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1432013"}},"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":"Q1972826$1EC1F98B-3915-4BCE-905C-DE3F2112F1E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df6ff6b41c9f58e6596d02acc884a8821fe1173c","datavalue":{"value":{"text":"Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972826$3B78A671-80B4-48D4-8595-E7F14462921F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb1bd62680dade0979d2773b32977e4795127216","datavalue":{"value":"0935.00044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972826$A16CBD48-C672-4FA2-81D3-9A98F0EAC409","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d814917069aadf9e6cba292c0377edc9ae83dc8","datavalue":{"value":"10.1007/10720084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972826$A8EA0F2C-1616-4C97-B62E-B375C61C13D3","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":"Q1972826$E40F7376-4013-4948-8E75-4C5605D0A9AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd2d1fe82fa6e2c6e97c965e0ca8e16ed58495a5","datavalue":{"value":{"time":"+2000-04-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":"Q1972826$3C124CEE-0647-4F94-8189-650BBCF7FF8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8212dfff91b6427903f307b81513e1eefd1cd27","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The 1st workshop 1996 has been indicated (see Zbl 0885.00046).  Indexed articles:  \\textit{Bockmayr, Alexander; Eisenbrand, Friedrich}, Combining logic and optimization in cutting plane theory, 1-17 [Zbl 0961.03012]  \\textit{Granvilliers, Laurent}, Towards cooperative interval narrowing, 18-31 [Zbl 0961.65048]  \\textit{Melis, Erica; Zimmer, J\u00fcrgen; M\u00fcller, Tobias}, Integrating constraint solving into proof planning, 32-46 [Zbl 0962.68151]  \\textit{Armando, Alessandro; Ranise, Silvio}, Termination of constraint contextual rewriting, 47-61 [Zbl 0971.68140]  \\textit{Dowek, Gilles}, Axioms vs. rewrite rules: From completeness to cut elimination, 62-72 [Zbl 0961.03013]  \\textit{Hustadt, U.; Dixon, C.; Schmidt, R. A.; Fisher, M.}, Normal forms and proofs in combined modal and temporal logics, 73-87 [Zbl 0964.03011]  \\textit{Lucio, Paqui}, Structured sequent calculi for combining intuitionistic and classical first-order logic, 88-104 [Zbl 0961.03008]  \\textit{Cruz, Jorge; Barahona, Pedro}, Handling differential equations with constraints for decision support, 105-120 [Zbl 0969.68668]  \\textit{Sorge, Volker}, Non-trivial symbolic computations in proof planning, 121-135 [Zbl 0962.68152]  \\textit{Poll, Erik; Thompson, Simon}, Integrating computer algebra and reasoning through the type systems of Aldor, 136-150 [Zbl 0962.68182]  \\textit{Uribe, Tom\u00e1s E.}, Combinations of model checking and theorem proving, 151-170 [Zbl 0962.68110]  \\textit{Antoy, Sergio; Hanus, Michael}, Compiling multi-paradigm declarative programs into Prolog, 171-185 [Zbl 0969.68667]  \\textit{Bofill, Miquel; Godoy, Guillem; Nieuwenhuis, Robert; Rubio, Albert}, Modular redundancy for theorem proving, 186-199 [Zbl 0962.68153]  \\textit{Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, Jos\u00e9; Talcott, Carolyn L.}, Composing and controlling search in reasoning theories using mappings, 200-216 [Zbl 0965.68094]  \\textit{Schulz, Klaus U.}, Why combined decision problems are often intractable, 217-244 [Zbl 0961.03011]  \\textit{Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L.}, Congruence closure modulo associativity and commutativity, 245-259 [Zbl 0962.68085]  \\textit{Baader, Franz; Tinelli, Cesare}, Combining equational theories sharing non-collapse-free constructors, 260-274 [Zbl 0962.03037]  \\textit{Dovier, Agostino; Piazza, Carla; Policriti, Alberto}, Comparing expressiveness of set constructor symbols, 275-289 [Zbl 0961.03045]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972826$30A3B9FA-E933-47BC-8CAD-64046027E575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972826$69EA3633-70A5-4F48-84E4-6BAAAC25C99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972826$274D173B-07F7-41D3-8A7C-1EF083AC6DB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15135a6bf049d3a1d1f2b1922faa45f4cdb93eb4","datavalue":{"value":"1432013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972826$952F886A-C182-4992-80F1-AA30E79D834D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971b983249ee98a66df35f66b7f5d02fccde09db","datavalue":{"value":"Nancy (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972826$B5280D4A-768E-44F9-8D9C-4D504056F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972826$4DDEEF5E-799D-4D6F-9BF9-68A1ECF64703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972826$8461DD1D-129A-4290-B725-EE5F37CC3EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"409b35c4f91182a21757709601d76ba14586e91b","datavalue":{"value":"FroCoS 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972826$EDA80917-648B-4709-9AE8-57DC35B4C935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ae2c5aa8e4703d178d956ebdde9b8507d902bf","datavalue":{"value":"Combining systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972826$ABE9FE0E-9133-4D7A-B62E-7E6FC458BF46","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":"Q1972826$E9A12B94-E043-4BCF-8AE1-EB4C33EE1BE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e22c2118019c63496bace4daa6ab870e78171611","datavalue":{"value":"https://doi.org/10.1007/10720084","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972826$7AE31F9B-B993-491C-97EE-3BDB649787F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"068a5911f1b58574a5dd0799ab1c2ee3c4d698c8","datavalue":{"value":"W3021771792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972826$E62E89AB-AFF3-4484-8F69-499A6956BAA9","rank":"normal"}],"P1643":[{"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":"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":"Q1972826$8B740C18-3A2D-4C15-BA9C-2ED55FB5ABC7","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":"45c1b828740cabc90235db0adc9fb70f4fdaddfd","datavalue":{"value":{"amount":"+0.9322406","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":"Q1972826$AF54DEB7-67F6-4FCB-A9A6-08DE5FCD3F9C","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":"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":"Q1972826$09DA536C-FC63-4EC1-A2C6-F6C568A7DF5A","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":"cd6695b9186b501e734248d034a91b3866e4eb06","datavalue":{"value":{"amount":"+0.89542824","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":"Q1972826$E2040A4C-1AE0-414D-B1C8-F1E5C2A25121","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":"b7552a2d0f7e5576df789c10b4cbc836dcb90ead","datavalue":{"value":{"amount":"+0.89177865","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":"Q1972826$43B4E597-4CF3-4E36-85BB-1E76797466E3","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":"3660de1a514ebe1eca57b28026385504ce922feb","datavalue":{"value":{"amount":"+0.8911593","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":"Q1972826$F8CC2B7A-A711-4EF5-B323-14144B862BF7","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":"6d11597585e0992ce3d10c5921e4e8c2d2bd237e","datavalue":{"value":{"amount":"+0.88978195","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":"Q1972826$654315D3-0B56-4EFB-843C-7A3770D9FD50","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":"cd6d0613928498c43af47a4d77e855ec70f91f8d","datavalue":{"value":{"amount":"+0.88745314","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":"Q1972826$0972DB57-A495-4E94-AA4C-38A836FDDBB2","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":"8e970426d0a5db61804ebd8f84de24b33877f8a4","datavalue":{"value":{"amount":"+0.8849882","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":"Q1972826$D6E1697B-AC73-46F7-ADC7-96F8D0A2ADB7","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":"37d3dc4e4abf9212dcf604e7d201665de95522f5","datavalue":{"value":{"amount":"+0.87649894","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":"Q1972826$853E0BA1-36E2-4081-AF1A-A161C72241BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frontiers_of_combining_systems._3rd_international_workshop,_FroCoS_2000,_Nancy,_France,_March_22--24,_2000._Proceedings"}}}}}