{"entities":{"Q5933481":{"pageid":8110283,"ns":120,"title":"Item:Q5933481","lastrevid":41598969,"modified":"2025-05-06T06:19:06Z","type":"item","id":"Q5933481","labels":{"en":{"language":"en","value":"Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599100"}},"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":"Q5933481$5D88AD99-512A-4DE5-9E0F-7A2A5EC45685","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f28571b338fb847a0e6ef2dbe1dae3ed282b4b7","datavalue":{"value":{"text":"Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5933481$3DA72852-07DF-4FC7-91D7-458D0AE1E670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ef22fbe61e9884f76d135861afaf57b65319ef","datavalue":{"value":"0961.00030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933481$C5C1AAA4-3B2F-460C-B981-A3473104E1A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4eaa59530b1620fd522f27665b19b886af4c902","datavalue":{"value":"10.1007/3-540-44990-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933481$A6B19246-BD80-4D68-9F7B-CEA9A24FAE9C","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":"Q5933481$3F124CF3-C40A-4F2C-B0D6-EE74869E15CA","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":"Q5933481$F5AD9301-D48C-4A39-AD52-D2CFE3DA3394","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bb8ea663b5541fc12cd7af8b9847d7ca709b3ce","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The 1998 conference has been reviewed (see Zbl 0896.00032).  Indexed articles:  \\textit{Laita, Luis M.; de Ledesma, Luis; Roanes-Lozano, Eugenio; Brunori, Alberto}, George Boole, a forerunner of symbolic computation, 1-19 [Zbl 1042.03002]  \\textit{Knoppe, Marc}, Artificial intelligence as a decision tool for efficient strategic and operational management, 20-31 [Zbl 1042.68646]  \\textit{Kohlhase, Michael}, OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge, 32-52 [Zbl 1042.00511]  \\textit{Caprotti, Olga; Oostdijk, Martijn}, On communicating proofs in interactive mathematical documents, 53-64 [Zbl 1042.00510]  \\textit{Calmet, Jacques; Kullmann, Peter; Taneda, Morio}, Composite distributive lattices as annotation domains for mediators, 65-77 [Zbl 1042.03025]  \\textit{Bittencourt, Guilherme; Tonin, Isabel}, A proof strategy based on a dual representation, 78-91 [Zbl 1042.03011]  \\textit{Ruiz-Reina, Jos\u00e9-Luis; Alonso, Jos\u00e9-Antonio; Hidalgo, Mar\u00eda-Jos\u00e9; Mart\u00edn-Mateos, Francisco-Jes\u00fas}, Formalizing rewriting in the ACL2 theorem prover, 92-106 [Zbl 1042.68666]  \\textit{Fernandez Pineda, Angel; Trillas, Enric; Vaucheret, Claudio}, Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices, 107-114 [Zbl 1042.06006]  \\textit{Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M.}, Reasoning about the elementary functions of complex analysis, 115-126 [Zbl 1042.68128]  \\textit{Ceberio, Martine; Granvilliers, Laurent}, Solving nonlinear systems by constraint inversion and interval arithmetic, 127-141 [Zbl 1042.68127]  \\textit{Castro, Carlos; Monfroy, Eric}, Basic operators for solving constraints via collaboration of solvers, 142-156 [Zbl 1042.68103]  \\textit{Roanes-Mac\u00edas, Eugenio; Roanes-Lozano, Eugenio}, Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem, 157-173 [Zbl 1042.68129]  \\textit{Corless, Robert M.; Giesbrecht, Mark W.; Kotsireas, Ilias S.; Watt, Stephen M.}, Numerical implicitization of parametric hypersurfaces with linear algebra, 174-183 [Zbl 1042.65020]  \\textit{Pfalzgraf, Jochen}, A note on modeling connectionist network structures: Geometric and categorical aspects, 184-199 [Zbl 1042.68099]  \\textit{Iglesias, Andres; G\u00e1lvez, Akemi}, A new artificial intelligence paradigm for computer-aided geometric design, 200-213 [Zbl 1042.68685]  \\textit{Iglesias, Andres}, How symbolic computation can benefit computer-aided geometric design, 214-218 [Zbl 1042.68684]  \\textit{Maazouzi, Zahir; Andrianarivelo, Nirina; Bousdira, Wadoud; Chabin, Jacques}, CDR: A rewriting based tool to design FPLA circuits, 219-222 [Zbl 1042.68607]  \\textit{Rubio, Julio}, Locally effective objects and artificial intelligence, 223-226 [Zbl 1042.68828]  \\textit{Arranz, Marco A.}, Negotiation algorithms for multi-agent interactions, 227-239 [Zbl 1042.68667]  \\textit{Boy de la Tour, Thierry}, Some techniques of isomorph-free search, 240-252 [Zbl 1042.68102]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933481$02048CB5-149E-413F-B524-BA7CB64BE555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933481$B8BB7323-0410-4492-BACD-A6CE3C494FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933481$EEEC879A-2A19-4DFC-B8AE-7BA7DEFB4523","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42ce29d752362661f53d871676262324f5c0fa1f","datavalue":{"value":"1599100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933481$350A22F4-8656-411F-9C5C-4D57C7540235","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7c38fab5803882d94b5d52b486ebc1ff4079f4","datavalue":{"value":"Madrid (Spain)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933481$72179BFD-9F96-4022-AF08-D55DD881D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933481$82040B94-9CD8-4724-A322-DBBFB6E32240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933481$5CDBCCF1-0B7E-46EF-82E2-E727814CF26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e149efa404eacbd9efb9ac25dc4c736bb289ef38","datavalue":{"value":"AISC 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933481$275511AF-1B93-42A5-A1E9-4537D1561B9A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933481$43DCB8F4-02ED-4A9F-B01F-31DD4423E2CF","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":"Q5933481$61010CB5-58A4-4A16-BF31-66962CFCBF16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07c9ca963a711705a4208a5ac1dc956d6ed1d97d","datavalue":{"value":"https://doi.org/10.1007/3-540-44990-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5933481$8352D4F1-CBE7-43E6-8495-E3ECDFB7962A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b26a425bc4837530dff8beed8823e79491b893e","datavalue":{"value":"W4210463011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933481$C4C5C8D0-BEEB-4EA6-8AAA-49E39F9D5A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51d21e2d2ec822363a5e5acf75161289888fbae","datavalue":{"value":{"entity-type":"item","numeric-id":699953,"id":"Q699953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762627676497aaf2e88a6e10cee619e574752555","datavalue":{"value":{"amount":"+0.95918256","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":"Q5933481$DAFA905B-B276-4F45-9C82-604123C60BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1572040176553389203c605e18fbc62adbbaec55","datavalue":{"value":{"entity-type":"item","numeric-id":481385,"id":"Q481385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5da3f7c4a57216d2f10bbff6ecd10cc0c9948f","datavalue":{"value":{"amount":"+0.90552723","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":"Q5933481$9EFD819F-89A4-4AF6-AEC6-06E2614F4EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58367ad771818b5421bca3228089c3c91b9b45bb","datavalue":{"value":{"entity-type":"item","numeric-id":1779174,"id":"Q1779174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a879610c46f2facc68b016bce6bb17b31ba1231","datavalue":{"value":{"amount":"+0.8751486","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":"Q5933481$6D4F8530-8198-45F7-A772-78194D3C4AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f6b1c77dfc88565e31be72964853a135b13ccc","datavalue":{"value":{"entity-type":"item","numeric-id":690306,"id":"Q690306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af39d75e124b012bd318debb62d719f6948e193","datavalue":{"value":{"amount":"+0.8740179","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":"Q5933481$2FC7F7DA-2ACE-411A-B696-3A1876273B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ae1d8c8b066dd5c0fb1d601d78ac2aa1f268d2","datavalue":{"value":{"entity-type":"item","numeric-id":1265641,"id":"Q1265641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfb020c1871bbe4f60cd3387ff8e4478d9965e5","datavalue":{"value":{"amount":"+0.86716664","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":"Q5933481$486917D5-4223-44D3-9915-FA39BCE70A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4e1f30f96eb842396b319d80c4331b28e22ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1613677,"id":"Q1613677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec67f6fcd2598dcafba510161c7d6efb9008718","datavalue":{"value":{"amount":"+0.8667507","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":"Q5933481$ED3CFCA4-85EF-4315-8809-73263F699A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4dbd7235a710c0ae6c4b5601e4a382ddd58214","datavalue":{"value":{"entity-type":"item","numeric-id":1039402,"id":"Q1039402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99df3e9fbaa7910335a2c3e239dd65a6602f1671","datavalue":{"value":{"amount":"+0.86066085","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":"Q5933481$C96DE87F-C9AD-4752-9BEE-5F732153648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b342ad3c0337be141405690040c319b5e7b86d","datavalue":{"value":{"entity-type":"item","numeric-id":2563364,"id":"Q2563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e51911521968f615fa6eac3e80a7f000438b738","datavalue":{"value":{"amount":"+0.8587002","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":"Q5933481$57B69D10-300E-4156-9114-FA5AA6B30E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb1f43f14a4c03e379b7eb68b5e1c84c95d2bb0","datavalue":{"value":{"entity-type":"item","numeric-id":958467,"id":"Q958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eafa322519d6b36b6f2c43ed85e07d30d4e9e98","datavalue":{"value":{"amount":"+0.8562662","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":"Q5933481$26F03E91-8703-42DF-A58C-5D2AB521E4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ba4ae23589ed0c0d2f0f0fd4292b660e998001","datavalue":{"value":{"entity-type":"item","numeric-id":1795400,"id":"Q1795400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d1226b15e6e5b98857bbc633f4aee7b8d066a9","datavalue":{"value":{"amount":"+0.84606147","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":"Q5933481$C5F4B3FB-6B89-4D46-9601-C731108E812C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5933481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5933481"}}}}}