{"entities":{"Q3668859":{"pageid":5698765,"ns":120,"title":"Item:Q3668859","lastrevid":49974118,"modified":"2026-01-12T09:51:50Z","type":"item","id":"Q3668859","labels":{"en":{"language":"en","value":"The Expressiveness of Simple and Second-Order Type Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823132"}},"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":"Q3668859$B577E611-1F2D-4D4A-AEA7-205E1B140F81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7f4d6f01b19b8bc2bea80c693ee4f0de608a11c","datavalue":{"value":{"text":"The Expressiveness of Simple and Second-Order Type Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3668859$037A4FDC-465C-45E2-91D7-65AC93D87C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f0d764df6da40c3760235c76edf8b299530b626","datavalue":{"value":"0519.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$8EB99D61-9578-4524-8DCB-BA015A074439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0d262788a5ab11e78a0ffec6982b522a05f13c6","datavalue":{"value":"10.1145/322358.322370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$E5521AC1-0E55-4540-ABDC-49080CE50AEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b779bfddc87d776c9165e959ef074321b953112","datavalue":{"value":{"entity-type":"item","numeric-id":494073,"id":"Q494073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668859$6348F921-A314-4AC2-B4B1-4E21A182A3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668859$BE258012-EF1C-4860-BD26-6E6DDA7447E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5198e45a9951dbc1e7a97e827f0544724d7b5c3","datavalue":{"value":{"entity-type":"item","numeric-id":1091819,"id":"Q1091819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668859$0BCDDC41-671E-4548-B2FD-2CBC5CC0249D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668859$019A6E7C-6F9A-4A05-BF1C-EB74569DDB51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3668859$1EE9533A-8B88-40D9-AAFD-FACC679A6E0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$31BE45D8-B24C-401B-9070-1BE332F4928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$AF297473-A864-4BB5-89A1-3E98CBA47351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad4b2da2eb7f34c86c493ab854ebca0399ed0d64","datavalue":{"value":"3823132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$38AA2AF7-DA09-4F40-8E1A-0B5302FAF1ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668859$BDE0C875-9D08-4B2A-803C-98765B2FE22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d033aa5da80632e6cc21e548be4e712e81eb947f","datavalue":{"value":"simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668859$9CEFB623-FC4C-4634-91B7-EE10EAB21D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df0e52e7f59030bb29e26501ae714353eac613f","datavalue":{"value":"second-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668859$3F10E42C-EB3D-4201-8AAF-6ABA4205EEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371752efd08f37b20e7c652158174f5032554180","datavalue":{"value":"type structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668859$969071F0-9A2D-45E3-8B52-5653F2BC3951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668859$018230CF-4EF1-430B-9386-372EB7938F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668859$0F3ECFAA-ABDF-451D-8220-E4DF8FFFA60F","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":"Q3668859$796259DD-9934-4955-8FCD-D96D7C46F2F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"610f01829efeb0bee9bb20e743e5dfc2fc1053c7","datavalue":{"value":"https://doi.org/10.1145/322358.322370","type":"string"},"datatype":"url"},"type":"statement","id":"Q3668859$1D925996-A6C2-4831-BB4C-E3FED185B45A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63b1da01246dffbee8f91db03db9798dc36a9e7","datavalue":{"value":"W2095405219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$6D1A0E59-46A5-4177-BE70-104FEF3113DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9d009916761626583089510570ba7d708d1dcd5","datavalue":{"value":"Q129275661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668859$2A0AD2A2-13D4-4E16-96E1-8A0E1DFB601D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3668859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3668859"}}}}}