{"entities":{"Q6854419":{"pageid":20623156,"ns":120,"title":"Item:Q6854419","lastrevid":84263042,"modified":"2026-05-14T09:00:02Z","type":"item","id":"Q6854419","labels":{"en":{"language":"en","value":"A profunctorial Scott semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163128"}},"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":"Q6854419$D4F2395C-12AD-4D01-98F2-24675C475AF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"648e9cac40824b6a7b11160b4982172d662545ad","datavalue":{"value":{"text":"A profunctorial Scott semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854419$52DC3464-5C3A-4C60-9B5E-CD80DB7FAD2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb5c85bbf4a086cc311bbce085a0684649060ad1","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854419$A8C402FD-D021-4314-8B66-22D58EA3D51F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a30742dd4a47212a07407dd9280466866fd78c2","datavalue":{"value":{"entity-type":"item","numeric-id":2173709,"id":"Q2173709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$6CC293D0-4B3E-47F8-83A3-025B2A4A5A61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854419$59B7C5F5-4532-4A85-95F6-14261B28CBED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854419$EA1E8218-E073-4E4A-A768-896D677576B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854419$6F320DAA-3A40-48F0-9C9B-9BE7B4247210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854419$BB0B5CF9-1D7D-4142-9DC3-4FA01887FE75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8ade6d19b4e15301d70c9d5ddaced640b468a76","datavalue":{"value":"8163128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854419$0B7BFF2F-A783-433B-920C-84E19B00F546","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":"Q6854419$CCDFF6C8-0846-49BC-9261-341C6A469A3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854419$DF57D5D3-8D89-4BED-AB55-C52C5EBD390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"501a28468f4d4a2d17f245d1d9102f78d2833196","datavalue":{"value":"Scott semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854419$E36EB9EB-FF78-4B7C-B6A6-110D120E5DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f10fd05a44cd1ff63ad0d037c83cec2bc09d60","datavalue":{"value":"profunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854419$FFB69638-F214-4B48-9FEF-33F1657A908A","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":"Q6854419$7D043165-4443-4524-80DA-DD9855B2D949","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$9C4FEB70-736C-486B-9969-B095D473DA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0bc17ca7f1d87fa84e4b110afb9253a0704156","datavalue":{"value":{"entity-type":"item","numeric-id":5462666,"id":"Q5462666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$A76D8611-603E-4ED2-AF9C-4335AF6DCB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$EE635E0B-56D7-44C3-B4C2-87547FE04A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03098e4e1ce88eb9dd426831b61463f3e9e4b55","datavalue":{"value":{"entity-type":"item","numeric-id":418011,"id":"Q418011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$114668AC-E10D-449F-96D0-8B6B90645AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340939432c5a5d06e884c51fa8fa92ea5f231196","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$F134F682-E108-4FFD-B1A8-C910C7606833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$F5CFE228-20B3-4CCE-A42B-9A0EF9C60241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc35bfb756428a7caf90587337a06303fea91d8","datavalue":{"value":{"entity-type":"item","numeric-id":2253181,"id":"Q2253181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$DE150E0B-63FC-46C9-BDDA-DD3116D6CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e101f99d8df501799485767820f62bf4e7f7332","datavalue":{"value":{"entity-type":"item","numeric-id":5450620,"id":"Q5450620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$6270E5A5-8916-434C-B6D4-E2AEC4F29CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f686b7d198989983dafe9b2cce2eb570ede47dc","datavalue":{"value":{"entity-type":"item","numeric-id":1652913,"id":"Q1652913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$16595A09-ED3D-498C-A014-6FA69E36A1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$4F559471-6EC8-4E15-935A-CB03B57B2F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687288d06955162130139fdd119d406c60d80324","datavalue":{"value":{"entity-type":"item","numeric-id":5890060,"id":"Q5890060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$9AACFA3B-4D64-4DCD-8010-CD4BC945AC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bcecea7d4470b116d9a9ff3ccac25c41305492","datavalue":{"value":{"entity-type":"item","numeric-id":2709786,"id":"Q2709786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$3FB55D4E-2CD8-4DC9-AEE9-A78C20DCD889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$6E0AF05B-51D9-40EA-9BC0-895D66780D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$34C8E647-E328-4AAC-9F24-89D16AAA9F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacfcce7e973ae5acf6c780fec286280f2ce5fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4250359,"id":"Q4250359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$0678BFC8-60D4-4F93-81BF-FA088C4098B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5f6a902cae6706ae1763f8821abc1095ccdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4650579,"id":"Q4650579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$ECE7DD07-F617-4190-9204-3A1CAD5F1E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5129f2efdab46dfc944f1e4b854880d1a8475cb","datavalue":{"value":{"entity-type":"item","numeric-id":4910434,"id":"Q4910434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854419$E33BF6C8-DACC-439A-8911-97592512AEA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A profunctorial Scott semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_profunctorial_Scott_semantics"}}}}}