{"entities":{"Q4675770":{"pageid":6705351,"ns":120,"title":"Item:Q4675770","lastrevid":48479500,"modified":"2026-01-04T23:01:18Z","type":"item","id":"Q4675770","labels":{"en":{"language":"en","value":"The largest Cartesian closed category of domains, considered constructively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2165874"}},"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":"Q4675770$79B8C8CB-B8CE-4912-911C-76C10C4E6B82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c08aee09ce6f2eb4886c48a69fe2c3beed9c8fa6","datavalue":{"value":{"text":"The largest Cartesian closed category of domains, considered constructively","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4675770$1B4BB4DD-CCC8-45E1-9524-B705C9DEA90A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bd5e1d0e1b9e817f30004a07cb6b894b0c3a333","datavalue":{"value":"1080.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$4953B18F-44DD-4CBE-A736-7D6F3FCAFB9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061c8d9acad6238a076f3d8a7c08f8aa82f3cdb1","datavalue":{"value":"10.1017/S0960129504004591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$32E07F3B-172C-4CCC-AEA2-CE754E3ED976","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4675770$DD1F7CA7-E3D1-4F85-BB69-A5BC85BE7036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de645e2948eadff22b7addacb81589fb1ed3091c","datavalue":{"value":{"time":"+2005-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4675770$5D49B92F-BDD2-4744-BAA1-FC0B02AA3BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$47B86CBA-B3E8-4240-8FAA-320128A4C180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$B7AD42B8-7B1B-445B-BD0B-1ADBB31CF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$E4AECD85-4FDA-41D4-953B-4FD35080EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$82EC99C6-D511-485F-AB86-ACF3B2ECB297","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2f535d1afadf813af65a3ff028e9b9ddb4eef5a","datavalue":{"value":"2165874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4675770$4C162DF0-B125-40BC-8F8D-AC4488B379AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$9F75D214-BD11-4A55-8684-7FEE7D419943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6035a16537763dd93460588799563c5c32081ec0","datavalue":{"value":"effectively given domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$18F5C8DC-98DE-42B8-B724-1536D95CA70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68b160c1055baffddf2cb6444ce7ca11fb36289","datavalue":{"value":"effectively strongly algebraic cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$CFB0A8BF-E7A8-401A-9B55-4659CEAAEB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353e4ef4a1cfc2f9bbe0902a7fbd4a088f405b54","datavalue":{"value":"effective SFP domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$CD054C6D-CA34-4A7A-8806-E9A95F5F4165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35a549c668a3600f8f7f19c6d885a450d900e975","datavalue":{"value":"completeness test","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$438D375A-F903-4A7C-9687-992A6C476C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb52c0db97ee8dc054ac82ec8c42068f3ac5376","datavalue":{"value":"constructive domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$A4B1EA7D-F6FE-4AE5-9374-B5A82BE086FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0480b65466364b511e84d01f67bd8cac3ac8a2","datavalue":{"value":"\\(\\omega\\)-algebraic cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$F566F1B5-2212-4ED4-9FD7-F3B4B8AF0269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a9e1e62fde1375f187daf87c97cc7f7a7d364","datavalue":{"value":"Cartesian closed category of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4675770$4F9725C6-0485-4EA9-A12A-7E88ADB430CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b1b744ece9c7e2a025b6f03ab954d3ff7eeb47","datavalue":{"value":{"entity-type":"item","numeric-id":582907,"id":"Q582907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4675770$5C44AA36-08EA-49A9-B9E9-11AD4F2E21FA","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":"Q4675770$62419F14-3699-4CAF-8281-A70D448FB603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32453cfd28a61b10b42b76261a51eb1a528e270","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625dd8a394aa4d612323581c96902a343eaf9c94","datavalue":{"value":{"amount":"+0.883450448513031","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":"Q4675770$D9FFC9E6-8649-4711-8CED-60BE94EE6DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6848f268bb214de516b074165c55cba8f0e24a","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd595cf97df37c7750c68c7b39e48483c8b1e14","datavalue":{"value":{"amount":"+0.8398851156234741","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":"Q4675770$7270FE4B-6B0B-4FBB-8040-F63853A1B86D","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":"7f0743228f86f1f26efd29eb2bd04966dd1e6711","datavalue":{"value":{"amount":"+0.8344131708145142","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":"Q4675770$A248CF6F-0BA9-4087-B1D6-E56F7AD3C509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f84f65bf3055dd5ae9b87b1343975fa22cc7bd7","datavalue":{"value":{"entity-type":"item","numeric-id":276408,"id":"Q276408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fe26b6fb23134874a7629a0d8f4a0d9c990eac","datavalue":{"value":{"amount":"+0.8265315294265747","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":"Q4675770$62FA267A-C943-4AC3-B468-1715CA41CE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7a7319ae84ff0569b9ffe95d93c6172411f2e7","datavalue":{"value":{"entity-type":"item","numeric-id":517047,"id":"Q517047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6e2943c95f88da749ca556b11397d96fc6862f","datavalue":{"value":{"amount":"+0.823003351688385","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":"Q4675770$0BEE1B48-AB1F-4F94-98A8-B7F4AADF2FA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4675770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4675770"}}}}}