{"entities":{"Q3401133":{"pageid":3411836,"ns":120,"title":"Item:Q3401133","lastrevid":58166163,"modified":"2026-04-04T02:01:07Z","type":"item","id":"Q3401133","labels":{"en":{"language":"en","value":"Representations of stream processors using nested fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664114"}},"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":"Q3401133$9807B009-B32E-4807-961B-893260F9F0A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1de01c9e2016380f9cbadcae7e1b169fa7fce372","datavalue":{"value":{"text":"Representations of Stream Processors Using Nested Fixed Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401133$9349A285-1340-4D97-99E4-D93706A84A50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c70cfc8ca295e40f9c6bf372532f7bd07ce786","datavalue":{"value":"1189.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401133$4BED4755-C3EA-4C9D-A619-589D43DCDA3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e757d69a90dde3929eb8de0b7c328f5fd53dbfed","datavalue":{"value":"10.2168/LMCS-5(3:9)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401133$EEB969A8-85FF-4649-AD86-5AA741D52C04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f848b208cbd5307665071116dba2aa77088779b","datavalue":{"value":{"entity-type":"item","numeric-id":2805146,"id":"Q2805146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401133$AFF61FCC-D47B-45CB-B5B2-A64D6DBB1757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401133$C0A42232-C1BB-4954-A89E-6E8A44973786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401133$98862007-5798-4418-8B65-C099A0EA035D","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":"Q3401133$8A2CEB7F-6558-4B72-A4CE-6E365C433C5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401133$D2C29CE0-B67C-49DC-AFD1-12B6C773C040","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"335a27aa3afe8bc9dab4efceabe73cdeded83288","datavalue":{"value":"https://arxiv.org/abs/0905.4813","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401133$ED4D8264-8C31-408F-9110-34DF744675DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401133$A897B58C-E87B-4A0A-99A6-569E3C396C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401133$CA0206B6-E391-4A4A-A38E-4DF5BEA449F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401133$2F787C19-E681-4C48-BA6F-0CDBEB6AE671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3267bb0bde0bba6248b7464d96d8b83fe142fab","datavalue":{"value":"5664114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401133$C6B717A9-EF8B-4CE4-ABFE-BB4A61F7B905","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401133$D8031331-4B0F-4F37-81F6-B420672DAF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620d2552caf817c7c00ba231cd6a19ca82dc7b8","datavalue":{"value":"continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401133$EF6B6695-E266-412C-95D1-27B5B6A800DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401133$7DEA90C7-63B3-433A-AADD-5A867EBD4E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c19808000985798dae4dbbfc0428d9167ac10e","datavalue":{"value":"final coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401133$95B4A89F-200A-41B7-801F-618AE074EF2B","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":"Q3401133$786D91EE-7CBC-40DC-B11D-727143A1571E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992ac61974fa2050e4a64d1abe90ab0d8f55b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2863899,"id":"Q2863899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff7a40440ff590ee529765a124e5d156942836e","datavalue":{"value":{"amount":"+0.7823259234428406","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":"Q3401133$F6F145F6-7047-41CA-9CEF-730F2C29DE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1681c951f8a8b5cd360d0aa978056cee65e801","datavalue":{"value":{"entity-type":"item","numeric-id":2805147,"id":"Q2805147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac77f328d9c92b1977e865769ea607c89c5f678f","datavalue":{"value":{"amount":"+0.7675043344497681","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":"Q3401133$78C3F7BD-F957-4B71-9FA6-3380C2C1045B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8828299090c314b8625f3001dbc4da921fe889fe","datavalue":{"value":{"entity-type":"item","numeric-id":5144666,"id":"Q5144666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029c71f9c1ecd81498f798bc9d6b84805bf6591f","datavalue":{"value":{"amount":"+0.7451968789100647","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":"Q3401133$8E6E5CB3-69DD-4319-A947-029450C99756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6b5574892c83b7b7e0c4679fe6cf30a3ff1edc","datavalue":{"value":{"entity-type":"item","numeric-id":3681901,"id":"Q3681901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1068e31118a459ba405e85c6c3846b2fc8622566","datavalue":{"value":{"amount":"+0.7347515821456909","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":"Q3401133$5B22985F-BF14-48E2-9554-D0AC77F96656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda89e73141c6ecdae41132d06d07941ea20988b","datavalue":{"value":{"amount":"+0.7271080017089844","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":"Q3401133$830ABC1F-FA82-4803-8E06-044AF2250648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401133"}}}}}