{"entities":{"Q5369499":{"pageid":7399073,"ns":120,"title":"Item:Q5369499","lastrevid":52930505,"modified":"2026-01-23T20:20:33Z","type":"item","id":"Q5369499","labels":{"en":{"language":"en","value":"Globular: an online proof assistant for higher-dimensional rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792367"}},"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":"Q5369499$127FC997-FE59-4FA1-8825-26329CBB6F9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c46d43a30f18434c5cd66b78b1e76f3270cdad21","datavalue":{"value":"1387.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369499$046DD5D1-24C8-455F-80CA-B762F9899C6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ba2b61bbc3f66ecdaf495aabd1b3fb4803c7de8","datavalue":{"value":{"entity-type":"item","numeric-id":3130547,"id":"Q3130547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369499$78223B6E-6FF6-446F-95FF-37A0ABA94DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0d49db60428957817aa19f539dd310d977e935","datavalue":{"value":{"entity-type":"item","numeric-id":513860,"id":"Q513860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369499$76CAED4E-7ABD-4106-9566-55646874313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"569f23edbaa1a7127752c4509e98da8fdf361573","datavalue":{"value":{"entity-type":"item","numeric-id":265830,"id":"Q265830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369499$9DD0B0C0-710D-427C-BF98-720CB6902AA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369499$05253346-12CD-4FBC-92B8-A6F512340E82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369499$A33B9D0A-D535-4ABD-8E51-BCBBB3655109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369499$E3533335-EFFD-44F9-ABFD-033731719291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27f82b8cb9b9f9b169d5da542499f9f7e4c80214","datavalue":{"value":"6792367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369499$E7C9FA3C-FCF3-4E6F-BBFF-B83457CDD6F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151ce548b5c259fab15cda6724f0dea205255aae","datavalue":{"value":"higher category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369499$8F488FE6-BAD4-4B7E-8766-957B1B155F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c7a67b020e5814c994a88f71e5885ee8a23b68","datavalue":{"value":"higher-dimensional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369499$ADED593F-3E78-4DB7-BE71-6CF608E5B202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369499$D45C6C82-F722-491C-A990-045180AEEFDA","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":"Q5369499$706A741A-5F95-43B6-A8AA-141141D16859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4b2c1b4c6b33fa01eb0a2964c0298b27000f48b","datavalue":{"value":{"entity-type":"item","numeric-id":40258,"id":"Q40258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369499$2BCBA652-4DDB-4E0B-8EEA-820AE3CD4BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369499$2891BBF3-CFC7-46B2-90C9-715B061ECF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9993ba3023599a01243731a5d7bda8433780b652","datavalue":{"value":{"entity-type":"item","numeric-id":29882,"id":"Q29882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369499$4BD187F8-7649-4947-8134-FB153AE03F02","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":"Q5369499$F6FE174E-0066-44E9-8576-717B493EBA4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd0b00ba5250d0a03b3ecede6640ccb09bc46b23","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369499$8EA389E7-8DBB-4723-BE52-A5253F1D4751","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7433a24c263fea701230f8610d6d1750bea9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3130548,"id":"Q3130548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c939f494ac375b9a7df3ca7bd3c89e9d033c714","datavalue":{"value":{"amount":"+0.9828072786331176","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":"Q5369499$27BFD8BC-BC9E-4FB5-B8B0-58ABA9E43259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3210ccce6f6e3e9106393824fa624628ccd0061","datavalue":{"value":{"entity-type":"item","numeric-id":3454104,"id":"Q3454104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e16f23c03a339cae28c7970b2e7460222ad7b79","datavalue":{"value":{"amount":"+0.713045597076416","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":"Q5369499$439B00E7-3659-49C6-B38B-19A3003EDBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952dd0313ffcdf0b91b490f0739b8e7d073d048d","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d600bd63d03bd2c4ebc1866115fccc7c822a7992","datavalue":{"value":{"amount":"+0.6901217103004456","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":"Q5369499$FC8928A0-A67F-4CC1-8C69-0B197C4B955C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae89b6fe2fcc9b6c72128a35539891e81f9d02a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488555,"id":"Q6488555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b96d4bf9906a8edd49f94c0aa7fa61c4258c5a","datavalue":{"value":{"amount":"+0.6877012252807617","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":"Q5369499$4E969859-03B8-4E46-A8F0-19BE65C3FB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd4a81b77523c5abf39bfa1afb0614b391a77f7","datavalue":{"value":{"entity-type":"item","numeric-id":5166496,"id":"Q5166496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db758f4a9cb43a3a37b7afca9cedcf08f08f23c9","datavalue":{"value":{"amount":"+0.6857979893684387","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":"Q5369499$7D433E74-A322-4DBA-91B9-E6BE26BA4A99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369499"}}}}}