{"entities":{"Q265834":{"pageid":267601,"ns":120,"title":"Item:Q265834","lastrevid":60491241,"modified":"2026-04-10T17:19:45Z","type":"item","id":"Q265834","labels":{"en":{"language":"en","value":"A stream calculus of bottomed sequences for real number computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567570"}},"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":"Q265834$E2CCC2F6-B350-414D-944E-7FFCC820A93F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffbd01647dbaf58c0e417ea96e7b2757d2169d38","datavalue":{"value":{"text":"A stream calculus of bottomed sequences for real number computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265834$A8F8F254-04FD-404C-B26A-449CE6BB2132","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e5aeb2b438727caefff326f92e0be5ff1013ea6","datavalue":{"value":"1334.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$41DB76DA-B4CF-499C-A373-8D188A66134B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f7a829f3b2c457b263a3114a86f8b4505b43749","datavalue":{"value":{"entity-type":"item","numeric-id":265832,"id":"Q265832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$D78F577C-3170-4A88-9B3C-784358047582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23c9d3ffaa6f717d6ff9c43e4927c20484f70f40","datavalue":{"value":{"entity-type":"item","numeric-id":265833,"id":"Q265833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$F95339AA-2209-4232-B087-44B3768E57DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265834$C1454B60-0BEB-4736-8F9F-9CFEFEA98E98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$7A1F1C51-56BE-4158-9F9B-23526615F8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$F95682D4-D379-4677-A0A5-4B1DA0EE8CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$7BD4E264-1469-47F4-A615-B95BAB9BA1D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76731a92997b23c17d0b5d8a4229aa9075d3e5d0","datavalue":{"value":"6567570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$93C3D987-E0D0-44E5-9A83-4BCF84FC52AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a99677479c3c6a7301c63ef3f2ae29d12f187f","datavalue":{"value":"bottom","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$CC68E182-24A1-4021-AECD-E37B10E6B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacb5a9601d3b45f9caea5e88beb1855a4949e56","datavalue":{"value":"stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$C148F08C-3C6F-49E8-BF54-B79C3F4A3DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a043dc0bd89c785a45379faac952f0327f8f29","datavalue":{"value":"real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$D626464F-E647-4C34-B3A6-BE3F5737B6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4581b4616075965f753f695b91dff2b4291d390d","datavalue":{"value":"domain model","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$59D46E5F-2F96-4696-A37C-874E12AA96D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$36DB20BC-5470-452A-BA17-72C69B2EB90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$649C9B4E-7C70-4D8F-BCCE-685FA774402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db776b32fecc309971d0e35078ecf8bcbf9094e9","datavalue":{"value":"parallel or","type":"string"},"datatype":"string"},"type":"statement","id":"Q265834$935A7603-75AE-41A0-B203-BE1C184F22A1","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":"Q265834$C416F378-FCDA-4ECC-A8EA-BF2A12925112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22fb84e5c109a02172db4fe9e52d1b0b789236a5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.09.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q265834$823B359C-B982-4C43-8406-CB8B4BA0AADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2ff1c5da5af812b8ffe4946f76bd9e50f34b703","datavalue":{"value":"W2040883430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$2C988320-3A92-4245-9886-F136B733C343","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"918f2ab1b9ec59829674d3c94f9d64972bb8ff93","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$F3DCD931-9E55-4CFB-B0E9-262C07551D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e7f8b9ff4f3708767d890feddd4e5a4a796fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1583255,"id":"Q1583255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$F35F58B6-5222-4BE5-A176-94E265D186B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1e8175ce3361785385646159a7861a2cd66423","datavalue":{"value":{"entity-type":"item","numeric-id":1607288,"id":"Q1607288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$1589B351-1679-4E30-B217-900D6F5BBF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$54F79CAC-E16D-49CD-A844-BBEECDDA5481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436052410061ed9e4b5a605becb3210221afaa85","datavalue":{"value":{"entity-type":"item","numeric-id":4659540,"id":"Q4659540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$AB812BE0-06D5-4866-BEEE-42E3339D1FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8219c19060d650a9999c98f160944bc10981d081","datavalue":{"value":{"entity-type":"item","numeric-id":1960529,"id":"Q1960529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$FCAC0ACA-DE8B-4629-84AE-95CAB7F32699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$C40424B3-8C75-45CC-B96F-830CA554C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$09C95A17-C03C-4283-B093-FA4B4934275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$EAE1A223-FB1A-4E7E-9F4B-8406AB2075CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bfa9457d027b12b8611c991f6cb0d8d00a14c7","datavalue":{"value":{"entity-type":"item","numeric-id":4286532,"id":"Q4286532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$0D7729C7-6846-4986-AB23-885D4B406489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$355F3B40-49DB-425C-8382-4FE497CBD38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e004f1af40a576624071e73fa924df0213321","datavalue":{"value":{"entity-type":"item","numeric-id":1607300,"id":"Q1607300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$E1047D6B-0A58-4B80-A44C-502D2277FB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896c25f6c55b09e05c4f3a50b2aacee735c6242c","datavalue":{"value":{"entity-type":"item","numeric-id":4659543,"id":"Q4659543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$C56280D1-EAC2-4167-8986-83D2AF65DA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265834$9ACE2BD9-12E8-42E4-899A-B85E19B01B32","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c23fc90f55789a70b91bda09f7607311608bd2d","datavalue":{"value":"Q113317949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$077350F2-A793-4AB7-BB60-AEC88DD58266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"840367f19f1e453d87d65b3352dac86cb4c4c1a0","datavalue":{"value":"10.1016/J.ENTCS.2013.09.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265834$17C450A1-14A5-4062-B49A-B879D4F63A69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4831af45c3b4e20f8e747d130fd63f8e65e14cc7","datavalue":{"value":{"entity-type":"item","numeric-id":5316565,"id":"Q5316565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1d5b29abe9f30becdbff42e747ed6d718063c8","datavalue":{"value":{"amount":"+0.7801233530044556","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":"Q265834$E71905BC-7A53-469A-BBD3-0F4A5E9F32DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7e63b30427de55017633c18f87f26a59f85b34","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36b7fb0076c584ddcc7be7faeed11b5d6f6003a","datavalue":{"value":{"amount":"+0.7568352222442627","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":"Q265834$C09C4826-82E4-4AE3-A9BD-955F24DF9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673a14af6e3fc8cda5ad93ff7c3f67f66692fde7","datavalue":{"value":{"entity-type":"item","numeric-id":2851538,"id":"Q2851538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f7a91716273e5ff71a9b1210816756ef65a8bd","datavalue":{"value":{"amount":"+0.7518367171287537","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":"Q265834$990E9632-C2A7-436D-9CA7-923DDF7916AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e67cc0726aad393d3cd9b31048a85204443ad17","datavalue":{"value":{"entity-type":"item","numeric-id":4571945,"id":"Q4571945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6c513d1a9780e80def0ac3f29dbced4e4327dd","datavalue":{"value":{"amount":"+0.7461290955543518","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":"Q265834$EF4B0622-5F65-485A-8647-F3B2B9AD84BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b843f809b80ad4124f0c7642acb829357780d0","datavalue":{"value":{"entity-type":"item","numeric-id":5348895,"id":"Q5348895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93848fd7ef9dbfdf569f877191e0f01f041a4d4a","datavalue":{"value":{"amount":"+0.741256833076477","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":"Q265834$C2204E5C-DCA9-45A6-900E-39A8221154C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A stream calculus of bottomed sequences for real number computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_stream_calculus_of_bottomed_sequences_for_real_number_computation"}}}}}