{"entities":{"Q6854399":{"pageid":20623036,"ns":120,"title":"Item:Q6854399","lastrevid":84263096,"modified":"2026-05-14T09:00:50Z","type":"item","id":"Q6854399","labels":{"en":{"language":"en","value":"Hierarchy builder: algebraic hierarchies made easy in Coq with Elpi (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163146"}},"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":"Q6854399$638C2430-1261-497C-BA7C-66731D6D8110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9fb95cb5755b0f1f54bbb3c41520edf5f717baa","datavalue":{"value":{"text":"Hierarchy builder: algebraic hierarchies made easy in Coq with Elpi (system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854399$D6ED1990-F627-4C0B-A350-2375E7529F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cda33b07ac3cbd9042b7ecd33fca1113bde62393","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854399$0FD2C743-B8CE-461B-B841-203584E8A591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$D35CBB71-574E-41CF-B2C0-5543F13DB175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b501919147fcd57082a9625dd83a6e83abf9514e","datavalue":{"value":{"entity-type":"item","numeric-id":1648866,"id":"Q1648866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$6D94C567-34EB-44A1-BDE8-02F4AB54AE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$04785FFB-6E4B-4C44-A7CA-83753516BEDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854399$9C98AE99-00AC-45EB-A80C-5846FAF22AF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854399$ED7E5D18-9160-4543-980C-F8CC4C4B8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854399$3AF73613-9DE1-4530-B29D-D8E559DBE727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854399$CACDD427-98BE-4441-9118-999E7F44520C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7686d171c7297920bc284486acf5f212801db7bc","datavalue":{"value":"8163146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854399$34FD6C12-5ACD-4D42-A342-490755D1F669","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$EE99640A-E1F2-4751-9A3F-36EE595CC520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8680952b101740d2661a75b00e2003d484a3f5f","datavalue":{"value":"algebraic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854399$628B0349-0901-4BE0-AF9B-D63F5D0D7383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590eff6b6d48b5e9b517d1b6a2fe4493b327f1dd","datavalue":{"value":"packed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854399$279ABE3F-F914-4803-B7B0-73EE50DA3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854399$FF482BB2-EBE0-40D2-A85D-B0F5097EAFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2916af33c32ad739d0ce6807c5bea71c8a22f959","datavalue":{"value":"Elpi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854399$D0AF1A17-9F46-4468-B447-E11C7690A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329d09641862ba8331cecdfb9962e139d99ecf56","datavalue":{"value":"metaprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854399$AC169F63-2CC4-464C-A779-727DDC8F6A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c0860f607e50db3d17797c14e4805c145c89b0","datavalue":{"value":"\\(\\lambda\\)Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854399$9C13983B-1226-4121-8993-C6EEF7B91AA2","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":"Q6854399$12E16E6B-5C96-48CB-8D2F-A7354F57C9B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae30b3c26d4c8fe68567ff748fe6fcefe4ef8701","datavalue":{"value":{"entity-type":"item","numeric-id":5048989,"id":"Q5048989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$05DCA975-03D4-456C-B65C-981CC8480A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075996545ea8f1bbdc793e8e2c6621e7ae547967","datavalue":{"value":{"entity-type":"item","numeric-id":2176680,"id":"Q2176680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$AE877D08-45C4-44A1-BDDD-0A1DB3E779B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$B9525FD1-7181-4FBD-918C-4F1BCFE9A74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f64d57050206512889a218305d67a8f65e3f09","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$6493FC41-CAE4-4636-B37E-D40C607E45EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7209a17af3d0da16b5150d21e83cd91c71495f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4857985,"id":"Q4857985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$F0E9FFD9-CE09-451A-B3FA-311461608D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$DB4EBA57-8511-496C-9680-61F0312E4DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e48d3823bf5a23bc0eab1e395aa1104e859aac36","datavalue":{"value":{"entity-type":"item","numeric-id":2907324,"id":"Q2907324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$8845F388-D028-4BF1-9934-D574B4C82D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$F601CAFB-58EC-4BBC-9FF9-F80C23CFC03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1b22f5baf13e82191ad3bb21df49ebf4f88d1","datavalue":{"value":{"entity-type":"item","numeric-id":3460075,"id":"Q3460075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$ABCDC37B-09EF-4E82-BDE4-F36FEA168844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$CA067B1A-7188-49C0-8E74-20E3BE6E1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$22E05724-3B55-4E31-8E52-93D41A5CEB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$591BFFE7-97B3-46AE-B01B-09BBEA800ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398600f288655ed58072c0fe96a764c48f633a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$B67C1AFA-3F13-4FD3-B16E-8A3D3CBBC32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$1AD5E250-314C-492C-95E1-DABECA35B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55620229a723772a6f28df349b35435b565020f","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$D17CA81D-ACD8-48B2-B74F-A2F9DC7B77CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$46E5FB82-C78D-4257-80DB-CCD47E67E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854399$A459899A-BAAF-4FB4-BC1A-5DED3E1E78CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchy builder: algebraic hierarchies made easy in Coq with Elpi (system description)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchy_builder:_algebraic_hierarchies_made_easy_in_Coq_with_Elpi_(system_description)"}}}}}