{"entities":{"Q4635656":{"pageid":6665237,"ns":120,"title":"Item:Q4635656","lastrevid":53070380,"modified":"2026-01-24T04:10:30Z","type":"item","id":"Q4635656","labels":{"en":{"language":"en","value":"A type theory for productive coprogramming via guarded recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863129"}},"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":"Q4635656$C7E6F594-C9A4-40EF-BBAD-1C0C9490DBF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e90b3713a0f340dcb046bae06cdbf9dd55a1cf5","datavalue":{"value":{"text":"A type theory for productive coprogramming via guarded recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635656$25FAA830-15A7-4B91-9B2E-2E18486F9CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc1e476c67086e171dc56a4b9b977e78430a1127","datavalue":{"value":"1394.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$0630FEC1-F77B-4566-8ACA-0A8E1525E561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3767d3d329987cf3dc69848c518d2f00a6b5790d","datavalue":{"value":"10.1145/2603088.2603132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$A709B755-46C9-4685-9C0C-54F51A4FE441","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635656$55556268-C252-4635-9123-CDA58E97A3D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635656$E07E1286-2E89-4C39-8EB9-607FC9F87162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635656$CE770E85-8968-4767-AEBE-E39AC69E58C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$5E0F7132-E5F3-4323-9C4D-6D3E37F75C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$1432C51F-59CA-4408-9C0F-EBEB04759F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$405EB574-D09F-4133-A232-C19A69BBA09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$96D06E54-60A5-4E55-A3C4-C41B2C35E6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$56536532-EFEA-46A4-8A06-BB57FCC201D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$6230DB05-8275-4BC6-885D-E68CF12DDEBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30f04c9da2191cff3239e96f0c9b394930b5af9f","datavalue":{"value":"6863129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$4BAAAA26-0923-46A8-9343-2B1E6DAB1D5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635656$D8D81BD4-7097-4420-8F5F-348F7940C2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635656$78D47B1C-800E-4A39-A82E-7875531629F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635656$2674D070-BEEB-4A0D-8E11-BB8E1B64A433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635656$FAC88836-E23C-4B23-9057-0B3E22F0E13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635656$D88FC486-C2F9-49A9-87E4-F719C7B3DBAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635656$FF15FFEB-18A2-47C2-888B-276F5FDB8BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635656$95B22ECE-872F-471C-BF6D-681B2E2BDCD7","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":"Q4635656$08721341-66F2-4E64-8250-DBF4AD53A1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2ec6678d32ad3e76c242ab2ce0b77fbcc54433b","datavalue":{"value":"https://doi.org/10.1145/2603088.2603132","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635656$865D4E18-247A-4024-A691-5C3C2D067F52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad7bc567da6a9f9bad9cb521091659be0b61a093","datavalue":{"value":"W2165952355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635656$7224159F-D227-4DE3-AE00-10A6C4EA1653","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c513905e95ebfeea864c961d55903902f8381f89","datavalue":{"value":{"amount":"+0.8121403455734253","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":"Q4635656$3609F708-4492-46A2-B310-3AE0BC1AB794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1423206a85fad64673b86c47e9059ca9cc1b58","datavalue":{"value":{"amount":"+0.8011659979820251","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":"Q4635656$9D69D9C2-8C6A-4D37-824B-64EDAD496DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b9de5df4a32ab306ac837d3212b60f4cbb6bea","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06bc8f59fe615414de2f975a36a3ab88cae5728","datavalue":{"value":{"amount":"+0.7933743000030518","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":"Q4635656$251DF6C9-691D-4B9D-BC39-26F606C6073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a4e0bb59f4f0477db68301ffc0600b9f2776a4","datavalue":{"value":{"entity-type":"item","numeric-id":5271060,"id":"Q5271060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2086b9679034d945b5b9ff226c7ca063b198e709","datavalue":{"value":{"amount":"+0.7832987904548645","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":"Q4635656$C6C28AA8-001F-4D81-8CBF-0CFF8F98AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f3cc736f38ddeaee319850d26050e3de788130","datavalue":{"value":{"amount":"+0.776393473148346","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":"Q4635656$F8BC473B-0C47-4FA1-AAA0-99B51ACC7A54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635656"}}}}}