{"entities":{"Q704809":{"pageid":706658,"ns":120,"title":"Item:Q704809","lastrevid":63658458,"modified":"2026-04-11T14:40:22Z","type":"item","id":"Q704809","labels":{"en":{"language":"en","value":"Mathematical knowledge management. Third international conference, MKM 2004, Bia\u0142owie\u017ca, Poland, September 19--21, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2130180"}},"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":"Q704809$3ADCBDCF-105F-47BE-99BE-EF58F380E58C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed73b3f2457963f0fdf80a1561a29c89cbb4d405","datavalue":{"value":{"text":"Mathematical knowledge management. Third international conference, MKM 2004, Bia\u0142owie\u017ca, Poland, September 19--21, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704809$DB4C86C0-CEE4-4621-87A2-B7A2EB6D1705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61a3c3de9a397dbaf1ae3391e30459d34fb55f85","datavalue":{"value":"1053.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$FBF184CF-B958-4B66-A447-77575A6F2E6C","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":"Q704809$F62C1658-DC53-4B4F-9EA7-F3C3A9BDFF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90a3a6b51ce61dd6ffe2ca0150d5eb1344f5da74","datavalue":{"value":{"time":"+2005-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704809$98D1235F-73BD-4698-B3E4-6DD66C10A944","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e2497b06d95a7a978795ab7dc8fe95ec2a14adc","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1015.00029).  Indexed articles:  \\textit{Adams, Andrew A.; Davenport, James H.}, Copyright issues for MKM, 1-16 [Zbl 1108.68581]  \\textit{Asperti, Andrea; Selmi, Matteo}, Efficient retrieval of mathematical statements, 17-31 [Zbl 1108.68582]  \\textit{Avron, Arnon}, Formalizing set theory as it is actually used, 32-43 [Zbl 1109.03056]  \\textit{Bancerek, Grzegorz; Urban, Josef}, Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles, 44-57 [Zbl 1108.68583]  \\textit{Cairns, Paul}, Informalising formal mathematics: Searching the Mizar library with latent semantics, 58-72 [Zbl 1108.68584]  \\textit{Caprotti, Olga; Dewar, Mike; Turi, Daniele}, Mathematical service matching using description logic and OWL, 73-87 [Zbl 1108.68585]  \\textit{Cruz-Filipe, Lu\u00eds; Geuvers, Herman; Wiedijk, Freek}, C-CoRN, the constructive Coq repository at Nijmegen, 88-103 [Zbl 1108.68586]  \\textit{Draheim, Dirk; Neun, Winfried; Suliman, Dima}, Classifying differential equations on the web, 104-115 [Zbl 1108.68588]  \\textit{Grabowski, Adam; Moschner, Markus}, Managing heterogeneous theories within a mathematical knowledge repository, 116-129 [Zbl 1108.68589]  \\textit{Grabowski, Adam; Schwarzweller, Christoph}, Rough concept analysis -- theory development in the Mizar system, 130-144 [Zbl 1108.68590]  \\textit{Jojgov, Gueorgui; Nederpelt, Rob}, A path to faithful formalizations of mathematics, 145-159 [Zbl 1108.68591]  \\textit{Kamareddine, Fairouz; Maarek, Manuel; Wells, J. B.}, Flexible encoding of mathematics on the computer, 160-174 [Zbl 1108.68592]  \\textit{Kohlhase, Andrea; Kohlhase, Michael}, CPoint: Dissolving the author's dilemma, 175-189 [Zbl 1108.68593]  \\textit{Kulpa, Zenon}, On diagrammatic representation of mathematical knowledge, 190-204 [Zbl 1108.68594]  \\textit{Kutsia, Temur; Buchberger, Bruno}, Predicate logic with sequence variables and sequence function symbols, 205-219 [Zbl 1109.68111]  \\textit{Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert}, A graph-based approach towards discerning inherent structures in a digital library of formal mathematics, 220-235 [Zbl 1108.68595]  \\textit{Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin}, Theorem proving and proof verification in the system SAD, 236-250 [Zbl 1108.68573]  \\textit{Melis, Erica; Meier, Andreas; Pollet, Martin}, Adaptive access to a proof planner, 251-264 [Zbl 1108.97300]  \\textit{Mora, Miguel A.; Moriy\u00f3n, Roberto; Saiz, Francisco}, Modeling interactivity for mathematics learning by demonstration, 265-275 [Zbl 1108.97301]  \\textit{Nakagawa, Koji; Nomura, Akihiro; Suzuki, Masakazu}, Extraction of logical structure from articles in mathematics, 276-289 [Zbl 1108.68597]  \\textit{Naumowicz, Adam; Byli\u0144ski, Czes\u0142aw}, Improving Mizar texts with properties and requirements, 290-301 [Zbl 1108.68598]  \\textit{Padovani, Luca; Solmi, Riccardo}, An investigation on the dynamics of direct-manipulation editors for mathematics, 302-316 [Zbl 1108.68599]  \\textit{Pollet, Martin; Sorge, Volker; Kerber, Manfred}, Intuitive and formal representations: The case of matrices, 317-331 [Zbl 1108.68600]  \\textit{Sacerdoti Coen, Claudio}, Mathematical libraries as proof assistant environments, 332-346 [Zbl 1108.68601]  \\textit{Sacerdoti Coen, Claudio; Zacchiroli, Stefano}, Efficient ambiguous parsing of mathematical formulae, 347-362 [Zbl 1108.68602]  \\textit{Smirnova, Elena S.; So, Clare M.; Watt, Stephen M.}, An architecture for distributed mathematical web services, 363-377 [Zbl 1108.68603]  \\textit{Strotmann, Andreas}, The categorial type of OpenMath objects, 378-392 [Zbl 1108.68604]","type":"string"},"datatype":"string"},"type":"statement","id":"Q704809$E660D162-70DC-4091-87B8-73711274C1DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$5B19F512-3A35-44BF-93B3-61D986E55E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$CE903158-B5D9-49EC-9C69-1857FE9D88A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$AE148E46-D71F-45CE-A671-F40E8B460B7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0c1b30748e6c80bde5efe1d5106b65624653342","datavalue":{"value":"2130180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$E59A9525-0C4A-4352-96BB-C98B4C4EFA59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704809$C8DC561E-B9CD-4228-B037-723C3486ABA9","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":"Q704809$C028A7DC-65F9-42A3-8DE5-749B0BCCC5AB","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":"Q704809$E568CD4B-3D18-49D5-8422-76BF20E7010A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f941e47c946ab98a7f8d097b4238dea9e10822d7","datavalue":{"value":"https://doi.org/10.1007/b100478","type":"string"},"datatype":"url"},"type":"statement","id":"Q704809$F25DDE75-469D-4B16-895B-51D9877ADFB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"965d39eba7e9343b327cea440ea227c1c1de1cf0","datavalue":{"value":"W4234388457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$2C6112BB-7918-4007-A69A-EB8A0CC40FFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e7ddd1450998922fc3955fb738f9e8d9bc15748","datavalue":{"value":"10.1007/B100478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704809$7A9CE905-E830-4E99-B49E-B812BD6D34D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical knowledge management. Third international conference, MKM 2004, Bia\u0142owie\u017ca, Poland, September 19--21, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_knowledge_management._Third_international_conference,_MKM_2004,_Bia%C5%82owie%C5%BCa,_Poland,_September_19--21,_2004._Proceedings."}}}}}