{"entities":{"Q4623133":{"pageid":6652716,"ns":120,"title":"Item:Q4623133","lastrevid":53359346,"modified":"2026-01-24T19:43:17Z","type":"item","id":"Q4623133","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 7025023"}},"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":"Q4623133$4B49B8C9-7B0C-4F35-9112-978D29EEAE07","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":"Q4623133$AA2FB6F7-0BFD-46DD-A9B2-6D22F2320DDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b8fba3ec4169e1346e73bb3bed33d6c3dc66d1a","datavalue":{"value":"1411.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$945EB5E3-CE41-4DAC-989A-0F2005EA7B3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f4cbd658c1efd2b96fe6a277db9f4ec753aa6c","datavalue":{"value":"10.1017/S0960129518000087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$11577298-CB6E-455A-9FBC-7A8CED3F059A","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":"Q4623133$BEA4D6B4-26EE-4A2A-8A63-0386CD3EAF7E","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":"Q4623133$288E7D59-A189-4B9F-A37F-6F085A2FE6E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$A3C1D96A-5721-4D69-96D8-3B4A9358F5CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e6131927e2f821390d615ecfaa0e74b7083d76","datavalue":{"value":{"time":"+2019-02-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":"Q4623133$2647A8D6-1EA1-491C-A75B-BBBF68CA700F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$732A8893-79C1-492E-8838-2491350B9280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$6EF46FAA-0344-4834-BB69-AEED22A29749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$02E7DE6B-5B2D-4C47-BAF8-20071885E4A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63ddba52257b4548b2192f7c98b24f383a2cb952","datavalue":{"value":"7025023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$4862AA75-0436-41E7-A0DD-F597F0D21737","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":"Q4623133$23BBC583-D8D7-45D5-B1A5-3C23B34D57A1","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":"Q4623133$D02FEE07-5A7B-4D72-9300-C0119102B578","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$BBEC4CE3-4C3B-4329-9D38-83BC13726BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$2FDC0EC6-F40C-4719-825A-DB1BFFB17C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064320c898684f731a75d9b590e5a89bb2e057ec","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$5BB86155-9E6D-480E-A485-D07E366F2DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cd4a9a38fe3dedcbaf562f6049a0d5fd79187e","datavalue":{"value":{"entity-type":"item","numeric-id":5278409,"id":"Q5278409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$FB0A75D0-5BF6-4529-94B8-BF0A189B3AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$753CCACF-F12A-41FA-828A-2A95ADABAD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c116516ecd0d94e751e535d829183a84da376957","datavalue":{"value":{"entity-type":"item","numeric-id":5271058,"id":"Q5271058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$F0B01E77-3A72-48FE-BBF7-4D15A1D7B06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19797445de638b6b2a9044697b83782afd98af5","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$B3BEE57D-AC36-42D1-A21D-0649CCAAFB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$1CDFEB2B-69F6-48A0-ABC5-DD413D658CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$392C01FF-B91D-40F2-9DAD-F368C8E6FB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$EEF147B3-9A8A-4738-9AC4-FA6C66C7C416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b551ceda75a753f30b71cc09ad2d116a187050","datavalue":{"value":{"entity-type":"item","numeric-id":5168888,"id":"Q5168888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$94CDC279-27EC-4901-803B-B218ABA6947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e1f981bf310d2eb425a19b789f730f693d8402","datavalue":{"value":{"entity-type":"item","numeric-id":2879253,"id":"Q2879253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$03397D30-7BE1-4B0F-B58D-54304FF37BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$806038C4-A882-4473-98D6-BBBF51E261F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$6E628A01-71D5-4C38-A7C8-0CDABA327992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175cbf8a20822167166d2c3042a8727801090085","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$1521BAF0-BB0D-4D9A-B457-F3EBF10FAADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02509ffb8df2dc0d2a6db10aaf8d287560d43f5","datavalue":{"value":{"entity-type":"item","numeric-id":4635887,"id":"Q4635887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$FD98278C-FEFE-4988-BD1B-351CAA83BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df4665af2f8c56e5500784941d01b7088d3b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$889DE682-EA7C-4943-AA15-15D27226E49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$384ACF16-8513-4D04-8E46-0A38539D4B67","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":"Q4623133$9236341B-DF6A-4E62-B8B7-2DDB4F83A557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$AD9F65F9-8A64-4CBE-BA79-F9F6296E3E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$CBEA67D4-3392-4786-994E-101C695DEC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623133$8CD1FAF1-7461-44AA-9349-9DD78C621D70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56dcd8d7d9e5f0c20b718279a6fc5883cfb46567","datavalue":{"value":"https://doi.org/10.1017/s0960129518000087","type":"string"},"datatype":"url"},"type":"statement","id":"Q4623133$3F1CE766-E021-402E-9954-2BB622998AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6e6171558464586551d21d34fc2ef066510fa48","datavalue":{"value":"W2803229276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623133$0F67A0A6-8BAC-4066-9F78-830BDA8863F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f6efc51f8f3332befa9fe44eae03bad6f085d5","datavalue":{"value":{"entity-type":"item","numeric-id":4635887,"id":"Q4635887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2795abbabdeef69f685dc4617b52792687c6134","datavalue":{"value":{"amount":"+0.9119532704353333","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":"Q4623133$8C9BD7F7-8C9E-4006-AF1D-B17C7D5B76FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41f81735e523c06416d3d6f7e4c762d3a5e55ed","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd76fe5a911e1bfb973c5167b23b5dfd45516bb","datavalue":{"value":{"amount":"+0.7735280990600586","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":"Q4623133$1DF71714-181B-4A11-B052-D32EC81D8C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e649413681a21d6a72aaed2e7c95ea38361baa","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981fd06cb003cd783f278bab85b67fe0d17651e4","datavalue":{"value":{"amount":"+0.7538045048713684","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":"Q4623133$69B0009C-6AF1-475E-8426-40541F6CDAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696e5a5c6b0f574d83498fff681ab0af4698b2cb","datavalue":{"value":{"entity-type":"item","numeric-id":5271058,"id":"Q5271058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b88d3bbc395a95bc1e451ef4c78a2d67d13ea7","datavalue":{"value":{"amount":"+0.7465448379516602","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":"Q4623133$5CD4CE1C-76FA-4D2C-8415-E2827D090EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1baee8a926f4d767df91a2260606157ab2d101","datavalue":{"value":{"entity-type":"item","numeric-id":4484334,"id":"Q4484334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b216c39549bf653133081c78e8bc0ea9d8d437","datavalue":{"value":{"amount":"+0.746376097202301","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":"Q4623133$86E8CE6B-9DB7-4025-A47E-8A22A59799A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4623133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4623133"}}}}}