{"entities":{"Q6831441":{"pageid":15516090,"ns":120,"title":"Item:Q6831441","lastrevid":84297152,"modified":"2026-05-14T19:26:47Z","type":"item","id":"Q6831441","labels":{"en":{"language":"en","value":"GATlab: modeling and programming with generalized algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183047"}},"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":"Q6831441$14145209-B9CB-4CAF-90CD-9155E2F6B36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21ca40ed1b551673f86413d1ba42def481613637","datavalue":{"value":{"text":"GATlab: modeling and programming with generalized algebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831441$D51FA267-7D52-4FD7-B3A3-99F4EAA7FA8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5565e850f7592333fa105d9014cbbfc1c4230c5c","datavalue":{"value":"10.46298/ENTICS.14666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831441$4E23D1F7-6B6D-4846-9DC8-7AD955E21FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe0f3a18116b4269d462e95dcc797503ece0e98","datavalue":{"value":{"entity-type":"item","numeric-id":5869881,"id":"Q5869881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$8E02A9E6-C393-4A42-924F-76896D550706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f1afa10aeadb0264f498b97bd93fab53e18cf0b","datavalue":{"value":{"entity-type":"item","numeric-id":6831440,"id":"Q6831440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$0E52DCD9-231E-4E2F-A709-DFB4F943FE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0c9a7f2a434bcc0b9aca2cff5e0b8267302ea1","datavalue":{"value":{"entity-type":"item","numeric-id":665746,"id":"Q665746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$DB2178DD-D379-491E-87A7-E3CA358DA220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d851cc1fd76ee8c8778534074a1b64401339b23","datavalue":{"value":{"entity-type":"item","numeric-id":5019658,"id":"Q5019658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$67FDD21E-07E2-4AE6-AE7C-6C11C5DBF23F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831441$1FBE8072-D01C-488C-8429-5D7FD549B39F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831441$26DAC9AE-0FDE-46F3-8887-BBB0F32F03FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831441$692F98F7-3C3C-4D24-AFA1-F26FDA628C98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57e4bb43fe3bac909aecc3c4af2927725b92573d","datavalue":{"value":"8183047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831441$7239295A-656E-4F8E-928F-8E572DAA89E7","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":"Q6831441$881DD84A-D313-416C-A8A0-344C02E82111","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e19e9be2eaa87f1da53771719fd676a5a07f39","datavalue":{"value":"generalized algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831441$FA4D1AA5-56B5-4E63-855C-09CC7911FDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee6b88f572ebcc8cf4c4eba32cd8f9d01eab07e","datavalue":{"value":"GATs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831441$F4061A5C-5D5E-46C9-8B86-F67C902797D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831441$EEBE49DC-BB0E-4D09-999A-C6730FC73769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831441$E34E1CF7-B7A0-41DB-8BDF-D83F914AB2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c36597051cef78e9d49d1199ecd29bfae85a1d","datavalue":{"value":"applied category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831441$757AB3E0-5736-4A76-B0AD-ABFB11D3664C","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":"Q6831441$020D1806-E43E-4618-A830-3122357D47F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$7C9FC4CF-A306-4198-AFED-EFA61551DA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f06842248452291cbbeba57c6961322854d386b","datavalue":{"value":{"entity-type":"item","numeric-id":5834648,"id":"Q5834648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$C0A82CBB-7AC6-4291-8F0F-51C0C760C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$AF80A3F5-95FF-4DFF-AD19-CFBC15D5209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$01238849-F7BF-409A-87C2-F165F7314262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682bc1be2344ea32b52e0a4de64523ff6f911e5c","datavalue":{"value":{"entity-type":"item","numeric-id":5200128,"id":"Q5200128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$F2C7A541-A3CE-497C-8A84-81BD67B9E2C6","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":"Q6831441$9AAD3A42-4FBC-4E06-B6D8-1B066E9C893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$D5519ADA-8DDC-46E4-BDCC-F04AC8F7C2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d461704febadc269f6299d1f76eb1f5fc49977cd","datavalue":{"value":{"entity-type":"item","numeric-id":2945709,"id":"Q2945709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$97AB948A-9C11-469E-8175-A397D23CFBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$A37A7C09-2080-4A5A-834E-D4B81951FDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305d31a8402052e30b53c707023da75fdb0d7ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5102005,"id":"Q5102005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$6DE6559E-6530-4469-B428-5F94B2D81130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$5F45EB55-612A-4653-BA00-69901E8F8975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$3B24E8C9-52FA-43AB-8619-BF85130ED2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a0a04b65077b81405de34dca630768e9f367b1","datavalue":{"value":{"entity-type":"item","numeric-id":6492255,"id":"Q6492255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$CAFD683C-6C18-4926-A054-400703968ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$25DB1035-F1D3-43A6-9AC9-1FE5A4AC5E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee520213731d8c3ec22ac0e937ab9d67631781f","datavalue":{"value":{"entity-type":"item","numeric-id":6153338,"id":"Q6153338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$783CF222-E873-481A-82CF-5741514AE908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1169bb53011cb1b873c3bf7794a10399cabf9541","datavalue":{"value":{"entity-type":"item","numeric-id":6195577,"id":"Q6195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$1A8CDBD4-E143-45A0-86C4-1274FE0C7834","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":"Q6831441$961DB21A-6F88-4714-834E-954879886A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81246643425bf2cf941852d02f9c26835217d87d","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$DEC94DBC-AB4A-4B8A-9DB1-66DA19A9F935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a61d001cdfddc69f529c68410414f2a7d60cbd","datavalue":{"value":{"entity-type":"item","numeric-id":714735,"id":"Q714735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$BB81024D-962D-492C-AC65-5591E1012790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$1E46C9C4-059D-45CF-ABE3-4A0442C122AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6041a884124b8a205e8ee7c6dfcc7b7882874e9","datavalue":{"value":{"entity-type":"item","numeric-id":3069693,"id":"Q3069693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831441$192F6442-5EE3-4834-9DB2-DEFD116D8A3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GATlab: modeling and programming with generalized algebraic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GATlab:_modeling_and_programming_with_generalized_algebraic_theories"}}}}}