{"entities":{"Q2973254":{"pageid":2983979,"ns":120,"title":"Item:Q2973254","lastrevid":85634408,"modified":"2026-06-03T10:34:20Z","type":"item","id":"Q2973254","labels":{"en":{"language":"en","value":"Ordered combinatory algebras and realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699408"}},"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":"Q2973254$8E570BAB-34F2-4A45-BDC1-233D7F714B42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72dec89b6013a935684d8155056e662551b3403e","datavalue":{"value":{"text":"Ordered combinatory algebras and realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2973254$F1CCA49C-E6D7-4F45-A731-70F000B4651B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"017c748cfce6c1e30263adfc7aabc25488cd1c74","datavalue":{"value":"1423.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$F431BD4A-0337-476C-BF35-B5726F914C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe456be29c98f7cde81dff090603aabaf6941268","datavalue":{"value":"10.1017/S0960129515000432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$351668F9-D45E-46C8-801B-81A389D52DAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca6076d2d4cf97e6395c92fd68e50d20bea8c46","datavalue":{"value":{"entity-type":"item","numeric-id":476120,"id":"Q476120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$2ABE6F04-397D-4C98-A6E4-CD03CB547C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1047bbea383d0b9f5a07cb915390a4618eb4b03","datavalue":{"value":{"entity-type":"item","numeric-id":2973241,"id":"Q2973241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$D35E42C2-A07A-492D-A5DA-892285C5A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c6ebe705900b0945c1fa06056c76a7b551e84f","datavalue":{"value":{"entity-type":"item","numeric-id":1940190,"id":"Q1940190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$BE55B5A2-815C-4548-BD78-45B16A7F5001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842fcbe111f9be8377f324c26e11a51d0a9daee","datavalue":{"value":{"entity-type":"item","numeric-id":2482839,"id":"Q2482839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$4135C6E4-41EF-45E2-8A73-7A6E20B7B87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4ef61d0b21a2a6a25d06f5e6c62497e4091fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1154520,"id":"Q1154520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$B89DF8FB-3F57-4176-8FFE-5FB402C564C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$314CA164-6AD7-4D6E-8ADC-BC219D3E0D89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2973254$6F0B9C74-8A66-4B60-B6D3-80C5079883AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e10e4002aa7b1fdde11d19b1d9032eb27a2b726","datavalue":{"value":"https://arxiv.org/abs/1410.5034","type":"string"},"datatype":"url"},"type":"statement","id":"Q2973254$E1186081-90A4-4B1A-9CB3-6808B6DA3A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$E0915FCB-9579-457D-8C92-37F0C059BDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$6D9C6265-005A-46C4-BCF5-1C4F6F615A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$F1156D4E-7925-42CD-BDA2-56736E3460FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$7A7C6DD1-B8F2-4D5F-9947-EA1AD999F682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d2e36d8c4b5a7c732ed597244da951533b71725","datavalue":{"value":"6699408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$ECB425DB-56AC-48D3-94CA-775E3D54E778","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":"Q2973254$0E1B2707-9E19-469F-AF3B-636C5F45F135","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$AEA9F3C6-28FE-4D87-A0F4-1E322E8C29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$1D6D5DDA-A895-4276-8E22-D40675431F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$1ACF42B6-78AB-48D1-9CB5-C1F02AE034C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$9608B2B2-5A20-4182-8449-9DF3C81BD81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e75fbe2efb903b9e1e372b443baaec72df8197c","datavalue":{"value":{"entity-type":"item","numeric-id":3419822,"id":"Q3419822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$0FAF16FB-9815-4498-95CA-1CD7C2FD10F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf23dc7ae24186530952c0342f191cfddb636c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5450701,"id":"Q5450701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$7FD2E117-DDE6-4F24-AF78-944A0D416FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$83413422-1082-4E20-A8D0-CA371860F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$587D1C87-7B2F-4552-96EE-ECB77028ADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$3906770A-8DAC-4286-88CB-BA10C3B6340B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$34DC8708-0A57-44B5-8189-E74E75AE928B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$6E9298EB-7FBE-41E0-8E60-9A0EFED89B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce42f54bdfef08bd435c92bb6ed780dad4891a10","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$D4B957A2-0442-445C-AD3B-84B6CE0FE497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b75dd3fb8b48431eb9ad5b02ce91286f91c46a4","datavalue":{"value":{"entity-type":"item","numeric-id":5945009,"id":"Q5945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$E6F9B886-3139-4CBF-9E5D-A917DBF11FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc492aae6606d7fc7e30022e1b80faa51ce6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$F9BAF82C-D7F5-4B83-9297-74519F694010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8d9d7c0bd7ea206af012042aaaeba1f4bb9455","datavalue":{"value":{"entity-type":"item","numeric-id":3564946,"id":"Q3564946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$6C81E740-0F1A-42CB-9557-B14E0466B050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707b5ac070fb8bc02a181197aa4b08e8edc80bc4","datavalue":{"value":{"entity-type":"item","numeric-id":3400012,"id":"Q3400012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$DE6D02A2-ADAD-40A2-ACA7-EBBD8226BC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$AE0A268A-664D-45FA-8B0B-9290668856C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$B1571ECE-ADCF-48FD-A79E-FD0C8E5F7FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$EECB769B-135C-4A5F-8ABF-BDF48621F33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$96B7D690-3951-4B29-AB97-20C0FD73AD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671748bdbf3485d76506ac3d76514486f29858dc","datavalue":{"value":{"entity-type":"item","numeric-id":5410238,"id":"Q5410238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$D8F9C70F-836B-42D1-AA4C-4F66D11B44F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$0088F6FE-B867-463A-8C60-561C64430A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973254$7117D91B-288C-4DBB-9593-C464AF61718C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e06e7f25cb107caa5e71f4b790a5a460d9b98ac","datavalue":{"value":"W2963271462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973254$B86FBCDA-F0C8-4F49-8421-4560B36B122A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a4582ae59ea9079a65b5691b673a2f4c410973","datavalue":{"value":{"entity-type":"item","numeric-id":4623132,"id":"Q4623132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7016bab17859cb4520d4a69b094046e94c863c67","datavalue":{"value":{"amount":"+0.8526199460029602","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":"Q2973254$4DA68761-FB34-481F-B788-A6D606DA3409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1548badfe9f8ab389063dd2bbf2731b4b3aea36a","datavalue":{"value":{"entity-type":"item","numeric-id":5108535,"id":"Q5108535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3f1df23abd58262cf032722ec0200d6a51de46","datavalue":{"value":{"amount":"+0.8144375085830688","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":"Q2973254$5D1F402B-C005-4FE5-B0FD-5549CB887CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8ceaa2b9e18dd3a3ef84d6a6e7e56c3a8f3a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c126a1f5ead6b04fab511386df0b970b6ba73e49","datavalue":{"value":{"amount":"+0.7863094210624695","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":"Q2973254$CC860D53-FF4D-4296-8C55-FB07A7CCDDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7832a8bc7a865fdbb2eaefaa303434fb088edc6d","datavalue":{"value":{"entity-type":"item","numeric-id":5739945,"id":"Q5739945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e0d6d7eb04d282a6d2d758b10d7d1f99f614c5","datavalue":{"value":{"amount":"+0.761138379573822","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":"Q2973254$471A0ECF-7E6C-4B0E-B85A-3CF367D42D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8876f2d0908464e41d15af95996f4b2eca34ddad","datavalue":{"value":{"entity-type":"item","numeric-id":3608428,"id":"Q3608428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e7d8f0ced7e091a06cfdb84b45e170b9aee40f","datavalue":{"value":{"amount":"+0.7600951790809631","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":"Q2973254$083FD1D1-102B-4ED5-94E5-041F8DEEC986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordered combinatory algebras and realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordered_combinatory_algebras_and_realizability"}}}}}