{"entities":{"Q4637682":{"pageid":6667263,"ns":120,"title":"Item:Q4637682","lastrevid":58308921,"modified":"2026-04-04T16:10:37Z","type":"item","id":"Q4637682","labels":{"en":{"language":"en","value":"The sequential functionals of type \\((\\iota \\rightarrow \\iota)^n \\rightarrow \\iota\\) form a \\textit{dcpo} for all \\(n \\in \\mathbb N\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6864536"}},"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":"Q4637682$B9438C51-513D-440C-AD69-CC63F5FBABB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ef131c9b4d947ecccd05406c87e9df8f63563b3","datavalue":{"value":"1459.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637682$FC1AB3DA-4C3F-4B84-8809-85EDB97F7282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f2df28fc7ef49726c269bef7950e6c86bcf055","datavalue":{"value":"10.23638/LMCS-14(1:23)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637682$423DEC71-CE7E-4AA9-A7C9-4B980A262184","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88888d4c8b884868b6c5323b4729f3c04ab0a31","datavalue":{"value":{"time":"+2018-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4637682$C6AD2792-10C2-484F-A071-35A4ED5F1C31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5876c148af66104d820d78e66038e9d5173b8d7","datavalue":{"value":"https://arxiv.org/abs/1607.02970","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637682$28E5CFDE-CF07-403B-A5CB-D8D8C83ED32A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637682$358EC7F8-2BB9-444B-9B62-16B6833506CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637682$9BB273A1-FEF5-4E27-848D-74E59D19319D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fd8c8ad700775970a1b6889ec2aefeed11c956","datavalue":{"value":"6864536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637682$5CB32DD4-81A1-449F-98C7-90581050B36F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"febb4b9e33effd4c8891543b3d0c8827a32e6000","datavalue":{"value":"sequential procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637682$4985EC28-19E4-4057-8A10-433D9F1171CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e7230a9a3f61d5e48120aef2f89a0ec7eafa6f","datavalue":{"value":"sequential functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637682$7CA153CC-4399-4279-9501-09544E5FE4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e71755f8a7d6293a4a1bcd70918518c0fca0b4f","datavalue":{"value":"directed complete partial ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637682$E1FCB085-20C5-44A3-B9EB-5CBEE939E249","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$6D6A708F-8EEA-4FF9-91A8-AEC7D0D71330","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":"Q4637682$C609D757-63BB-4165-B8E9-8D314E551154","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$D5B8C553-4AE2-4A4D-B862-68CD7736B8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$E29BCB75-B029-4B80-8C86-DF803F869C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$9A929E12-49A0-436C-9731-0A7405612441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$4ACCED4A-2FDD-4193-AE37-13232304F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$7DF96C03-E83A-4B52-8C0D-DBDC1D7D8F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$098F683B-ADF5-46CF-BDCB-A0DEFA4E1198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ac1661eb67eeb0012804f852b98018c7a9656b","datavalue":{"value":{"entity-type":"item","numeric-id":5481593,"id":"Q5481593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$4033F4D6-E65E-4CB1-8736-79C871EE2CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b9e81c57854ed8b421d6d422021f357f1aae03","datavalue":{"value":{"entity-type":"item","numeric-id":764278,"id":"Q764278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$E325772D-67D9-413D-988B-0BA7D2367ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa1f1e22d14a969b6d4920214406059e190ad35","datavalue":{"value":{"entity-type":"item","numeric-id":599804,"id":"Q599804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$3988B942-674F-482B-8413-9703FEE507A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637682$8D82A69E-50AC-4C5B-93F7-16DC876BC624","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bad571e300883e9b850e811978a10f51c5d194","datavalue":{"value":{"entity-type":"item","numeric-id":764278,"id":"Q764278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28b1199823b63189e263eac76c79f05398085f8","datavalue":{"value":{"amount":"+0.8650131821632385","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":"Q4637682$4684D256-86FC-45C9-A3B1-ECE8CFC863D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e6ae5dd98ba6b97f129e9a3af951dfb31ef315","datavalue":{"value":{"entity-type":"item","numeric-id":1849853,"id":"Q1849853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a88234ff5799d420848d8408666c962e5b7be5","datavalue":{"value":{"amount":"+0.8107613921165466","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":"Q4637682$E0592B44-ED7C-49D6-888C-388D0FDA2165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e239b10eaa6658a00ef4cae0cf45f19aa3af3","datavalue":{"value":{"entity-type":"item","numeric-id":1327380,"id":"Q1327380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647989d290507755016395928bdf778efe2c5c47","datavalue":{"value":{"amount":"+0.8093856573104858","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":"Q4637682$28FD44E8-B5B5-4483-9397-D2380548BD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52a975864c2db44de2dce921c710209b4edb5e7","datavalue":{"value":{"entity-type":"item","numeric-id":5481593,"id":"Q5481593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915465b2188ea76e567daf5725c6af35e12b0c26","datavalue":{"value":{"amount":"+0.7937051057815552","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":"Q4637682$E7C2EE81-9B61-4B05-9944-6CCD0EF9083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee116752d41de64134d22bf3f2c3e076734c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4938567,"id":"Q4938567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc855dd171b279bca672a01f4afc56d919eed050","datavalue":{"value":{"amount":"+0.7750988602638245","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":"Q4637682$C971F71B-ABD3-49E5-A320-9984CC5F1DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4637682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4637682"}}}}}