{"entities":{"Q4657752":{"pageid":6687333,"ns":120,"title":"Item:Q4657752","lastrevid":48437365,"modified":"2026-01-04T19:41:21Z","type":"item","id":"Q4657752","labels":{"en":{"language":"en","value":"A coinductive calculus of streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2145435"}},"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":"Q4657752$1EC182AB-EE3F-41C0-B1C6-84B46F1E1F2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d2a1fc66427321b719dce923cf06ff227a111e5","datavalue":{"value":{"text":"A coinductive calculus of streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4657752$8382C6D1-5DA2-4BAC-A580-A2A19C62C550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f30615fd27417237498dda7a5ba921c2b3e3a7c6","datavalue":{"value":"1068.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657752$E216DF63-50E0-40DE-82D7-0ED6B52D410C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"672b070f545f673a0102be020a4dcbbfe329547c","datavalue":{"value":"10.1017/S0960129504004517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657752$F378034A-0A67-46AA-AE93-8758C6A8A28B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4657752$ADF3417A-2287-409D-B29A-F2C2EBF42CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86786d040792a5aa5b9650e1f7639ea6014a98c7","datavalue":{"value":{"time":"+2005-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4657752$3E27DC8F-A8DF-42CB-9729-890E7D6FA2E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657752$852E528B-B96C-4B3C-8642-337E7CC5CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657752$19C5E12E-FB34-4961-B2AB-43A0F989BB06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"664b3d16c5a555b28ba5faedbab9be012b72ab05","datavalue":{"value":"2145435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657752$D73D87B7-447A-46AD-AE62-465722D49D61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4657752$1F8F6A32-EAA9-4464-96AD-73FD183C4FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3feb10eb20907b73e91835773c8406e0dfc824f4","datavalue":{"value":"calculus of streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4657752$5D052602-2E28-48B5-85CA-70F62397AF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4657752$0E5BC0AB-86BF-4FAA-938D-3061034480AE","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":"Q4657752$BBC705BA-27D0-4380-B636-58687AAC48E8","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":"Q4657752$585B81AF-00FB-4709-8D15-018D1E3358F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02042e25465150017f13a4c171a71bf6eae6766d","datavalue":{"value":"https://doi.org/10.1017/s0960129504004517","type":"string"},"datatype":"url"},"type":"statement","id":"Q4657752$BE430765-273B-468A-A30E-E41AD85816C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dccf261ec74131c9ef95aa0549e774e3f34327e1","datavalue":{"value":"W2126684544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657752$88803A02-AEB3-4A5B-B20A-F06939329EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aeb7f8f199861bebb80e0e182c586fc5b5aaf97","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"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":"Q4657752$9516E603-EB69-41E0-A437-4BE16987F63A","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":"7b1d582148086578a7c9802aa2041c3adfd8a99d","datavalue":{"value":{"amount":"+0.8647728562355042","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":"Q4657752$143DF9D6-8772-4350-BAAB-29E30BE702E3","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":"fd44a93afe6d2cbc84a71582825aac58abfef63f","datavalue":{"value":{"amount":"+0.848727822303772","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":"Q4657752$522DAA42-D7EB-4A5D-AB37-245F8E3503D9","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":"f04a8bbde737da25053e20d7e9991e2b9d0f8d8b","datavalue":{"value":{"amount":"+0.8221617341041565","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":"Q4657752$900A5B83-449D-4326-ADBD-30B8BD1A875E","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":"343febf800f8df10de2f8e1dfe27c39e07097eae","datavalue":{"value":{"amount":"+0.8064302802085876","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":"Q4657752$05F4A5B5-87F5-44FE-84ED-E93DD5E2466F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4657752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4657752"}}}}}