{"entities":{"Q4635887":{"pageid":6665468,"ns":120,"title":"Item:Q4635887","lastrevid":58318212,"modified":"2026-04-04T17:05:47Z","type":"item","id":"Q4635887","labels":{"en":{"language":"en","value":"Denotational semantics of recursive types in synthetic guarded domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863501"}},"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":"Q4635887$0869A2AD-7F29-454A-83E4-10B60D6F877D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81afbd981660b66dbb86b2e571653705803a4749","datavalue":{"value":{"text":"Denotational semantics of recursive types in synthetic guarded domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635887$F892CA65-F05B-4149-A2D3-71756329BB4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"758e3a224a08950fb66ce3fe311baff59038c7f7","datavalue":{"value":"1401.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$71915917-2A63-47F9-9861-5F3E9A56AFFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a41d5ccd90c9927cccd270fcff160f928fb58d3d","datavalue":{"value":"10.1145/2933575.2934516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$AFF84BBE-81C0-4F25-8467-9BF6C659FE6A","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":"Q4635887$697587D5-7F22-4902-B428-67A4A931E437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b7c3bc2f5e57d91d112c0ae0116bc7c92ed6da","datavalue":{"value":{"entity-type":"item","numeric-id":1683697,"id":"Q1683697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635887$66AD8F95-D57D-444C-B6E5-AF7FFA104A20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635887$AE452038-48EA-469F-8C2D-17916D3AE281","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":"Q4635887$D5A38F09-0DB6-4450-ADCC-DE4B27021767","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d339e9f0d0dc7fd94f11dd12f14e28771b0d86d","datavalue":{"value":"https://arxiv.org/abs/1805.00289","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635887$3B49AFB1-C210-4E7E-A27B-D9A1C78A34B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c1f47d5581fcf114988686bd2b75d4be64a4ad7","datavalue":{"value":"https://kar.kent.ac.uk/69685/1/mscs-fpc.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635887$A355712A-5ADF-4266-BCFA-679179A824BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$1D34275F-42A2-42BB-9F0C-6FD7AF2DB987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$ED913D4D-9089-4B77-84DE-A02D56D1A927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$5C59FDB9-110A-47C4-8F3F-A66558198F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7a360c36c294caf9a1745fea75ddee288f00337","datavalue":{"value":"6863501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$B7E0ECF6-4DD0-4505-BE68-D1DAB7C4AAB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635887$69EF8A84-D032-4C99-B119-BE15BF566907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635887$E8861103-7856-44E5-BACA-C8746D28FA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635887$D8480BAE-8289-4229-9C29-208ABC1CBC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635887$6D1890C2-04B7-4B22-8456-6D53224073BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635887$4AC7F98B-7D4E-4431-814C-D3B15ABAE65F","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":"Q4635887$D4D82D65-2B10-40C9-BA71-D1E9DDA900B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76fbfae671a76cc59f44fb8893e8cbbdfe18387c","datavalue":{"value":"W2530147817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635887$9FB9750F-4E9D-4BC5-B9AA-1FB3093B5049","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621873b917f0ca5585c6fd0d8f092cc8082690f7","datavalue":{"value":{"entity-type":"item","numeric-id":4623133,"id":"Q4623133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$A86F7139-038A-4BF1-97B4-D27A1214C203","rank":"normal"},{"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":"3524732ba8961f53053d9fe43aacfc9bd1ad7099","datavalue":{"value":{"amount":"+0.9392506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$B9BF136B-EF18-4B1C-A8CA-5B67E167A9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d23727cd303c5eb304e7e5e646df2bc81c1ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4703040,"id":"Q4703040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d387f877d631bd45c051775df7675d674a2bdf0","datavalue":{"value":{"amount":"+0.91297054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$B0E72780-16A1-43FD-84B9-9BF338E24ED9","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":"ed30d7660e5503941d5e89bff1ce4f6ba9ed45d1","datavalue":{"value":{"amount":"+0.9097875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$FF56DB09-EC55-4497-A2A8-16C6225952CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c89126a6e148835b3d653a7e25dddedb91058ed","datavalue":{"value":{"entity-type":"item","numeric-id":2851325,"id":"Q2851325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3564da5e0dacf887fa66582797eae0d884fcb26f","datavalue":{"value":{"amount":"+0.9073992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$F158404F-7DCC-415A-8A3B-E0B1F18C8F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ece05bfa0dfd766bc265a3c9d883056d6e0958","datavalue":{"value":{"entity-type":"item","numeric-id":5740347,"id":"Q5740347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3564da5e0dacf887fa66582797eae0d884fcb26f","datavalue":{"value":{"amount":"+0.9073992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$B36374C0-A15F-4517-A5AC-6F34CD90BE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2fd2ea949cff30d672bb1718381e792518d224","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97da24bb240c80386675721a3986243de6a1dece","datavalue":{"value":{"amount":"+0.8948938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$DE4C361C-0CEF-4DCE-A724-B9B4F4C3E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c63c37bd980ab7e2d18ef81b0e6b787e7e76a36","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d79d3ab6f2aac1078f8b3502339437e07e4fdfe","datavalue":{"value":{"amount":"+0.89453584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$860B7B67-4AAB-458F-A773-7FC5FB3CF71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c3fd0446b514853334ac69119827a8eca4b15e","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3ab7218fd29c762b0ea86166a5ec43aa4b9ded","datavalue":{"value":{"amount":"+0.89378095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$DC48C86A-8255-4E7C-BAE4-F65A2E2CD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20add77e9ee835adb27f7fc2c4363bcf5c28c8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1283126,"id":"Q1283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0b30879b0dcb798793eabeb885ba26d789a7e9","datavalue":{"value":{"amount":"+0.8922221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635887$0E0AAEC4-5DBC-4891-B9DF-9F83203FA2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635887"}}}}}