{"entities":{"Q4006237":{"pageid":6036052,"ns":120,"title":"Item:Q4006237","lastrevid":88061912,"modified":"2026-06-04T13:32:30Z","type":"item","id":"Q4006237","labels":{"en":{"language":"en","value":"A formalism for the specification of essentially-algebraic structures in 2-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55593"}},"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":"Q4006237$03D3DB01-B508-4F62-AE8B-E47B58961B59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef42a0b02a018295a754969c7cda71e40fc16ad7","datavalue":{"value":{"text":"A formalism for the specification of essentially-algebraic structures in 2-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4006237$96E1C9D9-0294-4B2A-A7C1-C754CCC4B918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cebecb3bfc70b7624cfa2f2d7811a40e48ea33ea","datavalue":{"value":"0754.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006237$E64ED71B-155E-4301-A3AB-8ED0B40F5F2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d3e90d83f921db8e966a23bb9fd38f245f746d4","datavalue":{"value":"10.1017/S0960129500001110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006237$24C479E1-F900-4542-BEB6-DE7B8640B4FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$08FF432E-EE65-40AF-B115-7012AB27303E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4006237$39EC7E8D-D545-408C-9480-AF9113EC94DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006237$ABFF24B2-52BC-4F77-8B3F-192B7ECB997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006237$F0B6EBC0-1F83-49D4-B2BA-B3EB0D02BE3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"088ec7bab75a1d482b96000c602f5740d20ca411","datavalue":{"value":"55593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006237$8C15BEF1-6540-4AAE-B602-9E1DD8AA3940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d9fdc4118e580d81e9225ca1b157b5d56f85b0","datavalue":{"value":"path grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$7A4CED49-2448-43AC-88BB-FF3908F8C5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3764bed827800b63edafbc1accda776fb2cf1a5","datavalue":{"value":"higher-order two-dimensional sketch","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$E8D35B72-7624-44B1-A14B-6AEF7B4DE7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$A1A1C950-3004-4783-9129-1273964541AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a548316276a67e06ffe354c0981ec22b141683e","datavalue":{"value":"weighted limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$048A9338-F370-4192-8DF5-3D7D4BF5218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91498ba10ff911aa669eee0a40eb4bbb9d4afc95","datavalue":{"value":"higher-order constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$7597C782-6B27-40AC-9AF1-012AEC493A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef899d6d0ea42fc81ce31aab29cf6f9b910b8ac8","datavalue":{"value":"category-based methodology for the description of functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$B6F2048E-70AF-47B5-B280-6A60A3F3C380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$39642536-6930-4DE7-93B7-2EB625EF8F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006237$EA7B7323-C049-49C9-8B76-2DA6298C2B8D","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":"Q4006237$B97713C5-4E80-461A-8DF9-D96621216701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d02aa98cb4f9e38d943cd9a82bdc54ffe2beaa","datavalue":{"value":{"entity-type":"item","numeric-id":912202,"id":"Q912202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$CF2D6453-D1EB-4762-AF28-240022EC332A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$6D0C3FA3-A40B-4D7F-BC19-E15718E707CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b377b7f43c6c3d47a860282053c3129d65f39c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1262939,"id":"Q1262939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$E8CF9A96-29C4-4EE1-B501-164FA0F7E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$83457F14-ACC8-434F-985A-958FA0FA223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$8E020A64-D51C-4D0C-9B29-16BF85429C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$827DC300-DA03-4909-8978-150E94346174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388bd315250df79fc08fc1aa92faa99a9d8c7808","datavalue":{"value":{"entity-type":"item","numeric-id":909013,"id":"Q909013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$3508CFDB-012D-4685-B81C-B1C651802520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$8FFDB2E2-C264-4836-BE5A-BF142521069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f00c98235e5384768abea0aa1fa5aee53555059","datavalue":{"value":{"entity-type":"item","numeric-id":916772,"id":"Q916772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$B0E8E1B7-9339-4DEC-B833-DF8FA38C8B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ebb2a83f19a3a0b83f725cda3ca2e99678c846","datavalue":{"value":{"entity-type":"item","numeric-id":1112955,"id":"Q1112955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$D34B1DC3-81E4-4361-A8D1-07D3C275560D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$0C41EC8B-2511-4D29-9453-6DE187122E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006237$35A70770-24CC-4D48-B37F-8BFA288F1E57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7f681739e724e2c9e359cec903703017862f586","datavalue":{"value":"https://doi.org/10.1017/s0960129500001110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4006237$DDD09693-AF18-4DD8-BB2B-52365D4AA956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94f20e0d625141c91b15346a776392044082a001","datavalue":{"value":"W2075314089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006237$FF9418B0-F05E-4AE0-87A6-E0074EED41BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00679daf9027bf65192ed0c4d8be55a4757b1c38","datavalue":{"value":{"entity-type":"item","numeric-id":4207604,"id":"Q4207604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0cad3cf5cd5682b892cccc10280b958c7b9111","datavalue":{"value":{"amount":"+0.7846906781196594","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":"Q4006237$E3E919FD-1F10-468D-A280-59A7697B2B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d0c95b2d036a6ccb1d2d6b1eaaf8c5b0b3fdf7","datavalue":{"value":{"entity-type":"item","numeric-id":4302336,"id":"Q4302336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5719108dd63524aacaf3508b6ddf55afb6bca23c","datavalue":{"value":{"amount":"+0.7787991762161255","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":"Q4006237$04CF42F8-1C06-43F1-99A5-CD136635ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7dcdf61fb3c1f48583c0f70f6f2c54ff883f93d","datavalue":{"value":{"entity-type":"item","numeric-id":3835006,"id":"Q3835006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99488edf86bf0b02cb3fcde673fd4519da37d09","datavalue":{"value":{"amount":"+0.7776338458061218","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":"Q4006237$E9A97E61-8779-4AD9-84EC-C3A197462CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99be2ac39209777b2038e3725e395267bf7670c0","datavalue":{"value":{"entity-type":"item","numeric-id":916772,"id":"Q916772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61711647d68f0a78f5764eb7b8b042d3776a3b5","datavalue":{"value":{"amount":"+0.7641122937202454","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":"Q4006237$725A7C1F-AB33-404F-A4AD-9BC45EB850B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6062f7ab416a51211a9bdda6a5812b17d09fdc25","datavalue":{"value":{"entity-type":"item","numeric-id":4222895,"id":"Q4222895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517b9d7c27ef7816d17c9caa6b4f13799ae1a1fa","datavalue":{"value":{"amount":"+0.7476799488067627","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":"Q4006237$82BBE374-4F52-4919-8F43-4EE6E1E67E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalism for the specification of essentially-algebraic structures in 2-categories","badges":[]}}}}}