{"entities":{"Q2864153":{"pageid":2874873,"ns":120,"title":"Item:Q2864153","lastrevid":51885653,"modified":"2026-01-20T11:40:43Z","type":"item","id":"Q2864153","labels":{"en":{"language":"en","value":"Syntactic logical relations for polymorphic and recursive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236109"}},"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":"Q2864153$765151C2-B2A5-4282-A2B7-D0CD544E53B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f077179f9f72bf944fa2570cccce786a2b4d0c7","datavalue":{"value":"1277.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864153$2D4DC4F6-D2A4-489F-9661-99C79AE3B746","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$324F1D68-1EC6-41EA-BD81-C9C6407283D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$78F476C6-0083-4C04-9E41-7FC0E56AF7B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$10BC407E-D78A-4CA7-B318-5282670A5B97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864153$76336B47-C70A-488B-8DED-CE7F503AEF88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864153$50897EA0-348C-4B63-A650-2F657CDCFD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864153$30E04CA3-8B74-486F-A3A0-AAF72FD0C5EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf15224801127b5b83ca635b69485de62ad554b","datavalue":{"value":"6236109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864153$6615628A-FB81-410F-9096-3A524DFC7EB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864153$BB487B14-2E65-43D1-9BCD-6F4938E6E3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371752efd08f37b20e7c652158174f5032554180","datavalue":{"value":"type structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864153$D0FEF779-359D-4555-865F-09FA32DB615F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864153$4CA8DCFD-FC0B-4277-B46C-8AC729B3DD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6051811ae7b67bcf0818fdbf4b692680998a65d","datavalue":{"value":"lambda calculus and related systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864153$62B0F207-B03F-4A97-A048-6E83F8E12A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864153$AB1F60B8-BCA6-4087-890B-F9B945E481F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864153$DCC11765-B61F-4BDF-9D33-3C47EA2DAF47","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":"Q2864153$F9E49BAF-840E-4980-9252-5E9C11E2E134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"172787134c0325ab5a692e658fe753e864a1d7b7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864153$1C191697-691C-49A2-9E6A-DF7E44E12EBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cbf20730bf4748427ef27dbf030e157c53f1460","datavalue":{"value":"W1992889841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864153$86575188-4AE2-4B9D-8A34-CDED450BD425","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$7A46527E-52D6-4C2E-8616-752BEAFA237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be3aef3b4531206743b7d3fe3ab9f28a62a4627","datavalue":{"value":{"entity-type":"item","numeric-id":1854316,"id":"Q1854316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$C2B67438-6817-4F91-B0C0-D27EFCC10DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f80bd569568dd60e0aecd80316d7117694212d9","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$B3BCEFFE-12AE-4358-A3A2-F71B759DBCBA","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":"Q2864153$D29174A0-6BB6-4FF7-AD56-6216F11CF197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$251EFD3D-AD0E-4E23-82CF-A54C0DB6A448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$FA9E24C5-D3DB-4492-9C18-4D5F7F06EE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$1FF96BA2-0AFB-44D8-B57E-33AB5C74C0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$18FD40FD-A3A1-4C9D-BC1A-C58128EABCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e13427c7bf9b6df48be0946b9c623a8e8a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$FBDDDEF6-4B7F-48F8-96CA-F416704F5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$5F10F975-06E7-40D4-A948-B3B5933BBF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$3D443A08-40EE-4383-A391-F3D5E09D89D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$67AE51EB-CA36-4F8C-96C2-35A73B81EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$EFED5CDB-C7B3-421F-8EBD-621A2B497486","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":"Q2864153$E7E2B009-66B0-4F2B-8516-0560F8F93A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$473D45C4-8C29-4A0E-9BD1-BE642F0699F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$7627C279-592A-4A21-B22A-3D81425ECA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$39CC9A6F-EB26-4CBA-AD2C-B78777EB829D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$5698853E-D65F-4BEC-8006-9459A7FD03E1","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":"Q2864153$327D0189-5CB3-4194-B6D3-5D0161936126","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":"Q2864153$C9343F9B-F865-45A2-8941-27A0724DA9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$D17E04ED-B48F-4E40-AD14-3A61BF93A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2c941835a5c82b5329ed38a363d3717f39c681","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$05846127-F7CB-4C0F-93DD-4C389C2B7407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b0560d4b01bb8a01a5fc8d2de5fd55dbd8411","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864153$50E93FE3-6131-401B-8956-5B6E1126706E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14aa23dcf479c2def99d127d68c79356863d3a96","datavalue":{"value":"10.1016/J.ENTCS.2007.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864153$AD9E104B-41F6-4C11-857C-6F327D3007EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a85deec5183328cddede235845c6537eba88caf","datavalue":{"value":{"text":"Syntactic logical relations for polymorphic and recursive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864153$23AC13D0-B49A-4700-9E20-46BE0CD37C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e58229d9b206221dd94e973d6aaf489d181ded","datavalue":{"value":{"entity-type":"item","numeric-id":1854316,"id":"Q1854316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95299d84ece5b4d5feddfd268797ed05e1cf652","datavalue":{"value":{"amount":"+0.8091008067131042","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":"Q2864153$F162DF0F-0EA4-49F8-A173-DBE22DACC10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33a0d85284950b77a2a9774beb91bbc035587e4","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22014eb8822d97ed85a2c0eb5dc664384c75cdc5","datavalue":{"value":{"amount":"+0.7716206908226013","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":"Q2864153$39CD5647-4E60-4F45-BF64-5B4E6A56FAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375787a7d09051c927a086ef702d4e1204039100","datavalue":{"value":{"entity-type":"item","numeric-id":4222926,"id":"Q4222926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0808b88944c41bda28c151b682150a1f7e692bf","datavalue":{"value":{"amount":"+0.7685693502426147","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":"Q2864153$E3FBC03A-5A75-45B5-8BC7-7DEC3A3C623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c35cb212552d3176ec42b26c4ec362f727243f","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f535a4126ececebdc3fb990f4f2d4ccbc07ccb","datavalue":{"value":{"amount":"+0.7678180932998657","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":"Q2864153$B26CE361-A4F7-4C27-B40F-7647346782D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531aaec7c6d5487fbf93740282443c343b70c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97fb4a8c6c6b4526102da7241dce56b1db07d37","datavalue":{"value":{"amount":"+0.7614025473594666","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":"Q2864153$09C8CF12-2B84-445A-BAB0-B8102CD94C28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864153"}}}}}