{"entities":{"Q2453585":{"pageid":2464328,"ns":120,"title":"Item:Q2453585","lastrevid":44112768,"modified":"2025-11-20T02:10:48Z","type":"item","id":"Q2453585","labels":{"en":{"language":"en","value":"On polymorphic types of untyped terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302164"}},"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":"Q2453585$5326DE4C-E532-4CA2-B1D8-13D2FA33E353","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65092e1f821032f2fcd27090db9c75e735e79553","datavalue":{"value":{"text":"On polymorphic types of untyped terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453585$F0FA47E3-3E92-46FE-A829-68D370049446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30ce4e4bd95b4cbcaaeaa3e9322f17e2f6243098","datavalue":{"value":"1311.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453585$046033B5-2C42-4589-9522-CFF6BCBCC58D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453585$9FB2839D-26B9-45E8-8CF5-52304BE5ADE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453585$B87317CF-8B29-4FF4-AA6B-BD631EFEB1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453585$6F07CECD-5AD1-4DFA-BF38-CC6E5B5C4FCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"686307f16b1082d415675e42326a94385ee63278","datavalue":{"value":"6302164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453585$FDA96392-35D0-48FC-9BC9-6AC141F95CE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453585$B4AE92C9-03AD-4AA2-97FB-BB9D88FB8739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f880de809889011a1333ae125379406ca2083414","datavalue":{"value":"lambda calculus with surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453585$419F7B05-1118-4946-AEEB-924187272F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ebea1fa2333588a48be132e9cd725ccccecdfc","datavalue":{"value":"polymorphic typings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453585$F1E635AB-EE5E-44A8-AF9D-4E25A0685B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6413b877eae48c16ba966fd4b98a92f140b7e9ad","datavalue":{"value":"B\u00f6hm's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453585$CC75A0AA-0B1C-4F2E-B170-43CCEDAD4FEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453585$94708343-8DCC-4D44-98D6-105B66755BF5","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":"Q2453585$D4E7A7F9-DF1C-463C-8D74-309E0DC63EE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad105134edf34ab575180f479a319d16fa08f1b6","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.04.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453585$95A15EC3-4486-47E5-88B0-583DBEAF1EEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8367d8d0ba028b52d57706ed3eb537a2a5502d2c","datavalue":{"value":"W2032679009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453585$97D78EF2-721E-41BB-AD4B-256EAD2D7A89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e15321bcad6018106602b17bbf0b694e2917fd","datavalue":{"value":{"entity-type":"item","numeric-id":3202990,"id":"Q3202990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453585$BB7C5525-8400-44E7-8908-73A9DA841FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ace66fe0c4cd62691edd231304d8897fcb4d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4128535,"id":"Q4128535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453585$F5A8005C-20CD-4AD3-B382-C6532648321E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58873e82ac464503e24bd570bcd59f8a9b093a2","datavalue":{"value":{"entity-type":"item","numeric-id":5310654,"id":"Q5310654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453585$2BEEAECC-3ABE-42E5-ABE4-2BB97B0558F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06dc21cbc8b3a227c40f7564aee40e20b34119fe","datavalue":{"value":"10.1016/J.JCSS.2014.04.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453585$7EC26B1A-AF6E-4BFA-B232-5AAB254608C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a797d8a82b1c80b2aa58f83f73031e83ca90888","datavalue":{"value":{"entity-type":"item","numeric-id":3003364,"id":"Q3003364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q2453585$7E27B1E0-644B-45C5-83CB-2F6D52873112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37471370c2749cd3c927913a09fa6bfbc2d27ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2932835,"id":"Q2932835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf30742332f3519b66c2fc9c57a3d645cdbd725d","datavalue":{"value":{"amount":"+0.895161","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":"Q2453585$CAD6A47A-CCE2-4DC6-9FD5-67BE035C79CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9373f3c2636b2288eda73f47e1632d4eec730a","datavalue":{"value":{"entity-type":"item","numeric-id":3194765,"id":"Q3194765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64966cdcd751051872b953890c3c81cdb7846999","datavalue":{"value":{"amount":"+0.8944857","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":"Q2453585$20524E25-B6D9-46DD-82C2-187286D8B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4731bba7c92c2eae04f52ae8db6c3e45352dd120","datavalue":{"value":{"amount":"+0.89320076","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":"Q2453585$551E1517-03F3-429A-ADF5-6305679043CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e48c3380d3827763f947ff32a44c654cd65d32a","datavalue":{"value":{"entity-type":"item","numeric-id":2826506,"id":"Q2826506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2574966fa15ec496b595f63a16f8397959dccbba","datavalue":{"value":{"amount":"+0.8922462","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":"Q2453585$36E50973-17D4-458F-A437-0E77FC1B21D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd55ab847dbe5dfeed8053cbf4423da1ed7d6da","datavalue":{"value":{"entity-type":"item","numeric-id":2985787,"id":"Q2985787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369d206fc4bc332e10aa9c381bd92c43c847f212","datavalue":{"value":{"amount":"+0.8824604","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":"Q2453585$225BFFE7-E758-47A1-B5AA-4628D504599D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebd12a3040e52aa9094f5ce4c1fe346b8dd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99dc96ed9cf2cb6141c755922b3ac43a559e63e","datavalue":{"value":{"amount":"+0.8779967","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":"Q2453585$8A547652-7C67-4656-8E59-F44217537DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3162df2fb79c73643e582db724df1477e0beec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5348906,"id":"Q5348906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99dc96ed9cf2cb6141c755922b3ac43a559e63e","datavalue":{"value":{"amount":"+0.8779967","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":"Q2453585$BB6A007E-50A8-4993-A24B-BE3CD6EB8E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27254b93d76a85ca62fadb4aeed49ef291bbf0de","datavalue":{"value":{"entity-type":"item","numeric-id":5234277,"id":"Q5234277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99dc96ed9cf2cb6141c755922b3ac43a559e63e","datavalue":{"value":{"amount":"+0.8779967","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":"Q2453585$A8026B44-6E59-4FFB-B598-9E00623B8494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42dcb24ab2a07d91d02ef91aaa1dfcd2863bb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5501458,"id":"Q5501458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcf2f0d13b722c56e28978254429da45bed98b5","datavalue":{"value":{"amount":"+0.8726886","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":"Q2453585$861D3A23-1D9E-4D44-BE48-548F29F0B940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453585"}}}}}