{"entities":{"Q2908856":{"pageid":2919581,"ns":120,"title":"Item:Q2908856","lastrevid":51537806,"modified":"2026-01-18T17:00:46Z","type":"item","id":"Q2908856","labels":{"en":{"language":"en","value":"Generalizing the powerset construction, coalgebraically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073538"}},"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":"Q2908856$FE893870-CCD7-4AEF-BF51-06D1A0755F45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a874ba5f2d0f2e37fffd57c527a15ec6cb929f80","datavalue":{"value":"1245.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908856$89A8A85A-65D5-4745-B585-D44C081D5F93","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":"Q2908856$AF63C4ED-5BF0-4E13-9F18-4658629C5740","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":"Q2908856$8F830E26-DA95-423F-B3E5-A856EDEEC672","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":"Q2908856$BAE6BA2D-86FB-461F-AD9C-E3066DA603CF","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":"Q2908856$B246B8B6-1A28-4265-A12B-AD2F6F1E241C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908856$B8A357CC-CF1B-415A-80A8-703F4EAB3456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e806cf222eb286526e80db4f7ce21293240018b0","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_bf91.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908856$CCC9C206-C38E-4F62-96F1-9F0239869CD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908856$D376CBFD-6486-46FB-91A4-CCF33E4414F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0bf38c788dd4c2b9248efd4a84c47c5e302aa85","datavalue":{"value":"6073538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908856$557752C2-9A54-4437-AFB2-A8C526ED301D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908856$E77E30D3-FEC0-4039-BE26-33701E4426C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908856$79EB3DE9-1B8E-4F0D-9960-58F2296AC5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908856$C9B033B9-1F57-443C-902F-65FEF5ED2717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5418aec071d145d879653d94d5041657f8280e9","datavalue":{"value":"powerset construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908856$420C3CC8-9D0C-462B-80F6-27FEAAB6CF55","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":"Q2908856$D8A35BEA-5FF8-410A-9AB2-7BFA073F0E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f93b3b18e31d6ee3a581f325467da9a583a626b9","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908856$4CF72E43-2F7E-4535-943E-386C60DCA1E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d45ccd85f30af59fa7d908119b10a12efed31fb","datavalue":{"value":{"text":"Generalizing the powerset construction, coalgebraically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908856$812D1EB2-68CC-4208-96BF-E4175CACA233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd86a90d291533ccc4aeac864fe852de1c6f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"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":"Q2908856$4A012359-B319-4599-9F83-414E8E541442","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":"e6dae2c8d79b4ec8c0f32bbc8f145e0e420f4055","datavalue":{"value":{"amount":"+0.8268147706985474","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":"Q2908856$CD044ACE-492F-4921-AF71-1621B2A1BCFC","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":"17882b8c3a582f5f8a4721ce50f9d3dfbdf3dea1","datavalue":{"value":{"amount":"+0.8211891651153564","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":"Q2908856$246B2A6E-E31B-4627-B421-68E0BA0060FB","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":"b6c71d7929ff1c86625d52cf08b145b96c765a73","datavalue":{"value":{"amount":"+0.8033014535903931","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":"Q2908856$C69D4F02-064E-436E-9DFB-70DD5351A004","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":"1fb75d1997ead03e07a7c9398432b633872b9961","datavalue":{"value":{"amount":"+0.7995473146438599","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":"Q2908856$D0188578-28C4-4256-9E1D-2358CB11A5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908856"}}}}}