{"entities":{"Q6159941":{"pageid":13294802,"ns":120,"title":"Item:Q6159941","lastrevid":58737606,"modified":"2026-04-06T13:06:43Z","type":"item","id":"Q6159941","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700630"}},"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":"Q6159941$2CAB6F33-A666-4AE0-813A-0A11C1B1A915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"185f6093a9b1f177c99b8a179b95b353e80fe53b","datavalue":{"value":{"entity-type":"item","numeric-id":2289089,"id":"Q2289089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159941$A70EE899-D237-4EC6-952F-EDD0A41EE727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5832ef332e364debfaa79756811f1cd9f25b1d2","datavalue":{"value":{"entity-type":"item","numeric-id":2173526,"id":"Q2173526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159941$46569C9C-18D7-4743-A3A1-FA15D3B25E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159941$C5F56D34-F5CF-419C-AD4F-2CBF1A5103D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159941$FF48B4C9-3794-453C-B851-394F39CF4FC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"756311cbf2ceb9ec45fe9c42f1a136dfc4a2de03","datavalue":{"value":"https://arxiv.org/abs/2105.02156","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159941$74C263F4-39E8-4493-A56E-8B438671632E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159941$54B3DE4C-4217-46AF-8337-E7E104F86FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159941$4D895D23-DC7B-4F1F-BBF1-F13B9136AA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159941$2E726601-A19E-4479-B42C-8E1582D63735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf79d9512472f021709c861bc17e8342e086b7dd","datavalue":{"value":"7700630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159941$45F02CD4-E950-4400-87F8-5AE3FAD6A67A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159941$CF86AE22-FABD-41A4-AC05-5C97E80019B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159941$B0D8A2F2-BF88-44B7-BF28-332253F5B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159941$8D5D388F-A3CE-4E23-8117-F7D84844F496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8518b068eedf8771d837d08f94c9d4f8ea54cba","datavalue":{"value":"sheaf toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159941$E01AEE9B-09FD-45FD-832E-B2D9EFA2BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733f468b4cff126d6e8b9f39cd285963ca28a931","datavalue":{"value":"CPOs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159941$CF0CFD8A-D4CD-496D-B580-0449FCE130D5","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":"Q6159941$21FA1D23-B6DD-4EE4-9A18-9ABB838AFFD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bb85cd6972c6697b171fef3936100485545ddf4","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159941$A39FA0FD-697A-4AFC-AFF0-BC3D098985C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159941"}}}}}