{"entities":{"Q1434350":{"pageid":1445090,"ns":120,"title":"Item:Q1434350","lastrevid":68694792,"modified":"2026-04-13T01:29:25Z","type":"item","id":"Q1434350","labels":{"en":{"language":"en","value":"Behavioural inverse limit \\(\\lambda\\)-models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081182"}},"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":"Q1434350$BCAE75B6-07E8-4352-A229-8E341F409E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd641a80b4fbd5998750a212940e444932004fa5","datavalue":{"value":{"text":"Behavioural inverse limit \\(\\lambda\\)-models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434350$6273268D-546D-4CC1-8C7B-4F60955ED4D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1708c5b9aebc926e806b6ec487c3674fd5b38342","datavalue":{"value":"1055.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434350$7887DDFB-8BFF-4688-916B-9A42C6E1E5E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$BB65B32E-40F9-424C-B90C-D85360674262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$336F26AE-F02A-4440-9028-30C33048F10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$E8901D69-BF80-4CB2-BF94-A551B8280449","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":"Q1434350$E789D2C8-65F4-4C6C-A0B7-D5D10790EF32","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":"Q1434350$8D2FDA1C-1022-4214-819E-554E26E53548","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ae52f9e9699ba4879e97dce3a0cf3a41b5edc40","datavalue":{"value":"This paper studies nine computational properties of \\(\\lambda\\)-terms and the corresponding sets of \\(\\lambda\\)-terms. We recall that a \\(\\lambda\\)-term \\(t\\) is normalising if \\(t\\) reduces to a normal form; head normalising if \\(t\\) reduces to a term of the form \\(\\lambda x_1\\dots x_n.yu_1\\dots u_k\\); weak head normalising if \\(t\\) reduces to an abstraction or to a term starting with a free variable; persistently (head, weak head) normalising if \\(tu_1\\dots u_k\\) is (head, weak head) normalising for all terms \\(u_1,\\dots, u_k\\); closable if \\(t\\) reduces to a closed term; closable (head) normalising if \\(t\\) reduces to a closed (head) normal form. In the main result of the paper the authors build two inverse limit \\(\\lambda\\)-models which completely characterise the above mentioned properties. More precisely, for each of the nine properties there is a corresponding element in at least one of these inverse limit \\(\\lambda\\)-models such that a term satisfies the property if, and only if, its interpretation (in a suitable environment) is greater than or equal to that element. This result is shown by using a finitary logical description of the two inverse limit \\(\\lambda\\)-models, obtained by defining two intersection type assignment systems. Therefore, the characterization of the above nine properties can be stated equivalently as follows: a term satisfies one of the nine properties if, and only if, it has a certain type in one of the above mentioned type assignment systems. The novelty of the approach consists in the characterization of all nine computational properties of \\(\\lambda\\)-terms by means of only two \\(\\lambda\\)-models or, equivalently, of only two intersection type assignment systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434350$E0020AA0-7D8A-49E1-A589-6A8A78042383","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db6b95109dc1af8f661ae37d31be7fc1cf1d77e0","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$DCEB6D4E-9037-4A69-9796-58AEF4DD78F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434350$9C28A76B-4198-4EA1-B0A3-D672737FB38A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94754dc6c758d431d82d97144976849515ca35cf","datavalue":{"value":"2081182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434350$4226A584-870C-4882-A25D-1EFA4BFCE5D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434350$D1B01179-D77E-4A2F-BDCF-90F0682018E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434350$05B539DB-A3F5-4935-BB49-D873BFEB17D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434350$30B22D03-42E9-4B38-ADB9-001346631493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434350$BBF6B016-3029-4F77-AD54-441AC744014C","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":"Q1434350$1A1ACBAB-43F3-4B00-97BF-4ECA8C583DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21c6ff7719274cc278dbcbcf464293d77187e53b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.01.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434350$36718248-2FD1-407D-A663-EE6F9D283EB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"158c49517ba470c9b2c986c397dec7a8139c94de","datavalue":{"value":"W2050740622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434350$948D2802-1CC7-4915-9D0C-EDD30C2F3C4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$A314A41D-F09D-46B2-8964-3909AB00D844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$6F2E555A-775A-44FE-9C50-DC6455711D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708317026f3370d856c8fc956d7be7dddc47345c","datavalue":{"value":{"entity-type":"item","numeric-id":1434348,"id":"Q1434348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$D727B2A2-34FC-41B6-9856-7BD024A112FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$D13F677D-FDE8-4871-9CFB-91689397CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$3787C186-94B4-4B17-99B3-125A5D47557F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$EE5CA3D5-ECB9-4AB4-B5EA-AC466272D275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b480b7cfed9dd3eb5bb1f33cd8312667ebf712d","datavalue":{"value":{"entity-type":"item","numeric-id":4109650,"id":"Q4109650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$7E5BDBAB-CFF0-4CA3-AEBF-CD67B0D96ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986b6fdb4a1233849af301150a803956070270af","datavalue":{"value":{"entity-type":"item","numeric-id":3036694,"id":"Q3036694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$C9A4871C-8934-42D2-BC5B-B4B4DE94CE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$57C72B46-0332-4418-BDB5-B7FD364D40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88a04e81998b3880a0519edf31d5fa80ce5997d","datavalue":{"value":{"entity-type":"item","numeric-id":4435466,"id":"Q4435466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$6EF9D764-1BD4-4285-8D6B-FFA44D0F70E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7a160d2b805fed64a738ddb0c417bb269371e","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$3BE63B6C-CD1D-41CF-9ACF-3AD3712CBD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4ba94d8f08c32063f0ed58d67ccdb0c07368fd","datavalue":{"value":{"entity-type":"item","numeric-id":1295368,"id":"Q1295368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$3C1B8727-50F0-4264-8DB9-9AC86DA273C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25baa08322ea0dfa6c2c2f29991332cfbea29ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$C2476D48-064E-41F3-9812-BC4799FA5230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$FAAC1A15-0692-4890-8B45-3418C7D03BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$50791579-85C1-48B2-8E3C-CDA18647D2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$35B72368-2D6F-43BB-BBBF-5C07527236BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa3906478d71e95059766c5ac8c419b28304833","datavalue":{"value":{"entity-type":"item","numeric-id":3707988,"id":"Q3707988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$E80D312B-D647-4909-85CC-153BFBCA91BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$F4B67A08-DC5A-4EBE-90DE-DE18FC8F1EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$AFF887F8-66F7-4375-A78E-9DCB75C57338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$30F17B7C-A203-429D-A6F4-C24A57ADA108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$057CE6B5-2DF8-42E9-B925-4AAB787529E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$BD9111B9-2CB1-4A35-A9A5-ADD64780D415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$EB1A5F63-972E-49EC-9A15-0506A6F17D93","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":"Q1434350$622D4F4B-CF7A-4C21-A04C-B7A707F8147D","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":"Q1434350$5A61D3A7-A6C7-4953-B3BA-C89AD1AB1475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$D819D1AD-82B3-4014-B8B9-7FBC65A7894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$DB487CAA-A2DB-4364-AAA6-E87AF6F215EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434350$33793C82-E7F3-406D-807B-01DC092DE607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064ae5f6850a04f7fa3212171df280253a37cbe6","datavalue":{"value":"10.1016/J.TCS.2004.01.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434350$E8E3E741-5422-48D2-99BF-76A2FD69032C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629e73a3282cc87b8bd061bb2dc9c9bfaba9ce68","datavalue":{"value":{"entity-type":"item","numeric-id":4435466,"id":"Q4435466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5641b298fb07dc57654d756386cc59288009013e","datavalue":{"value":{"amount":"+0.9335312843322754","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":"Q1434350$CDE83222-BBD8-4916-BE32-8B62AED22A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8de3da92070fd91124538692ee8d7e46454b62","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a7ecd183ae83f8c72efbac0f7913fb82d5c2aa","datavalue":{"value":{"amount":"+0.7755886316299438","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":"Q1434350$FB3B74DC-9CE8-495E-A35A-896373C579AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554a6ab145f3376d50a73e1b741e2f88522204b7","datavalue":{"value":{"entity-type":"item","numeric-id":4635607,"id":"Q4635607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59af743dd592855ed8c6c827a001bb65296c986","datavalue":{"value":{"amount":"+0.7393134236335754","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":"Q1434350$9C18B83D-DD57-43AB-A916-F6869AE6ECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f66c5c50c710cc995142717d05ebecaa16e510c","datavalue":{"value":{"entity-type":"item","numeric-id":2863905,"id":"Q2863905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf30413f67b48f5228af961097a9d3c673553b8","datavalue":{"value":{"amount":"+0.7390213012695312","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":"Q1434350$10AB8CF7-FA47-48CC-89B4-477C868AF579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfc0eaa3c3f4c3efb15c870c5006953cb36edb0","datavalue":{"value":{"entity-type":"item","numeric-id":2804203,"id":"Q2804203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7987ff079eb83c1579c3375a7c923e09e6d1db9a","datavalue":{"value":{"amount":"+0.7319630980491638","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":"Q1434350$AC0A619D-C638-4379-81C2-C39D1F93373B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavioural inverse limit \\(\\lambda\\)-models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Behavioural_inverse_limit_%5C(%5Clambda%5C)-models"}}}}}