{"entities":{"Q276416":{"pageid":278183,"ns":120,"title":"Item:Q276416","lastrevid":77607053,"modified":"2026-05-06T09:38:31Z","type":"item","id":"Q276416","labels":{"en":{"language":"en","value":"\\(\\mathbb T^\\omega\\) as a stable universal domain."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576795"}},"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":"Q276416$0C091064-F08D-4F7B-9CFE-EFBE302F7CA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a78d15250454e495730cebf5392bde8227f25c0","datavalue":{"value":{"text":"\\(\\mathbb T^\\omega\\) as a stable universal domain.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276416$B05FA2A1-2F77-4307-B95F-26ED55B2DB20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfbd646ee888c9692e335e994384637905296292","datavalue":{"value":"1341.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$65C648DA-01A5-41E1-9DE7-6CB78CB36FEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b6a482732ec3bd1fc923e97ca760d8dc7c094d","datavalue":{"value":{"entity-type":"item","numeric-id":276414,"id":"Q276414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$22F9B4C8-EC6E-43C0-888D-8B28073C6528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff66c06024b6ac7d2f094ee77258b420d5ca296","datavalue":{"value":{"entity-type":"item","numeric-id":276415,"id":"Q276415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$24B6F9FC-C358-4CFE-A1B2-E85ED171F27E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276416$2CE99122-B08B-416C-8D21-48210DF97208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$98FA12CE-A065-4CAF-8F33-9568F86EBF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$C32DC0F7-BB18-423D-897A-4B049179A35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$55A1F5C1-6E6F-494F-87A3-C0A35137421D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8f27b7b7d95f3629865b70e10be02fe23328b4","datavalue":{"value":"6576795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$44145CDD-A9EB-454A-9280-F26B855E1234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0440ebd05d0102a2572dc6ffa607b87acb8e37a5","datavalue":{"value":"universal domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q276416$420D3722-3513-431A-A564-BF463BC42196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9261e267398933851af055568eb7361ad2086f17","datavalue":{"value":"stable retracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q276416$C6FD3B2E-578E-4708-8730-B6810422AE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341a9f5aa37a2b13f8902b729e787ffb8fdb85d2","datavalue":{"value":"stable semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q276416$BD1812DF-DFF5-46C9-A62C-498E86772812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721b757e532ddcd4abab192226a56a94d4fd4bf6","datavalue":{"value":"\\(\\omega\\)CCDI-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q276416$B7C2EA72-709C-48C8-85DD-9E1F25266212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q276416$E7AE491E-E155-499E-B818-7FB001E24D51","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45c5e5ce29d6c10949b0228100b42d57bd7d9ddb","datavalue":{"value":"Q113317906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$C1B2BC3C-84CA-4089-A20A-097AA4F46D45","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":"Q276416$BF6EFCD5-D1F2-490A-B360-88E746F1D9CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0255d679a5b93c0878efd0e02e5a57944ff17041","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.01.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q276416$3F141EEE-7FE9-441E-8360-7DE5D8A9EAAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b00a0a34aa52fcd6eab9609fbcdab6dd4001f43b","datavalue":{"value":"W2016969862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$23CFA9D1-A004-4A77-9D3E-938939625281","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$C63E652E-2B7C-47CC-9071-A203DF4C41FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930ff6c146eadf1d16c7d55282eb1c5517685f6","datavalue":{"value":{"entity-type":"item","numeric-id":4282566,"id":"Q4282566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$0EE363FC-7405-4C73-AE77-1E6A0DBADE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$3A9DFF55-E663-48F1-A8ED-B380DF86846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$10FAF027-C925-4C2B-A9C2-79282B9BA2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4be0c480b46d1e4e2ff0c8ff4ab7e2cd4585a2a","datavalue":{"value":{"entity-type":"item","numeric-id":859843,"id":"Q859843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$558C7DBB-6483-4DB1-A252-B9637FD6C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d0c5120a078f8b9229ea87f53e9d16310ec83c","datavalue":{"value":{"entity-type":"item","numeric-id":4279243,"id":"Q4279243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$F5284C25-5BA6-4C11-A091-E10D1B412CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$DECCCB5F-DC8B-4B28-82A2-67AEA2FC6C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5f9b53550980d4dcc97faaadee38a9f077def0","datavalue":{"value":{"entity-type":"item","numeric-id":2570134,"id":"Q2570134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$874C4E53-46D3-4977-9E84-0BC44B711E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$F398A179-5EB4-44C3-B851-1261E5EDB661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbcf01e75baf90b926b037455795da8362bb0c7","datavalue":{"value":{"entity-type":"item","numeric-id":917677,"id":"Q917677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$9A38CC5A-B1B8-4931-A1BA-8D8121FF4D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9214c114e83ebadf9d8cedde33dcdb293805c071","datavalue":{"value":{"entity-type":"item","numeric-id":671652,"id":"Q671652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$F575A23B-CA22-4F89-802D-CB18E0F8B05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7182cd84a047fd93512ab87ed650d4fe6fc44d30","datavalue":{"value":{"entity-type":"item","numeric-id":1198950,"id":"Q1198950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276416$EC86129B-961E-4F6C-A0D9-0B1474290726","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00e772a4d7b49c2301b8077883ba4d35a9b2197b","datavalue":{"value":"10.1016/J.ENTCS.2014.01.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276416$F198CD9B-E2E5-4F43-80F6-0EA1BE717786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32044835cd69e67e1b8fd313c2ba197a01d41876","datavalue":{"value":{"entity-type":"item","numeric-id":2971120,"id":"Q2971120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ddd3736f55a4a511f9de9e59e851b0b2b140d5","datavalue":{"value":{"amount":"+0.9806853532791138","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":"Q276416$70584737-0DEF-44DA-9AC9-CE8A1E9297D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf387fd655904772e52da88bd2c31fc383e7462e","datavalue":{"value":{"entity-type":"item","numeric-id":685428,"id":"Q685428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a52235c43e32e2537acb1a26e281508bd49272","datavalue":{"value":{"amount":"+0.8026186227798462","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":"Q276416$DCB95E05-A9E3-439B-AA46-4CF978FF1F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670212f10473abee44f679b633dfafdb55521f4c","datavalue":{"value":{"entity-type":"item","numeric-id":917677,"id":"Q917677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdc9a27faf649199d81e12e70a1915077b85f4c","datavalue":{"value":{"amount":"+0.787116527557373","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":"Q276416$DCB5543B-2F32-4921-89AF-E57F22F59E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f13b4dee1cac9ed7ed4f972b4620f706e953df","datavalue":{"value":{"entity-type":"item","numeric-id":4282566,"id":"Q4282566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d1f564463b4d6fe7dccfa60e98a232c98526ad","datavalue":{"value":{"amount":"+0.7839303016662598","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":"Q276416$8E5D7944-A2C3-4116-BD5B-17050054E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f84f65bf3055dd5ae9b87b1343975fa22cc7bd7","datavalue":{"value":{"entity-type":"item","numeric-id":276408,"id":"Q276408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba73fb466d8d9077eb0bc690f7d50341da2f8e16","datavalue":{"value":{"amount":"+0.7805129885673523","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":"Q276416$9A0C0445-92E0-404D-9EA8-6CB6F8DFACFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\mathbb T^\\omega\\) as a stable universal domain.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Cmathbb_T%5E%5Comega%5C)_as_a_stable_universal_domain."}}}}}