{"entities":{"Q3130548":{"pageid":3141264,"ns":120,"title":"Item:Q3130548","lastrevid":58121427,"modified":"2026-04-03T21:41:29Z","type":"item","id":"Q3130548","labels":{"en":{"language":"en","value":"\\textsf{Globular}: an online proof assistant for higher-dimensional rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6828651"}},"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":"Q3130548$A6E40742-5EF5-4612-8A22-3389FC81FB9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8eba3a6c0adab2899fe146faea5b876fc9a3fc9","datavalue":{"value":"1459.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130548$CB9A6D8A-706A-485E-89D3-64A78E97357F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad40082a88d258f22bebc763b33d332b5077d499","datavalue":{"value":"10.23638/LMCS-14(1:8)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130548$D4B74780-5B74-46AF-8103-C5E8B012E52F","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":"Q3130548$89F4E68F-1BB9-4500-B7C1-E0321EDBC5F4","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":"Q3130548$5B59872B-189C-4EA3-81B3-6FF373697839","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":"Q3130548$A018C7CF-1971-4424-8D4F-9203929F7B2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3658740f2785e2549aa58e655bafba00d2f1e37","datavalue":{"value":{"time":"+2018-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3130548$B0A84892-6BAC-48C1-B0B4-168D62E04193","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cd7872ffa91abcb888133d62302d85cae28b53c","datavalue":{"value":"https://arxiv.org/abs/1612.01093","type":"string"},"datatype":"url"},"type":"statement","id":"Q3130548$AD443E7D-87A5-4CA0-90C6-4361A684DC30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130548$A36A5880-0AAC-42CF-9DEC-9FA0E69E653A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130548$244EA0F0-7D2D-4FA2-8096-E74A995DDC17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2a29db5dfaabcecfef1dfb8a266126cc978d191","datavalue":{"value":"6828651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130548$90B87885-C49E-4718-A1B2-B830527997A8","rank":"normal"}],"P1463":[{"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":"Q3130548$EAB616E7-928A-4151-B3AA-9E99CF30CFBA","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":"Q3130548$D0D6CA6B-C8EB-452A-AF79-E5246EBA823D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052635001cd47277264bf60a5eadb665610a26ed","datavalue":{"value":{"entity-type":"item","numeric-id":5369499,"id":"Q5369499"},"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":"Q3130548$C4DAF33A-ED9A-4FC4-A46A-3F52609E7E93","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":"dacf26dd35432f5a136cfbe83772f729893ddf06","datavalue":{"value":{"amount":"+0.7340604662895203","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":"Q3130548$43C9AE58-5E47-4DBD-A313-35F9E7E6594E","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":"4b95b5da5bd77869e66c8b41cdd352365aba5697","datavalue":{"value":{"amount":"+0.7018548250198364","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":"Q3130548$4BF27607-1762-4A63-92BB-DC4E9A4D92DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757e822784b4bdc641199b06bea0bf174e7498e6","datavalue":{"value":{"entity-type":"item","numeric-id":832103,"id":"Q832103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93889d43b1b3009952259a61c7ef30b0d8349727","datavalue":{"value":{"amount":"+0.6992510557174683","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":"Q3130548$717151AE-5260-4C3B-84F3-BC4FE296FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a231acfbe73aed1fb01ddfe3677194f385003fe","datavalue":{"value":{"entity-type":"item","numeric-id":3613422,"id":"Q3613422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b661bd8e8d9bede8fa07cf969be7cfecdc65b0","datavalue":{"value":{"amount":"+0.6958217024803162","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":"Q3130548$A57D1C87-9FFE-4FD6-8E4A-50EFC96484B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3130548","badges":[]}}}}}