{"entities":{"Q3166222":{"pageid":3176938,"ns":120,"title":"Item:Q3166222","lastrevid":58133664,"modified":"2026-04-03T22:56:09Z","type":"item","id":"Q3166222","labels":{"en":{"language":"en","value":"First steps in synthetic guarded domain theory: step-indexing in the topos of trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096737"}},"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":"Q3166222$A7A2DFDE-072F-4F11-8463-95F49E624391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8e2fb9e3e0ca32a48f1f78ae17471017be7f6fd","datavalue":{"value":{"text":"First steps in synthetic guarded domain theory: step-indexing in the topos of trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166222$BF75D1BE-6738-408E-8CA6-4A3214FADCE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb68ab3e820bd12b39a169b4ed46b8abba38765a","datavalue":{"value":"1269.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$E03B1594-4BA7-46A2-8AF8-258FDA536CA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20fc4b98a7e8630a58b92b1cd83c72aa08d2e0fd","datavalue":{"value":"10.2168/LMCS-8(4:1)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$BCD52F90-1C34-4839-891E-22B24BC7885D","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":"Q3166222$E8A92685-D3CF-439B-90F6-60198F320AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35399beeafcf6ceacecd20cc40f92da70c2d6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":444498,"id":"Q444498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166222$91A8F686-860C-42F4-B40F-507ED996B526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166222$1DEB52EC-FB0F-4CC9-858A-58DC1007CE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166222$9439F399-C433-4A78-94CE-DD941F79CCD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166222$94D2ABAE-DB01-457E-8156-B65D2CCD2E1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166222$221A0B85-E989-4DDB-93F2-447989040C0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5e6eeee18e0416a47e12951b96bae661e07ac49","datavalue":{"value":"https://arxiv.org/abs/1208.3596","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166222$96171792-0BA0-4119-B8A5-79EBF6C20630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$3D574F48-FD56-4124-9E03-FE9766967961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$EB0C8169-8C31-43DE-BB9E-11FD3FBC4336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$2EE8C39D-30C8-4D77-BEE9-53D17F3A9023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$03886A52-CCD4-4631-B2D8-EA683EB4C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$7181BA47-FAA0-4C76-81FA-BA94FE87040D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a1d14a1ec87439b6775b653b61bce75b533bbda","datavalue":{"value":"6096737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$FD74F4E4-CF3C-480C-A3DB-FEE71E14290B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$A21F82AB-F336-43F0-9C8D-4F74696325C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0725c83241892231c6ae05f34ea2997a712e39","datavalue":{"value":"synthetic guarded domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$DD0D2BFD-6EE7-4557-A7C9-53A8D45BA710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3110644201dae6102546734dedd0f656679ddc54","datavalue":{"value":"internal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$A99DC0D4-8282-4D89-B826-4536222406D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$47824ECA-AB1D-448F-8FF1-668A1540AF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f184cfe25f9b3d9687d793c2fb3c66c6d5cb10","datavalue":{"value":"step-indexed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$83AFCF96-A656-4ED4-9D9E-80ECCA9C2B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$930C94E7-F021-4BEA-95F2-0C9E08E41A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$EBDB25F5-4E56-4C5E-AD0E-75B45A1540D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bed794d57028112dd05a6c0ba19483a53eaf44","datavalue":{"value":"axiomatic categorical treatment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$1CD2CAC6-B07D-47E5-94DA-0828BF996BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$7A27494C-251C-4CCE-A725-2E67A56A2DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$2503BACF-7151-4EB8-9797-2C37AE5464AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166222$30F7F1A8-2275-448C-9096-6EDD7C585331","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":"Q3166222$272B9E45-3763-44A5-8D0F-A139D65990EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be064b8f06da47ff65e3667d984d508c9f31542c","datavalue":{"value":"W2020900140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166222$4BC8D51B-F92E-4A59-BFB2-9A921D946B8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abc09905da1147c1a800f214238ce1eb70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1704599,"id":"Q1704599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000cffee21e72ee52cf36eb4221b6fffd84ccd51","datavalue":{"value":{"amount":"+0.7619551420211792","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":"Q3166222$237FB920-FAF6-40E7-AA7F-DF1F8B563346","rank":"normal"},{"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":"1df4b1a593d3b51975fe547b9494aa50202eeaaf","datavalue":{"value":{"amount":"+0.7559604048728943","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":"Q3166222$8765F881-D6A6-4010-A57E-40AB97CB99B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523e7a24d41b37a87f2d7aec9e445c950cdc4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f55aa4fb225e4e7a519e18927219dc6dcec750b","datavalue":{"value":{"amount":"+0.7521491646766663","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":"Q3166222$652BB377-9F01-4916-8D6B-EE8F1C13056F","rank":"normal"},{"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":"9983b18731306d80d0658cd6005f452c00965474","datavalue":{"value":{"amount":"+0.7450506687164307","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":"Q3166222$064B14C0-DA8F-4407-8A56-2EFD899D5C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9a9def7b6cbb6c536d98d31f54555cc7ed4118","datavalue":{"value":{"entity-type":"item","numeric-id":678839,"id":"Q678839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7237a3bbfdcce89aa949b4d06d80d45d06eeff","datavalue":{"value":{"amount":"+0.7404040098190308","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":"Q3166222$C0E9C8B3-E1A8-4BC6-8B85-5F36E29989E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166222"}}}}}