{"entities":{"Q1175335":{"pageid":1186084,"ns":120,"title":"Item:Q1175335","lastrevid":67041348,"modified":"2026-04-12T14:31:02Z","type":"item","id":"Q1175335","labels":{"en":{"language":"en","value":"Inheritance as implicit coercion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 11463"}},"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":"Q1175335$B4135DE8-B803-4F47-91C5-C9FD1AD92460","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a090d99dc878d4fdef6296e0bceb6683bdebc79","datavalue":{"value":{"text":"Inheritance as implicit coercion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175335$B9C8F671-7064-467F-B4C6-C131ADABB6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68c50085872147990c26efb4c137c6c2cb6943f6","datavalue":{"value":"0799.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175335$0BC128C4-58FC-4B28-9E67-3B230278FFA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b304053a01593d318c3709274ac3d6d2f7b3f34","datavalue":{"value":"10.1016/0890-5401(91)90055-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175335$5B8E6FD2-F639-43BD-A692-B58D6C4170C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc783cd5616fccc031a78230a398244b135e31e6","datavalue":{"value":{"entity-type":"item","numeric-id":749517,"id":"Q749517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$DC5E1AAC-0B2E-4A1F-9B5F-8AC2A843C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$EFC52D09-33ED-46E0-961C-DC4AA1D97803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c4c7fa1f64a7258f2aa54d49357871694cd6a","datavalue":{"value":{"entity-type":"item","numeric-id":812047,"id":"Q812047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$98AD8E2C-FB79-4239-BCBE-9D86A4B6329F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$311CBB84-47D1-43B7-BFC1-869D2CEC353A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$4660A6D9-93F4-42C7-9CE8-783B2D9A76D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175335$78DA390A-389E-4B99-A3B7-E168E7660B80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b3ee3becd2421debafbaed21bfedae2677c963d","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1790&context=cis_reports","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175335$90B97F7D-0C45-4191-9002-7335DCDED255","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175335$23CA58C3-E378-4E70-A1EA-10203CEFDEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175335$66FF57A4-1936-44FD-AF52-CC116DBABFA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b4ea9fca6805fc26d2a199f1c06eaf054dbafb","datavalue":{"value":"11463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175335$2B188852-567B-4369-9D30-F1201203FD24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac0869aadcb6c5816191e86494e45a67ed050db","datavalue":{"value":"program and recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175335$33BD2EA8-1FD2-4EB3-A713-2A4CEDD11680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371752efd08f37b20e7c652158174f5032554180","datavalue":{"value":"type structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175335$B5FA8F71-6155-4DB8-A1AD-9BCC3A9D1873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175335$1A22DFBE-036D-4B23-8314-0D18BE9302DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$5D318FAD-02CE-4037-8CFB-F59FE3E07AF2","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":"Q1175335$C7E5202C-8D4C-49F1-AD19-B56BD9692DF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15e4ea470eab665bc1684e84f6a4bfb9c9435cfa","datavalue":{"value":"W2144778998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175335$07800ED0-4923-4A65-B812-27DE6807E2D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$71CB4801-BAC4-41BA-9375-A1D29E619AD8","rank":"normal"},{"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":"Q1175335$146D642A-9B4C-4E6C-BE64-EFC6EA3734D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$7B9A6F9A-1DC0-4B96-B827-2A5ED0DCEDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d3128c33a17fc4f3e7b89ceb3e22b9648f4405","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$52946031-D64E-4D35-9645-4845AFA6641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$D7F173B7-5CA6-44D9-B36D-43D9439CD052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a9e57880bcb024607477392ee626f984e1b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":1078543,"id":"Q1078543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$EAABD77B-11C1-4CB8-A96B-5A4CA5304734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$10885074-FF66-47B4-9609-C9615B2D9371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$987595F7-18E4-4EA8-8FD2-5B0C36F544FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a6e1c0239fbf405e8506dd576c4d5138f0d967","datavalue":{"value":{"entity-type":"item","numeric-id":4125718,"id":"Q4125718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$502AA020-F025-48F8-ADCF-0AA9B77EBF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09beafdc2e25f4b9f00725001e5d303eb139d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4855348,"id":"Q4855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$14FAD0CF-02B6-424E-980C-339DC4DC9F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1ac07dd7e3937aa3ea6a06de1f75cfafba7b45","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$DCF85D49-21F0-4C52-83E8-C7F441286EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5f8f362da434ad441cbfa7aaf92ed7c49fc378","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$FD9075F1-7B97-459B-84BA-70FDECAB652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$F62C0504-68B4-4D99-A46B-7276398D6393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$FE400A55-57D1-4216-994E-4631D3571842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$CEEF7E7D-9630-4603-BBB3-4B68E538DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8966d0bcab508f68b1c88a02351f52a4ddc1e757","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$F8196180-28B3-4947-A87B-8362E9AF462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cda777e7ea953253ba5b9527207aacaf2b1364","datavalue":{"value":{"entity-type":"item","numeric-id":1193589,"id":"Q1193589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$4DB77F5D-7D5D-4437-88EA-56235FA3F83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$7CDBB9F0-1760-41A0-A737-FD11B176E88D","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":"Q1175335$225C8B48-B0BB-462F-8A58-D579CE1992E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$C0990C04-E87C-4D58-9D0D-2F9BECE9C701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$6245442B-197E-4B8C-AF66-C3283AAD4F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$B748C66A-1CC3-49F6-A1CC-7CA12DEEDE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$FBAD1D4B-1743-4E8E-ADDB-E5B9D8108814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12baf6c19dd2a0e349700dd813c53e78613d91a","datavalue":{"value":{"entity-type":"item","numeric-id":1262787,"id":"Q1262787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$D052B28A-BF4F-481E-885B-906B0FE6D221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0442b615058ed1e151b3bf3d76d6cbfd1237be4d","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$5CE7D155-1B0C-4BA9-AC63-32E9FB3D56D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$64CF555D-69A3-47DC-ACF6-E08EF74FDA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$0CC4706F-FFFA-41F1-B49E-57ADB689EC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$22566341-24FE-4084-A5A0-39432BAD33F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$DEF527C1-8480-422E-B477-EA28DCFC7185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66dd046cdb77e6e8c7dc93065e7de699e9761ef","datavalue":{"value":{"entity-type":"item","numeric-id":1059704,"id":"Q1059704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$90BBC62E-ECA9-4D3E-BFAE-6A6C9484365D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$8A63C135-C260-44EB-9DB7-D5B7CCE8DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91acc10d9280ae3d49da96b6130063e041a3319a","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$4571F3F2-6239-42F2-A6C5-50DC3F99FDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$CB6FB380-8B7F-4AB0-99E9-938E779BF11B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175335$783E41D9-A8F7-4439-BEFF-37682F06AC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inheritance as implicit coercion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inheritance_as_implicit_coercion"}}}}}