{"entities":{"Q2507767":{"pageid":2518510,"ns":120,"title":"Item:Q2507767","lastrevid":73443789,"modified":"2026-04-14T16:01:14Z","type":"item","id":"Q2507767","labels":{"en":{"language":"en","value":"Gaussian elimination: a case study in efficient genericity with MetaOCaml"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5060657"}},"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":"Q2507767$5516824C-5DCB-4532-AB9A-2CE727240DD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cf25b5c7fbd440c930a853995071c8aaafe9c8f","datavalue":{"value":{"text":"Gaussian elimination: a case study in efficient genericity with MetaOCaml","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2507767$1C2152E8-6EF1-4AF4-B7E7-484D56EDFC8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0fab2d9f6d9ea733b55f06133560f17444bb416","datavalue":{"value":"1100.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$0D180E35-7684-4B67-B2D7-1F3A985098F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507767$E7488E7E-8E63-480F-9D31-7E38BAFABB9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507767$D8E94EDF-EFEB-419A-B906-10687F31C884","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9941c6cb9bead4b9b06ed2bc3845b5f059597cda","datavalue":{"value":{"time":"+2006-10-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":"Q2507767$516B5029-DF7E-4AD0-8DF9-68BF956A4065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$32BCC60F-225A-432B-B401-EAA16AE89F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$A0ECC187-A216-4181-BD2F-6DA69E6185C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b7806fc8814384ac06e2afd0e4738c0af168a81","datavalue":{"value":"5060657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$576B53D8-0D17-4E99-BF44-49D8939DD10F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507767$5ED39324-AF48-4542-85EF-89FFDF25B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c6235562dc0eab11f092f0fd132bb65aa6d603","datavalue":{"value":"genericity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507767$DBE7DB7F-0AD7-4049-AE2E-A321318A3911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d103e791ae4bcbb79ada05f8fbd276d259aee5a7","datavalue":{"value":"generative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507767$F1F23D58-FDC8-44BB-91F5-75DD36B4735A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ae6187934b83396b864d6256583642bacccb01a","datavalue":{"value":"staging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507767$08AF4FF5-D40F-4854-B24E-D1CEF3779753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa46c2235a6e49a136bd05bda12dd6a2cff09d0b","datavalue":{"value":"MetaOCaml","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507767$D142A3F6-012C-41D4-B196-9CD5CAC0B52E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e3087f99da8e42e5d1e2569685f27bac11017da","datavalue":{"value":"Q60712746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$198D41DA-1633-4E0C-A5DB-D5F26A227011","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507767$4E4BAC5E-E809-47FD-A83F-42C6306BAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15212740c1af333af4f29d42a93287b43272c2e7","datavalue":{"value":{"entity-type":"item","numeric-id":17537,"id":"Q17537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507767$175F583C-8039-44BA-80B4-AD847250DFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f52153cb4d7288c53b9b4798257e9cf2247495d","datavalue":{"value":{"entity-type":"item","numeric-id":12829,"id":"Q12829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507767$134E29CB-B2B9-4F6E-A7F4-A7D04B2AA545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"add1808b684e2e46b424d5f311540d31cb441edc","datavalue":{"value":{"entity-type":"item","numeric-id":16311,"id":"Q16311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507767$74A5F0F0-97E5-4220-935B-64BFF6590948","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":"Q2507767$0FEF427A-1903-4255-8FE5-E63B9248E431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2755374d26228b0c254442354706e069350c4887","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.10.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2507767$4CD8394A-DEAF-49B7-8EA0-994EC6B5F438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899622d03fb72c23e491781d56fb57983f708465","datavalue":{"value":"W2124504744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$FED959F9-025F-44C4-AA71-3ABD256EE682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eca7980cf96957ded3b34c28d7a521ec12a715cf","datavalue":{"value":"10.1016/J.SCICO.2005.10.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507767$8B2D1BD9-7519-4DB3-AE8F-03C3BD61D774","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b90e82d7e0a0ebf3e33e419183488a1ce801bc8","datavalue":{"value":{"entity-type":"item","numeric-id":532398,"id":"Q532398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7408bc9c1b4a4dbd1321ffb13298279b980976","datavalue":{"value":{"amount":"+0.7941665649414062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2507767$BAED247C-064F-4E9F-942B-4E83BD3F8909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6209c4427155a1031967072d4d8fb4d30e957360","datavalue":{"value":{"entity-type":"item","numeric-id":2913928,"id":"Q2913928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d88fcd2ec6441e0c19ebc4c2478c47583ac3623","datavalue":{"value":{"amount":"+0.7510800957679749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2507767$D6C16E87-1FF7-4770-A929-07134E781FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0309e7e688c4604b7e5d11f12c3d299d8b508a","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982a89645438b69b8d680de650b0874e22e7b122","datavalue":{"value":{"amount":"+0.7038195729255676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2507767$F10EABED-DAC5-45B1-9799-8561DF83EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8d73c942198168275be8460e4e9a1c0058bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567ab64c178801e759743c1bf1b812a8cddd21fa","datavalue":{"value":{"amount":"+0.6825501918792725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2507767$97F4F015-63E4-460F-87BE-BDB2B23A97BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0e97a813376c9d10027c7b5ec6d426c8db6780","datavalue":{"value":{"entity-type":"item","numeric-id":5313099,"id":"Q5313099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac99cb491e19df7b5b17e28c488a355109194f58","datavalue":{"value":{"amount":"+0.6759212017059326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2507767$8E97660D-AA59-4962-A7E2-884EE20D7E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gaussian elimination: a case study in efficient genericity with MetaOCaml","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gaussian_elimination:_a_case_study_in_efficient_genericity_with_MetaOCaml"}}}}}