{"entities":{"Q1854316":{"pageid":1865058,"ns":120,"title":"Item:Q1854316","lastrevid":71504493,"modified":"2026-04-13T22:42:10Z","type":"item","id":"Q1854316","labels":{"en":{"language":"en","value":"Relational interpretations of recursive types in an operational setting."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853075"}},"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":"Q1854316$E29FA161-BAD0-4914-9F20-06D24A765C51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1326bee412bc2df88402c9651ebf04ebd62fe7b","datavalue":{"value":{"text":"Relational interpretations of recursive types in an operational setting.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854316$8918E4F6-F380-417C-AC94-E603601F2235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab5761b3d76d6f9901adc047bbc2a505822d472b","datavalue":{"value":"1045.68504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854316$3EDF1EB3-9331-4271-B97C-3AA361C5CE0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$0DEAE340-2849-4E4A-B169-F3CC55748DE2","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":"Q1854316$E1643261-EF7B-4252-89CD-8F50351466F8","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":"Q1854316$053BB62A-4DD8-4B02-A3EE-94EA4FADDE8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854316$04B0C679-E3F6-41C2-8055-C79E37D28916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854316$E00B875A-A4F3-48B8-B373-05782B8BAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854316$A0F05226-3089-459A-ACC2-2727E1A465C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad86e4a2fb457729edd9d4fc119c4d3dc1f65b22","datavalue":{"value":"1853075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854316$EA794F48-77FA-4931-A05E-66981C5C6C08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854316$42FE25B6-AE68-4D64-AD41-1D0212B6BEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d604a0a55ca32322d604d0cc5edb05f4f981184f","datavalue":{"value":"compilers for functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854316$1173B3D7-57F3-4BB4-9B89-FD7FC662E786","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"508b6f16fd2dbcc9c9c723dea852ac1746228423","datavalue":{"value":{"entity-type":"item","numeric-id":33980,"id":"Q33980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$FF8D0B06-793F-4793-87FB-FF61739D61E3","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":"Q1854316$CDEB499B-D128-4EFE-BA81-30D03A67C29C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"885e376b84234b83382e4e7132efceab94b2f01c","datavalue":{"value":"https://doi.org/10.1006/inco.1999.2828","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854316$BA40A28E-7CFD-43FF-811D-4328A0905E6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"050cf2472fc256f68ebf52b5ac4c36936c5e3373","datavalue":{"value":"W2134181241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854316$5FEA10E1-2788-463C-94CB-7ECEEFE54A98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$1F139311-81CD-476D-9792-05B2F3DC0952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$8DA8A188-3D77-451B-B768-4A19DB52A858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d92dc238774fd1c651af2baa062a030c6eec7a","datavalue":{"value":{"entity-type":"item","numeric-id":3680263,"id":"Q3680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$A307EB97-BDD5-44C9-B323-D1095474BC1B","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":"Q1854316$DA9DDA7A-0BEB-4C6A-B6F9-6438B39897D5","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":"Q1854316$46F4655A-7975-44D4-A1AD-4FA2D56FA6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$0C9252E7-648A-489C-A90F-BACD43CAE0CB","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":"Q1854316$9A1057A0-03B5-4CA6-84F5-EA9EEDACD0BD","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":"Q1854316$F0936F7D-69EB-49C0-AF6A-0852A462F1A7","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":"Q1854316$76F160CB-6C9A-45B2-95CC-BF4316668ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854316$AEBDC922-B331-4BF7-A62D-58104AD3ABD8","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":"Q1854316$B5C915ED-D6B7-4972-968A-69ECC28B5C17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e98bafc3f2ecf61843bbf04f5174424bb8c11d2","datavalue":{"value":"10.1006/INCO.1999.2828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854316$1562C2D0-835C-4F46-94FF-EBBBA92D880D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e72f727bc8853822c3707ee73a861234c13d99","datavalue":{"value":{"entity-type":"item","numeric-id":4364397,"id":"Q4364397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec6233dbbc88d7e30d84801da8c96096949e1f5","datavalue":{"value":{"amount":"+0.989882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$0772504A-3C24-4612-B4EE-A5C9C727BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c89126a6e148835b3d653a7e25dddedb91058ed","datavalue":{"value":{"entity-type":"item","numeric-id":2851325,"id":"Q2851325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70237760adf6ed44dc08988f1e67249200c4e552","datavalue":{"value":{"amount":"+0.93455654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$CAC3C392-A9F2-4CE0-BCB7-EB2E9BBDA731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ece05bfa0dfd766bc265a3c9d883056d6e0958","datavalue":{"value":{"entity-type":"item","numeric-id":5740347,"id":"Q5740347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70237760adf6ed44dc08988f1e67249200c4e552","datavalue":{"value":{"amount":"+0.93455654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$B1453FFB-6810-486D-B444-59F4CEE1CB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a10c1f61f2f6ea3d039910be83df5529e713bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5385588,"id":"Q5385588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059c248828f8a759ec8a2b4e3810b3fa6fc4bd8b","datavalue":{"value":{"amount":"+0.925733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$D3DB3FBB-07B7-4919-A5F7-F0E7C80069C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d23727cd303c5eb304e7e5e646df2bc81c1ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4703040,"id":"Q4703040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11f655ae80bc8c9347c50cdbd6f2b5dec46fe68","datavalue":{"value":{"amount":"+0.8985186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$D78D8043-D063-4D8D-972E-8F21501F341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd9ea76e6c7f8f1d69e926643d33614a3f1b56b","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcb2ddd2378b8315e1f2c5c434374092934ca85","datavalue":{"value":{"amount":"+0.8910668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$AE6376D5-0207-4C00-8336-C6FEE5DF79EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46094250772128293d1ec38ca61d34ea7f5a682","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faa642c14083e45400087a8fa3b9d9f3daae38f","datavalue":{"value":{"amount":"+0.8905137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$5169BBA9-B858-49DA-8A72-AC102A45A6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140bbfdabb127405e71a7e70779ab1780e2ab3d7","datavalue":{"value":{"entity-type":"item","numeric-id":1094421,"id":"Q1094421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e6eef49804c5f14e8f9818044f10d12078fa22","datavalue":{"value":{"amount":"+0.8901074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$725C747B-573F-4C42-B58F-F0EF0396693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bc96d61145ca07ee8fc14f04a141b734b3e44c","datavalue":{"value":{"entity-type":"item","numeric-id":4230924,"id":"Q4230924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a5173e078acbcad3891a03055b452e2bca563d","datavalue":{"value":{"amount":"+0.88733023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$B5881FF9-B5F8-4233-8FA0-8603F6D4DBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547bb2911bbfff14f604a506a0221b473ff7181","datavalue":{"value":{"entity-type":"item","numeric-id":3824291,"id":"Q3824291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbf3b632461ad476500bf2613419fb005eddff0","datavalue":{"value":{"amount":"+0.88467205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854316$7081C4B6-F618-4FC0-94C2-D604DD69E59F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational interpretations of recursive types in an operational setting.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_interpretations_of_recursive_types_in_an_operational_setting."}}}}}