{"entities":{"Q854185":{"pageid":856033,"ns":120,"title":"Item:Q854185","lastrevid":64846245,"modified":"2026-04-11T22:37:24Z","type":"item","id":"Q854185","labels":{"en":{"language":"en","value":"Towards a descriptive set theory for domain-like structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5079016"}},"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":"Q854185$23C5F793-C03F-479A-B4FB-7D5BB2F4F3BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d37cfd1dd187de89fcbddfab5c610be0e7c6e29c","datavalue":{"value":{"text":"Towards a descriptive set theory for domain-like structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q854185$4F4AA6CA-C29D-4845-AA43-FC149DB5D5F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3dc63c95637137894806137c86de4d0af0f49af","datavalue":{"value":"1108.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$A1628542-A81E-4567-9233-D4E3CE31037E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$8EC44FC6-9E18-49F5-B071-33B046966CE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f69fd7e33e5959021461630cbc83478a74a6768f","datavalue":{"value":{"time":"+2006-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q854185$EA80B25D-BCE5-4051-AFEC-B1B5DAADA5A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47e68562da238f7f7716788d58b88759aafa3c64","datavalue":{"value":"The classical descriptive set theory classifies definable sets and functions in Polish spaces. However, in some areas of theoretical computer science various classes of domains play a~prominent role and definable sets of different kind are important in many cases. The present paper is a~survey of results in descriptive set theory for domains and similar spaces. The subject of the paper is still in its beginning; therefore the author discusses in detail several open questions and possible future developments. Note that all interesting spaces in domain theory are not Hausdorff, and consequently not Polish. Let \\(X\\) be a~\\(T_0\\)-space. For \\(x,y\\in X\\) let \\(x\\leq y\\) denote that \\(x\\in U\\) implies \\(y\\in U\\) for all open sets~\\(U\\). The relation~\\(\\leq\\) is known as the specialization order. If \\(p\\in X\\) and the cone \\(O_p=\\{x:p\\leq x\\}\\) is open, then \\(p\\)~is called a~finitary element and \\(O_p\\)~is called an \\(f\\)-set. \\(X\\)~is a~\\(\\varphi\\)-space, if every open set in~\\(X\\) is a~union of \\(f\\)-sets. A~\\(\\varphi\\)-space~\\(X\\) is complete if every non-empty directed set~\\(S\\) without greatest element has a~supremum in~\\(X\\) which is a~limit point of~\\(S\\). It is well-known that every \\(\\varphi\\)-space is canonically embeddable into a~complete \\(\\varphi\\)-space. The main results of the paper are stated mostly for complete \\(\\varphi\\)-spaces with countable base. Such spaces correspond to the so called \\(\\omega\\)-algebraic domains. A~\\(\\varphi\\)-space~\\(X\\) is an \\(f\\)-space if any two finitary elements in~\\(X\\) which have an upper bound have a~least upper bound in the specialization order. There are two traditions in the terminology of domain theory: the first tends to use the language of partially ordered sets and the second, used also in the paper under the review, tends to use topological language. The material of the paper is divided into several sections. The second section follows a~short introduction. The main results of this section concern reflective spaces which in some sense resemble the structure of fractals. Important examples that are useful throughout the paper are introduced here. In the third section the notion of effective \\(\\varphi\\)-space is introduced as a~pair \\((X,\\delta)\\) where \\(X\\)~is a~complete \\(\\varphi\\)-space and \\(\\{\\delta(n):n\\in\\omega\\}\\) is an enumeration of all finitary elements of~\\(X\\) such that the relation \\(\\delta(x)\\leq\\delta(y)\\) is computably enumerable. A~short discussion of this notion of effectiveness follows. The fourth section is a~discussion about the Borel hierarchy in \\(\\varphi\\)-spaces. It presents basic results on the length of the hierarchy, reduction and separation properties of particular classes in the hierarchy. In the fifth section analytic sets are introduced as results of the Suslin operation~\\(\\mathcal A\\). Only a~few results of classical descriptive set theory are known to hold also for domains. The sixth section is on the Hausdorff difference hierarchy of Borel sets, the seventh sections deals with the Wadge reducibility for arbitrary spaces with emphasis on the \\(\\varphi\\)-spaces, and the eighth section presents some results for \\(\\omega\\)-Boolean operations. The last, ninth, section presents a~discussion about the applications of the domain descriptive set theory to classical descriptive set theory, applications to computability theory, connections with computability in analysis, and with infinite computations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$B61B4BCA-A210-44F6-8777-803C35BAAD95","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$4E02F90C-DD11-4BB4-BF6C-35AEF14DC866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$FB9A546B-564B-48BA-B04E-8E48A3D83178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$CCE88E9E-E8DB-42E8-979E-2FE066B564D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$81629E8C-A246-4F89-9490-A16D39D51261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$966A31CC-EC9F-44BF-9FB0-F60F75E6BC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$1D2B83E2-D2A4-4DEC-9B8D-9C513DA6BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$4AF6CE52-1CF8-4155-9854-FDA93E8E8888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6264147aaba808a1f06c70527feabe9aac4231ea","datavalue":{"value":"5079016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$5ECDEA23-84BB-42E1-ABDE-3B19183B055E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66519391ea9a1978cb8c59756587a65be2897a22","datavalue":{"value":"Polish space","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$A3C05A28-6A2E-4772-BEA9-C2479E18047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d0013968573c109cb10c8a6598b2c8b654fd167","datavalue":{"value":"\\(\\varphi\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$2821B27D-1FA5-4C98-BE8E-8CA0C166BFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2628edddf8b2f017c5f6914f85b9c5497fb1f2","datavalue":{"value":"algebraic domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$4EF6BD72-8CD5-40B2-AF82-5B64097089BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e181249b7c5d995563470ebff25151a983eaf0","datavalue":{"value":"effective space","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$1A6D3D75-1BF4-4DF5-A5B7-E7DBD8B3FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$3042FCC1-E9AD-46CE-A832-F287C103E345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ff38c6fecc3f268756eed49e96f722f677a671","datavalue":{"value":"difference hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$59312648-BAC7-4206-BDFC-1C050D6CB68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcfd515a7f257fc7f27576f8bf9c3e2f5be75e4","datavalue":{"value":"Wadge reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$9D78FBAF-4A23-4DD0-A8B8-3416AF35811D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaeb98b9229560efeae520e6b7702e3218b0c66d","datavalue":{"value":"\\(\\omega\\)-Boolean operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$488D454C-022A-499A-AD3A-59649CEB3D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q854185$B7CE5F4C-AB10-482F-B1DA-E0653DC31EE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$91545145-0E34-42E2-B263-DC4C57157AE0","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":"Q854185$DACE8942-D39C-47F2-9176-E77FF9FB6AD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7281b2dd0d55a816e8964c8a6951eceb64bcd217","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q854185$BB66277C-015E-4035-8F25-4B3126AC1C7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecabbe4c0527e786b5aa2cf908f83a0253d5ef13","datavalue":{"value":"W1967960259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$6CDB6CF5-CDF6-4278-9345-CA7E6B09DCAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"576aa98f5fb941be7bc0bdcbf6e8b4f66d65aad8","datavalue":{"value":{"entity-type":"item","numeric-id":1885034,"id":"Q1885034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$5D576719-44F4-4AC9-8DEE-44F80F598843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907b2a1be2c9970130649439b8afde0595f74dba","datavalue":{"value":{"entity-type":"item","numeric-id":3159400,"id":"Q3159400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$7E81C159-454D-4942-980D-006CD040129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02960b94a6d4709e2741b174b4dd60e299971e78","datavalue":{"value":{"entity-type":"item","numeric-id":1401159,"id":"Q1401159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$A17956FF-8F48-42A2-BB30-08AFA8A49429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85de1eb0584e53e95f8c1038b42b61cb411b4478","datavalue":{"value":{"entity-type":"item","numeric-id":1210539,"id":"Q1210539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$1E3CC363-61C2-4876-8D43-899B72FEB275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30fa5cb203dfa828e9c57936177288f1a5c5f64","datavalue":{"value":{"entity-type":"item","numeric-id":5619077,"id":"Q5619077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$47DC99C0-923E-4CCC-B44F-47ADC7D408E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6221d271a31098a11e26449b8d0e3c592d39a59c","datavalue":{"value":{"entity-type":"item","numeric-id":1844827,"id":"Q1844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$A1A56F5B-3AA8-4C94-B1C2-4F0BE16B1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf201fde44655e64d588156b950e69b96b2642f","datavalue":{"value":{"entity-type":"item","numeric-id":1214177,"id":"Q1214177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$9218CFE8-E999-400D-9E8E-73898888F819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$E94E3D1E-70CC-473E-B8B2-5DFE81F10917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da92b26b85f6737e55d5cc004ea787c9e3471a63","datavalue":{"value":{"entity-type":"item","numeric-id":4111546,"id":"Q4111546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$52EBE47A-06A4-4E69-98D7-87252BCDB442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131f1ec194955db3745f32dac4f962a8bc7455a2","datavalue":{"value":{"entity-type":"item","numeric-id":5717031,"id":"Q5717031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$115E248C-C5D3-470F-85C3-5C9B3512ED38","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":"Q854185$6F9C0666-5D1B-48F7-9842-662F87A35D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef73dfe57673f2195dd9bcdcc148dfe39d2c1ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4773695,"id":"Q4773695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$8D880D8F-0692-43C0-B867-D734478364EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c069be813ae255087dd36d8d2a803a8552593f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3870881,"id":"Q3870881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$5866A74B-1CB8-487F-ACAE-5178A6365B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4f6dc1375cfae34b23c04155a79358cefd178b","datavalue":{"value":{"entity-type":"item","numeric-id":1607294,"id":"Q1607294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$183D21D2-A7CB-438A-93C0-7FEB2FE88C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63d927efaac4b492e8c1ac51649f01b8117c374","datavalue":{"value":{"entity-type":"item","numeric-id":4798203,"id":"Q4798203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$3BDBDDAE-179D-4C7D-9B5C-161FAB493EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5f21bc1af42cc2412541d22b52eb23c9575fa2","datavalue":{"value":{"entity-type":"item","numeric-id":818930,"id":"Q818930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$9AB0B06C-BA73-4213-92A4-3D8EDD30D8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$303DDEC6-4AE7-4D4B-8831-3657A439B416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060505c5db6eb45a05e7e2670364e38838a4c352","datavalue":{"value":{"entity-type":"item","numeric-id":2576578,"id":"Q2576578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$2D2B78C1-F304-45DA-ACBB-6AE39A129A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9c50a23146aa822969b0567ed973a93db368b5","datavalue":{"value":{"entity-type":"item","numeric-id":2863878,"id":"Q2863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$7B0984B4-2134-4393-98A4-E38270725D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bcae1e98e85f39f21100a59c49a0c6f6eb123b","datavalue":{"value":{"entity-type":"item","numeric-id":4818935,"id":"Q4818935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$5B77D36D-642F-4AE4-9C94-FB227453260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b719634961c6c79bb2d2aa438cbcd641dc4aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4481674,"id":"Q4481674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$A9697DA5-1D6A-4157-A44C-0A0BA4A7E907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$F8D804E9-B927-4E7E-A032-4DE30EA61D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f5eab70966b236525b2f1469660bcdcb8468d4","datavalue":{"value":{"entity-type":"item","numeric-id":5541833,"id":"Q5541833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$1E969079-C197-4C42-804C-33C117FA7187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dc0b7eb984aadd5f3a39bfdb6b5ac7f5ac023","datavalue":{"value":{"entity-type":"item","numeric-id":5549798,"id":"Q5549798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$E122789B-B829-4D86-8166-9D278F9D1562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d170e195c4e3b1dd66a5b9d1f5ddf26571dffe3e","datavalue":{"value":{"entity-type":"item","numeric-id":3480028,"id":"Q3480028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$0CB22FD2-DEA5-44BE-8411-D871F0CA03C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$BB6CCBE7-9D6F-4D41-8675-0BEC3DB52885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$0014D1EA-ECA9-4F4E-948F-9E5323814E28","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":"Q854185$C5BCA2D0-AD27-447F-A6AE-0C1D3A7EA9CD","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":"Q854185$5DBAC133-C640-43C7-BFAE-960AF4CA42A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca378abfb8f989c1bcaa19485230ae33868cbe1","datavalue":{"value":{"entity-type":"item","numeric-id":1258731,"id":"Q1258731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$FC3B57C1-9BB2-4762-8C50-477640E8E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45fae366a99448f64b7616db1459c0eaa79bebde","datavalue":{"value":{"entity-type":"item","numeric-id":1150612,"id":"Q1150612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$EC7762AF-6105-4742-A099-005969366DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6328ed7cc12dd769feb798f2e756df2011046ecf","datavalue":{"value":{"entity-type":"item","numeric-id":1062048,"id":"Q1062048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$B1CB5884-A29D-4950-B607-B7139396FD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ff66c9ffc1716af9f9ee7acaaec5eb3b0bc506","datavalue":{"value":{"entity-type":"item","numeric-id":3671954,"id":"Q3671954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$24FC0F3E-38A6-4660-8841-490893A5CA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b1ca21f91980a74a754cf614ac58363c8a4b15","datavalue":{"value":{"entity-type":"item","numeric-id":3734385,"id":"Q3734385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$98F2A36A-3021-47E1-A8EB-C255883F5AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c34ba277138ab8da32b0cca7027fbb7374217f","datavalue":{"value":{"entity-type":"item","numeric-id":1068818,"id":"Q1068818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$4B5DE5ED-3BC2-4A20-8ED0-64D685685B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c31347e0874bf4f234db4b820417cb5d89c234","datavalue":{"value":{"entity-type":"item","numeric-id":3538855,"id":"Q3538855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$7951E6CF-6125-439B-AE5F-8A33B3FF1164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f45ed9d579b31edaa88cfa0c455d686d74db092","datavalue":{"value":{"entity-type":"item","numeric-id":4836056,"id":"Q4836056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$AE0C7E87-B49B-4386-8664-4946D827D411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14f3963fc983dea2381fac9cdd7e7287f43b5d1","datavalue":{"value":{"entity-type":"item","numeric-id":5096737,"id":"Q5096737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$AF892857-A6C5-4607-8CD2-9B2D9C1F1718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1874f2b184e5addb0c03d6629032c1967bd5231d","datavalue":{"value":{"entity-type":"item","numeric-id":1127312,"id":"Q1127312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$1DDD58A1-0EE7-4A37-AC42-59D0D0C8E05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fa74a41ccdf9ebfefbda9e877effe85b133b5b","datavalue":{"value":{"entity-type":"item","numeric-id":4462679,"id":"Q4462679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$DAEFB1A9-783A-40FF-81F4-51FC00511001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae3569d410ba35662bbc1f61cfb3c35b409d862","datavalue":{"value":{"entity-type":"item","numeric-id":4664632,"id":"Q4664632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$865F99DE-483C-4A9A-BEF0-DC635D8587BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b307bb004a7bff74649ebd08e96358cf18363eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4664635,"id":"Q4664635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$E4919114-167A-4BE8-9B02-139BE89803B8","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":"Q854185$F93871E9-2C40-4FDF-9064-8E2018DD03B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cac422912f957d4a1c30997891705841ad223c","datavalue":{"value":{"entity-type":"item","numeric-id":5476786,"id":"Q5476786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$3163BBE6-331F-4378-85BA-87F79452A345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9157e6f8e58dec33bb0c62629fbc5a71076b113","datavalue":{"value":{"entity-type":"item","numeric-id":5393766,"id":"Q5393766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$103C8F82-E683-4041-A3A6-666A92C052C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8864c40e183380361d5854ff466359e1bdc3b95","datavalue":{"value":{"entity-type":"item","numeric-id":4391431,"id":"Q4391431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$2A46D21E-5216-402E-80A8-D6AADEEA7FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33aac42b6bca6748503581803d2df9bf6b2d0b99","datavalue":{"value":{"entity-type":"item","numeric-id":3030812,"id":"Q3030812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$90AA4F75-67B3-454F-BBB4-2006FF417DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$478F5744-1160-4DFF-962F-48E6959B4693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97372ac11d5b6182fbe0520e1154ad0cee4ab6e0","datavalue":{"value":{"entity-type":"item","numeric-id":1157698,"id":"Q1157698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$6444A188-376B-46CB-B14B-33DD6FF6FD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825f59c50443b8e1f780c38eb90ac167b3d0a5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3914988,"id":"Q3914988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$6D13B32E-9899-406C-A499-8EC0D26D7AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$ED8A0E0A-AAEA-440B-9524-3CAD07663F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896c25f6c55b09e05c4f3a50b2aacee735c6242c","datavalue":{"value":{"entity-type":"item","numeric-id":4659543,"id":"Q4659543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$208FE7D3-2023-4557-A782-73C381560209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$167827E8-481A-4858-B035-061311FA888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cab8e9a607f9a4cfec39cad66f284bc668b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1802069,"id":"Q1802069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$5807C5E8-4815-45AD-B76F-92D17C59EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854185$F2415338-388B-4A93-A46B-872ED16ABE82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e22a05b9a1be070ccf38fae257a6301027a37c2a","datavalue":{"value":"10.1016/J.TCS.2006.07.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854185$392E6128-7590-44EB-9908-5A05E78A560F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f063897347fcd45ed39f0413141b315cec2326","datavalue":{"value":{"entity-type":"item","numeric-id":3195711,"id":"Q3195711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce51d629d001d3ab20d62d3b8420e6fa952d4e5","datavalue":{"value":{"amount":"+0.8983726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$3830E808-0D34-4847-ACA3-4B11F23B8081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9d6602121664f50b1e3bde58776697d149642b","datavalue":{"value":{"entity-type":"item","numeric-id":3433173,"id":"Q3433173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff180631a6e7da8854b23bf8fb75e380acacc98","datavalue":{"value":{"amount":"+0.891363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$94BA773C-6CE6-4B4A-BBA6-CFB0F84BFDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa87ea6008cd0f9998c77d12cb41e7419b1c5a73","datavalue":{"value":{"entity-type":"item","numeric-id":1210138,"id":"Q1210138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bd243684c0480ef44c5e57b6ffad5016977309","datavalue":{"value":{"amount":"+0.87624514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$FB094486-1643-485E-B4C3-675538F83797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4470b9e4aa1d9a22ae2b0cafa3aece6b1ffd6982","datavalue":{"value":{"entity-type":"item","numeric-id":1110505,"id":"Q1110505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36aa766c173db83383cc6e8c8f8e555b6620c49f","datavalue":{"value":{"amount":"+0.8754447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$30FDA297-C29E-4622-A108-63F432084032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf97e51f9829de72e6d1326007ce48f7c3535745","datavalue":{"value":{"entity-type":"item","numeric-id":4694225,"id":"Q4694225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4843c4e87d492bc2671c4b031bd2f8d557d4446","datavalue":{"value":{"amount":"+0.87541145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$3E2D8205-EB7E-460A-B95B-39973D378EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e07c8fd398ca33ae457aef7f6689ea143a5950","datavalue":{"value":{"entity-type":"item","numeric-id":4262602,"id":"Q4262602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20333776e33350384b52ebdb53f0f9db25ef4009","datavalue":{"value":{"amount":"+0.8750979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$821CCAA4-721A-4583-B645-4D9346617C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b472fb7eb80efa09fd17fdbefd29c93148b3055","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73ac9e43f2b93319bff6bc96ecf62cae582fda2","datavalue":{"value":{"amount":"+0.87125003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$CFF0558C-388A-43F8-A28D-0348796C65C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91ee07caca0b51b8321b8b2f2319152b97bd21c","datavalue":{"value":{"entity-type":"item","numeric-id":1706399,"id":"Q1706399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96725c893aba63ee2742495d2b3a2bb6513522e2","datavalue":{"value":{"amount":"+0.86945254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$CA0D002E-D8BC-4F6B-B66D-CD9E1C378FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae1c3376e2845561a553b5686019b4412066580","datavalue":{"value":{"entity-type":"item","numeric-id":2925669,"id":"Q2925669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886bf2546e5d6788b99ff61a9a91aa86ccc0ddcd","datavalue":{"value":{"amount":"+0.8687438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$C3D4882F-A4C0-4BAB-A93F-3183E34BB592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7852fdac94430b1af0b25f453d22296d357b7775","datavalue":{"value":{"entity-type":"item","numeric-id":4458917,"id":"Q4458917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3091edfc9213c49e4d4a5e99fe661fa27ba16371","datavalue":{"value":{"amount":"+0.8675838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q854185$19CC4A46-88C4-4FD2-ADF3-3CC354D3CBD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a descriptive set theory for domain-like structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_descriptive_set_theory_for_domain-like_structures"}}}}}