{"entities":{"Q1396946":{"pageid":1407686,"ns":120,"title":"Item:Q1396946","lastrevid":68844348,"modified":"2026-04-13T02:26:33Z","type":"item","id":"Q1396946","labels":{"en":{"language":"en","value":"Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1949825"}},"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":"Q1396946$188063D6-5B34-405D-8C5B-3E2D715E9E0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"322db16199ce9dae7c65f4d4dc93bfb7104f728f","datavalue":{"value":{"text":"Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1396946$6535549A-40BF-4B96-B225-0115C5A45211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8959ddf1d5605c5a439ada5d49d03dc4fed65aaf","datavalue":{"value":"1015.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$7DAF0D0D-D005-45F3-A441-57AEC1F878D3","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":"Q1396946$A176A200-4A4E-4E75-84EB-2589B0E58502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5585f205f9b913b1f534c487b1267bbc187aedee","datavalue":{"value":{"time":"+2003-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1396946$986081D9-336D-4E0E-A24E-FC3B721A3A72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dce56e5951158f1cf7fe42fd5c9f6957d62b6ebf","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2594.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1396946$8AE71C9A-E910-464F-8C1B-344EE14B296E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0deb7fa45aabddb4850a8c923017bb5d276f0df0","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 0978.00042).  Indexed articles:  \\textit{Adams, Andrew A.}, Digitisation, representation, and formalisation, 1-16 [Zbl 1022.68609]  \\textit{Davenport, James H.}, MKM from book to computer: A case study, 17-29 [Zbl 1022.68118]  \\textit{Sacerdoti Coen, Claudio}, From proof-assistants to distributed libraries of mathematics: Tips and pitfalls, 30-44 [Zbl 1022.68614]  \\textit{Borwein, Jonathan; Stanway, Terry}, Managing digital mathematical discourse, 45-55 [Zbl 1022.68611]  \\textit{Carlisle, David; Dewar, Mike}, NAG library documentation, 56-65 [Zbl 1022.68613]  \\textit{Padovani, Luca}, On the roles of LATEX and MathML in encoding and processing mathematical expressions, 66-79 [Zbl 1022.68620]  \\textit{Goguadze, Georgi; Melis, Erica; Ullrich, Carsten; Cairns, Paul}, Problems and solutions for markup for mathematical examples and exercises, 80-92 [Zbl 1022.68615]  \\textit{Baba, Yusuke; Suzuki, Masakazu}, An annotated corpus and a grammar model of theorem description, 93-104 [Zbl 1022.68117]  \\textit{Guidi, Ferruccio; Schena, Irene}, A query language for a metadata framework about mathematical resources, 105-118 [Zbl 1022.68616]  \\textit{Bancerek, Grzegorz; Rudnicki, Piotr}, Information retrieval in MML, 119-132 [Zbl 1022.68610]  \\textit{Heumesser, Bernd D.; Seipel, Dietmar A.; G\u00fcntzer, Ulrich}, An expert system for the flexible processing of XML-based mathematical knowledge in a PROLOG-environment, 133-146 [Zbl 1022.68617]  \\textit{Kohlhase, Michael; Anghelache, Romeo}, Towards collaborative content management and version control for structured mathematical knowledge, 147-161 [Zbl 1022.68618]  \\textit{Rudnicki, Piotr; Trybulec, Andrzej}, On the integrity of a repository of formalized mathematics, 162-174 [Zbl 1022.68621]  \\textit{Cairns, Paul; Gow, Jeremy}, A theoretical analysis of hierarchical proofs, 175-187 [Zbl 1022.68612]  \\textit{Wiedijk, Freek}, Comparing mathematical provers, 188-202 [Zbl 1022.68623]  \\textit{Urban, Josef}, Translating Mizar for first order theorem provers, 203-215 [Zbl 1022.68622]  \\textit{Marchiori, Massimo}, The mathematical semantic web, 216-223 [Zbl 1022.68619]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396946$5B94D01D-ADFB-432B-9D13-0EE83B9FA12B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$B4D7C4E7-3E7D-44FF-8EC2-EBF738AF7B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$91834AD5-4298-480C-8F60-68D66479E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$6ABFA60C-65A6-4497-AF6E-3AFCE780B505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"463af784b648ba6413e53a94221e93268e544b4d","datavalue":{"value":"1949825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$A228EB86-9F05-442D-92B2-83AC439C055A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c2ebbf34393253f43c6c1eeee7f688c44ddcc3","datavalue":{"value":"Mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396946$14C5C133-82D7-4F58-A818-7C8D89CC5FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a985777ad205c3b131603b3c6b68929448634cc1","datavalue":{"value":"Bertinoro (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396946$52139452-51EA-4872-8B08-F38CA938B3AA","rank":"normal"}],"P1463":[{"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":"Q1396946$6021AD51-6D16-45CB-89A6-BA095911D60C","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":"Q1396946$2FF2C8F9-292A-4160-858A-B7440C2938FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dece181fd646394b3e329bce9c2e40af7686dd6e","datavalue":{"value":"10.1007/3-540-36469-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$C2D0080F-C050-4A5F-89FE-5BD5F0D938C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34c7ce50048c8626e3928e4780f015480bf02a38","datavalue":{"value":"W2506991938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396946$72A287B7-BB74-40CC-89FC-7D9922F8B677","rank":"normal"}],"P1643":[{"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":"4fae24980969ad77303e9c758c12714956bc0897","datavalue":{"value":{"amount":"+0.91714126","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":"Q1396946$5B0FBFE0-51B0-4345-862F-2A1976F21CD1","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":"cf39e004f1319bfd18611521e813a4a3a4b1fd5f","datavalue":{"value":{"amount":"+0.90123546","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":"Q1396946$661AFC80-6D74-43C6-B09D-08E052DEF6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b614680f14d93c9cab36b39bb1306d5d3cc7d5","datavalue":{"value":{"entity-type":"item","numeric-id":2767660,"id":"Q2767660"},"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":"Q1396946$0E86854E-4E40-48BB-891A-BD17D4298213","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":"5cf491f87e3587337a74b56f9d6d491f3a7c2212","datavalue":{"value":{"amount":"+0.89653444","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":"Q1396946$D11DF662-1C6C-49A7-9B3F-817AEBA175A6","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":"585fc3c97308c67f7970eba7ac1172f0ae215ebd","datavalue":{"value":{"amount":"+0.8847324","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":"Q1396946$98F886EB-822D-4D0E-8A45-FFF272CBE105","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":"6be2b413d823fa97133ed798c67cff3150f3c9ad","datavalue":{"value":{"amount":"+0.8281137","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":"Q1396946$19CBD814-362D-44DA-82CE-AAFE5C0BBA64","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":"1e1d8045f7d49ecac5b41f3dd48de2dad967dbf6","datavalue":{"value":{"amount":"+0.82413346","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":"Q1396946$B479ED74-424F-4FF8-BC9B-2DEC8A7B74DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283e4cb2274ff0c0246051ffdf608bf12abd9428","datavalue":{"value":{"entity-type":"item","numeric-id":4413082,"id":"Q4413082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8fbdfd7a2fe29ab5dd9f7cde5ddf56403fba87","datavalue":{"value":{"amount":"+0.80803347","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":"Q1396946$5705F0CD-47C6-4F83-AEEF-FAA06695CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ebb66f06873a43f7c21ea8c334db58b6314c50","datavalue":{"value":{"entity-type":"item","numeric-id":2767924,"id":"Q2767924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825e0a58b48614c012edf73227e6abb47fb700f1","datavalue":{"value":{"amount":"+0.8055208","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":"Q1396946$5AE995F2-4498-4F21-AD55-AD0EDF189A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fad0967c90f94cd511eb46d85433effc05ef74","datavalue":{"value":{"entity-type":"item","numeric-id":2767928,"id":"Q2767928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516e475f5018cbb66254493da82e1f9617edf770","datavalue":{"value":{"amount":"+0.7991125","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":"Q1396946$AAE81661-66AD-4153-B313-AA5D6B4559AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_knowledge_management._Second_international_conference,_MKM_2003,_Bertinoro,_Italy,_February_16--18,_2003._Proceedings"}}}}}