{"entities":{"Q4917066":{"pageid":6946647,"ns":120,"title":"Item:Q4917066","lastrevid":51704678,"modified":"2026-01-19T14:17:24Z","type":"item","id":"Q4917066","labels":{"en":{"language":"en","value":"Elements of stream calculus (an extensive exercise in coinduction)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158661"}},"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":"Q4917066$CDAF251B-BB84-46E7-B528-C87F6470FAFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeb0ccb74caed9bde94d192b8c1c1498d0b07616","datavalue":{"value":{"text":"Elements of Stream Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917066$BA8EE881-A243-4A6D-8482-72E0FC9AA192","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f647b4e14c1621b9e3d24d1761aaf562f22c9fed","datavalue":{"value":"1260.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917066$B974E82D-2BDC-408A-96BF-D41A98B94E47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae1cd42c74bb33359525327aa338fa74558045c","datavalue":{"value":"10.1016/S1571-0661(04)80972-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917066$07EBE0E0-CD34-4F3F-9BBE-4F248D4B3C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$0BE6857F-B1B1-46F8-891D-EB63BA2F161A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-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":"Q4917066$F8C48732-1DAB-44C5-BD24-B9296DB8BD0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917066$97BAE172-0FFB-4C1D-BEA2-74630ED6911F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917066$68145F19-C233-4816-AB50-66AE97B8039C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"143cc3961544ca7cdce8ee835281b7a1ec86d8ba","datavalue":{"value":"6158661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917066$06215B85-FED8-48AD-BDD0-7C81E9CB13AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$7EC765D2-A1BD-47EE-BB73-FE685BDB5061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$AA3E5495-3686-4E72-87F7-8A4D516DE456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cde7430d05a0cc1f761470767ba2ddc16a8551c","datavalue":{"value":"finality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$AF3BB2A2-4EE0-422A-96AD-09C4CC42D502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacb5a9601d3b45f9caea5e88beb1855a4949e56","datavalue":{"value":"stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$E593D35D-15EA-4EF5-AF1A-C4078630C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b89ad5e32c67b9158b062e02d5f830c4124169","datavalue":{"value":"derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$372C7F6C-0A47-4B89-A051-55B503C4300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b23b339e833d5da5ff93878f2108bfcb3305d2","datavalue":{"value":"differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$28436838-7C8D-4C98-8695-6ACB5A0F3B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cecb70334d895c8e5a143c6e64b0f2a656c4095","datavalue":{"value":"difference equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$F2A7B952-7617-4252-9F24-FE6F98D9136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d85cb84fed63d8694552ae4e67b11642644715","datavalue":{"value":"Euler formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$926DD61D-D29A-40B5-BC23-074116A7D9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$EC1AA089-357E-4DD7-9466-33F2E2CE4B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$04A6482F-6513-451E-A778-F8E7B82D6156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0bb41d8362ed9653d7f982793705be2f306716","datavalue":{"value":"weighted automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917066$22FE5D2A-2939-47B9-9171-8FC6B703F622","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":"Q4917066$884A33F0-075B-4C14-BBBC-6120501AF658","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":"Q4917066$42DE4685-AB0D-42EA-A6ED-D8CAD56897DE","rank":"normal"}],"P223":[{"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":"Q4917066$D2CA91DB-30C7-420A-8E13-1C49E4FFDC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df9a7dc231fef989af13d8b1660a1586182499c","datavalue":{"value":{"entity-type":"item","numeric-id":4375247,"id":"Q4375247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$F5907026-5AC5-44D1-9660-2FC99996CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5325c98a1a2a514f685c42ad1d6b848a88827c","datavalue":{"value":{"entity-type":"item","numeric-id":5574850,"id":"Q5574850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$B5D48879-2E2D-407C-99F1-BCACC57EA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$8204F176-506F-4D25-84B5-62BAAD215A6E","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":"Q4917066$3B8EE90C-E2BD-4F5D-89AA-FE941E51DC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$5237FC14-2E15-4DDE-9E55-25E444F82E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$2C3C869B-BC34-4CCC-A2DE-8D15BC062D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9fce0d48b5758fbb9b79953def7348fcc6c444","datavalue":{"value":{"entity-type":"item","numeric-id":1145147,"id":"Q1145147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$D8A2CB93-2CA0-43E7-8144-51EE20E41E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$28261282-B58C-482A-B869-4AAFAAD0CA52","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":"Q4917066$BF32982A-A3EA-430A-B6B0-C3A22A57C07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402e98569b45cad46e36b25062e75b88f6a26ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1389632,"id":"Q1389632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$6AD3B5D3-1BD1-404E-88F3-8DB7C8F1A97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1b5e1f70b17ee4c0be84992c65b9575d7e4d38","datavalue":{"value":{"entity-type":"item","numeric-id":1607101,"id":"Q1607101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$A4ACCC6A-1C4C-487F-8C0B-8FBBBC094746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc77972a06892e98b542822eafa2b50bd3664e","datavalue":{"value":{"entity-type":"item","numeric-id":5529961,"id":"Q5529961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$FE0018B0-7E5D-4330-86A2-8F962043F268","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":"Q4917066$4307B589-293B-44F1-BFEC-C0E1DBDFE62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$0268DFD2-4B87-4290-9A9C-60F91D388B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3c4852e93156495c2556153a8d8157e91dead2","datavalue":{"value":{"entity-type":"item","numeric-id":4938650,"id":"Q4938650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$BD11EC84-B366-4F0E-9773-8266118F5836","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":"Q4917066$A7545DD0-C787-4948-9147-D04942A13E1E","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":"Q4917066$6B5D420A-27D7-42A5-9163-256BEC918167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$A7DE6DC9-4D1F-4397-9683-4DEB101970A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137214f283692ed57b584ab0705983a03ec8b172","datavalue":{"value":{"entity-type":"item","numeric-id":4080636,"id":"Q4080636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$1670DE0E-2B11-4CB6-A78A-8883BCFA8DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fcdadfe99b8f638e9a6b3ec35f6847bfa10c80","datavalue":{"value":{"entity-type":"item","numeric-id":5647412,"id":"Q5647412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$61082C27-7FF4-4E69-9EBB-3549A623E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2330ca0732becd004147c331ff89990de545627","datavalue":{"value":{"entity-type":"item","numeric-id":4324964,"id":"Q4324964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917066$8C9E8967-FB04-4CA6-AEC0-BB499432A568","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc9e25ad3d8ddf2b0399889ffd5a4393c97d357","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3296c6b59b8d180ea1e4fba37070d2e90601cff9","datavalue":{"value":{"amount":"+0.9632750749588012","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":"Q4917066$EE43B7D0-66A5-45BE-B319-81A4CD8C6D9A","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":"f5f1533fafbd51f88ce10871280fb3f99ea09697","datavalue":{"value":{"amount":"+0.8835755586624146","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":"Q4917066$3E2E9D34-2CC2-4D2A-A0F9-AB8797A13525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a24c6318879f479aa915b3881e10ee1da5afc9","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044b93519e1ca22dadd1805e059ac224980f886e","datavalue":{"value":{"amount":"+0.8405179977416992","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":"Q4917066$C20ED9CD-BB70-4B85-9692-6692D6D27FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57b827cfa1b0779f2065db0f2675dd90878f16d","datavalue":{"value":{"entity-type":"item","numeric-id":4590870,"id":"Q4590870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254db5fc2388b07b57893111d2d5d98f28458709","datavalue":{"value":{"amount":"+0.8274238109588623","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":"Q4917066$947C839F-0411-4714-AC44-562D24C8456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ddf6431192977e6814521a6abd69db02fdf862","datavalue":{"value":{"entity-type":"item","numeric-id":964505,"id":"Q964505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7de8acda8a248c2c199963ed0d2fbbeb2bb96aa","datavalue":{"value":{"amount":"+0.8026773929595947","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":"Q4917066$9C09D98E-6AB5-4179-855F-427E21FC2C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917066"}}}}}