{"entities":{"Q6856014":{"pageid":20632723,"ns":120,"title":"Item:Q6856014","lastrevid":84259982,"modified":"2026-05-14T07:59:17Z","type":"item","id":"Q6856014","labels":{"en":{"language":"en","value":"A first-order theory of diagram chasing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161616"}},"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":"Q6856014$80129BEA-DEDC-4796-A75F-E30ECA9F13E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56b42ee1bc472853eb7d2b4ad67bef7980a46f06","datavalue":{"value":{"text":"A first-order theory of diagram chasing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856014$4F4E3FD5-DAC7-454F-8DA7-560B873802C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38be3d0b14e6713b5e74c64528d4e40f4737c54d","datavalue":{"value":"10.4230/LIPICS.CSL.2024.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856014$A1DF1A19-0572-417C-9F59-0777EDF5EC36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$E18C58B6-A3E9-4075-802F-807DF854FACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eaa023d91ba424d5d9bbee836429a4bcfb64d0","datavalue":{"value":{"entity-type":"item","numeric-id":6345174,"id":"Q6345174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$27990BE6-1275-4750-A4D4-89324710057F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856014$D980A6FE-5470-416D-BA32-9B806E6D5855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856014$5872407C-9370-4EE5-955A-CA8A329911F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856014$2845824F-C2DD-49D9-8F63-E63425B6D33B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32117667fba5c0082dc64079c725e8ddff19f633","datavalue":{"value":"8161616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856014$C7688CE9-896A-435A-BA0B-33A53C9F6CF9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$AB287C06-AC11-4CC8-9436-C2AD99FAECB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cc3ccddbe98f9b1b4055e6ba2e959d49bc1582","datavalue":{"value":"diagram chasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856014$B0DEED7D-D087-41F6-88D5-111FAE136D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856014$29B3353E-1038-4FD6-93DE-59CBA761F84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a31ab86cd523896325e82b57766151c1464838","datavalue":{"value":"abelian categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856014$48231D7D-106D-4B74-899C-241485EC6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856014$56625DE9-CA5D-4C96-ACC1-6D7FEF148C82","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":"Q6856014$D7D7DFD8-CDBC-4B1E-998C-03700C1DD4F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37f085b7a9beafb4a4c46af1ed41888dc503dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5848908,"id":"Q5848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$71754B40-5308-4A71-8993-C72586D80BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd705db38fc94f5e0a4f8062e96784a5f66e0481","datavalue":{"value":{"entity-type":"item","numeric-id":3130548,"id":"Q3130548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$6451526F-3502-43DB-BBCE-321CD79B015D","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":"Q6856014$0F0A3A80-DD0E-4B88-A512-1F971148DC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3561b901e235b04b5497373f9996408379aa9ee","datavalue":{"value":{"entity-type":"item","numeric-id":5144671,"id":"Q5144671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$F129F021-91FE-4465-B107-A9CF52E4B58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$A98971ED-40B9-431E-9C9C-3CED092055B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$F1E8D65B-09BC-430C-A16B-8D4A961DD2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4125bd06cb429ed23c32e0ffddb95ae2bc589bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5193160,"id":"Q5193160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$AC2ECE12-90C6-464A-ACD8-4B36ABAE9917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$0BF2386E-F695-43F3-92E0-A18B34F7F8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47471fc3272a1567342ce23219993ca8c74e514d","datavalue":{"value":{"entity-type":"item","numeric-id":4255482,"id":"Q4255482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$7EF8D751-4584-40EA-999A-9480AE6D988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$638E8E9D-5A2B-431C-AA82-C112879637B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$20BCEF07-5099-49E1-9391-B3B4447D918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615c69ac6df9afc124401ae3b18bce04b430598c","datavalue":{"value":{"entity-type":"item","numeric-id":5839923,"id":"Q5839923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$A28BDEE5-2CC7-48A2-99C8-FE85A9192F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cebb3a2d5df73a532f1b6618e3a94b9892065c9","datavalue":{"value":{"entity-type":"item","numeric-id":6654478,"id":"Q6654478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$24A360F5-2216-4059-A927-633F28CC915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c6d0109398bd1f94e64526a7240bba3d26bba7","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$88683C5D-0362-4B5A-98AF-551B350F0685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298ef5d69d0899859f4551080d5281f2074896cd","datavalue":{"value":{"entity-type":"item","numeric-id":5311854,"id":"Q5311854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856014$721925FB-1D96-471B-9C2E-49CC2398018C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A first-order theory of diagram chasing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_first-order_theory_of_diagram_chasing"}}}}}