{"entities":{"Q4993353":{"pageid":7022930,"ns":120,"title":"Item:Q4993353","lastrevid":91075613,"modified":"2026-06-04T22:11:38Z","type":"item","id":"Q4993353","labels":{"en":{"language":"en","value":"The clocks they are adjunctions. Denotational semantics for clocked type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359419"}},"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":"Q4993353$488593CA-8A72-4895-81A8-782DC6E5E1D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d789bb038f12d1aaed39ce9e403025aaee7b0512","datavalue":{"value":"1462.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$DCDD1647-FF05-4D60-9E04-E86358A65D7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea6504d86a7b2bece6ba0c846fcd038e7b467c","datavalue":{"value":{"entity-type":"item","numeric-id":1675766,"id":"Q1675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993353$56BEB2B5-19D4-4571-BBA6-035CAAD0E9B5","rank":"normal"},{"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":"Q4993353$D1C851AD-BC53-4706-B5A2-0A60919F969C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993353$EF83D26D-F0E5-4292-8D0E-85EB4AD59759","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0490124b162971468440b7931b9111245bb46275","datavalue":{"value":"https://arxiv.org/abs/1804.06687","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993353$5914C8BA-664D-44E9-8254-566187D297BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$0646C3DC-CA7D-40E8-86B9-085407E5CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$A1B63207-857F-4C55-86AD-E91F7E2481A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$8B8E4ED3-B439-4482-842C-FAEED839D25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$46EED47F-002A-4988-B5C5-696E174936CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d25e35d65fb83ac58c2c3eef5be66249e9d7156","datavalue":{"value":"7359419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$83057430-BB24-4EF3-8A9F-46678FF175C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041e0aa29e1d94ab70c422dc1bb7a7289941a9fa","datavalue":{"value":"guarded type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993353$E93B220E-A798-40FF-A265-D2727DA596F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993353$36C79D07-F23D-417D-8B9C-39D48C0761D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41baca75f6c86d8104c6a1cc267cd19b07c39c2","datavalue":{"value":"presheaf model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993353$0FDB996D-ADA7-4669-9DC8-8638AEEF06E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a146a447f0155c8b22e4cae1be77e61b256342f","datavalue":{"value":"clocked type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993353$4055B0C3-243A-499A-83C5-EF061C46018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c08aa6b9da4880f9f63b9fa887d9ef4d14af2a4","datavalue":{"value":"dependent adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993353$CF5CC3F4-E1E7-488D-A863-5C4D0C2FE7F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993353$800BE0C1-9C22-45F5-9DC9-E2980B224864","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":"Q4993353$739AF7BC-EE65-4E72-8EB9-5BD5121C5B0B","rank":"normal"}],"P223":[{"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":"Q4993353$698BAF36-94FB-4671-9E60-C52302B20A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a24fad2ff9db69533d40041ceeea69bfdb0cd26","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993353$60DE4F7D-9050-48C9-8368-1D077164303C","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":"Q4993353$447C7B9B-8DFC-4C53-A6A4-CEC6442595C7","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":"Q4993353$621D6ABB-68D9-4214-8681-45937C00DCD7","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":"Q4993353$C49C70F7-2718-4475-8D15-E407A335D4DF","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":"Q4993353$B11E133F-D131-42E6-9152-0A546E0D0D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993353$A7C9E9FE-D560-4F63-B446-BE762B666F99","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":"Q4993353$5A08648C-DFFA-4351-9283-6A55B9FF766A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3af0956eecbd2f1c6a9f97bfda3e773b7a5a497","datavalue":{"value":{"entity-type":"item","numeric-id":530845,"id":"Q530845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993353$BEE891AD-42F9-4E2C-A484-F64CF49AE008","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":"Q4993353$EC6DC6C1-7D31-44B2-A37D-258643345890","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39fbbd66dcf9cf637bcc39e4106a616011e3a5f3","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993353$4E11EB79-86B9-4F29-862C-BFFE03AFF524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de741efc8087cf0b2642e476572de8ba75d4a21c","datavalue":{"value":{"entity-type":"item","numeric-id":5141620,"id":"Q5141620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d141ef1174cebee8eee3928491cfcc32446cc015","datavalue":{"value":{"amount":"+0.957915425300598","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":"Q4993353$9EF1B066-1E50-49D0-A90A-7B4412986DB1","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":"4e08fa7505eb545e5835624f125fc5036bdc25bd","datavalue":{"value":{"amount":"+0.8091306090354919","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":"Q4993353$BC1C12E2-7232-4562-9888-20B3C45A776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0ee4ea7093d651b4529e11ff2e7e086e65ef5c","datavalue":{"value":{"amount":"+0.7818838357925415","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":"Q4993353$D1154B75-6148-4889-9179-25B23CDC5D5A","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":"3763f774e18290a05152b9a0548dd8969b62e120","datavalue":{"value":{"amount":"+0.7498148083686829","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":"Q4993353$8436E2D6-CA08-43FB-8203-5F0211CFE6C5","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":"d58a6ba95c3fa36b3d6dc5798463a4d5dbcfd709","datavalue":{"value":{"amount":"+0.745912492275238","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":"Q4993353$5FB695E1-6809-4A6D-837C-C4BA5C7AEB13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The clocks they are adjunctions. Denotational semantics for clocked type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_clocks_they_are_adjunctions._Denotational_semantics_for_clocked_type_theory"}}}}}