{"entities":{"Q6915740":{"pageid":20996797,"ns":120,"title":"Item:Q6915740","lastrevid":84150671,"modified":"2026-05-11T10:10:33Z","type":"item","id":"Q6915740","labels":{"en":{"language":"en","value":"Computational paths -- a weak groupoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8106355"}},"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":"Q6915740$2B2FDC84-0DD2-4F92-9016-A4A34C5C5BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a618d0dc63bf830f90a7fa0d9ca5657d9ca0f7","datavalue":{"value":{"text":"Computational paths -- a weak groupoid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6915740$CA4F5CDF-F10D-4E23-8D82-17A2B1ED667E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f7531b96847f718b1bee096b87e490fbda17731","datavalue":{"value":"10.1093/LOGCOM/EXAD071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915740$078DA6C7-B170-44F6-ADDB-29C34D1F3538","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a9388d480e2fa1b6fca05310772b86b9dbb7c4a","datavalue":{"value":{"entity-type":"item","numeric-id":2107996,"id":"Q2107996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$DBF2EDEF-F545-4BF0-98EC-CF5A16081296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de564f32e3086e87f987623cd81124a3344af8f","datavalue":{"value":{"entity-type":"item","numeric-id":4644590,"id":"Q4644590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$3F157DFB-39A7-4FA5-B284-DB1FA9159611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$2101A841-1585-4F85-AEF1-33337033CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abb4f1c0073438793d43eb9c7ac443b64bb74b3","datavalue":{"value":{"entity-type":"item","numeric-id":1744399,"id":"Q1744399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$689EBCE9-A58E-4EB2-A92B-4D315B7580FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$BA102C85-9235-468D-8B08-7567627F28AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6915740$70ED626C-9F9B-451F-89CF-0FDDC8148B88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915740$DAF8CB2C-06B1-4F25-BB9C-5C327B2E2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915740$6365EC74-45E2-4D00-AFF5-25467A403E41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f6a86c457269fed7c234dbc0c1ad5a31b135e54","datavalue":{"value":"8106355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915740$0AE3DAF4-936E-4BA6-95C1-8864DC28963E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915740$E6D2116A-03D3-49A2-BD83-F2D2F0BF01FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83fdac3184ba5fe1eb985ec4b2547ca4b979920d","datavalue":{"value":"labelled natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915740$24D7F468-068F-4E49-A739-39624152CED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915740$10C761A2-4223-49C9-BE1F-512734EEAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f9d96968e16c90675e6ca59160baa0bae1789c","datavalue":{"value":"computational paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915740$C98E3781-9D90-4C91-B68E-AC7F807FEE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99edcf085d65da80623477299991b5a5d282b943","datavalue":{"value":"algebraic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915740$413A1E99-3492-4CA4-8937-AE337C0F79BE","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":"Q6915740$3E16B1AE-D8AB-4CEC-8670-0B7B99DCF60E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd6a4084b2750e7ed5bec8b8ee109d71aafb18","datavalue":{"value":{"entity-type":"item","numeric-id":4644591,"id":"Q4644591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$D28D0C4D-BA9C-4A1E-B5E5-D3EBCAFA82F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$8AC0D71A-ADB6-400F-A328-87418E9953A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43df6d7abb9f6800f09b23bed9fe6abc2c42768","datavalue":{"value":{"entity-type":"item","numeric-id":5251187,"id":"Q5251187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$7E8DFFCC-684E-4CEA-B2A9-98E40E1F559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde480102fe8e237e56ec8c8465b3d6779e7afc8","datavalue":{"value":{"entity-type":"item","numeric-id":5092562,"id":"Q5092562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$E2CC7078-AC7C-4F5B-BFDC-A45F794FB2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6df2ec0f7d44368fa9ab3af304adf363640799e","datavalue":{"value":{"entity-type":"item","numeric-id":2700838,"id":"Q2700838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$1D7B06F8-832A-4B12-AC29-273C80D77AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09e86b05296ddcfa7e71bc4b302dd5787aaacaf","datavalue":{"value":{"entity-type":"item","numeric-id":6119353,"id":"Q6119353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$C2CA8447-3488-4051-83D3-669F37590F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f570a26a86f2bced5d4e19c2deb4dfc07202c43","datavalue":{"value":{"entity-type":"item","numeric-id":3830972,"id":"Q3830972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$69E8E250-40F8-4D7A-A2FB-C74BFB1A1390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0688325caecac1728a5fd90457472b2f4edbb9e","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$9C028304-73B4-4141-BFF2-27E9F3F32F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b750af25633b0fa3864f441f9f03a56533e596c","datavalue":{"value":{"entity-type":"item","numeric-id":3479540,"id":"Q3479540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$1AD2B222-FA3D-4B1F-8051-202DF865058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$384A5859-5352-4277-8955-D9B5DF296BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$6BF27AC0-6EA9-4055-91C6-96C1415C0B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$9F84A64B-A9AD-4F9A-A152-6DF101734AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$C4FF1C67-A920-4C63-B780-7AA4CF8DC2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db46c135b522d2647ebae377eabb84bb4a233694","datavalue":{"value":{"entity-type":"item","numeric-id":4237679,"id":"Q4237679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$BC414F55-29A2-4539-88A3-4C9889DC108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$10565B2D-D1A7-4E4D-8671-2A4433563A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915740$EFB891DF-4DCF-4787-BC8A-2B4237F46934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational paths -- a weak groupoid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_paths_--_a_weak_groupoid"}}}}}