{"entities":{"Q877023":{"pageid":878871,"ns":120,"title":"Item:Q877023","lastrevid":65027673,"modified":"2026-04-11T23:50:17Z","type":"item","id":"Q877023","labels":{"en":{"language":"en","value":"Adding recursion to Dpi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144950"}},"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":"Q877023$3285FB36-FD99-4889-B674-F8CC525FDB7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fa1d15209c41495b0e4e89684f9a8eb31b0e36e","datavalue":{"value":{"text":"Adding recursion to Dpi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877023$66C98BEF-2466-459D-8BA6-14BF47F1F458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"693eb24549dd74fe431f261491cf95499da949d6","datavalue":{"value":"1111.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877023$CAD63EB4-5200-4942-9C9E-8B17DCE85262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13362e96d249732cb29cfb3ecc6c67781c9cf582","datavalue":{"value":{"entity-type":"item","numeric-id":877022,"id":"Q877022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$95A5DB3D-1F53-457E-AA0B-0709C36DA9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$72BD36A6-C0B3-4FC0-B02C-E5D984637EB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$05DF7461-4AE1-498B-B194-41EF52BBC580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877023$2FD48EEC-61B9-465B-9016-8B29BFF10FBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877023$E4B72437-E704-4C0B-89D6-286EE861D4C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cae327fa76dcbcc98d6628ad0cc5dc109d5bc3c2","datavalue":{"value":"5144950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877023$F199F89D-4945-4E8C-A594-AF51366A1BA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ad6ee5fef73a726bbc793fd24b33962bd3cf67","datavalue":{"value":"Dpi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q877023$34EB339B-4AC4-41DF-9C1C-59CB63C3BBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q877023$301B5FD5-F6F0-4F6B-A4FD-247A917742F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fbec38dec05392b166e8236897e8b6ac7fd5f3f","datavalue":{"value":"implementation using replication","type":"string"},"datatype":"string"},"type":"statement","id":"Q877023$E39DED98-F001-44FB-9F66-FA3542E6491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fb656defa0bd2b0f6d7eee6927f79c44872bdc","datavalue":{"value":"recursive and co-inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q877023$B6FE4456-D69B-4DB3-8F50-9A76B733A095","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":"Q877023$4EC5C6BA-20E6-4B4C-8CFD-899169AD596C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77f3869d18eedb6c9dd54197eac1a6d47d965901","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q877023$074A8B21-C023-4CCA-9151-6ECFEAB82EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed88a3f388dc9f159bb7576baa9edc62f257c81c","datavalue":{"value":"W2141216727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877023$1456E4C0-0C8E-452A-A7CA-35B2985DC6AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$DC0E1B82-1DC1-4AF1-ABAF-9EAE7E7B7892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$2AA16EBF-33C0-4FDD-BAB8-AD818B8CF3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125bab766b38a2c68e5aad586b19e14a44141fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1881259,"id":"Q1881259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$F136161F-82A3-4EED-B0A4-386C3239E8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cc8600e335c4acb5a5e79706ce4f0fb2de7299","datavalue":{"value":{"entity-type":"item","numeric-id":4709841,"id":"Q4709841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$9905B76B-FBF1-40A0-95CB-ECD6FB3BAD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$7FABE2C3-5C56-439F-B88D-B2A9708FB3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7ca2b3a9f30936729faa4d05c16d753a7b250a","datavalue":{"value":{"entity-type":"item","numeric-id":5897495,"id":"Q5897495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$4291E5D7-464E-4E42-8C0A-51EAD5190960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877023$DFD71D5D-11D6-472D-A6CE-EB3FCCA7FD88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89f9500f56518294b46cfe2a5e197af4dcc4fe39","datavalue":{"value":"10.1016/J.TCS.2006.12.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877023$156781A0-D28E-42C1-BB3C-C2442A72048B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0788ee78d1d8dcf1b50d0bc16718396f395702c3","datavalue":{"value":{"entity-type":"item","numeric-id":2852098,"id":"Q2852098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf56a128e684e605cd85e35e281ded1bea5095a7","datavalue":{"value":{"amount":"+0.976481556892395","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":"Q877023$FDBA3411-6731-4986-B18A-FD67CE41E8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76312c4d3e6efa4b9d01a9d706a483d678262a85","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9689217b7f4d86b3e1135fdee8cda7e58b0d5c","datavalue":{"value":{"amount":"+0.746230959892273","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":"Q877023$BACF44B8-1B59-4083-974D-2EE30F8A9380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2452d50b4ff636af0129aa03e6110babaf5aa853","datavalue":{"value":{"entity-type":"item","numeric-id":2581010,"id":"Q2581010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ed71a022d7aedcff686cb794e27146a541bad4","datavalue":{"value":{"amount":"+0.7323321104049683","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":"Q877023$00D3937C-7A0F-4926-A4DF-7472C956172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1f347c31865c0254099b15889f8f2881956ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5479165,"id":"Q5479165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb926bb5621fce932e07d76fe6094b02192aa4dd","datavalue":{"value":{"amount":"+0.7088501453399658","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":"Q877023$73C8CCBB-8389-4C0F-9C34-8E81BFE2C99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cb34290c5a8fdd11293ca11c748b011e183780","datavalue":{"value":{"entity-type":"item","numeric-id":5308454,"id":"Q5308454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bccac7e29e8ab0f9426df3356231af5032d67b","datavalue":{"value":{"amount":"+0.7087695002555847","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":"Q877023$7DAE807E-915E-4111-9879-ED7209FD8B4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adding recursion to Dpi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adding_recursion_to_Dpi"}}}}}