{"entities":{"Q1434360":{"pageid":1445100,"ns":120,"title":"Item:Q1434360","lastrevid":68694882,"modified":"2026-04-13T01:29:27Z","type":"item","id":"Q1434360","labels":{"en":{"language":"en","value":"Polynat in PER models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081190"}},"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":"Q1434360$C76DE736-DD1D-46BF-9721-534860FB1364","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b454a507dd121e83743d9d2d3d7cce7a47d3a9dd","datavalue":{"value":{"text":"Polynat in PER models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434360$7FE8F207-34AD-486D-A306-274AE592C2D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82008c4d5cc55fdb7461e0479f833159762285fd","datavalue":{"value":"1060.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434360$8C35E430-8821-4A7C-81A7-F41588A50ED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"117f4367cd166d7d1054a33cbbfa8c7d63359635","datavalue":{"value":{"entity-type":"item","numeric-id":1434359,"id":"Q1434359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434360$78BE7464-EE47-483C-B515-93530F8E14A4","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":"Q1434360$C906BCF2-9258-44C6-A53D-A41621704EF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135faa3d5a875c7827ad0c91fd6b706e732e8e4e","datavalue":{"value":{"time":"+2004-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1434360$C8F4E552-7108-43BB-91BA-63284DB52F41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bdc52c06c3d60317cf96cc30f0da8ab58ee15bf","datavalue":{"value":"So-called PERs, partial equivalence relations (symmetric and transitive) applied on a partial combinatory algebra (combinators K and S with the standard but partial combinatorial interpretations), form a model for polymorphically typed lambda-calculus (system F). The polymorphic natural number type N (polynat) is used to uniquely represent numbers by (polymorphic) Church numerals.   It is shown that the type N is not always polymorphically standard in the PER-model, meaning that the interpretation of the type N contains not only interpretations of the Church numerals. An explicit counterexample is constructed.   The paper is well written but too short and too technical to be self-contained. It requires from the reader much deeper introductory study of the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434360$86E04D84-10CB-4B4B-A022-A6C444903CF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2f99db10c93a7e53bf57e4a84ef73c27ce64087d","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434360$1EDB1718-5AA9-4A39-86C0-A9F243BAF3F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434360$44C6454B-8FCF-44CE-B8E0-3224FAB1A0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434360$EA8CF379-B7FF-4CBB-93D2-8A004B722DD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fea10c99d03135345d336331fbf170ff7b760613","datavalue":{"value":"2081190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434360$EB9404AB-7D26-4899-BAAB-86472BA3BA95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d06a4412ba7c7a4b2c38ca2a6c070deb2b732a","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434360$7F1FEC41-E89D-41CD-8503-AF57E6BF8829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d6cd4615e6bea489131db0aa9f78b92cd53588","datavalue":{"value":"Polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434360$D564304D-113E-4657-B89A-DA9269BE2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434360$AE758F96-42A3-4A43-874E-683659A3656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1321523c3019ca24ee21f9d5023f72ff57793f3f","datavalue":{"value":"PER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434360$38489DB7-5056-47D4-BC80-A5D064C01FB4","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":"Q1434360$6060BA07-65F8-4D46-95F9-AFC090BF16B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67a312da71b19cd24d804781a46ae563227418c3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.01.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434360$B8597F9E-D333-43D6-A351-E6E909669994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7f7a80c7420f24dc28599ca333c07f5ef601fe0","datavalue":{"value":"W2082733427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434360$16F04EC7-66A4-4C08-8039-18F9AB71D7BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434360$860E024A-9E5E-4906-9B34-59FCF06BD464","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":"Q1434360$6B4C784D-6380-44AC-9065-FA118D55BA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7885abc9787d246484b497bf7872f6da36c523d","datavalue":{"value":{"entity-type":"item","numeric-id":3827997,"id":"Q3827997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434360$9FA59D33-A0C4-426A-9078-ADCD0FD6E568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ccf86a9cbabbccdecd3021fb2b40790b9c9b39","datavalue":{"value":{"entity-type":"item","numeric-id":5887524,"id":"Q5887524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434360$D326302D-3D3C-4AA7-A994-8FEFFA02B17B","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":"Q1434360$D33C19B2-3B87-4BA9-8C0E-BB729A6F8CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ea7f320cd125ebee4346f0388b509110cac559c","datavalue":{"value":"10.1016/J.TCS.2004.01.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434360$A9F87DEF-DF1E-4564-8959-2DCF912628F8","rank":"normal"}],"P1643":[{"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":"82c5ee7d60d4121c0668480b0a1b60e35866759d","datavalue":{"value":{"amount":"+0.771207332611084","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":"Q1434360$F9DCB324-C374-478D-A0A8-B161F9870069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241c7548623132c57d03a73c8095fdf533b5b545","datavalue":{"value":{"entity-type":"item","numeric-id":3976478,"id":"Q3976478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af7f7bcb37a7d12c6bbddc7c2bd3c319041046a","datavalue":{"value":{"amount":"+0.7645525336265564","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":"Q1434360$4FA16A0B-96F9-4622-A6AE-3CE34A28F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c27c030a8770d02f533ee8ccb3d82947211974","datavalue":{"value":{"entity-type":"item","numeric-id":5887524,"id":"Q5887524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af7f7bcb37a7d12c6bbddc7c2bd3c319041046a","datavalue":{"value":{"amount":"+0.7645525336265564","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":"Q1434360$0715D637-F825-4F42-8F3C-28D497F5F0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65aa368606b3f4c888c2ffed99a7bdd60926cc4b","datavalue":{"value":{"entity-type":"item","numeric-id":2753670,"id":"Q2753670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf77742e92261e4cace089f3cc69ec59323030b","datavalue":{"value":{"amount":"+0.7610450983047485","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":"Q1434360$99379F3E-FC05-405B-912C-841F0F1039B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cd57c82c60cbe3146ea63845048e4dec840307","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e26979f110d662b3934193eab16095e3389e84","datavalue":{"value":{"amount":"+0.7603428363800049","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":"Q1434360$60D63184-7B4B-4FC0-B434-522768BDFB5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynat in PER models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynat_in_PER_models"}}}}}