{"entities":{"Q3575278":{"pageid":5605182,"ns":120,"title":"Item:Q3575278","lastrevid":87459653,"modified":"2026-06-04T11:44:10Z","type":"item","id":"Q3575278","labels":{"en":{"language":"en","value":"Sampling, splitting and merging in coinductive stream calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761632"}},"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":"Q3575278$3744D8F9-E8DE-416C-BEFD-50EDFD129533","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6485c7d53509b818de4199b148831bb4be119cc","datavalue":{"value":{"text":"Sampling, Splitting and Merging in Coinductive Stream Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575278$9EB1BCF8-2CD7-4B9C-859A-69A342BFC104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d4c53d4d1ec61ea9780e11bba470389629c8fac","datavalue":{"value":"1286.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575278$D46134D8-066C-422F-88FA-64956EFD957A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e94a6aa72d39822e86aa39574f02e7f6dee660b","datavalue":{"value":"10.1007/978-3-642-13321-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575278$BDFE9F74-FA17-451A-839A-80CB8D684B34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575278$BC1AF071-9BB1-410D-A1EA-58375F45DC90","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":"Q3575278$36F70F4D-6A45-4A0C-955C-1C7F7A1F7F38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575278$0092481A-9DAE-480F-913F-89562B9CFE82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-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":"Q3575278$99C9E093-41B9-4DB2-A1D6-0EA06FAB81E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae0287b5cbf0dace8eabcbfe37b201c5fbfe0350","datavalue":{"value":"https://ir.cwi.nl/pub/14644","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575278$942E033B-6A62-4192-A5E0-7577602ED5C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575278$77947519-AB80-4185-9537-4AFB100C0989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80e38ed502c0561db9767aa6da0f594dc2599068","datavalue":{"value":"5761632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575278$51C1CB82-A9D0-4432-943E-FD85EFD3EAA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72639074dac8807a076696291d85637dbd879e80","datavalue":{"value":"stream calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575278$8BCB50C9-AA69-4EDA-AB2D-F838C02353FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c6b4c08fb3646c13b8a0b7c7228d8a253c9197","datavalue":{"value":"dataflow programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575278$A185A9A5-448A-436D-8D46-19037BA7E1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575278$B5E3E09A-0AE4-4B7F-99ED-3FEADBB2ED7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4ee7f51b9a26d62a13d05d8c0d935908329ed4","datavalue":{"value":"rational stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575278$F55F7485-77B1-4DE8-BF19-6922471E6799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"400fa887f2cde00dea6f597e12d69d80320ff783","datavalue":{"value":"algebraic stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575278$08054851-0276-4A3D-A9A3-46525AA84868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc2ac19aae5680ea127e36efe064049337d8f97","datavalue":{"value":"stream circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575278$0AC78DD6-C7FB-4045-A272-80874BBDDFA8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575278$D2A8DCD0-8FCA-44A8-A0C9-FA1CEBFE08D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575278$E8E3BAA4-0A3C-41F7-ADA1-B206B2558A49","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":"Q3575278$561A452E-5F60-4A26-9E2C-E35EF73FB7E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa17981a392671f082d6c91c83ac7ca280641c78","datavalue":{"value":"W2112285898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575278$072D44CC-7CDF-4C00-95C7-F53C282DB3D0","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":"ded84b9182ee615d2a702125e17755f4f9bbd813","datavalue":{"value":{"amount":"+0.7430939078330994","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":"Q3575278$97732F4E-3393-492B-94AE-62591792F72D","rank":"normal"},{"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":"eca02d177a66dff0e5fccdf65bfe9d7d1658b23d","datavalue":{"value":{"amount":"+0.7411434054374695","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":"Q3575278$7AC488AF-A4E6-4AB4-82FC-2B53F6B99AB5","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":"93fa7eb5b9d35340dd1cd92e91d6feca07217dd4","datavalue":{"value":{"amount":"+0.7375674843788147","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":"Q3575278$C5B657E0-0CA5-4C39-B91C-1A49A0E0C64C","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":"32b5cf44bde74fb9508fc126a71e778083274ea3","datavalue":{"value":{"amount":"+0.7032844424247742","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":"Q3575278$9D1FAB60-7B30-4944-96FA-C247DF3F3AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d7ada6c7f5c5a21efd9228ab0d8f10b03a361d","datavalue":{"value":{"entity-type":"item","numeric-id":5178763,"id":"Q5178763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a38abe4ba16b7677441d3e7fdc5e1579498f8a7","datavalue":{"value":{"amount":"+0.6913195252418518","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":"Q3575278$6AC06FDC-9B72-4E37-8C53-2CACDD0CAD0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sampling, splitting and merging in coinductive stream calculus","badges":[]}}}}}