{"entities":{"Q3176320":{"pageid":3187030,"ns":120,"title":"Item:Q3176320","lastrevid":58140663,"modified":"2026-04-03T23:37:14Z","type":"item","id":"Q3176320","labels":{"en":{"language":"en","value":"Firedrake, automating the finite element method by composing abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908834"}},"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":"Q3176320$6F217031-3060-429D-BA02-E521B4398494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acc2b52f2127ee5a1a9f5878f371db4a6f3aaf1b","datavalue":{"value":{"text":"Firedrake","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176320$8BB0CCED-A952-49CE-BD0C-4B34CDC1280F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddd52bca3266f86b7b97dcfd0f9a22828eb216e4","datavalue":{"value":"1396.65144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$EDEF4D39-77C1-49D4-B512-C2E5680C1227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31b5308d5efc6f3b787962dd67b38563930b35ee","datavalue":{"value":"10.1145/2998441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$8DCB6AFE-02C9-4524-88DE-AD940E36047B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98aaf8bca0586f39e4afb27412b172ffdc55e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3176318,"id":"Q3176318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$1CE527B9-EEE7-4D64-9FB7-6B7FD3D02A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2792a2bcf3b9c83b326a447298302a948238cad8","datavalue":{"value":{"entity-type":"item","numeric-id":1645629,"id":"Q1645629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$F11569BF-B33A-4FF2-9336-20D4C6A2EE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3685abeda65f5196d81715f3a560c0bfdad7f834","datavalue":{"value":{"entity-type":"item","numeric-id":1645628,"id":"Q1645628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$EEC020A1-EA83-4D9A-A199-95A0F81ADCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23200152c11d7bc68238c11df475e7574836fff2","datavalue":{"value":{"entity-type":"item","numeric-id":3133594,"id":"Q3133594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$837B0367-0BE3-42DC-A391-6CEC4F88C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8117fac578a7c0852f852e0779ff1f44c811a532","datavalue":{"value":{"entity-type":"item","numeric-id":2002270,"id":"Q2002270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$16099F5D-8A54-48FA-AB95-78C137424649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28dbee2bc77dd08ef4225c0849b87ac8f264da5f","datavalue":{"value":{"entity-type":"item","numeric-id":2830576,"id":"Q2830576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$A93E68B0-493C-4085-B750-208B48BC1FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c50836e51bc179ad30b85eae079fb39647fddd9","datavalue":{"value":{"entity-type":"item","numeric-id":3176319,"id":"Q3176319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$9FF5058E-8089-4783-BB8A-EBA0BC40C70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a5ad20a99c3e61fb43b92b6c3b4732b12b2ad07","datavalue":{"value":{"entity-type":"item","numeric-id":362565,"id":"Q362565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$7D17F80B-8040-4B74-ABBA-172300FF620C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c23b3e50d68968c39d5c32ccaf49ccaae385e6","datavalue":{"value":{"entity-type":"item","numeric-id":1010319,"id":"Q1010319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$E4881236-4583-41AF-9079-77A4664DB57B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbfb8631d06c22a12a4e6e761fbdc5e214034300","datavalue":{"value":{"entity-type":"item","numeric-id":62119,"id":"Q62119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$961E9B0F-F0F5-4536-897B-42368426AFAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176320$46EAF5A7-5454-442D-B769-C077C4A475A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97df5e4e1d93263b82a2172848d036f2d69e8901","datavalue":{"value":"https://arxiv.org/abs/1501.01809","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176320$45B77D9B-F972-4FBD-B18E-2AA9C8901FF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f78d451517722c27fcbbb1fcc9f0c87bda7fdfd5","datavalue":{"value":"65M60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$4B777A1B-B1B6-43AC-8730-F13244C9137F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0493e66c36e2772f355d1d5e05f0013b3d870be0","datavalue":{"value":"65N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$CAC37B6D-0E31-4F96-9DBA-07016F246C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26975112aa97fd0113aa26de5e73548f2b80e775","datavalue":{"value":"6908834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$66E4C2C7-EC86-4115-BF18-D954D3167953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176320$E5646C88-B554-4262-900F-04560FCC7183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14fbb3c4092984020b971c37b9485a77015f86d","datavalue":{"value":"UFL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176320$1BD9BE26-BD55-46C8-BCD1-229DA07EAB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176320$F89BF4DE-8FCF-4CDB-805C-16FFC71C64DE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2e94b0cc7df106b6576117d31e6c111209aac9c6","datavalue":{"value":"Q113310153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$A45F00B0-D579-48A6-B7E6-9C1FBDB8A62F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"16ea0a1251c975e4b7289c9ef18d12083e3a8228","datavalue":{"value":{"entity-type":"item","numeric-id":16217,"id":"Q16217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$B69E82F9-65D9-475E-A365-47D91C593B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51d1075040624462fa2e6876f7f461ee05e666f2","datavalue":{"value":{"entity-type":"item","numeric-id":13186,"id":"Q13186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$6BCBC5FE-B9AC-4B9E-8100-3059E936DE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab5e69804e557b5c8638fe5f89e97c4b8aeb35e0","datavalue":{"value":{"entity-type":"item","numeric-id":14175,"id":"Q14175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$459E9FEB-1912-4C18-AAFA-1D1464C3FB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f84f898287878eddffacc20e17ce53bdbbe65d3f","datavalue":{"value":{"entity-type":"item","numeric-id":29429,"id":"Q29429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$E9333FE3-BFCB-4349-8378-2E04A76804E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cd4390975aa1c6ff5d124d9cbf6bb6a8bb624e9","datavalue":{"value":{"entity-type":"item","numeric-id":32094,"id":"Q32094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$7B81B91A-FE71-4808-B2DE-C3870640B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce4e80b45969f3da466c4322e3fcc9d257ab4e18","datavalue":{"value":{"entity-type":"item","numeric-id":23131,"id":"Q23131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$BAA101DE-E0BD-483D-9FDA-4E98C7F0493D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0aa821e8bb12d8983f93f201173be985ab8ec482","datavalue":{"value":{"entity-type":"item","numeric-id":23132,"id":"Q23132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$B1042C00-E87D-462E-BFD7-46759DAEE244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0c8f5b677df1f000eb77c2141285ac6974b176","datavalue":{"value":{"entity-type":"item","numeric-id":16047,"id":"Q16047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$6C5DCF36-906F-4DF6-801B-AFD0559F202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0ed9c451dc616154673f7b707bf0ca19a9297b4","datavalue":{"value":{"entity-type":"item","numeric-id":32332,"id":"Q32332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$1C2354FF-C99A-4827-B8C2-0C4B937DA4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"160f90ef80c43f9f7113f6fc0d7742e981ee34ab","datavalue":{"value":{"entity-type":"item","numeric-id":37783,"id":"Q37783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$8804158B-475D-443F-A781-5B135E3D257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cbe079f96c06fbc10d7da9f850f161b24d06bd50","datavalue":{"value":{"entity-type":"item","numeric-id":13049,"id":"Q13049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$DF071A03-3E52-4F1D-9ECD-64E44A267E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af31ff92e20d6a5370d526b7df42077a2cc85ee7","datavalue":{"value":{"entity-type":"item","numeric-id":16202,"id":"Q16202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$DFDFA8AB-C4A0-4A08-8D47-021BABC0D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9a03ba9aabe28cee3f28cfd5d0f07ba08240a54","datavalue":{"value":{"entity-type":"item","numeric-id":16492,"id":"Q16492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$0FB5F02E-4E1D-4283-A0B1-CC68A530F3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"916ca4e9725a2f4cec924c586c6ad9a380227d20","datavalue":{"value":{"entity-type":"item","numeric-id":16493,"id":"Q16493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$62707F60-E841-4EF3-A16D-542B1E2E791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74f0fd6971232853c114180d319bb4732fe8eb97","datavalue":{"value":{"entity-type":"item","numeric-id":26819,"id":"Q26819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$D66E99D3-E0C8-41C9-BCA5-310F22CDEFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176320$A3EC1BEA-24EF-4E3B-AEB8-FD8D20DCC700","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":"Q3176320$D2CC74C6-B7BC-4DB6-ADE3-1F3E6FC7420B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"870093ad070970b2acb8a53bd55791dcd52440ee","datavalue":{"value":"W3104566386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176320$9BB42B13-D18B-4B4C-9FB9-D7575EB70703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57920954f1631b2c04fb1c010e0cc98aeb7670d1","datavalue":{"value":{"entity-type":"item","numeric-id":2830607,"id":"Q2830607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63997b40a82411098e6b1a30cba0b47b68f9b270","datavalue":{"value":{"amount":"+0.8169578909873962","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":"Q3176320$53971A88-3A1F-41BA-8C6A-0731DFD282D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce223499b1fb59fd70cb570e8c3d812321b27747","datavalue":{"value":{"entity-type":"item","numeric-id":2989103,"id":"Q2989103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94db63d08b436650bd70968c90ad33f99755dfb0","datavalue":{"value":{"amount":"+0.7985778450965881","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":"Q3176320$F8B5A9B6-7D17-4F33-9777-4B0B1F7C318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f037d12f851e4075050ec9359a342a44b355d658","datavalue":{"value":{"entity-type":"item","numeric-id":2465579,"id":"Q2465579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eedbde7efacfbb20b68cb1d8a61f427754de60c","datavalue":{"value":{"amount":"+0.7534356713294983","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":"Q3176320$397096C2-9310-42E1-BD23-F538C03C3A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d93b9b1df7c14e4a6afc303601c477b72bcab0a","datavalue":{"value":{"entity-type":"item","numeric-id":5498685,"id":"Q5498685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a919d577a4902e28b5e07d7b66bb91e4b523c5","datavalue":{"value":{"amount":"+0.7518672347068787","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":"Q3176320$D3A0086B-C5A8-4B76-80F6-C00A4DF4C75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a614d8854a3fc854bcb3a29d9fea8f25b027de40","datavalue":{"value":{"entity-type":"item","numeric-id":4603493,"id":"Q4603493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb6941e02cd78674b2d11609b9e1d670dd8a83c","datavalue":{"value":{"amount":"+0.7412943840026855","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":"Q3176320$A26B0EC3-95C8-44DD-82AF-29D71EAB1E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3176320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3176320"}}}}}