{"entities":{"Q2277831":{"pageid":2288574,"ns":120,"title":"Item:Q2277831","lastrevid":43811619,"modified":"2025-11-14T17:06:03Z","type":"item","id":"Q2277831","labels":{"en":{"language":"en","value":"A type-theoretic semantics of arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197401"}},"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":"Q2277831$6BBE5F77-A032-4DBD-8FB3-0DDA998FE63B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f41abffaa7fa3805f5914c300b2d7eb3d6ebfc78","datavalue":{"value":{"text":"A type-theoretic semantics of arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277831$210FD4A7-D163-4A7E-8BD2-11DB6C689807","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c340282400db802f1c283634804a28bcc3c781a","datavalue":{"value":"0725.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277831$02E29170-72EA-49C3-A5F4-C841360387E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e337e06dea448e9b621e3356228a12546ff387a2","datavalue":{"value":"10.1016/0893-9659(90)90073-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277831$098A5582-15C5-4C95-86FA-B1BC3A51329E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b6621a4ffc1a579301b4d927ea081535660fab","datavalue":{"value":{"entity-type":"item","numeric-id":1121011,"id":"Q1121011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$E01DE07D-8BF6-4343-AF4D-63F66CDB381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97fd54218c48f048c8c93030a08c17bca1074a61","datavalue":{"value":{"entity-type":"item","numeric-id":2277830,"id":"Q2277830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$41B02C9B-8889-465E-BE4E-A5FEE7C6AA87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60e92c9f06012150d8158f8bfafc8319965c5fdc","datavalue":{"value":{"entity-type":"item","numeric-id":176247,"id":"Q176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$AECAD429-4076-41B0-98B0-14F42A1D579F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277831$F14447E2-29CE-4AFE-8943-4C22B50E7432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277831$28D30A5E-4CDD-48CE-8E93-8546BD2C3D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277831$50E8767D-5462-4575-B56C-B61EFE87A45F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2511a0d3ebab855e5b4f9cc9f31014f3b9b01db","datavalue":{"value":"4197401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277831$D688FC20-D2FF-491F-824C-6E83150E84E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277831$32E07729-0FF8-423B-A9B6-9B5DBAA79F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9a43570167083d7de08000406d60a87b845762","datavalue":{"value":"type-theoretic semantics of arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277831$F23ACA69-1409-40AD-934C-E01E5EC94FCE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97a4b6d3c8d40b2dcd33f0a7a9a105bc3e94ffed","datavalue":{"value":{"entity-type":"item","numeric-id":13907,"id":"Q13907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$BF585EFB-EDCF-4082-8E8E-08186A3BACC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$A0CBB9A9-189F-4CC1-A921-B1ECC23A9199","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":"Q2277831$CEBC48A5-107A-4141-B747-A24412F4BC39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9bacf85eec1c04bf7c78b20586c1e1141655d8","datavalue":{"value":{"entity-type":"item","numeric-id":5737364,"id":"Q5737364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$08552750-D4A2-4F9D-AD70-101618370D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$5F006D87-30BE-4F85-9EDC-F422E31C336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277831$665A35C6-07DD-4410-8A8E-61381BBC5DDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277831"}}}}}