{"entities":{"Q1725124":{"pageid":1735865,"ns":120,"title":"Item:Q1725124","lastrevid":74319813,"modified":"2026-04-14T19:31:15Z","type":"item","id":"Q1725124","labels":{"en":{"language":"en","value":"On \\(FS_+\\)-domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7023193"}},"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":"Q1725124$49DDE872-7571-495F-92EB-022D742E3615","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b03a181163903f4a58c40d594aaf1dc6fdaa82","datavalue":{"value":{"text":"On \\(FS_+\\)-domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1725124$28BC4595-E4CB-480C-B066-D31887812898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cebea1a91b598d22c71346cb30c1e3b96b70d12","datavalue":{"value":"1468.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$30A921D5-4F15-4F04-9E5B-1D2692B76ADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63269089ac780a9b5c397ec179f80baf56bf86f5","datavalue":{"value":"10.1155/2014/850298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$D9A1E95A-AEF8-44C3-A86B-E2E988933408","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"976ef2e6541917896e60edd6c1e371e004e5940c","datavalue":{"value":{"entity-type":"item","numeric-id":471443,"id":"Q471443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$5C683185-0634-4057-A50E-3649B22E4F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39e26b38218fedb78aa5cf3c4fc2d638fe21e46c","datavalue":{"value":{"entity-type":"item","numeric-id":842759,"id":"Q842759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$80335AB2-A752-4DBD-9F04-70C0CAFD4C40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d57614e948fd3618212cc11761c25c64d9f566a6","datavalue":{"value":{"entity-type":"item","numeric-id":162718,"id":"Q162718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$6A87F221-E92A-4637-964C-851D99D07E20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3988244ea333fe3befee59d428db74e7ba16624","datavalue":{"value":{"time":"+2019-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1725124$5753EBEC-B902-44C2-B7CC-CD1EE070021D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"165080cede43890b619cc2e4acc00b4a8d8fe4aa","datavalue":{"value":"Summary: We introduce a new construction -- \\(FS_+\\)-domain -- and prove that the category with \\(FS_+\\)-domains as objects and Scott continuous functions as morphisms is a Cartesian closed category. We obtain that the Plotkin powerdomain \\(P^P(L)\\) over an \\(F S\\)-domain \\(L\\) is an \\(FS_+\\)-domain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725124$FB3E3A9B-6FD2-44C9-BE39-5D54D0B7C141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$E9DAE79F-95D0-451D-A828-2F69AFF5450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$68A01EF9-08E6-4BD2-97C7-A8389E8EA4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$300F409C-E9EE-4A87-B37D-11A8605CC1F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ce5ab0bee7923d0c83601a718bd7a8a8b3df504","datavalue":{"value":"7023193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$F4D657D2-1287-4187-A466-342476D6A07F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a68bc78133bb6885fb8e6ee414d7d75f537f01e","datavalue":{"value":"Q59042021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$705275C6-0F7E-4B7F-868C-E721F82979B3","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":"Q1725124$158A8CE5-8E7E-41B6-A4E4-D8DEA2BD68CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5f6248ff6471b7e3e9618ee22beb795aa00ef21","datavalue":{"value":"https://doi.org/10.1155/2014/850298","type":"string"},"datatype":"url"},"type":"statement","id":"Q1725124$20E2A0F8-9845-4ACF-90DB-23917FF4D3B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"257f99a59147c56ef800daa1ccd18a3663c47c30","datavalue":{"value":"W1515805148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725124$2E4B2F4D-400E-4F18-A485-382E4880A69F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$EF8A9E4F-D89F-4AB4-B371-873A7155F350","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":"Q1725124$41CEC507-517A-4A3F-B82F-51B199915FA5","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":"Q1725124$2FEA1B77-5245-45D6-835D-64C8EED87E61","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":"Q1725124$F4848FE3-15A5-4201-A80C-14196DAADE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df55d7260f6635a9eb8f700b574404e9c4499644","datavalue":{"value":{"entity-type":"item","numeric-id":265813,"id":"Q265813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$8DA75705-F4ED-4FAE-8B7D-F3EBC829F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff49b0aa543b067b67edd8b6adf982041feba194","datavalue":{"value":{"entity-type":"item","numeric-id":6116576,"id":"Q6116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$D5F8D5D9-15C6-4AEF-8F6B-5EBBF63CC6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3acaf3ff6d4f048b664ed45362d020b6c99b35","datavalue":{"value":{"entity-type":"item","numeric-id":1349652,"id":"Q1349652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$1C267EFE-E813-443C-8E83-D116886FF5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e351f60934b0d907e50e8afc65683d11ba0979c","datavalue":{"value":{"entity-type":"item","numeric-id":5941557,"id":"Q5941557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$819DBAD0-4D95-469D-9528-C6742007DB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db32f35ce8395b31ee230e1bdae9b00d32c7bae4","datavalue":{"value":{"entity-type":"item","numeric-id":1767772,"id":"Q1767772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$DE5E861B-6B64-4178-8264-D0E6EBB2632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf68e222a09ccb8e917d9516a350a95f3ee43f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3818365,"id":"Q3818365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$332AA9EA-7F6F-411D-8704-3BA388C152D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb9fc82470ff8f3b4fc700662e10013cf19b54d2","datavalue":{"value":{"entity-type":"item","numeric-id":3109350,"id":"Q3109350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$AFDB0738-78F6-4AD4-9066-2979321285B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$D61E8193-3CFF-4D92-B5E0-6B98BEAE91DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1273830567b38da5a909fa5ccc0a05a9cfe10bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3812305,"id":"Q3812305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$F0C271FA-A232-4F20-A1D2-8806F0E523A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2a0d5dc7d7f28cff332d3aeec0bbde77a69d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1744465,"id":"Q1744465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf34be23e5847ecf721080b985349957c764d1e","datavalue":{"value":{"amount":"+0.8545711636543274","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":"Q1725124$9EECF973-92F1-4ACE-B066-5336CC7CA322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecac66ea817cbd6874290ccdd6c72849d41d65de","datavalue":{"value":{"entity-type":"item","numeric-id":2064935,"id":"Q2064935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70311bf01d11a401cbb26bf5973bb8803ef58ee","datavalue":{"value":{"amount":"+0.8344622254371643","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":"Q1725124$6819FF39-BC1C-4040-ACD3-35677D3F4FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb20946491292c15a773650248fa25fc5f28662","datavalue":{"value":{"entity-type":"item","numeric-id":2334016,"id":"Q2334016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128ffdff3b6fd777fd8232712e649b69e4610309","datavalue":{"value":{"amount":"+0.8163772225379944","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":"Q1725124$87CC69E3-6E61-461C-A65E-0FE2FE688AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a52e924e20d15f6a70ea23ab71eb3d291dddbb","datavalue":{"value":{"entity-type":"item","numeric-id":3803170,"id":"Q3803170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4732fc66a3fc1a7f3678cd234548846f733abb","datavalue":{"value":{"amount":"+0.8047475814819336","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":"Q1725124$987A3FB6-2D54-42C8-8622-4CA03FB68B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3848405cdcb5925b8a0606f9ee86804f75e3861","datavalue":{"value":{"entity-type":"item","numeric-id":4778399,"id":"Q4778399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e86c69c71524b8016116752e7b8623504b833a","datavalue":{"value":{"amount":"+0.8003717064857483","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":"Q1725124$8FD8480A-BF27-45CB-81DE-5B2C184ECBFC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725124$36FBDD86-89B4-4706-83CA-8D5A8874E05B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On \\(FS +\\)-domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_%5C(FS_%2B%5C)-domains"}}}}}