{"entities":{"Q3142273":{"pageid":3152989,"ns":120,"title":"Item:Q3142273","lastrevid":47205511,"modified":"2026-01-01T00:16:57Z","type":"item","id":"Q3142273","labels":{"en":{"language":"en","value":"CPO-models for second order lambda calculus with recursive types and subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446232"}},"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":"Q3142273$AEEA611B-D5B8-4758-A107-1368F2888253","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc330f49b9b7bb9593b3b8d2b729b69e6bbf2a86","datavalue":{"value":{"text":"CPO-models for second order lambda calculus with recursive types and subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3142273$BA482E53-BA72-4A7B-8888-76BCE63A9963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b23b59e68de848d6a530ea8356521f99984942b7","datavalue":{"value":"0788.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142273$C41FEBD9-8635-4A27-8EBF-1A0BE9DAAD7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7ec21790103636efca01e6fa4eaad09f809b22","datavalue":{"value":{"entity-type":"item","numeric-id":1853751,"id":"Q1853751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$99AECCCB-6BDD-4A3D-ACAB-37BF4A08FEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"041c46dd9877c57acd45b46a7f5303b624e5fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1263291,"id":"Q1263291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$9D52006C-EF05-4B69-B9B8-D89EE5D6225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"211e5cd672b53b70a34a2a8db9f8708677893fb5","datavalue":{"value":{"entity-type":"item","numeric-id":702358,"id":"Q702358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$C47DC35B-1A1C-4F39-9887-8D3E6639F1DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$3CB63CFA-4531-434C-8A40-917B6169918D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142273$D8DF4E50-4C46-4801-ADC2-87D57F4D782F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"297ea226089689931cf69d9c6e419cff0af11496","datavalue":{"value":"https://eudml.org/doc/92449","type":"string"},"datatype":"url"},"type":"statement","id":"Q3142273$7DEA306C-3574-41B3-9B52-EC94AE3EE8F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142273$5734EA1B-03CE-4054-BD78-009406AC9780","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50f7c953cff95391cb2c8a6cbee27da3e9381b83","datavalue":{"value":"446232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142273$AAD9FA33-A83A-4655-A28B-F6C2862B97A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$345717AE-7C01-4B89-8C2B-0F7A94294B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$476A77B1-97D8-4C9D-8C8F-936747204806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad9a69c9b96ebf6c88d3d77a55e00b74a112dee","datavalue":{"value":"second-order lambda- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$5186D1A4-A68F-4467-A79D-7DE77186BAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$7EA3747A-F7A6-4C7A-98FF-A621008DD1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$C990D344-0F34-41A4-BDC2-7308604D6F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"540bd639f2e8b2669c9f0eb608c87ec40d53b0c6","datavalue":{"value":"category of CPOs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$D1018B43-3EB2-4FEF-8721-733B69565950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27e622e075ca163bac739aa446b91bf65217214","datavalue":{"value":"embedding- projection pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$1808C247-3F58-4E1F-A3F6-34D6D7ECD0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece29858e8acaf4d1b432592156b072aabd13c1d","datavalue":{"value":"environment semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$5FE2A715-8EA6-4665-9140-C0CADC7F3A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e226f4f5151d080c5414adbdd78c5b18c06d32","datavalue":{"value":"coertion functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142273$9C424E1D-49F6-4656-AA7C-E0311D5D3E83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$D69D9D8C-E6E8-4A66-B353-0C6BC208EF6A","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":"Q3142273$94339305-17D7-427B-B730-4E1545F1F2D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5707c4ac193009a96dbb133ecc65daab4ef4412d","datavalue":{"value":"W2105208584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142273$B2072AA3-3398-47F2-BE10-8302804FE61E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf8cee824c9a4fda7f420caf89018796ca96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3889024,"id":"Q3889024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$231D9FCB-63AD-4040-97DD-D674A1B2D68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$C2B62C79-9ECA-4915-A457-B92B202BF839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$6ED41B9D-B30C-460F-9A0F-EAB2CDE83964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$0F76C4F2-9AB0-410C-B2D1-387D6FEB8163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541cd2c6d47f681c3453f27d1724427b29545e31","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$5B07ADC3-D07F-4406-A6CB-B07B2A9F7A10","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":"Q3142273$FC26D0BE-0B92-4779-A0E1-D5735F81BEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4ac9496c42e23fd254aa24e5eda39806cc4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4939689,"id":"Q4939689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$0A11208B-C12C-4DEE-9F77-CF1B9041F4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$A0EF8FA9-367A-4FB1-A75F-CCC17334ABDC","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":"Q3142273$7E42BF98-6023-4F4A-A551-97061EAA8CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$51A892DB-17FE-4B56-9887-E27B1E27677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$123C0A75-281D-493E-8032-5BEB311C6F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$82682B6B-04B2-417E-B8EB-E499882BE071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142273$8AADFAEA-C1DB-4A33-BDF9-19E6A690D869","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee01a4e75bdf818548151c91c8ddecb80343fcda","datavalue":{"value":"10.1051/ITA/1993270302211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142273$0E30CEE8-D571-4D24-9285-799A511AF574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee3a3403892b4f66e652e5a89a91407811a4734","datavalue":{"value":{"entity-type":"item","numeric-id":1605176,"id":"Q1605176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e136224a3ffac1229fb923b5643adf154aa7977f","datavalue":{"value":{"amount":"+0.8117172718048096","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":"Q3142273$AAB9CB7C-AD1B-4324-AD49-76157BA5793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2d0b5daa9213419ffc84806953b4e747a2b4e3","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2de4199f73b0f34274516d391e93b90fc50048","datavalue":{"value":{"amount":"+0.7920501232147217","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":"Q3142273$592001C5-9FD2-448B-8112-125FFFD88F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65871642e1b6eb6ed2df503b2a429d5530b507cd","datavalue":{"value":{"amount":"+0.7806280255317688","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":"Q3142273$3EEB9AC6-B1DD-4135-8A20-F825A5D4840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b530f2094c49a4452259ed37b50feeabe0550f1e","datavalue":{"value":{"amount":"+0.7799142003059387","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":"Q3142273$5EEEF8A9-CA8F-421F-8174-2986EB16FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec631c05321dbc7306e9c1d245bda028c4260410","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549912b41c354fcdd2535ae909e3a1aa02793f24","datavalue":{"value":{"amount":"+0.7781838178634644","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":"Q3142273$9FF9FADA-87B7-4807-A3EA-F67A01942564","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3142273"}}}}}