{"entities":{"Q3090859":{"pageid":3101574,"ns":120,"title":"Item:Q3090859","lastrevid":51324746,"modified":"2026-01-17T18:41:25Z","type":"item","id":"Q3090859","labels":{"en":{"language":"en","value":"Infinite computation, co-induction and computational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945218"}},"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":"Q3090859$D535761F-415B-4687-B28A-7CD5038381A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c8bb97870a56acfe94c6abaf00543a983d7d47","datavalue":{"value":{"text":"Infinite Computation, Co-induction and Computational Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090859$4B08E56E-6F79-4526-BDA8-02ED7241FCEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d1f04513114cc803386b18b32f639e91c75caa7","datavalue":{"value":"1344.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$996B16C9-4AA1-479B-A5CE-0500D95061DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5e8be3daeec61b9684cf623e463ad12b7df50b5","datavalue":{"value":"10.1007/978-3-642-22944-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$7092B9D5-E559-42AB-8678-ED01617B73F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"412b5a81d3856c0049eaffb7f777fdbc9362e75f","datavalue":{"value":{"entity-type":"item","numeric-id":2038028,"id":"Q2038028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$2DC1C382-F41E-45D8-BAC1-2FD114C4B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c893dca9118bdf4bd1cc7286c1560801c45a39","datavalue":{"value":{"entity-type":"item","numeric-id":3090857,"id":"Q3090857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$019C46F3-9243-4247-BF24-EDE61473CD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b80f5dd655a9c01ea4f0c5eb8fe3134a3f4327a","datavalue":{"value":{"entity-type":"item","numeric-id":3090858,"id":"Q3090858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$4BF69EBF-7536-4AF2-8AF9-A94FEE150780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7843314105acd765722f8220ee7e6b881761fb9b","datavalue":{"value":{"entity-type":"item","numeric-id":2931248,"id":"Q2931248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$2D7215B1-D93B-4430-B49E-F7046F20FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0872dc8578adeca4aac8ebfceede240f46755b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2038029,"id":"Q2038029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$207D4F99-D812-4497-BFB3-42704904CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1065bf5a79a6e3399944e23126deafc1dd756c","datavalue":{"value":{"entity-type":"item","numeric-id":1209355,"id":"Q1209355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$95102F77-0B95-4166-9E9B-0E54E7C450E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$BD76788E-16F4-4F65-BD5D-6FC498641705","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090859$916C71D7-A5DF-4543-82CC-9D657589420D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$B2C767DA-8E71-4102-98B5-5525DC54FF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$D0E253AD-BCFD-44F0-BB8D-E613788B576C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$E48D8812-C5D5-4916-B3A9-C8BDCC19727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$6651954D-B19C-4D95-B49E-F6DE0C653AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$DFE1A7B5-39D3-4DBC-A8A9-1AE52EF72443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$A81E6705-6432-4309-B798-5297F8F211F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"606c012696474c1f64dbac77255f3f19d51f0572","datavalue":{"value":"5945218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$B6F80D9D-6350-4634-A3EB-C5ED70EAE25F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df1b7dfff5c5fa0cf73b20ac5ee450ed033fb4b6","datavalue":{"value":{"entity-type":"item","numeric-id":25790,"id":"Q25790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090859$BFB9EDC5-4BB5-4BD6-AEE2-D04C1C643126","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":"Q3090859$188A964F-E05E-4AD3-BF98-DE5AC671562B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6c4cb4871fbba94b6f38def245f308acdc1ca01","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22944-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090859$245C69E0-B064-44A9-9B59-2303774F387B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a976354a1737d3773237269d0d18d4a1895bb3c","datavalue":{"value":"W1570366700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090859$2D8E28F1-8841-4066-A6F4-DFA99ED80097","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a804c3c76a1bb0c8ec52d4f0a6c8fbcfbc284417","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b031993ce5c1b31d44c9b7f6346d9984a3819637","datavalue":{"value":{"amount":"+0.8647310137748718","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":"Q3090859$7FB19CCC-06C7-4BE6-BA0D-EC8C4798D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4b750603d61bececb4405c4f362ed5c3c57888","datavalue":{"value":{"amount":"+0.8509208559989929","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":"Q3090859$8E19F35F-DE52-44B7-81C1-0D0C54328204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a236d79d6b8fd04241af210773928bf56ad5df","datavalue":{"value":{"entity-type":"item","numeric-id":3187007,"id":"Q3187007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd1b4a8b7bb5ad4fd4a6f0439d3131c126f32cf","datavalue":{"value":{"amount":"+0.8172803521156311","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":"Q3090859$F11FBC11-7F02-4AA1-AF94-6B4F07B1AB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea50ed238d6385ede59d152c882c0dd3c710dc","datavalue":{"value":{"entity-type":"item","numeric-id":2900266,"id":"Q2900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f067b2bc4c970b905ebc8291e25d0c3bc4d420a","datavalue":{"value":{"amount":"+0.8145294189453125","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":"Q3090859$212F9C83-02F8-4EDA-B507-1FC3F9F8A16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b07a054effb01c4406dbd2e9ac3080413faeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5553356f988144f0f33c3e909828293dc70b71f2","datavalue":{"value":{"amount":"+0.7955262064933777","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":"Q3090859$E3DD5DFA-4589-482F-BB63-6FA4D8EFA5F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090859"}}}}}