{"entities":{"Q1835664":{"pageid":1846406,"ns":120,"title":"Item:Q1835664","lastrevid":71407752,"modified":"2026-04-13T22:04:41Z","type":"item","id":"Q1835664","labels":{"en":{"language":"en","value":"On the semantics of polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3794042"}},"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":"Q1835664$484FBBC0-0C0F-4732-9B35-25416E5F4F85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e692f842d888985171edeb8f9937783ea4055baa","datavalue":{"value":{"text":"On the semantics of polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1835664$77635970-D9AD-42DB-BC2B-5D5C1262B288","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eab507faa9e8b4a318867dde83ece1557591849","datavalue":{"value":"0504.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835664$F1B16241-6C03-4B1D-9204-D62814F429C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a314b561e36fe727c80b17b976491c9613a1d59","datavalue":{"value":"10.1007/BF00289413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835664$C4D7010D-376F-41DF-8610-FD5DD5DF1E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$B5E0C99B-7B17-444D-92FF-4122CAB300B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$4067061A-BF74-43B1-A10F-7AE418533CA4","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":"Q1835664$0636A2E0-2EF6-4C9B-9DE9-29255EA7F65B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835664$20B27357-A36A-4598-8136-F8BB3BE0D96C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18fa4b27eb6414c83bb7650fce9e935abb3dc553","datavalue":{"value":"3794042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835664$F578106C-AA70-4B7A-9C74-ACC5AEAD96AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835664$20C4B6B7-3599-456A-9357-A5730AADA631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44700ebc65763ba6ecf975338371337530f3c74b","datavalue":{"value":"Curry's functionality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835664$9EAD0EA5-0C1B-40BA-A874-4F1AFB653651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad7307519902ba1d700eaae5a8779adfc9c3dd4","datavalue":{"value":"consistent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835664$C46BA1FD-9ABC-4761-9235-B6AA8F2BCFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156147248c5524d3c5be75e84327ccf20aae86f7","datavalue":{"value":"soundness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835664$2DDF5243-868F-4D9E-81CB-0C58CEBE1D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835664$075B23B8-6551-4490-824F-37E79835CD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7650d7fefddd7b7829c1e2e0f56ee055ca8a4d2","datavalue":{"value":"complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835664$06D04BB6-62F2-413A-9A34-5B3433C7568B","rank":"normal"}],"P1463":[{"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":"Q1835664$10812EDC-E896-4AF7-A0CE-EB84CC0EA632","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":"Q1835664$B45FEC3D-ACA4-41B2-8196-5D42FA5D6844","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$1F6FDAAC-52B4-466B-B0DD-BC69BA913109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$21B30A0B-7B39-41D9-B649-2CA7AE060531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$0D0D0F40-DC92-4D5F-83A3-25967D0BDAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1769e2c25b3679baa05f627c4f89c394e43026","datavalue":{"value":{"entity-type":"item","numeric-id":5672870,"id":"Q5672870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$9CB51851-01EF-4FAD-9D5C-29146C2C09CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a396efbaab0f9955d9957e0051762332beddcd01","datavalue":{"value":{"entity-type":"item","numeric-id":3851582,"id":"Q3851582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$E95EDBF7-CF38-41CE-BFBD-A26B6CACAFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$A028367C-3837-4FF2-A47E-1D6ED4F7D695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$39B2AAC6-4DCB-4800-BB32-177BF3DA2A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$AB21AF96-72C7-4142-AFE8-3948EC283039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$78DAF2F8-094E-4F4E-9247-78265712F643","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":"Q1835664$A8437996-857C-4E6D-8B30-7056A5D73CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$D6DC02F3-09B0-4296-96E5-E8A33EA84357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835664$8F69E564-0079-42B2-A7C4-923877EDCF99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563877d2c55dcad82b6c54182a2d5699d31fcf65","datavalue":{"value":"https://doi.org/10.1007/bf00289413","type":"string"},"datatype":"url"},"type":"statement","id":"Q1835664$DD085F89-EC5D-4AA3-9D41-D1B343658401","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c5a2b5b611a9b81df446b4f9714b3bc964eb3fa","datavalue":{"value":"W2008297923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835664$89FC53E6-ED3B-4DAB-8001-31FE717F3E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the semantics of polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_semantics_of_polymorphism"}}}}}