{"entities":{"Q2700838":{"pageid":2711582,"ns":120,"title":"Item:Q2700838","lastrevid":82739267,"modified":"2026-05-06T21:50:33Z","type":"item","id":"Q2700838","labels":{"en":{"language":"en","value":"Towards a homotopy domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680036"}},"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":"Q2700838$A7029D3C-C75B-4F17-B236-EA123445A43F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"997aa99a71ccc6ea5103799115464554d0e2cdd8","datavalue":{"value":{"text":"Towards a homotopy domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700838$20F4BA00-E029-42C4-8562-438CA24F942E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ee156f0dfe08e9add550379949289d9f46f448","datavalue":{"value":{"entity-type":"item","numeric-id":2700837,"id":"Q2700837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$5ECE07C3-B3D0-4E08-AA9F-771084AE3C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$90704CDF-EEBC-4DF8-BC47-55CCDBDB387B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$53B7D8B2-37AD-4D57-9DA9-01A60FC859DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2700838$96296A61-A260-4DCF-8D3B-7A8D74FA37D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31a5ded05562f023658175364c1b3bd649455916","datavalue":{"value":"https://arxiv.org/abs/2007.15082","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700838$B9B17CBF-2AFD-446A-BF97-43AFA8130845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700838$531A0284-C441-4607-B248-AD757338C0C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3eaf8fae61a43fc253083749ff145a2910c15f8","datavalue":{"value":"7680036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700838$77277F5F-7405-4159-A3F0-115763CD6714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700838$401DC300-AE5E-4DD7-B902-3103A7B23A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f44aabc50df9767e2377348aaa8df16f620a3b3e","datavalue":{"value":"homotopic lambda model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700838$59F7E5DC-BFFB-423A-B1EC-EBD4D6065A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0175b8344140c9602756d75b31557c3d833ab4","datavalue":{"value":"kan complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700838$F586A5B9-7BC4-4578-9BD0-A4F9F7364600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3697d1503fd20a0e0fd03dbaf9a939012a12cb","datavalue":{"value":"infinity groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700838$94F01C94-A222-4CD4-82F4-AD2DF92E5931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba285d9d34cfc9d935dc5e8f2d259d3f90e0993","datavalue":{"value":"infinity category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700838$AD804D98-2213-453B-9AF6-30F183547BD8","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":"Q2700838$C927F2FA-2899-4651-BEA6-5FF07AFCC719","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3102b8d31c198a2712e28e6882687a8e8fcdf0f9","datavalue":{"value":"W3112547895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700838$4E95FBE2-F2E9-420C-8B46-5F7EE8768EAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd6a4084b2750e7ed5bec8b8ee109d71aafb18","datavalue":{"value":{"entity-type":"item","numeric-id":4644591,"id":"Q4644591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$8396B480-C425-4379-B0F2-7947C01D1B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde480102fe8e237e56ec8c8465b3d6779e7afc8","datavalue":{"value":{"entity-type":"item","numeric-id":5092562,"id":"Q5092562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$2CA8F53C-43F9-4C3F-9EF3-6F2DE46D6E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$C9697B90-B647-4121-8D96-D5C6B4328E53","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":"Q2700838$8A838435-6159-49F3-9132-412608592584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$D496B2D5-9794-40FA-8FB1-7744CD14E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b392f73e897e1e24ab89fd69912d177e693478","datavalue":{"value":{"entity-type":"item","numeric-id":3559971,"id":"Q3559971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$867E59D2-4CD1-401D-BB5A-454B5D6D989C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017cdeec5597c5da09d5d8104f95fca68d16a05c","datavalue":{"value":{"entity-type":"item","numeric-id":5902220,"id":"Q5902220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$EE6376EB-FCDF-48B7-AD32-795845E3173D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332fe6b755e7ef8965aa14f567f1186a5eb2ae3c","datavalue":{"value":{"entity-type":"item","numeric-id":422031,"id":"Q422031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$BBD2A50B-2842-42C6-8586-4137A036A6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e299c3d2e29743a83d62cc903f12db089794a9","datavalue":{"value":{"entity-type":"item","numeric-id":4611205,"id":"Q4611205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$94DC33C9-CD9D-4123-BD04-D336623FD14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd57462a36c1547e90f016c670e949d87bf8cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$6E3B5BC4-817B-469D-97BF-43C021383B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$37C65A81-B087-447D-B9DF-4DCA11C77A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$D1985993-34FF-4AAD-83F6-CE421E3F233F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e02a8d470e047176a3695ce60fd8fd96c196f0","datavalue":{"value":{"entity-type":"item","numeric-id":2253182,"id":"Q2253182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700838$1B1FF9E7-2BE2-4994-8DBE-2A4DF0EEE0B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37b31db38fc1197e864846d5b175ea5bbf91530e","datavalue":{"value":"10.1007/S00153-022-00856-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700838$98185449-C5B4-4D2E-AF31-0E5169FE6E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a homotopy domain theory","badges":[]}}}}}