{"entities":{"Q2786140":{"pageid":2796878,"ns":120,"title":"Item:Q2786140","lastrevid":58009917,"modified":"2026-04-03T10:49:15Z","type":"item","id":"Q2786140","labels":{"en":{"language":"en","value":"Non-deterministic Kleene coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789410"}},"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":"Q2786140$E104CAEA-D5E1-44F8-9B6B-7219CF491D9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8898c778fab395dc5ef566bc90ea051b6035c5ce","datavalue":{"value":"1208.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786140$34D4172B-67E5-4153-9C36-5D2132B8056C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbcef9f50d8e69990cb4f9c12ca70cd97c81507f","datavalue":{"value":"10.2168/LMCS-6(3:23)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786140$B6FC470F-C8B0-4DE4-8019-4C6329A8BAA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786140$9C5F0A2A-CD4C-4583-A3AC-D21C4D3DB65E","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":"Q2786140$EF833A5C-AF9A-4621-856A-79635654FB90","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":"Q2786140$14AFB1CF-BD0E-4A8C-BCE6-4E28967D0933","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786140$12F77581-3379-4C19-B45C-4A4A58610056","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786140$969CC0EF-2A83-445D-9E1A-DB2E8DAE4DBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95658074a5c4c67897e88a09b0030f7d2a3cb101","datavalue":{"value":"https://arxiv.org/abs/1007.3769","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786140$77D38406-C9E3-4D38-B59A-4D4F757CEA17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786140$46F6FB4B-2F07-4EE0-AC76-C339218CEFC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1414de59972c3f80fae00587e0661080fd253dcd","datavalue":{"value":"5789410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786140$A8E61A32-625F-4640-8C04-BF0BD3D17335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786140$4E598A8A-4513-4ABA-8D77-C2D6813CC1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70a35bc69e124e1c7b10863bfea51216385aa90","datavalue":{"value":"Kleene's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786140$6785DB48-9A02-4FB6-8543-E6349EC3FD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786140$469107C7-B565-407E-A962-78505DFA93D7","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":"Q2786140$620A1840-963F-4222-9743-4549598A95F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b09280c7c573d447b564004cbb6eda874ba3072","datavalue":{"value":{"text":"Non-deterministic Kleene coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786140$343C8E11-CB43-4EBB-A54D-3ADDC9006750","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b8f212f368d8bcf08ef7f4e91c32b1756cdf2f","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a13ccc90b77b97b13d59d52d165543b00bbafff","datavalue":{"value":{"amount":"+0.8565877079963684","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":"Q2786140$9A6F3825-B76C-4044-887B-3A4CDF2E9399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58b489465a430eb7455c96437cd743ee94885a4","datavalue":{"value":{"entity-type":"item","numeric-id":3184671,"id":"Q3184671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd051f9a2a740cb6eaf224141d37e6d6e941140","datavalue":{"value":{"amount":"+0.8376196026802063","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":"Q2786140$AA595B1C-0F46-44AD-A780-BF127D0F5A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9419b02f0568caa4b6dd90264d745b7894e7a04","datavalue":{"value":{"entity-type":"item","numeric-id":1401324,"id":"Q1401324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440161098a664242d7f35c6c06ecdc02ab570198","datavalue":{"value":{"amount":"+0.8322804570198059","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":"Q2786140$31FEBB2D-5A63-4BFD-979C-F76A7037DF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc11786cbe1246b922dc2ead180de2124ef82d84","datavalue":{"value":{"entity-type":"item","numeric-id":3617725,"id":"Q3617725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7398909ee22aebf7a5cfda4d7b5a6b37c8ebbc1e","datavalue":{"value":{"amount":"+0.7853782176971436","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":"Q2786140$0E34E55D-C595-4BEB-A7EF-478AF1A1F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4b5b2cc22db6cbb5e835e95acc7251cb23f393","datavalue":{"value":{"entity-type":"item","numeric-id":5757938,"id":"Q5757938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c786d1103fed78ace58a14eef961971ab8b1a7","datavalue":{"value":{"amount":"+0.7731274962425232","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":"Q2786140$903376DB-8E81-4154-AA4B-6EB73B89D29B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786140"}}}}}