{"entities":{"Q2341705":{"pageid":2352448,"ns":120,"title":"Item:Q2341705","lastrevid":74144037,"modified":"2026-04-14T18:34:51Z","type":"item","id":"Q2341705","labels":{"en":{"language":"en","value":"Context-free coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431470"}},"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":"Q2341705$B1FEA6B7-8171-4FB0-9AAD-2CD430BCEFE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f137b5f0cf4f1a9d4c59420bcadf58e86b720325","datavalue":{"value":{"text":"Context-free coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2341705$16DF21AE-5913-4BD9-9EAD-13C381009CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a05155a93b8a49f58d572e24a9631b249559343","datavalue":{"value":"1328.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341705$8A4B8A1C-82CD-4562-BDD0-60D9D4801BF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbfe5e45e03ad733379098cf8c4b28e0761b63b","datavalue":{"value":{"entity-type":"item","numeric-id":2341704,"id":"Q2341704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$6D35367F-B2EF-401E-A067-DF03AFC88679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$3471D45A-688E-4957-B824-2175B811B4F4","rank":"normal"},{"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":"Q2341705$71DF820A-4024-4E76-885F-E10EFD5E5F79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$C2F8662D-3528-47D7-89E9-294BA3697385","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a154ed7143bf16397ad499b838597b529f45e34a","datavalue":{"value":{"time":"+2015-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2341705$644B30FC-BD44-40F2-B52D-9CA8640750D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341705$C0A5FC5E-B27B-4714-97C0-495EE4B142DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166ccbefdfa2ed3b55562020c840a1e555d4e6e1","datavalue":{"value":"6431470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341705$B9B96241-6B57-4429-88BC-F53D0F9147E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341705$A86FD313-8ECC-4B26-92B8-ABD926F884BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419b0e7c5cabec84942237fc345f3ebbecbeb8e9","datavalue":{"value":"formal grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341705$81F926ED-D74E-4E16-9ED9-CB1142C54ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341705$99697D83-227C-49ED-8705-511728277ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341705$FC1F61AA-97BD-43D2-A2D0-3DE694027F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341705$22F93F37-9EFF-4A21-97E7-6074F1E416EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6137c3decb10cd2fe3f1348e6f24be17a80e4c0","datavalue":{"value":"universal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341705$66748D06-523A-4CAE-9A60-D00C929DA738","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":"Q2341705$1EF9007B-BA54-47AB-A93C-03BCCBE32539","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4e11065c26e298883a9e87caa6f44fc927cea9c","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2341705$9CD29C83-C3CF-4912-B0A0-A65FCB55E6EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f720d16aef819f604c2224aa144101c9114112cf","datavalue":{"value":"W2156413458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341705$4975A5AF-3C9D-4139-A29B-3103B1CEADB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$4E691384-5A5B-4EC0-9CB2-1BB554439373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10043574401804d8bdd7c3653c3ff3d4446380","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$0B40CF3B-19F4-4B48-A1FB-912073E116CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e141f7d30bc3aed8fcd4bcdb12a2bfc0dc119a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3056218,"id":"Q3056218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$4349EFD0-02A8-4612-BD40-62CCF39F140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffaf48ed2f89e1214bd530a590fd7edfd3e4191","datavalue":{"value":{"entity-type":"item","numeric-id":2914674,"id":"Q2914674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$14031CA5-2A3A-40C5-8951-A84666753933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$9D90750B-77A3-478C-B593-DB4F5454BAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9266185c52f53bc308d9e6b943b26d08e91281f9","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$499BC413-0A8E-4EB5-9F95-7E693FFADF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$57D191B4-8D4F-431C-9387-6C73CB3D3382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f78210d266c28c9272e228ab9c7adecbf071f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4071867,"id":"Q4071867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$10CE0315-3EBA-4DEF-8E11-59E83068BD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdad0cfb34515721b263e2bf6e224bea66c031","datavalue":{"value":{"entity-type":"item","numeric-id":2897949,"id":"Q2897949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$D30F30D2-545A-47DD-831D-E16F48A9FFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5045b6f758af20bf98137abe7537682c3445701c","datavalue":{"value":{"entity-type":"item","numeric-id":3125728,"id":"Q3125728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$63470BAD-EFBC-4B69-8D11-917B6C66CFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ba38b2ab17fa04450163c61e3aba64b75c50e1","datavalue":{"value":{"entity-type":"item","numeric-id":3575278,"id":"Q3575278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$C0B04F7A-4982-4915-826D-A74547F97B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c569488009e051c884c8897618b5bb0928f9b311","datavalue":{"value":{"entity-type":"item","numeric-id":5072549,"id":"Q5072549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$B197901F-B108-454F-8CB0-A0B7EA33158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8bc6da0a69ecc6000abdfd349f1ea784188078","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$5CCAA5E9-22E1-4168-B936-2972A28895C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$A9DE7A22-E97F-4D08-9883-5718E8141D73","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":"Q2341705$5C71758E-6D30-4A65-84A4-543AA4ACAB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$4101CEEC-458E-41E3-94CA-0C3B2FFDAD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6b79abf0ecdc18043699fd439200c4874db2b4","datavalue":{"value":{"entity-type":"item","numeric-id":2842562,"id":"Q2842562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$36A6B8E5-1119-4A6D-8309-D4E7FD775010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$67741BC1-B480-4B57-9D85-2BF011813AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$66DFC92A-22C4-47F3-B91B-853B2CD9384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ffa89162e4f24560cc5879d673628c5879cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":3535615,"id":"Q3535615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$1B6672B8-1209-4737-B83C-934331F179E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae0f537fbd296192db30bd597f66a3b991655f3","datavalue":{"value":{"entity-type":"item","numeric-id":5072546,"id":"Q5072546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$5011F5D6-1C82-4D20-BCF9-3B7BD436724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$8AD3354F-9403-4C37-AD1E-892728BFE943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca10f4d6cf2008d7f06bb93662277717b2a7c42d","datavalue":{"value":{"entity-type":"item","numeric-id":3090880,"id":"Q3090880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341705$BF0E455D-97CA-4374-931C-62F63288B8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c067eade9801a528be08c9fafd609663ca092979","datavalue":{"value":"10.1016/J.JCSS.2014.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341705$C09D381F-5A39-4CCD-9D4A-52310D119F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38cd4e349b6d6a8dbd6d79ff8d446fd0a43b9ff8","datavalue":{"value":{"entity-type":"item","numeric-id":3090880,"id":"Q3090880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78356a149fde2c6b291a264acfc0231e8ea97756","datavalue":{"value":{"amount":"+0.9045300483703612","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":"Q2341705$7C4E045F-B6C0-45A8-AC1A-52573CA4ADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf775530d8f20465d5d64c9000c64ea9f9758d1","datavalue":{"value":{"entity-type":"item","numeric-id":2914674,"id":"Q2914674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dd06357c4017b920b8603c49ada61a553951c6","datavalue":{"value":{"amount":"+0.8699536919593811","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":"Q2341705$2C48CB06-293D-4561-ABCD-635F29EEDBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d1e1edd88ea6e189b699445ee6943ae1932e7","datavalue":{"value":{"entity-type":"item","numeric-id":2848359,"id":"Q2848359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84cbb1b3929ad21741da8d7987d8e7f933e19a4","datavalue":{"value":{"amount":"+0.8690696358680725","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":"Q2341705$C4546ECC-0D07-4762-B9AE-8E66A73B2F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2880a7faed2b6bbdc8986bb38a264ba0817d0199","datavalue":{"value":{"entity-type":"item","numeric-id":5492823,"id":"Q5492823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ef5c5f87b1845e734ba698749305d3ab7cdb00","datavalue":{"value":{"amount":"+0.8149521350860596","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":"Q2341705$8724E330-2945-4F45-88A4-0185D6B17140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93f66ec2d3e0799af4763b3c92023841c77d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a198af2da3e54f4b84bc82c3e99c4ec935b9d7","datavalue":{"value":{"amount":"+0.7869468927383423","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":"Q2341705$BECE5EC3-FC51-44BB-9F9E-3DF68DB2694E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context-free coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Context-free_coalgebras"}}}}}