{"entities":{"Q5887530":{"pageid":7917080,"ns":120,"title":"Item:Q5887530","lastrevid":97587542,"modified":"2026-06-05T15:03:09Z","type":"item","id":"Q5887530","labels":{"en":{"language":"en","value":"Categorical semantics for programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7673914"}},"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":"Q5887530$45AE52E0-64F2-4E0F-9180-149561BF9A77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"258604334cd05c42431669aad04e7f4247bc0ca6","datavalue":{"value":{"text":"Categorical semantics for programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5887530$4029A065-4A58-451B-B279-FCF03FD2770A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$BB6A619E-F336-4370-BF22-1189AF4561AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4034943b182da069de8768d6fd2310f3e13487","datavalue":{"value":{"time":"+2023-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5887530$61984200-40E1-44FD-B207-D6BD0F1F3B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887530$9939AEBE-8CBB-422A-89C5-5EDB8852359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887530$500FEA22-FA78-4D5A-BDC2-B9E504761AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"099e45bf79e7f78f2108e351d92647f5242844c9","datavalue":{"value":"7673914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887530$BFBB8B15-3E89-4C50-ADAD-E336C4AB20F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5be73e71e13466ccce6dc6527b4ba098213ee5","datavalue":{"value":"natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887530$155090AD-A41E-4DD0-AC21-B777CB25935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a6889daeab66fc884d117c27543e4c2293e061","datavalue":{"value":"algebraic semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887530$07FA58BD-BD7D-4D5D-B233-214F7863E36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1edc738b8688072ab5c4d33f8612fe832cd34fa6","datavalue":{"value":"bottom element","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887530$72102A52-2165-4B0F-B3EF-E460CA450779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887530$4BABC2A6-24E1-4B8D-9240-2D30B12D9691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be64bcb5dc17644655dcd79912721333eb073d3c","datavalue":{"value":"merging operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887530$A239F411-26AC-459D-A1CD-019753C55614","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$B4EF1D17-46FE-41E0-8DF4-C5AC1C300815","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":"Q5887530$74A6A1EE-B6DC-42AF-97EF-EC972016FECD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$A3339EAE-0263-42FE-B6E9-8A4E90D2B492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$0B31ADA0-8F76-4A07-A5EC-20786FAAC9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$6808F66E-E24C-4C51-97DB-4B62EED08DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$820FEADC-0F7E-4160-A2DC-5DD460BD0C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$172EA862-570C-455A-B61B-7F140F086CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$0C4E9F2A-18F6-486E-8EA3-8C56818D1106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887530$3ED407F5-B269-483F-9577-3E7FC7920284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e484ba5e77e3085803767a796236225156f5496f","datavalue":{"value":"10.1007/BFB0040271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887530$3951D9D7-71F5-483F-92EC-9DB18EFF15DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical semantics for programming languages","badges":[]}}}}}