{"entities":{"Q1132085":{"pageid":1142834,"ns":120,"title":"Item:Q1132085","lastrevid":42899631,"modified":"2025-07-15T20:39:33Z","type":"item","id":"Q1132085","labels":{"en":{"language":"en","value":"\\(\\mathbb{T}^\\omega\\) as a universal domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3652304"}},"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":"Q1132085$6A2FD31D-A0D9-4975-976B-DB1EE3A93A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2190424b33b7d9d32f7c85737ee4bcaf3b5d3a9d","datavalue":{"value":{"text":"\\(\\mathbb{T}^\\omega\\) as a universal domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132085$B0A24BFD-ADD9-497C-8C80-FF6841E4F8CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddd7735265c6e7e93906bbd28f105124551ff8bc","datavalue":{"value":"0419.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$897B70EE-D09F-4C8C-AEBD-7A546A160417","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ca80f2d69aded1c2243fdbe7cd7875ab31a175f","datavalue":{"value":"10.1016/0022-0000(78)90006-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$FA381C67-B480-471C-9160-59E7258322B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$425B5A21-6E00-489F-B399-2ABC174D07FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1132085$C8EC5478-5F21-4F3F-B3CB-A8208E479FD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$7F9320AC-962B-4519-AC6E-39B4F81F2846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$2E426CFC-BC49-45E4-96F5-9547CC794BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$34A7BFD1-3224-454A-B9D2-F5BB1772C36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$1C9AC409-EFF9-41A6-B539-BE97AAAF2FA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6841e86f233021d4c98a9774c3e609d54f441ac","datavalue":{"value":"3652304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$668282D0-4A1A-423A-8E92-44044395EEE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b1ed12d335948f61f9e11e4f42ae9a283bf1eb","datavalue":{"value":"lambda beta calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$E140EC92-62EE-4488-8216-9D66D789BDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509df812bd7d6cdb3af81a6d3249971093964036","datavalue":{"value":"mathematical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$04192A3D-12EF-4D24-ABA6-312B4359000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$52BBA47A-9FD8-4215-BAAB-6D82387F94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$5863216F-BB4E-40B5-842A-B64E7CF1DD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$D387EB5C-0D23-4EB1-9488-CB4AC4741E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$E790F580-9E3E-48EE-BD6F-9AEADC346EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d5ea4ddb9e1c4edea9219ea9527d12fac47f33","datavalue":{"value":"universal domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$12574616-20EE-4857-ACCE-81F4675DC94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40333e08f663c9bd246ac30661592f33286515ca","datavalue":{"value":"infinite sequences of truth-values","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$D910CD31-A802-4F4A-9EFA-AB4CE32D6EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875a22de058c9498c6191aae806c9d4840e81a4d","datavalue":{"value":"the class of ordered pairs of disjoint sets of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$8DD9E12B-E7BF-473B-BD63-797BFCA98EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620d2552caf817c7c00ba231cd6a19ca82dc7b8","datavalue":{"value":"continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$3CAE3D15-AE98-4C23-A647-FF1251A3946B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664bb35b442d5be357e339b3dc0adba6617cea2e","datavalue":{"value":"topological aspects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132085$A93F8292-EEE6-4C9A-B703-527F1EE4B677","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$B6E166B4-0DD2-4F9E-9FAD-F1826734D6CD","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":"Q1132085$85BB350A-FDE3-4ACE-BD71-9E86EE9AE034","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d941741da1fcfc4db623f2de67b777889c174085","datavalue":{"value":"https://doi.org/10.1016/0022-0000(78)90006-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1132085$5FDB5C61-9570-4CBF-A77F-11441A00D0C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f92a17a17dbd2741b87d2db18fc1164896fd51","datavalue":{"value":"W2072497723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132085$E111A750-76E5-4D2D-B874-8C30C7DBD396","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c217f25aa0e3530523d58beb6f851133f63c33c9","datavalue":{"value":{"entity-type":"item","numeric-id":4131618,"id":"Q4131618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$C4F685C1-86E2-4ECB-8A41-30222DD437A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$3831FCE0-1DDC-4236-A888-5EFF4F09ACB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72633b52472d0f8390ccae00659e14b279a7da7a","datavalue":{"value":{"entity-type":"item","numeric-id":4094899,"id":"Q4094899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$AB4D4623-6361-4774-8771-C3A3C2104267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$F59DDEFF-51BF-4463-8C46-263FE04F7156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$9E28D1CD-A9BA-4A7C-A33C-F278904AB3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$6103C005-659F-426E-AFE8-839D12192189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$CDCE63E9-C888-46A4-8EBD-BFBA718E5245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$E2D0D247-8584-4B72-BF93-1920902A6746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$B9D12CB9-C10E-4E9D-B130-3F97238F2163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e384a648b452f8656c8a88f9cffb922d3750483","datavalue":{"value":{"entity-type":"item","numeric-id":4109652,"id":"Q4109652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$61B9C5BF-8AF2-441A-A86F-ADED18DB1434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$AB6C22AF-E5C6-4CC9-962F-94F560C75EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$F9A6888A-D67F-4426-8729-EC465681C95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$4E01562E-E2D3-4860-A6BB-E9B704009647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132085$4A18EA44-64B4-4B52-B98C-00E95EB656C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1132085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1132085"}}}}}