{"entities":{"Q6953422":{"pageid":21224067,"ns":120,"title":"Item:Q6953422","lastrevid":84079397,"modified":"2026-05-09T13:19:04Z","type":"item","id":"Q6953422","labels":{"en":{"language":"en","value":"A Lopez-Escobar theorem for continuous domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8069462"}},"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":"Q6953422$2BB1C688-D654-4D2B-9B29-C6BC54BDCBEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91de39fdfbf38135ae6019c379588e3bdbb3c27d","datavalue":{"value":{"text":"A Lopez-Escobar theorem for continuous domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6953422$B855BD95-B880-43E5-9422-76B819F1714C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282f9c9dc0c7a17dd0813b652445f14a31d45f31","datavalue":{"value":"10.1017/JSL.2024.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953422$E431135A-B43E-407C-B514-974AA902DFF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db24167d5608382f10672356278a1529660e6ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1670716,"id":"Q1670716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$8114E19D-4F00-4159-B2D1-B764E04DAA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef4e93500dcee5fdb393f0b944784393f7e4446c","datavalue":{"value":{"entity-type":"item","numeric-id":636324,"id":"Q636324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$7B9EB08D-9A6E-472B-83C7-CAE8D174EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7da79061651f8512117bcd0c7e53fdc1965b2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":1670762,"id":"Q1670762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$0844828C-CF3D-44CE-8083-6147B164FFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a6d69315df546b38f7d1499fe97ae2106d28d","datavalue":{"value":{"entity-type":"item","numeric-id":2179359,"id":"Q2179359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$669837C5-2BE2-4968-92D1-0E43B15C9456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f2ecb37091b4568d33387bc33ac303e9962f49","datavalue":{"value":{"entity-type":"item","numeric-id":2055304,"id":"Q2055304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$7B973B00-EF3E-4700-AB76-38AA79DA0E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$67C1E77F-DFA8-4135-B291-0135B1E776A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea6dc21ec3fb95df79bdfd89d49ca56325cba03","datavalue":{"value":{"time":"+2025-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6953422$DBC84946-4D54-42EC-846E-B612FC75E4CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953422$2EE9BB46-B8F8-4CEC-AB5D-8A359DE05888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953422$5FE34EEE-0562-45DF-BDD4-6DF1E0E3B5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953422$9F3BDD31-9AE3-496A-93BB-BF4935911470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f83401496a483923a17b05845e8b9b3aa0b06508","datavalue":{"value":"8069462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953422$00404277-4DEA-41B9-B9C6-65F9B89323DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b217a131a2e78bde93dbc89b828ced5bc30bec","datavalue":{"value":"enumeration operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953422$E5C94B13-9FA6-45C5-B44D-61272E4F615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953422$E9A9BE46-8575-48EF-9A2A-E6CF485D5ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9311e59e0619e8d5c5e02e236b515a5c9b7f455","datavalue":{"value":"computable infinitary formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953422$20449DA2-5D50-479F-AA29-51BA024BE00F","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":"Q6953422$AB7A4954-0739-4E16-967C-1B5569CC08B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$02BD5E2B-BBD9-4C73-9958-3517EF5D8CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb00daeb600c33bdb6784a21af48a463f2039d","datavalue":{"value":{"entity-type":"item","numeric-id":1123889,"id":"Q1123889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$1A660528-8211-4477-BC2C-A1AFF8B8AD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8b04c3ea1f063e1661c983ec5b602e850eb112","datavalue":{"value":{"entity-type":"item","numeric-id":2055305,"id":"Q2055305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$4E1F43D3-B0B4-4A5A-97A9-6A91FA0443A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5b434fca54764dd4546bf11d53cdabf899b65b","datavalue":{"value":{"entity-type":"item","numeric-id":5310190,"id":"Q5310190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$B81D5BDE-FADD-42FE-9A36-A9A55270FC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf9a355bba398f2dd7869850f6aa11775daec8c","datavalue":{"value":{"entity-type":"item","numeric-id":5895987,"id":"Q5895987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$587746C5-6F6A-49EA-B0F1-C7C6EA47C5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb811f94c077d4b4a232b548074ef5c833ab28cd","datavalue":{"value":{"entity-type":"item","numeric-id":1935873,"id":"Q1935873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$40349EDF-9A4D-432B-AAE1-44A9F1FED881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e86fc3f25ba389d63669e7fc4112e4095869de","datavalue":{"value":{"entity-type":"item","numeric-id":5476777,"id":"Q5476777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$0D9BAD7B-647F-425F-B794-5DD139071CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d908e9baa1912cd432b5db378b090c6f50f4821","datavalue":{"value":{"entity-type":"item","numeric-id":639658,"id":"Q639658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$EA75C645-BD2E-47C6-822B-A0A307A319F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bff537c1fc80451afaaf106e8c3c8e7d3df867","datavalue":{"value":{"entity-type":"item","numeric-id":2342300,"id":"Q2342300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$CA5BBC2F-BF7F-4EE8-A78A-C65C2155B4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf869e8ab52e808530e2def69fcf49de282e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5753942,"id":"Q5753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$0856DB1E-C644-4A16-87F3-555F24B0BBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42504673998026d40df07a264f54b4be07e00354","datavalue":{"value":{"entity-type":"item","numeric-id":5422316,"id":"Q5422316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$E4FB2A78-6396-43EF-B0EC-5AA563B0DCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede56e999449c13a55a53377ba915c6d3ff55af7","datavalue":{"value":{"entity-type":"item","numeric-id":2117801,"id":"Q2117801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$1FE31EA8-128B-4A0D-9DD2-828C7DA99C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83247334807ff7cd708b745a22d0d9c55e434c11","datavalue":{"value":{"entity-type":"item","numeric-id":2970969,"id":"Q2970969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$2CB4575D-6A2E-438C-B392-456492B0BF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe5e2690e8aa5db86fc37ab1eba592d8077faf","datavalue":{"value":{"entity-type":"item","numeric-id":3843613,"id":"Q3843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$7BBBD02B-6392-49C1-BB3B-EB3077AD26A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d8232a861cd192d6078820822fbca21cb1c648","datavalue":{"value":{"entity-type":"item","numeric-id":2349100,"id":"Q2349100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$64A4681E-2D4B-4958-ADDB-6262076EAD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249f1902d359d58c1404f29ade17535562a21051","datavalue":{"value":{"entity-type":"item","numeric-id":1685921,"id":"Q1685921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$7D9BAC59-8723-4600-AE4F-BA81DAB42064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4052986645f9a4bee558478b33bbee690be73a5","datavalue":{"value":{"entity-type":"item","numeric-id":2907058,"id":"Q2907058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$CD5EC6A8-7395-4267-90F9-1DAC89B5F93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1c999ad49658c732d0206320ed184ade936840","datavalue":{"value":{"entity-type":"item","numeric-id":2412951,"id":"Q2412951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$1663796E-0145-4605-83B5-1120D7374012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf9821d38ac07c446af92b41cf0f50f02c5c25d","datavalue":{"value":{"entity-type":"item","numeric-id":1670712,"id":"Q1670712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$03228D26-49D3-4C60-9A56-6EA0B84C4051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ee54619e7a920c6b89f8dd1579b992f80cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":3770517,"id":"Q3770517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$241E1E4E-A83D-4B4A-AD32-3CF0400ACB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de38b609836963803b0ebf304eb60c6a74a010c","datavalue":{"value":{"entity-type":"item","numeric-id":5422309,"id":"Q5422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$28521721-C6F0-4087-AA27-89780F94B597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46736230d88d05e5b8f61438842f638bb8c737f6","datavalue":{"value":{"entity-type":"item","numeric-id":5509674,"id":"Q5509674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$11E7584A-6F6E-4EEF-A807-17CF7E486B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$9E96C89F-1E4A-4A0C-9FC7-12FF5E956EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28af1098cbbba31e5564e878c8305cdbbbc1d8c9","datavalue":{"value":{"entity-type":"item","numeric-id":5783653,"id":"Q5783653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$6C46BBBF-2B96-45F5-A9DD-C0C85E839C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"542541764db8fe2789e36d4b90d227a5106d91db","datavalue":{"value":{"entity-type":"item","numeric-id":4750634,"id":"Q4750634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$E764F090-9EEC-43E5-A1DF-90349CA6C80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$16F845E9-1329-4F7F-9F14-627270DA22ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cadc7847b0ff0bb1769ff1cdba2e3a5eb33ffa3e","datavalue":{"value":{"entity-type":"item","numeric-id":3425600,"id":"Q3425600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$4937721A-1E02-49EA-A177-7D0639DF7544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8402ad40c1ac0290522e1c09b92f1ab21e91ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3159401,"id":"Q3159401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$F4101F38-58FE-4672-8D3E-3BE8C92AE837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d07d4062c7c8cf62b16bcf5db00dda17e158f1","datavalue":{"value":{"entity-type":"item","numeric-id":854185,"id":"Q854185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$A228C79A-386F-4619-B3A0-6D377A679F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61afa29a52b80ce20a381b479893296e2110b3f6","datavalue":{"value":{"entity-type":"item","numeric-id":5711186,"id":"Q5711186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$D20A0E27-E1E1-4999-9525-E7D9ED63F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df777ea8ddbd8365692152deb828551e11af2e2c","datavalue":{"value":{"entity-type":"item","numeric-id":5494238,"id":"Q5494238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$65FA3F6B-0A78-451F-AC8E-0C549A3A9869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee9c3f4e0fd1b945a3d3e6b0faf46d835a58813","datavalue":{"value":{"entity-type":"item","numeric-id":2970965,"id":"Q2970965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$AC625FEA-4E49-4762-9062-7500C7E9FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29e1d81ad88274aac99e0e20d074fc60ad0b8ca","datavalue":{"value":{"entity-type":"item","numeric-id":4067103,"id":"Q4067103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953422$4E734834-650D-4B79-B813-EBFE7957FFF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Lopez-Escobar theorem for continuous domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Lopez-Escobar_theorem_for_continuous_domains"}}}}}