{"entities":{"Q2253174":{"pageid":2263917,"ns":120,"title":"Item:Q2253174","lastrevid":52048454,"modified":"2026-01-20T20:13:40Z","type":"item","id":"Q2253174","labels":{"en":{"language":"en","value":"Cartesian closed categories of separable Scott domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320750"}},"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":"Q2253174$8F243FE1-8F54-4398-A0FE-2598210162E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9926b91831f79bd3b43707737bd2571c3e5cdac","datavalue":{"value":{"text":"Cartesian closed categories of separable Scott domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2253174$62CC3894-0E4B-48DC-983A-5139E82D657D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917cd9792faa18f05b3d909416d56b35c835cf54","datavalue":{"value":"1360.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$962DF45E-0E5C-4E13-A365-E259BF6732BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$8BDD7259-A7BC-42B1-9A51-93716369EF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$0DC32FD3-88CC-487D-ACA3-7835102F2478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c895e13f6f32b6adbc6f5606bf87874bb4c38f","datavalue":{"value":{"entity-type":"item","numeric-id":1314362,"id":"Q1314362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$0DC6E65C-5FCD-4646-951F-EFD13CAAE67E","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":"Q2253174$0037FA11-C020-4D50-8F1D-57D8C57EC94A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"909f0e97826a0ccd657ee0d4eb1dd9e227371f27","datavalue":{"value":{"time":"+2014-07-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":"Q2253174$DD8079DF-5F31-4B8A-8B40-55DAEB24653D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$FFF3963D-541A-4128-A671-66A313D874CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$DA90B3D1-F16B-4276-A69B-8D7290702E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$C06AC4FC-EFDD-4E1B-9D2B-3464E2FA3525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$61FC6B3F-0F97-4E83-8FBB-1E03BE589A65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99d79c00eb7e0e8ba7e9649372aa82e0151bf2d6","datavalue":{"value":"6320750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$E41577A5-29A9-4A5E-AEAA-46E52CFC3007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253174$39D33A21-2382-43FF-A216-9C2BA6F7CECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253174$204046A6-2E8A-4226-BDC9-9D215E5B3B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253174$71DD54C9-097A-45EC-9249-92D7543C57DD","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":"Q2253174$9BB1FC22-CFDF-499F-904D-F0884FFC8A7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcedb3e31dcdbd1043573b02b3bad63b684e3a30","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.02.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q2253174$F3B5C5D2-5974-4483-B4A5-EDB299A70F62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1459728e2b3762ab63d328253407a8b5eae34b7b","datavalue":{"value":"W2091675243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$98FB9D9B-BC00-4656-B269-26771C1FEA84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb71c236d3e39641e43866697efc299bd53b303","datavalue":{"value":{"entity-type":"item","numeric-id":4083399,"id":"Q4083399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$666A95AC-A1B6-4B0A-8001-6A1FDB7E01EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$7C8F8C75-6A7D-4FB1-87E7-93A54D993B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$E6838F25-F3B3-44E8-8E3B-A74CA2ED00B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$1DAFC457-179A-4D40-9887-3ED8B903B4B5","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":"Q2253174$1E55B946-39DD-4CCD-9FF3-3D4862F172C3","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":"Q2253174$F2D926D1-B98F-4D84-91C2-D979910EDAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$8C1DD88A-3210-4C71-AF55-461F286A2883","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":"Q2253174$8CA91E8E-2AD9-4DA4-8F9D-4935DE8F36FD","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":"Q2253174$D6B218B5-5F35-4685-8297-D6789719B24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253174$DE4D75C0-2283-400A-B5F3-6054600C2100","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0f5bb5b5b0032f207350db874aff4b0ce3e983","datavalue":{"value":"10.1016/J.TCS.2014.02.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253174$4F87A548-DA30-4EE5-8C7E-E143427A080A","rank":"normal"}],"P1643":[{"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":"572bb508ad0e3237f1b350a80debd9346a77bb68","datavalue":{"value":{"amount":"+0.817395031452179","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":"Q2253174$FFCA9D23-1829-4EFB-8791-3A4ADFC2326E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93828864d88be8dd239857e7df55f4cc76452595","datavalue":{"value":{"entity-type":"item","numeric-id":2486012,"id":"Q2486012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c78b9da50a50bb0ab3524e2f9d7d3e09a31ab73","datavalue":{"value":{"amount":"+0.7928318977355957","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":"Q2253174$3EACE826-B906-47CA-910D-8BDF493FB2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbff95c1b0bed0e6103a4eabcd1acfd22d15c99","datavalue":{"value":{"entity-type":"item","numeric-id":2486008,"id":"Q2486008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3baec9b703f534d9eaefedbe916e0ceb1792d4a6","datavalue":{"value":{"amount":"+0.788250207901001","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":"Q2253174$9E5F6AE9-B5A0-4469-8405-FF050FA38C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70ef43849b69aa59f63a829f73c464f6c3cf71a","datavalue":{"value":{"entity-type":"item","numeric-id":1686201,"id":"Q1686201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2193ac9f880f5a24275f6ef1a7c908737321031a","datavalue":{"value":{"amount":"+0.7861912250518799","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":"Q2253174$145001E2-B81C-49AB-B1A0-D93ECE6DE6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5554059cb485c933ed0a87f49cfb4e1212c400b0","datavalue":{"value":{"entity-type":"item","numeric-id":2402273,"id":"Q2402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e8da4620b1288e113005874ff758dd08cddfd9","datavalue":{"value":{"amount":"+0.7859340310096741","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":"Q2253174$CEE05CED-062D-4F8D-8CAC-D25A2699F9C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2253174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2253174"}}}}}