{"entities":{"Q1403215":{"pageid":1413955,"ns":120,"title":"Item:Q1403215","lastrevid":67360449,"modified":"2026-04-12T17:06:24Z","type":"item","id":"Q1403215","labels":{"en":{"language":"en","value":"Semantics of untyped functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973019"}},"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":"Q1403215$F389381F-BA30-4FC1-AD0B-6DB3FE924335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f61448bce3a31c722c53db4e868937a81dbb49d0","datavalue":{"value":{"text":"Semantics of untyped functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403215$2BEDD7BE-295C-42E1-8E0F-ED7E81E87B56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"135e2880205f3fb27e78a155031fd46ac60a344a","datavalue":{"value":"1037.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403215$6288FAC0-CC41-4609-BAC2-9F088DD8E186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7880a383ebe953a2826d4753303ad70c78f586f2","datavalue":{"value":"10.1023/A:1015604813156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403215$35467FB2-0502-4FA7-B190-ACC5F67C4B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a436125d0e10c65fac4ea95c85019e447fad3f","datavalue":{"value":{"entity-type":"item","numeric-id":174224,"id":"Q174224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403215$F0B47E65-8FA8-43B9-9478-50334D3C40B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcfc1257323863b10d97d8bac6e8adcb8c852568","datavalue":{"value":{"entity-type":"item","numeric-id":1403214,"id":"Q1403214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403215$BF9AC6C9-014F-4630-A3C3-BBCFD1B4ED72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403215$1575DE73-7017-4C90-B07D-48270EFB8FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403215$A36A1D93-4DC8-4A02-8B69-3E12561F6CC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403215$3B96D3EC-4BC7-4D33-AA78-515DD6D2C4D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b7530a7f72ec2d5bdd38eb0fae1738d1f6b62ab","datavalue":{"value":"1973019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403215$A7724BE2-3176-48BF-80A9-A9EA66BE7E4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403215$71517339-DC5A-4D1D-A6F8-E3DD102AC77A","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":"Q1403215$B362EB8B-90BE-4F9C-BAAA-EC252A3A05DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff0e0b7baa00370f741a5a5451d01abdff6b933","datavalue":{"value":{"entity-type":"item","numeric-id":840095,"id":"Q840095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3d8502282a5d6513e299c06f01b6ab404bc649","datavalue":{"value":{"amount":"+0.9748146","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":"Q1403215$9FF2615A-4043-4159-82B6-6160560DFB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bddb4a79f7ee198ff8c99d161d63ff5788c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2939022,"id":"Q2939022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d60420d29a1115112afa27354ff354322ab9a48","datavalue":{"value":{"amount":"+0.9319594","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":"Q1403215$C8CAABB5-9074-4385-AC16-C55148910A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077d3ea8115d7a2f9c76c14459033c377228ddce","datavalue":{"value":{"entity-type":"item","numeric-id":4556181,"id":"Q4556181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd510c111c5722694d982bca227650e44d1d229","datavalue":{"value":{"amount":"+0.92224115","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":"Q1403215$2F8967D6-193F-4B30-902C-163C4ADE5CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15973f74a9f413bdbfe35cc919db6b4454e8d290","datavalue":{"value":{"entity-type":"item","numeric-id":4602236,"id":"Q4602236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcff0c36ea2d6ef38332bda116ebe10559c99253","datavalue":{"value":{"amount":"+0.9089835","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":"Q1403215$0D5515CF-07FD-480D-893E-5FB6E91E5D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1baee8a926f4d767df91a2260606157ab2d101","datavalue":{"value":{"entity-type":"item","numeric-id":4484334,"id":"Q4484334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f704d5d565764e54d12f5f75c8dc139e0126bc45","datavalue":{"value":{"amount":"+0.90319836","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":"Q1403215$FC68D764-AC78-4726-82E5-31CE58112031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c6815af5bbfc8062ba53753a4d419eed15c445","datavalue":{"value":{"entity-type":"item","numeric-id":2693299,"id":"Q2693299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7506100233f364d63f186eb57f018c685716149","datavalue":{"value":{"amount":"+0.897215","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":"Q1403215$A4594890-FF82-43CD-BBEE-3BCAB422BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393cd516669596484f34f155d4ea67cc65db8241","datavalue":{"value":{"entity-type":"item","numeric-id":5410451,"id":"Q5410451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe57bd5eb58ec3ada7132d06957e8b553e16f79","datavalue":{"value":{"amount":"+0.89619243","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":"Q1403215$30CFCA51-9CDA-4E73-A9FA-73DCA7D7C0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed63a54ba901b65e13db2763827b2dcc8597a71","datavalue":{"value":{"entity-type":"item","numeric-id":2766766,"id":"Q2766766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec66dabef1aa75a5f2e7e95e38b9c7c6054730f","datavalue":{"value":{"amount":"+0.89323604","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":"Q1403215$71AB1E62-CE18-4304-AC73-96CA3085022F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e6ec47aa17ce45ff80b8aa9bb4617395803d05","datavalue":{"value":{"entity-type":"item","numeric-id":4556180,"id":"Q4556180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf00d5a28aeb168d20d0a03f063077e14ddea55","datavalue":{"value":{"amount":"+0.89176786","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":"Q1403215$89846411-C3F6-4AC8-9AE7-722362551652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b055a7e3be57cb7b13f962d518472af0fd43413","datavalue":{"value":{"entity-type":"item","numeric-id":2939020,"id":"Q2939020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a8259ac02d1031665bd5ec30769ce801caad6a","datavalue":{"value":{"amount":"+0.8909549","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":"Q1403215$3421F955-78CB-4279-80BA-7CEC2EF5934C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of untyped functional programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_untyped_functional_programs"}}}}}