{"entities":{"Q749518":{"pageid":751367,"ns":120,"title":"Item:Q749518","lastrevid":64130913,"modified":"2026-04-11T17:50:53Z","type":"item","id":"Q749518","labels":{"en":{"language":"en","value":"Extensional models for polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172945"}},"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":"Q749518$43A5177C-C2CC-4B00-BE2E-4458CB6910EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67be8d067d2532230ce02ad1077a73dcd5902ad6","datavalue":{"value":{"text":"Extensional models for polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749518$EB1EA931-73D7-4806-B810-B7ABE136A5A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7612c0c0dbb24e8b4a5b9b357237331524c23e79","datavalue":{"value":"0713.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749518$2C43255F-74BA-4B4C-A9A9-5B45F61CC453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd6883ae35618aadd8a7dc559a709ba72626fd7b","datavalue":{"value":"10.1016/0304-3975(88)90097-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749518$65324317-1278-4E1D-B808-D8E642CB551B","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":"Q749518$46756DD1-96F6-4978-9182-BB5925376401","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":"Q749518$E0B2F9C4-0E63-4D55-8125-FB908555A67D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$33D2C3CF-2F07-4E79-88C8-58F8F689858A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q749518$463D4339-C9D0-4E96-82D9-35754E4C145E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db1684da882e6cae1cb29398da6aea9767fce4f8","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1652&context=cis_reports","type":"string"},"datatype":"url"},"type":"statement","id":"Q749518$C100DE5F-6C74-4449-8CE6-5D359D7C4C33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749518$214FB8E8-CBCB-4850-A9C8-9BC5EAED67B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749518$7178C9CF-85AF-4570-968C-B63BECF2CECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8acba5e6dbb7438781abaeaee9e82a91b232857","datavalue":{"value":"4172945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749518$1B48E16A-3408-4E95-9933-1772B06D23FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcae9c7b3811a0d2a4d1ba0d7c47b692eb2c1aaf","datavalue":{"value":"extensional models for the Girard-Reynolds polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q749518$059DF5D6-07CD-4F2D-AFC6-B9E998242FCB","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":"Q749518$03223BC0-C153-47D6-B825-C6A617FA30DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46df254286d9f6f1d44db198a9fb0e00869fa707","datavalue":{"value":"W2117721239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749518$147744BB-9D20-4C6B-B4CB-9AD3876964D2","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":"Q749518$5FB97539-CAAA-4462-AD61-E76E438BB14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$28A62532-C9E7-4E38-95BD-0013B4169DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187d76b01bc4ccfe8bd60d08537fc9cadbc75a43","datavalue":{"value":{"entity-type":"item","numeric-id":3775518,"id":"Q3775518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$A2F0D4BB-9393-4161-ADAE-A86819032F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e27ce7076971f426a2874f2795f13bc2fc8aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$0EEE5450-1484-48B5-87DE-6641F3DC915F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$FF08ECDC-5AA8-42D1-A719-3A7E1F64C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$CC9F68C5-BF52-47B0-8047-0B319C1BA66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$9D99D3C1-8970-4A46-8E43-FD496772158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00c048de3a88d96b6f40b230504fc727def866e","datavalue":{"value":{"entity-type":"item","numeric-id":3236674,"id":"Q3236674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$B81ABA88-E550-4437-A1FF-1DAE5F0E42D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$5D69651E-B6C4-4F7E-B6C3-602A3FAC57EE","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":"Q749518$0F8F5164-1DF8-4721-A929-418DAC910A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$D9285AE8-09D4-4FCB-8D8F-1F5516E5F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$95DB81BD-584D-4CFB-BA64-00388063A3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$BA23EB70-F257-45C5-A97F-9940B50080EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$2951BCE8-4990-4F09-84A4-5200E4161532","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":"Q749518$0FDC3244-3EAC-43D4-B2D3-8F08EE544D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd3a8ba48ee34d922f75db8eaff1b1a239078a","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$62D7B237-2190-4D28-B468-1F75D1155324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$1CB7123C-D4D4-4D1A-BF46-9DFD37CC923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abb06f902f9ed0fef96835b4d42cff003f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3677139,"id":"Q3677139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$A387542B-AE2E-4D7C-8436-70CB8EB88FF2","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":"Q749518$207E49F5-628A-4582-937C-2B02E42F0DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$51136B4C-BD4B-48EE-A20F-382336123299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a318a20654fe6d18f6eb39f1a9161b15bf9565b","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$FB46EC18-7B54-4DE8-8767-A7351F0ECBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$71A0375A-C492-4602-851B-84B4BCADA99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$E65069F7-FF3B-4A93-B5C0-041225676D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c93444ecfe5e57390b453a78b405e81b591c986","datavalue":{"value":{"entity-type":"item","numeric-id":1164619,"id":"Q1164619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$1D362500-AA8B-415B-A9DF-86A084468583","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":"Q749518$EE14BC8B-3D57-4D17-8725-D5D16034794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749518$AE181C2A-249A-424B-8D0B-862B1458711F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75ff79826f366e1cf01ea7d30a3f7ddbb8ec5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3775518,"id":"Q3775518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661f4ebd1ded8df0b16180f966449b3fac82fff4","datavalue":{"value":{"amount":"+0.9601014852523804","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":"Q749518$D677A73D-AFA5-4CF4-8B63-6D8221F62E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437e8475196b1c74558309143d00e154b4d71f60","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a17525a4891d2a33617fc94b7f5766dbd2bf413","datavalue":{"value":{"amount":"+0.7992712259292603","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":"Q749518$0DDAD366-F2FE-46AC-BE1E-93730042FCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e7b329de9d9fed63f31b36343ec18e39e2cce3","datavalue":{"value":{"amount":"+0.7861743569374084","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":"Q749518$71B11E04-04E6-480C-A2CC-C220701F596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee90e01d2b77e99dcf1cb331bd6760a29436956a","datavalue":{"value":{"entity-type":"item","numeric-id":2767025,"id":"Q2767025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41777d8bd9f08e28c99db4078855c4d36b0d371b","datavalue":{"value":{"amount":"+0.7846120595932007","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":"Q749518$9D6A4E42-7418-4AA1-A508-C7FCE346BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c75b51ad31cb3f5fe182d000a2d776e7449c100","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a408814ca39988adb9d5fa3443f267115cda30","datavalue":{"value":{"amount":"+0.7726109623908997","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":"Q749518$C3239061-B001-4598-BC13-6BF555C10A31","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":"Q749518$73E92324-6329-4304-863F-3128E43EFE77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensional models for polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensional_models_for_polymorphism"}}}}}