{"entities":{"Q2767660":{"pageid":2778399,"ns":120,"title":"Item:Q2767660","lastrevid":83220545,"modified":"2026-05-07T06:41:47Z","type":"item","id":"Q2767660","labels":{"en":{"language":"en","value":"Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schlo\u00df Hagenberg, Austria, September 24--26, 2001"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698416"}},"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":"Q2767660$93B98578-5041-43DD-B35B-EA62C5B6744A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ca54af4600e0064bda8935beaef484b9dee3919","datavalue":{"value":"0978.00042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767660$016DE327-4DD0-4B56-8F9E-359733145C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98a818dd251e9aa1c67eb9fd23225d737b796e1d","datavalue":{"value":{"time":"+2002-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767660$069D2007-D46A-4F96-B1BC-13B6B7278187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767660$FB606291-C329-419F-925D-88CBBECD3CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767660$2536979C-9414-4AD6-B5AC-6B18A620DA82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1ba399cc7da4626f54f47695727553af55eda47","datavalue":{"value":"1698416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767660$D47E922C-C4CA-4A6F-AF5F-94208F16D2B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9efe67bdfa408266213382d125e2c900cbd036","datavalue":{"value":"Schlo\u00df Hagenberg (Austria)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767660$6A6D16C3-ECCA-4C53-BB7C-C7D84673E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767660$F743676C-BB3D-4815-AF31-5CBB71846A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767660$1B234757-433A-4817-8779-40D60DE04198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd560c8a9ea78871974d1dffc10b295ee67909a","datavalue":{"value":"MKM 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767660$616AAE8E-C303-41CF-9113-86B1FC51534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c2ebbf34393253f43c6c1eeee7f688c44ddcc3","datavalue":{"value":"Mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767660$F5FE35D7-1A3F-43AF-ADFA-944259912F9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767660$750EDFA4-42C8-469B-A97E-78F1E3528F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767660$DDDFC355-BC20-4308-AF78-773965749D99","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":"Q2767660$F2F9C720-D83E-4F2B-8824-3FAD189A66F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ece367335eaa7810188daa01a3b892ccf38cd2a","datavalue":{"value":{"entity-type":"item","numeric-id":1396946,"id":"Q1396946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8a6832c2f1047e7f1a4605c256b212e823bf60","datavalue":{"value":{"amount":"+0.90070826","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":"Q2767660$199D9B39-9B9C-4796-9189-192B17DD055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b40beca6b5eafa812c07280d096dc666328a84","datavalue":{"value":{"entity-type":"item","numeric-id":2370664,"id":"Q2370664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13bc02c7c38cbe99d32fb47af2a10dd377f2ae65","datavalue":{"value":{"amount":"+0.8891119","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":"Q2767660$B94A6E29-B093-462E-AC51-AFFE5D36DDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e4c66dc1bf3409842f62ac5ce51073433e2047","datavalue":{"value":{"entity-type":"item","numeric-id":5965553,"id":"Q5965553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23adf9bf6e8dc109045f7b11505428cea0c318ba","datavalue":{"value":{"amount":"+0.88307","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":"Q2767660$471A3683-9D55-4A72-A48B-10302D3A7C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c733a2f5fdd43a2fe78f6adf386295c5e59e4b","datavalue":{"value":{"entity-type":"item","numeric-id":704809,"id":"Q704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8269b401929cf534e5dbac85c2f820b19929b5cf","datavalue":{"value":{"amount":"+0.8807117","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":"Q2767660$8801E0BD-A5CB-4274-8964-D9ABFE6AFC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc0b98d4d6734dbaecdaad727775bab0b4b4e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2505591,"id":"Q2505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39e7ce997ebdb65acc05b3ba45e62f44d77b9ef","datavalue":{"value":{"amount":"+0.8805455","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":"Q2767660$6F6051DA-A0B3-492A-9EA2-8DC72BDE6E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1f82ccd4687c0844f759ffdbadca7793817d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3637281,"id":"Q3637281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc98549c362cef9739c45b10d14dcc8cc2d94ced","datavalue":{"value":{"amount":"+0.8299627","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":"Q2767660$063BF70D-34FD-4328-888A-DBB296AC111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b356b4c9b034692118bd5576cbf807c570a049b0","datavalue":{"value":{"entity-type":"item","numeric-id":5431021,"id":"Q5431021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cf26ac3f6481b13ba59e7490ec48867c637981","datavalue":{"value":{"amount":"+0.81295604","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":"Q2767660$FD062294-DC85-4018-AFF5-1B7B1C70B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad234d7b98c4f25d646fbcb59ab887e7942ea84","datavalue":{"value":{"entity-type":"item","numeric-id":2767919,"id":"Q2767919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ff73dc02f3a59276123713a6890ef840ebb8b7","datavalue":{"value":{"amount":"+0.8125392","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":"Q2767660$E0424210-0933-4F04-B233-1F3C8940995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be458a78e80f21cdf847f7f16a9ed93d975d250c","datavalue":{"value":{"entity-type":"item","numeric-id":1810904,"id":"Q1810904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ff73dc02f3a59276123713a6890ef840ebb8b7","datavalue":{"value":{"amount":"+0.8125392","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":"Q2767660$ACDE3E39-CBF6-495E-84A3-A6296FF64CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ab2b17c27b536bdbee212ca0997694df6e9dee","datavalue":{"value":{"entity-type":"item","numeric-id":5261298,"id":"Q5261298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1598bb1af9050b99722556e41cddf339053fef","datavalue":{"value":{"amount":"+0.8096248","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":"Q2767660$35C07A05-5357-414D-B5AA-2481BC6A059B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33e40467628d79104f4d3971a23b33701587a680","datavalue":{"value":{"text":"Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schlo\u00df Hagenberg, Austria, September 24--26, 2001","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767660$A8151D4C-3664-417A-9CAD-AE59F536CB0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db62f9b4e49a9f53288869af95470aab7480cec7","datavalue":{"value":"The articles of this volume will be reviewed individually.NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\\textit{Meunier, Ludovic; Salvy, Bruno}, Automatically generated encyclopedia of special functions. (Extended abstract), 5 p. [Zbl 0982.68193]NEWLINENEWLINE\\textit{Hardin, T.}, Mathematical knowledge management in Foc, 6 p. [Zbl 0982.68134]NEWLINENEWLINE\\textit{Allen, Stuart; Caldwell, James; Constable, Robert}, Logical aspects of digital mathematics libraries. (Extended abstract), 6 p. [Zbl 0996.68184]NEWLINENEWLINE\\textit{Benzm\u00fcller, Christoph; Meier, Andreas; Sorge, Volker}, Distributed assertion retrieval, 7 p. [Zbl 0996.68510]NEWLINENEWLINE\\textit{Kohlhase, Michael}, Formal representation issues in an open mathematical knowledge base. (Extended abstract), 7 p. [Zbl 0982.68132]NEWLINENEWLINE\\textit{Albano, G.; Gargiulo, G.; Salerno, S.}, Modelling for understanding of scientific knowledge, 7 p. [Zbl 0996.68709]NEWLINENEWLINE\\textit{Schwarzweller, Christoph}, Designing mathematical libraries based on minimal requirements for theorems, 8 p. [Zbl 0982.68130]NEWLINENEWLINE\\textit{Davenport, James H.}, Mathematical knowledge representation. (Extended abstract), 8 p. [Zbl 0982.68137]NEWLINENEWLINE\\textit{Dewar, Mike; Carlisle, David}, Mathematical software: The next generation?, 8 p. [Zbl 0996.68867]NEWLINENEWLINE\\textit{Athale, Manasi; Athale, Rahul}, Exchange of mathematical information on the web: Present and future, 9 p. [Zbl 0982.68131]NEWLINENEWLINE\\textit{F\u00fcrst, Fr\u00e9d\u00e9ric; Lecl\u00e8re, Michel; Trichet, Francky}, Contribution of the ontology engineering to mathematical knowledge management, 9 p. [Zbl 0996.68198]NEWLINENEWLINE\\textit{Nakagawa, Koji; Buchberger, Bruno}, Two tools for mathematical knowledge management in theorema, 10 p. [Zbl 0986.68536]NEWLINENEWLINE\\textit{Stanway, Terry; Fraser, Simon}, From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management, 10 p. [Zbl 0986.01024]NEWLINENEWLINE\\textit{Cairns, Paul; Gow, Jeremy}, On dynamically presenting a topology course, 11 p. [Zbl 0988.68799]NEWLINENEWLINE\\textit{Baumgartner, Peter; Blohm, Antje}, Automated deduction techniques for the management of personalized documents. (Extended abstract), 12 p. [Zbl 0982.68116]NEWLINENEWLINE\\textit{Grabowski, Adam}, Robbins algebras vs. Boolean algebras, 12 p. [Zbl 0984.06500]NEWLINENEWLINE\\textit{Adams, A. A.}, Digital look up tables and real number theorem proving, 13 p. [Zbl 0982.68117]NEWLINENEWLINE\\textit{Lozier, Daniel W.}, The NIST digital library of mathematical functions project, 14 p. [Zbl 0982.68169]NEWLINENEWLINE\\textit{Buchberger, Bruno}, Mathematical knowledge management using theorema, 17 p. [Zbl 0986.68535]NEWLINENEWLINE\\textit{Caprotti, Olga; Geuvers, Herman; Oostdijk, Martijn}, Certified and portable mathematical documents from formal contexts, 18 p. [Zbl 0982.68167]NEWLINENEWLINE\\textit{Asperti, Andrea; Padovani, Luca; Sacerdoti Coen, Claudio; Guidi, Ferruccio; Schena, Irene}, Mathematical knowledge management in HELM, 21 p. [Zbl 0982.68135]NEWLINENEWLINE\\textit{Michler, Gerhard O.}, How to build a prototype for a distributed digital mathematics archive library, 23 p. [Zbl 0982.68061]NEWLINENEWLINE\\textit{Rudnicki, Piotr; Trybulec, Andrzej}, Mathematical knowledge management in MIZAR, 25 p. [Zbl 0982.68136]NEWLINENEWLINE\\textit{Naylor, Bill; Watt, Stephen}, Meta stylesheets for the conversion of mathematical documents into multiple forms, 26 p. [Zbl 0982.68168]NEWLINENEWLINE\\textit{Farmer, William M.; von Mohrenschildt, Martin}, A formal framework for managing mathematics, 37 p. [Zbl 0982.68114]NEWLINENEWLINE\\textit{Sperber, Wolfram; Schw\u00e4nzl, Roland}, Mathematical knowledge management and Math-Net: semantics, visualization and internationalization of Math-Net, no pag. [Zbl 0986.68534]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767660$6478C716-75B7-406E-9D6B-A069F110A827","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schlo\u00df Hagenberg, Austria, September 24--26, 2001","badges":[]}}}}}