{"entities":{"Q4913772":{"pageid":6943351,"ns":120,"title":"Item:Q4913772","lastrevid":58359441,"modified":"2026-04-04T21:18:46Z","type":"item","id":"Q4913772","labels":{"en":{"language":"en","value":"Generalizing determinization from automata to coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152239"}},"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":"Q4913772$B47D8F24-2CCB-4CF2-8FA8-093A07961865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"361b5627cfdc7b525081eae1b3ff1248c00055e6","datavalue":{"value":{"text":"Generalizing determinization from automata to coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913772$41677B0D-4ECD-4BDA-9004-62AD694882CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ac4316dccf3c0353694e936ed8f06c4a5d3406f","datavalue":{"value":"1262.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913772$1289E01A-BC34-4171-A6F1-89DB860BECA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"159f5543331830f002499c9edecaff571aef62e4","datavalue":{"value":"10.2168/LMCS-9(1:9)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913772$C94A0BC3-C600-443F-AB90-A1801E916BD3","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":"Q4913772$30693FAE-9844-4080-B6B3-80CFF239479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913772$D037DF13-41A1-491C-9C3A-22FB9EF9D004","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":"Q4913772$230E5D52-64FD-444C-84F7-539B831899D9","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":"Q4913772$041FE695-ADA9-4BB4-914B-3B44525E79E8","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":"Q4913772$470D4981-6C68-409D-B506-FA694C62F939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913772$B23F76B4-8A24-4FAF-A610-CE0A9C8D491D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91bd41c084f6aa068b2c8025ebeb1704182d4e32","datavalue":{"value":"https://arxiv.org/abs/1302.1046","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913772$649B16F4-B8FC-4C2C-B266-EA1B50E3C2BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913772$2CBA744E-8965-45D4-BE54-3D959E149F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913772$680334AD-FFC6-4363-BE03-DD98B49EA588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913772$96D0D69F-1E08-4E7B-BADB-978D02FB487A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b56851ad0a2c8c2b0ed1228c037b43080352f9","datavalue":{"value":"6152239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913772$FA2CE5B2-4CEB-4926-9593-0D85622E10F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913772$AA67EFD7-A1F8-4E66-A201-3C6086FB3DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5418aec071d145d879653d94d5041657f8280e9","datavalue":{"value":"powerset construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913772$BFC7EBA2-095B-4786-91EC-599E86088F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a719199dfa285d39aa1b3089178dd2debd94af3f","datavalue":{"value":"linear semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913772$4A4D81CE-74B5-4040-8065-23712ED5318C","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":"Q4913772$0B1CE01C-9C87-40DB-B46B-5558597BD83D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32569e839bd0580f6bd02ecec4418339bf651192","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fe051ab7e73249aa23e1c498835f4e14263470","datavalue":{"value":{"amount":"+0.9539896249771118","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":"Q4913772$D2FFAB6C-6737-4CA9-ADD4-2B3FF23C90D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a4c7f3d2838be4cec2b52cabc4653f0522455a","datavalue":{"value":{"entity-type":"item","numeric-id":2942782,"id":"Q2942782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e508ed1a9405622bc43071a4591788034c0f2506","datavalue":{"value":{"amount":"+0.8290740251541138","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":"Q4913772$D80F341C-AAB9-4AF0-9B7D-281F4E597A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016017686a2205e3f6e7a6a4b31d39034c1f27c0","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4b3f973496755d06495f30252f320109c95d79","datavalue":{"value":{"amount":"+0.8279724717140198","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":"Q4913772$62E5056B-0985-451B-87BA-05044EBA5125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d998c34af2b3196ae369e1ebef8cb058be5e1ace","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5b1182c6c532b10e779cf81bc4375f98070b79","datavalue":{"value":{"amount":"+0.826815664768219","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":"Q4913772$36AB0292-4F44-44B4-A549-B3B5A5400318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c46c0a7d2c624d2130095fd6f5eccaf5f46fde8","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b091dd4329afe620a87a3c2a4ccdbf176be1804","datavalue":{"value":{"amount":"+0.8043222427368164","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":"Q4913772$3ED6B359-6BD9-4C95-AC05-6570892129BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913772"}}}}}