{"entities":{"Q2333669":{"pageid":2344412,"ns":120,"title":"Item:Q2333669","lastrevid":53589191,"modified":"2026-01-25T09:26:50Z","type":"item","id":"Q2333669","labels":{"en":{"language":"en","value":"A concrete categorical semantics of lambda-\\(\\mathcal{S}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7129339"}},"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":"Q2333669$F283498D-D8FB-45C9-80B9-DA88D68A9914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2cbe09ad66c898fd4056d48b399ed367cbc9963","datavalue":{"value":{"text":"A concrete categorical semantics of lambda-\\(\\mathcal{S}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2333669$1DBC5D7A-C4F5-4089-AD40-F087AB41A2A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74557fb51fcc6fc78a573f4b6f88fbcbe209574a","datavalue":{"value":"1433.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$4E2EDCF7-EBB2-4875-B930-5FE8F175C32B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$8A554C0A-C534-4262-BA04-0DF624415B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c6ebe705900b0945c1fa06056c76a7b551e84f","datavalue":{"value":{"entity-type":"item","numeric-id":1940190,"id":"Q1940190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$EBBF97B0-E4C8-4D26-8714-B45897C70351","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce5560f694216ba99b4e4d50a7d9bab949bc76c","datavalue":{"value":{"time":"+2019-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2333669$9B876A22-B1CF-419E-A3C5-89DA67E02465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$7C331EA2-BF8E-4A89-AF70-A5459E42B402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$23ACDC60-6EDA-4381-AB64-E75F5E38D0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$0BFF16E5-2E1E-489B-AC64-7721BFD1C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$11477D80-C72C-4451-AB11-165E05E4868C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34314554b94f399c57b6419353b0a5347bb193ca","datavalue":{"value":"7129339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$A196454B-E1D9-44D6-8AE2-DF5C556ECBEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333669$AE3AC130-5A61-4814-A991-158873741C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdab31fbaa588e430ddb0a889f9c2ec0966895a6","datavalue":{"value":"algebraic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333669$ACCC8CE9-D040-4C33-9E23-C39B17668981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333669$2553B67D-C176-4F21-B020-162506882561","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67849c62effce06d44b44e8f9363dec35eabc3a5","datavalue":{"value":"Q113317459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$E22B2000-A5C2-4283-8523-D1AA8E9AB975","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfeb1ce870aecd0eb5c3e3b9dfed6a47ea94b991","datavalue":{"value":{"entity-type":"item","numeric-id":5973013,"id":"Q5973013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$7B146C8E-FD2D-4001-A128-B72F99378ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec624d1a038e4817fb3fc38fd976b7bbe661ccfe","datavalue":{"value":{"entity-type":"item","numeric-id":21873,"id":"Q21873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$0CEB3A14-66AF-4126-B290-FD57874D9ED2","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":"Q2333669$EBC25763-9772-4689-A968-30453B601AEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dfcfeb7afc8c7c3e65e8e3c323b9514f72cebea","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2019.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2333669$9C753EFD-DA9F-4907-B977-DE3B5361190D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c713fe49e2e5bf64ba320fe97b710db47cf703f","datavalue":{"value":"W2969706276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$CF9D2EA5-7C59-4CB2-80DB-266E6926CE1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$E2B65474-DAF7-4122-B565-0980625BFFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fe2097d6a43ae9325a34d980fac0b22e147c2","datavalue":{"value":{"entity-type":"item","numeric-id":2881078,"id":"Q2881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$23409F7C-B4AC-495C-9ADB-ADAD3314B4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d954d0bd9f4f0e8641f1df7607608bbeec9d34ac","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$FCC5A019-5EBE-4369-90E3-2F4A2362F7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa641d9bd95d099beb13e931a65ef0f86bf7dfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$C24E68C4-6338-4848-B0AE-2A78A0A966EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c631ec0f6f0be4fec65a56389cb0c55d9574631","datavalue":{"value":{"entity-type":"item","numeric-id":2938763,"id":"Q2938763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$894AFBAE-5AE6-4937-B538-70855AE8E410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$14E95254-1FB6-4EAC-B18E-297AAB1D4714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6bb1b36c936a3f72ff491a67175dcfcdf32052","datavalue":{"value":{"entity-type":"item","numeric-id":5055990,"id":"Q5055990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$C18B4EC8-9425-44F0-84CC-A3624F5E58FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d274fd939869bd955ebc1c14db907af76cff4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2915029,"id":"Q2915029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$D09AE1F6-2A87-4C8E-B4D3-4082035845A4","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":"Q2333669$ECCFC1C0-2794-44E2-8C24-ED9D4C2A81C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$9B9BBEF7-9D76-431A-B58F-8BFF8592F7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$FF7AF09A-9D60-41F3-B7CB-BAD050D41802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$84FF510C-85B8-4214-9DF9-CC6AA91FC53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a122bec8a0c9623d3baa3f6b071dc66632a816","datavalue":{"value":{"entity-type":"item","numeric-id":5408456,"id":"Q5408456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$07DB41FA-129A-4A21-BC3C-29245554BF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718146f5c0034d868485cd8397798587df00b9e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864173,"id":"Q2864173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$AD84AB10-B948-4523-A681-84AFF79D287E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8781691f3a90f4232c741473b5f76f8ee4cf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$2C85F5E6-08F6-4520-9F9E-4D1B3E16EAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$D1C76538-1E2E-4C93-9DB3-3DC56D818673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43e36238b5fbe19fd4ec373f051c3c2b3c20475","datavalue":{"value":{"entity-type":"item","numeric-id":2973238,"id":"Q2973238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333669$3ADA4A0D-88E7-44FD-9F25-62105537C095","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72c1876acc01fb3a884731e7bc598a6a7e075e00","datavalue":{"value":"10.1016/J.ENTCS.2019.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333669$FDEED1FD-3DC2-44A3-AD69-67D67897D63C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5e9606b8b8a268b0b390c46f5da5cac1f78f47","datavalue":{"value":{"entity-type":"item","numeric-id":2024925,"id":"Q2024925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93934539cd51e304c34be4c0826be831c2cb9b6b","datavalue":{"value":{"amount":"+0.8939342498779297","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":"Q2333669$804D82FB-1FBD-4B3C-90B4-522296F130F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a5befc1ee9920d21bf798632efef48059bf104","datavalue":{"value":{"amount":"+0.7682612538337708","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":"Q2333669$DC20EE7D-8CC1-465C-A3F9-D5716A5B5802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4761427e9e3f5ebc90712bdbea00a0ce1c5beb6","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8546faf5511477b14403b755a35f8842776f4226","datavalue":{"value":{"amount":"+0.7522952556610107","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":"Q2333669$589440B4-4B19-4187-B8F1-1D3E626377BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed944ce4c99e5ebb48cf098960f6e4e3d873091b","datavalue":{"value":{"entity-type":"item","numeric-id":5055990,"id":"Q5055990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f273d7dd189a30ad35039ed22750be35e674b34","datavalue":{"value":{"amount":"+0.7456967830657959","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":"Q2333669$BCBB9AE2-9480-4105-8E80-B8528288AE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6f75383e53c58e51301817e2748283683e3f74","datavalue":{"value":{"entity-type":"item","numeric-id":5458352,"id":"Q5458352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02419bb80d32aa5eea5b3bcd17ce284633862f48","datavalue":{"value":{"amount":"+0.7421494722366333","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":"Q2333669$3A83F600-4CDD-42B2-ACB4-C400E8CD5923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2333669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2333669"}}}}}