{"entities":{"Q1583483":{"pageid":1594223,"ns":120,"title":"Item:Q1583483","lastrevid":67958469,"modified":"2026-04-12T20:29:09Z","type":"item","id":"Q1583483","labels":{"en":{"language":"en","value":"Universal coalgebra: A theory of systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1521867"}},"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":"Q1583483$9F0DD1C4-E0F2-4F75-91AB-CB65DB0AE4AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8afd20b1211f4b7a5065f938a8f4dbac1bab56e8","datavalue":{"value":{"text":"Universal coalgebra: A theory of systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583483$45691A4D-BAF8-4850-AE7B-DDCB0097E033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba87b6af19cb4d923cbaa03eee42014949e39e25","datavalue":{"value":"0951.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583483$EE6D3A00-424E-4596-B8BD-AA15BBCB6882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f986b115414656aea0939f0d2f94e1ec5ab640d","datavalue":{"value":"10.1016/S0304-3975(00)00056-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583483$38F003D3-2AF6-4C11-8F1E-20DCE8D11F91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$4CF0EE9B-5C8F-4F8A-9AF6-0DB2A820B10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-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":"Q1583483$93ABD7B2-BA30-4114-AC5B-333C54744B44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f33d652526b99cdc6b5aa43e02f345c0c5bfffe","datavalue":{"value":"In the semantics of programming, finite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with infinite data types. Coalgebras, which are the dual of algebras, turned out to be suited, moreover, as models for certain types of automata and more generally, for (transition and dynamical) systems. An important property of initial algebras is that they satisfy the familiar principle of induction. Such a principle was missing for coalgebras until the work of \\textit{P. Aczel} [Non-Well-Founded sets, CSLI Lecture Notes, Vol. 14, center for the study of Languages and information, Stanford (1988)] on a theory of non-wellfounded sets, in which he introduced a proof principle nowadays called coinduction. It was formulated in terms of bisimulation, a notion originally stemming from the world of concurrent programming languages. Using the notion of coalgebra homomorphism, the definition of bisimulation on coalgebras can be shown to be formally dual to that of congruence on algebras. Thus, the three basic notions of universal algebra: algebra, homomorphism of algebras, and congruence, turn out to correspond to coalgebra, homomorphism of coalgebras, and bisimulation, respectively. In this paper, the latter are taken as the basic ingredients of a theory called universal coalgebra. Some standard results from universal algebra are reformulated (using the aforementioned correspondence) and proved for a large class of coalgebras, leading to a series of results on, e.g., the lattices of subcoalgebras and bisimulations, simple coalgebras and coinduction, and a covariety theorem for coalgebras similar to Birkhoff's variety theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583483$1D47D239-EFCF-4C43-A450-96D361092BCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583483$C69C571A-BAC5-4EEC-A50D-FE9A86C71491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583483$4DB6F48D-19B9-440F-B5CC-42B2A18D7E2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf670923eb2b972e385f3857960d18245361058","datavalue":{"value":"1521867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583483$2A5183CD-0371-46C9-BB17-043CEB6EA8D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6137c3decb10cd2fe3f1348e6f24be17a80e4c0","datavalue":{"value":"universal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583483$C41BB352-322A-4C41-9562-B3205AB6473A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$CD6D7217-501D-46E3-8F71-DFB73331AEC7","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":"Q1583483$62125CB8-DDFB-453A-B3A5-E7A4BB02E07F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$892C2BF9-F13C-43E9-8CDD-43A52031B28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$AAF8898D-F263-456A-8BA0-369648327243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b023b76350a158a308c3451df617b2cae9b69127","datavalue":{"value":{"entity-type":"item","numeric-id":5890039,"id":"Q5890039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$4947A31E-9E7C-439E-B755-F12A32750646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$C2174B9A-B064-4497-BB86-DC8EADD94404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e40f3046be53a3d29ff1df8c6f802295878235f","datavalue":{"value":{"entity-type":"item","numeric-id":1142850,"id":"Q1142850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$E747DD63-77D8-4EC3-863A-90747478931B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b782c3feebe93265fa2f6a2a15a89ecd85b7062","datavalue":{"value":{"entity-type":"item","numeric-id":4742295,"id":"Q4742295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$C4216C71-04D3-4E49-A8EB-C134A7B0BC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$D40849E8-11DF-439D-AB2B-2F534709CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0759fc85373bb23ed9bfa8dbe3c6f4db309f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4373409,"id":"Q4373409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$AA500A27-8605-4E1C-AF5F-98337809EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$C3452F5C-A987-4F7C-B740-AEF8E01E2F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3019ee4c1b614ee2ddfe96b4d4cad575da4a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1318731,"id":"Q1318731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$069EC9B1-0C9A-4028-98EC-049BA4EDAFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$2886993A-AA66-4EB2-AAD3-E8E0C4AF1F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$E0CF96D4-859A-4794-AAB6-200A6FE64412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddbf433dc9fd79b3298639aa8e31cb62f819b14","datavalue":{"value":{"entity-type":"item","numeric-id":1128985,"id":"Q1128985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$DABAD007-4BE9-4590-A187-37A90E057606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e46a0c8a740096c81c05668ade92d8a494d988","datavalue":{"value":{"entity-type":"item","numeric-id":3839054,"id":"Q3839054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$29F1388C-5975-42F7-B744-2360AABBF414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbab4acd996db78483779636177b87951d203b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3910579,"id":"Q3910579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$FA824894-717B-455F-A07E-AB0EFBAACBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb4486c097b3cc5ea1b44f730fe867f98c0b58a","datavalue":{"value":{"entity-type":"item","numeric-id":3722558,"id":"Q3722558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A81141A3-E05F-47DA-A775-8E1F1B913BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d887daa94253ed19c63dd4025b65fe26615ef91","datavalue":{"value":{"entity-type":"item","numeric-id":5584574,"id":"Q5584574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$AACCAE9F-6D04-4568-AF05-2C0AABD7F9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8386bcadb31e080759209e1d892c3f43d411b4","datavalue":{"value":{"entity-type":"item","numeric-id":3769642,"id":"Q3769642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$3C1ACE93-BB15-4A83-9B6B-5E3AE2E630D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$6E500918-3819-4ED2-A395-BD4789546AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90e7791a6de563969819156edf7e8721fef7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1923102,"id":"Q1923102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$432B19D1-B755-4C0E-AA0D-FFEF88D3866A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5cbe3e875aad8a5680d87148fe3bef0baa9474","datavalue":{"value":{"entity-type":"item","numeric-id":5096893,"id":"Q5096893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$7185529B-1FC3-4DD1-9DCC-D77F17D11ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$FA7CC217-C1B3-4537-87FF-58DF3275567D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A64C1490-517C-4DAA-90CC-A58053250FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa74e2b3ebde40e081e0a60818cecf07872321e","datavalue":{"value":{"entity-type":"item","numeric-id":5941160,"id":"Q5941160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$FC7E4523-F0EB-4874-95C8-8EC3827B2AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$79CCAB1B-5FE8-45A0-A0CA-5C5955A66934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$80F03E81-D6B6-42A2-B1B5-515BC8B46222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$483DD5D6-28A7-4121-BA26-3FC95BF8BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3551fd707476ebc9a83502db96fa4b55a488b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3024839,"id":"Q3024839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$E65DB59E-AA0F-47B5-9B6A-CD9A26EA0919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab49be008cce20e9a3355d86cadd707817279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096389,"id":"Q5096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$31583C17-8A70-4D54-9DFF-7762C585F8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c998d502727365cc53cafc586112f6c2f5388","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$55DD8BE2-4BF2-4FA5-AA4E-F8D50A009CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b0772394c85161a36d8a8edf81cd370493929a","datavalue":{"value":{"entity-type":"item","numeric-id":1273560,"id":"Q1273560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A15BAB0A-097D-40A5-B83B-0D2ED0C2091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$BACBF0CA-B492-444A-BC6A-AD8EB5B60242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$4FCB6049-9F53-42AC-87CD-5C91AAE122BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f82f429bca46514bd67bcf27e4ca0eaf245fc57","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$EBE73999-10E6-46B7-969C-A6BC95E20F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$30FA3E1F-32E3-4D7D-8743-1A7BA253E4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ad4b07d63ce32dada8e68144e4c78731717707","datavalue":{"value":{"entity-type":"item","numeric-id":3798837,"id":"Q3798837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$ACB88A38-5829-4C32-9F5D-DAEF9989EE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f731e63f751eda97d9f9a0b426ed48152b6bb5db","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$FE7FA204-4B2E-4306-BD32-26FD68921177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$CE938C6F-7FDC-47D4-856C-590A477E6CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$AAC9F3C8-656E-4D9F-9A02-1F4F3F1C294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c01fc8fe28ce7f68f199d2149a1c8fa45624d4","datavalue":{"value":{"entity-type":"item","numeric-id":5878904,"id":"Q5878904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$3F360295-2DA2-474C-9F55-DE9E9CB1FF8B","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":"Q1583483$9ADAF865-BDD0-49D3-8EE0-0CBF16819B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$5B3F2771-CEDD-44E2-9DA4-27CCCC9B3B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$77AD20A8-0815-4060-8560-C998AC5DD1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6353a3fcdd3276e783c04be4df2e0a0fa6527311","datavalue":{"value":{"entity-type":"item","numeric-id":3698981,"id":"Q3698981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$40701031-F75E-45C1-9A5D-337493E1FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A53B792E-BC60-4581-ABC5-C499388A14DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856b93e25e4d1d0f8f1a57ec0b7cae72b039f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4077434,"id":"Q4077434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$857D9A73-C1BD-4271-A45D-976AE1ED6207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$843433D8-79ED-4E20-A0C4-4785AE3B6351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A9F33EEC-0DF9-4F1A-9390-29A43460420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$508C3FDC-1AD1-4A32-9279-EBBA4BC6943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0633b74eb0878672bdb56cd9ce38fe2412f73114","datavalue":{"value":{"entity-type":"item","numeric-id":3126405,"id":"Q3126405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$B0754882-FFE3-4C0A-B59E-A817E5CD8745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$887C302A-934B-4386-A404-116994D40E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa74c271834bf537f060d2b0b575f3bcd6edf97c","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$F53BDF4A-1ACA-4541-8B02-BF4932E84A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fea1c1f3bbaa5cfdd6d15172b810d0b5c9f01","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$542BB5F5-EC6B-4CA8-9004-19844E315330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$FEA860F1-6976-4955-93F0-C83F5B847A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6101e35d974ca55ef8ed5841065108fcaa075849","datavalue":{"value":{"entity-type":"item","numeric-id":1866821,"id":"Q1866821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$8C58395A-33DF-47B9-BFB1-A958C035D918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad436140f6598668d2527bd687a5eb84a271d185","datavalue":{"value":{"entity-type":"item","numeric-id":4222954,"id":"Q4222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$0C28E216-D7EA-42EB-BE7F-D59AF6EE518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$BB8726F5-2DBA-4E73-9849-07C3D759D3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c231ff6ad64c1cc9923fbe8e8b62ec3c403ac00","datavalue":{"value":{"entity-type":"item","numeric-id":4279257,"id":"Q4279257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$B63B1C8D-350C-4D52-9D3A-D4DF84F3B1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$360134BC-AF13-4E68-A86D-A7479F6BEDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ecf77721553e717b7e8c38ae17e8422685bb33","datavalue":{"value":{"entity-type":"item","numeric-id":4222961,"id":"Q4222961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A93FF6B9-F795-4B4A-9A6C-E414AF0FD444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$99BF0A5F-5A0D-4085-A591-3B9F24EB2C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$A6B71B7B-441D-4E51-B67E-947139DC1121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca42718964ff9f4deb25ac164eef3de4d92444b","datavalue":{"value":{"entity-type":"item","numeric-id":3470521,"id":"Q3470521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$4D70D59A-CB7D-4951-87D5-F3117BD01008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$2442BE8E-3F32-436B-8024-B0C2D3055A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b85c54254a99d57525a41dec86a49f187bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4362964,"id":"Q4362964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$38C46A3D-545F-4308-99C9-7CCA0FEE5EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$5CC32FC3-87FF-4DA2-9470-9196891CBA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$97459589-A55E-4D6A-865F-D32CBC63AC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583483$F1478167-E7BB-4684-8160-74D004604487","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3781a70e09114e1fb2f3ebccde71cd1152b2cfab","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00056-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583483$746C5DE4-DE79-4667-8703-022D2163EF92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42543dc880ab0a7d3cf02218e1be25c865a04523","datavalue":{"value":"W2088189323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583483$9E7101A0-FE0B-48DD-B46C-D0FF1190D1A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e0d6cf4bff08d33396572e4725247c943d3a14","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826b0031c6fbfff5ee4b5a5f523775a8d803258b","datavalue":{"value":{"amount":"+0.8724638819694519","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":"Q1583483$7A1EF4D0-D923-4215-8E39-5B6678592608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8905fe64b790e3999a33f5bbcc4e68e922a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324caf95ec8809ed2954a560c25e78004bd6dc60","datavalue":{"value":{"amount":"+0.8492598533630371","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":"Q1583483$924E3ECD-7E18-4004-B875-225804486A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c47d316b784873c58bc91bc67c52fdf8a7288a","datavalue":{"value":{"entity-type":"item","numeric-id":3023880,"id":"Q3023880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73831b9526f21fa419ba02236a3cf1c4127317bd","datavalue":{"value":{"amount":"+0.8449995517730713","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":"Q1583483$967CE64E-0201-4EE1-9058-D66CD913A13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f4df0692e9485184328bd67460a4655d76d420","datavalue":{"value":{"amount":"+0.8395673036575317","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":"Q1583483$CAF6C699-1EA3-436E-A2F4-F2F29D4EA204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0beed4452f1adb5103a59eeee8e481e72df0611","datavalue":{"value":{"entity-type":"item","numeric-id":3626196,"id":"Q3626196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb092f71162a1fab69378f69c70b4d0b1254cec","datavalue":{"value":{"amount":"+0.8388452529907227","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":"Q1583483$9E933F4D-AB7C-4A1E-94E4-9C528DF09995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal coalgebra: A theory of systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_coalgebra:_A_theory_of_systems"}}}}}