{"entities":{"Q985398":{"pageid":987246,"ns":120,"title":"Item:Q985398","lastrevid":42801515,"modified":"2025-07-11T15:12:30Z","type":"item","id":"Q985398","labels":{"en":{"language":"en","value":"Mini-workshop: Formal methods in commutative algebra: a view toward constructive homological algebra. Abstracts from the mini-workshop held November 8th -- November 14th, 2009"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5764257"}},"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":"Q985398$C6809F3B-5F76-4A25-BE3A-2C02C6DFA1E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4631438681ec616c4c6ba5bf6ad953d68d0d5c76","datavalue":{"value":{"text":"Mini-workshop: Formal methods in commutative algebra: a view toward constructive homological algebra. Abstracts from the mini-workshop held November 8th -- November 14th, 2009","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q985398$D544FD45-6938-45A0-A082-EFA3DAF8CEA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07e79f69573b3eea2f38c42355e2e592bebdbb80","datavalue":{"value":"1192.00058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$2D500A8B-F703-4501-A4FF-E98B18AAF1C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8314b81cb854159e266987956d63aa8be99765d","datavalue":{"value":"10.4171/OWR/2009/50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$F3F9CE57-3E7F-4295-9598-1CD18EFEC514","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a9abe280024f1bf6d5dacc0d016ddbaccd65fb63","datavalue":{"value":{"entity-type":"item","numeric-id":269669,"id":"Q269669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q985398$B3EF9C96-744F-412B-A546-4F8301A397FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e7961953c1f7a9fab86138102e0c15a3838b1e9","datavalue":{"value":{"time":"+2010-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q985398$61EF9375-1959-4A82-9AE4-0B57BD4F59F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"373b1f68bc1393a67f5e66685b96d84219f14476","datavalue":{"value":"Summary: The purpose of the mini-workshop is to bring into the same place different mathematical communities that study constructive homological algebra and are motivated by different applications (e.g., constructive algebra, symbolic computation, proof theory, algebraic topology, mathematical systems theory, D-modules, dynamical systems theory) so that they can share their results, techniques, softwares and experiences. Through the development of a unified terminology, common mathematical problems, which naturally appear when making homological algebra constructive, were discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q985398$2F7EA2A9-8EFB-46C1-A1D4-FE703A7AE88E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9273ee9d6a850a5b4a9f2fe224e0804dc9e99b1f","datavalue":{"value":"00B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$76FA51F6-A2DA-4F51-A0C2-0F4383A2683B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6dd5f4d35b0ac38ae833e03026e972690a884330","datavalue":{"value":"13-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$6EEEC8F3-E8BD-4F32-B87C-96FB30B77564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b9404867440ccedf2a0632290c5c53597bab64bd","datavalue":{"value":"16-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$680C6F94-6641-42E2-92E8-CD04513362E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bfde6547dea2a8b42a92f238b1fe560f4085347","datavalue":{"value":"13Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$DE09A0E2-9C48-4436-8C44-032D361BFA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38434fcf3dedb2160b601a243de478e84ac0731d","datavalue":{"value":"16Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$1764A7C1-1637-47B8-8838-43353A1C4C4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9467ab267e0e405db8f27f2a6525a8112404b4c5","datavalue":{"value":"5764257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$C2A88C1A-600D-4093-9104-B7ED9C260DD6","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":"Q985398$3BF112D8-196B-40D6-811C-BF707010733C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ad7fe9cd2fd214f48d1186f082f0e0808e0e887","datavalue":{"value":"https://doi.org/10.4171/owr/2009/50","type":"string"},"datatype":"url"},"type":"statement","id":"Q985398$3E111F41-AD9F-4359-80DE-BB108D1E1046","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c6e1ca91034ddc5e5caf3eb8058ca2173114654","datavalue":{"value":"W2165247351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985398$B67A06EE-6960-42BD-8726-08067AF16B8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ebddcf3730a4e0a275f85cc7b57cf38d1b2f54","datavalue":{"value":{"entity-type":"item","numeric-id":1048701,"id":"Q1048701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50c0d4917967697cc1abc0b711359287e579ac1","datavalue":{"value":{"amount":"+0.85360265","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":"Q985398$521A92A4-2705-4D1F-9106-62F7D2326EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a25711584dafa7b3c58ab8d7d84c4b55cb7fbbb","datavalue":{"value":{"entity-type":"item","numeric-id":343397,"id":"Q343397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2622c31450084d13168198f6e59c5736c50a6fa5","datavalue":{"value":{"amount":"+0.850007","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":"Q985398$EE4831E4-F37C-4F74-9B27-771A465BFCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff3bb3dc75ea4f2bf41b68ebc2f19407658e55b","datavalue":{"value":{"entity-type":"item","numeric-id":782977,"id":"Q782977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98616c573e1aea7b9c96bb96b8641fee1dbfd637","datavalue":{"value":{"amount":"+0.8422577","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":"Q985398$732A79B2-542F-456B-9141-44CC24ADB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45a0e6fda9e5700cd7db487eee5f4b886af0ed8","datavalue":{"value":{"entity-type":"item","numeric-id":782959,"id":"Q782959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a0e340ef8c470f1f4c414eba0138483a040cc9","datavalue":{"value":{"amount":"+0.8336489","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":"Q985398$5C4F90A4-12C1-4BB9-B489-238597B1B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b06757eeccdb86a093b6a73f67d16b7b9b13f77","datavalue":{"value":{"entity-type":"item","numeric-id":2693027,"id":"Q2693027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f4630b16ae923f2f3a3fbcc3cbd7a59b6d05a0","datavalue":{"value":{"amount":"+0.8309423","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":"Q985398$17B500E6-33A2-4587-8AD2-64E311186F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702214857695f727d6a9411859a5443e560907f0","datavalue":{"value":{"entity-type":"item","numeric-id":782960,"id":"Q782960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4afd2c7f61ab6eb5a3c4428dfeb9816e049c111","datavalue":{"value":{"amount":"+0.82746315","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":"Q985398$F57181EA-701C-41CD-BF75-0FC023346386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c75a4d046844d34d85cc3494197b75c5734ca","datavalue":{"value":{"entity-type":"item","numeric-id":1048725,"id":"Q1048725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7c870ede9060d2ce9c787e8855ee4c32e0326a","datavalue":{"value":{"amount":"+0.82502884","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":"Q985398$68036818-91C6-4F99-A02D-BAD318AB1610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebfc405660845e836aec44c861fcd512da4c5be","datavalue":{"value":{"entity-type":"item","numeric-id":782982,"id":"Q782982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3752164270b00879fd89bb8141383685235c6722","datavalue":{"value":{"amount":"+0.82224584","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":"Q985398$05AA2970-9B2E-4EA0-98B7-81E821AB90E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c492756b34f1ff53490a64616d2568b9fa3ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1749547,"id":"Q1749547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2724f26eab993653f3367b23610b36dec5f84d02","datavalue":{"value":{"amount":"+0.8218616","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":"Q985398$B6C60B0B-9E4C-447A-BE7B-BF54CE845127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df1b4b1a1f0a5faab3522887c69e34694d0b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":985399,"id":"Q985399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804dae996f9a99abbae2b3fcd0da5aa8b2c3ae34","datavalue":{"value":{"amount":"+0.8177819","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":"Q985398$0384EE55-2321-4500-B47E-8E5DB159FE49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:985398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:985398"}}}}}