{"entities":{"Q1029607":{"pageid":1031455,"ns":120,"title":"Item:Q1029607","lastrevid":69457755,"modified":"2026-04-13T07:07:56Z","type":"item","id":"Q1029607","labels":{"en":{"language":"en","value":"A Priestley sum of finite trees is acyclic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5577703"}},"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":"Q1029607$C73B48A8-A458-42A9-996B-F3664FFBAC3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67709a6f4e6266f2bea2808f3cc21e3723c23c56","datavalue":{"value":{"text":"A Priestley sum of finite trees is acyclic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1029607$F52B8DD3-9E47-4E7B-A01F-633B22AC87F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fd8e1f27d0cbed17bfda9b53232d866c3cea57c","datavalue":{"value":"1190.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029607$AEC39F85-AB87-4F80-B4D4-0C126083D74B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8978c34b34784de614de4ef62e5765f7a01a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":283253,"id":"Q283253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$3FA1A4AE-516C-4491-B76C-33C3407B7B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d12c6860773e4b7465f098c35b7f1d608a627517","datavalue":{"value":{"entity-type":"item","numeric-id":409253,"id":"Q409253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$12B3B75C-947F-49EC-A240-9BF8B58B5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ec4988b2740deb3f4f56ca53450b3e354afa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1141149,"id":"Q1141149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$68100D2B-9E97-44DF-966F-48FC13F9DF57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$CA7FA8DE-E183-426B-98DF-1591C4B9038B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aef27df63d897c05e3e55e2b62ec0c5d7594965b","datavalue":{"value":{"time":"+2009-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1029607$A03F318F-8591-4D5C-A2E1-55AFE476DDD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"639615547ad2aba771b39ed57ee0fb603e78de8f","datavalue":{"value":"Priestley spaces (= ordered compact spaces) have coproducts corresponding to products of bounded distributive lattices. The order structure of these coproducts is not yet fully understood. The authors prove that a coproduct of finite connected acyclic Priestley spaces is acyclic. (Cycles are meant for the ``predecessor or successor'' relation.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029607$24EDA5CE-E3F7-4C01-A643-99EAE7F3594C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029607$CF1B00C2-C6AC-4F51-B431-792BEFD9CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029607$C4154B87-CC2B-4151-AC65-4800BC00AF35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc088c4b19a56bbe1b32272457cf2890957f3581","datavalue":{"value":"5577703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029607$C95A8F9C-C172-4914-B618-060EE8952430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029607$48B2343B-33E5-4120-806A-D343BA86B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5374d6381d8d140e3843583e0e15bce148c51efb","datavalue":{"value":"bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029607$95E9B813-0193-4DA7-9324-5F6FB5FF7E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029607$964B8EF1-BA40-471B-8488-CFC3C3E875C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93358a4588e9eb8de0360f7dc9dc814c25f381e8","datavalue":{"value":"acyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029607$8FB24D68-ADA3-473B-B944-B05F61E742E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$48AB8328-B48C-42D3-8943-326E8C79EC9A","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":"Q1029607$F3DAAFD7-E9F4-4B4C-B494-110531089F71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a85dc248fa31ffd0386b5c65961536a6424680c","datavalue":{"value":"https://doi.org/10.1007/s10485-007-9118-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1029607$1098EE6E-1F75-4BE8-9109-669767D89D08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df208c0f5aa12ea17b90eb73d9141d563bb0b9bd","datavalue":{"value":"W2060727642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029607$9B2A0792-9538-446C-BA16-ED00BCA0309A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b179384817de04cfd57df5815992f84d1710d735","datavalue":{"value":{"entity-type":"item","numeric-id":4826147,"id":"Q4826147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$E7EA4711-60CC-4A5F-97A9-2C3C629E0269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c63cebe434e5d88dc2830cab977214b6987f812","datavalue":{"value":{"entity-type":"item","numeric-id":998769,"id":"Q998769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$D1BB2973-3814-4C3B-B65A-221199873858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e176b52e5cefdf5d26dec7425bdbb03bd067f61d","datavalue":{"value":{"entity-type":"item","numeric-id":2487461,"id":"Q2487461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$38BA36DE-AC3B-4DE4-A357-345590304CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bdc8d00e9e6f0068d77b77702021793acb871bd","datavalue":{"value":{"entity-type":"item","numeric-id":3417719,"id":"Q3417719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$2433BB10-0A84-4EEC-BC94-1139D6DBB9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a92d36e17a68f32680de98aa5fcc84e86c0c46","datavalue":{"value":{"entity-type":"item","numeric-id":861596,"id":"Q861596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$90FEA1AA-726E-4BDA-94E5-9322A4CC8848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$EA455A44-4AF1-438B-BA73-C3D813BA2401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7580ea51569033ff02ecaeb005196338e2e75b","datavalue":{"value":{"entity-type":"item","numeric-id":3994023,"id":"Q3994023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$9245483D-82EB-41D2-8505-FC7C9D46FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$62365DE5-F8CC-4DBD-9F5E-991327CFE725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029607$81473CE2-DD35-42F7-812E-B54771A171A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db963225b4d8f71a4e593eff7b8b885084a1848","datavalue":{"value":"10.1007/S10485-007-9118-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029607$5E6BB0DD-DDC8-4B0E-A763-0B91BCC377C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5972ceee87b62bac3f8570fa0879b10ab95955","datavalue":{"value":{"entity-type":"item","numeric-id":2390521,"id":"Q2390521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe28feca370cd4f7dde01dc5fe01069b223848e","datavalue":{"value":{"amount":"+0.798931360244751","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":"Q1029607$43BD5CF4-31F3-4304-B334-102920CA5DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2425000c30dadc478bf1fd62dc7b9f04ef7669da","datavalue":{"value":{"entity-type":"item","numeric-id":535095,"id":"Q535095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d06f47c45bc1e0d44d87186ee15aa405d62777f","datavalue":{"value":{"amount":"+0.7751152515411377","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":"Q1029607$BE3F80E7-F98F-4D73-932F-288A43274C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0886b781517ebfc9ab796f650ad15cb35d44d8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2487461,"id":"Q2487461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94075442e9cae207d871e777953e6b95b921e79","datavalue":{"value":{"amount":"+0.7476571798324585","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":"Q1029607$42DBE706-B28A-4FB6-806B-8AC18AAB5715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9882d79993efda56655212c5e78f2f2a04f06b02","datavalue":{"value":{"entity-type":"item","numeric-id":3476856,"id":"Q3476856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b404c818cf9e28894da46e156d50f29a57e716e","datavalue":{"value":{"amount":"+0.747626781463623","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":"Q1029607$D5452DF6-9890-4B29-BB37-D2A64D38E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3860a31fd661317422875344e9ce0ea228439286","datavalue":{"value":{"entity-type":"item","numeric-id":3994023,"id":"Q3994023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54e9fa3e5331216987dcb4dfc10137c1b33f038","datavalue":{"value":{"amount":"+0.7406132817268372","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":"Q1029607$936E2DB7-87F6-4AE4-B72B-852C30F806B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Priestley sum of finite trees is acyclic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Priestley_sum_of_finite_trees_is_acyclic"}}}}}