{"entities":{"Q1021569":{"pageid":1023417,"ns":120,"title":"Item:Q1021569","lastrevid":69438792,"modified":"2026-04-13T07:00:24Z","type":"item","id":"Q1021569","labels":{"en":{"language":"en","value":"On the completeness of order-theoretic models of the \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5562792"}},"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":"Q1021569$14248CD9-C0CB-4536-A3AB-A06284C63CD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d8e75d2ef498459538cf0d34172c163d369b9e","datavalue":{"value":{"text":"On the completeness of order-theoretic models of the \\(\\lambda \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1021569$41ED5D8E-C1CF-40E2-822C-53391DBE2054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44ff04aa067c0c015a17c619254dd4d7f0869d8e","datavalue":{"value":"1167.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1021569$7CBCE31D-D136-4B08-BA64-D797C34849B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$14E49600-6B13-4C29-B4DF-D6DE67FC3A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$C07B658B-F33F-46BC-A740-4F3F15B964D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$AEE2B325-52FA-4415-8614-49BA1B987274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65e0ff8b2bd8a4a14882f24a52965f07f46edb55","datavalue":{"value":{"time":"+2009-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1021569$CCA870DE-25A0-4448-A852-D20A2CDE1326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1021569$D9321BC4-9EBB-4945-AD04-74E07A071A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1021569$C2913C77-A44A-4730-A69B-90BCB10C4583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"336d11f5ff863036ea09fdf9dd754701f4f7967a","datavalue":{"value":"5562792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1021569$4803C076-37AA-4EC9-ABE0-F1A6365C5C51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1021569$0DCF1549-419E-4D09-AD45-6C0BBA0E9B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1021569$D8ABAE3C-AD07-484F-A849-5B64C3EA8E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1021569$F7D994CB-0D9B-4876-9A62-0DF757A11B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1021569$15A00C38-A2B6-48E6-8557-5C97CABB684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf150b8724f5036c5557a0a5dc04d52628b32df","datavalue":{"value":"Mal'tsev operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1021569$3017D593-7BE9-4C47-851E-7F0D7C969E6D","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":"Q1021569$3AEECA1A-5946-4155-B2E7-5A4BC4CEA31D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00b6f4d543ad32821cbebd566f108add5516c465","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.03.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1021569$464D6EFB-F8F7-4D24-BE59-CB4D4ACB95B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d0a1fa30c6753d6a946fab2d62d3fe8fe7cc0f3","datavalue":{"value":"W1997705949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1021569$A5943D72-7002-409F-A832-3220B7746BCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde268768cb5a3bbc4a6ccecc6a7bc4da7784515","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$5A3F3013-B9F6-4F2E-8323-2E2AAE2D33B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede00a0126bcab8d203e10471ec524376d847ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4847018,"id":"Q4847018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$6B69449A-C9E2-4BA6-9D5D-974941D6037C","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":"Q1021569$F47BCFF0-EFD4-46BE-9DDC-79ACC6F4DD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb0932eba7e680cc2debb594cd8e98808dd520d","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$E132C472-09E8-45DA-9233-585591282613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$AD469354-3802-40C5-A988-8BCFD0DD9A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700f409cb1b95fdf8cc61f09344f849065b51039","datavalue":{"value":{"entity-type":"item","numeric-id":3583100,"id":"Q3583100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$C5CA8215-2B0E-4078-ADFF-6E43DB5A8246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2706e148ae4682b23ecf362ecdea9892769b6aa1","datavalue":{"value":{"entity-type":"item","numeric-id":1917095,"id":"Q1917095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$ABB6D9DB-5571-4368-A4CB-B46EFECA67EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf9bb16368406d756f1ee1585890c89fe7bb1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5267435,"id":"Q5267435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$5BDA58B3-6E34-4E7F-9442-33932BB6F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$373A42AD-7FB5-4EC1-AF04-72C2066CDA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a724201ff43afc7a9d9191ef4bbb8b92b1f8655","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$2C0B6F28-88CB-4DB5-888D-00A0C2B51237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$77194A04-51FD-4E8A-A823-52615DDD0116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1021569$8E2F8C8C-9D71-44A4-9EF2-397B57ECCF16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d3ee7bf904d4f17e0823b4710f9169ad376d565","datavalue":{"value":"10.1016/J.IC.2008.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1021569$240F49E1-4E5D-428C-AE7D-0E0FCE7A37F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c367f28e4f82ca6c68167e24f866e8bfa13b3048","datavalue":{"value":{"entity-type":"item","numeric-id":4649544,"id":"Q4649544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1370aab6e77ea91eae8c91c05791b713477e889c","datavalue":{"value":{"amount":"+0.9403614","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":"Q1021569$9ABF577D-9A5D-4B2A-B0F6-492FC2FD7C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb2c7584c950390b4f341a0d6d5b183ce416010","datavalue":{"value":{"entity-type":"item","numeric-id":2506496,"id":"Q2506496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c19639fe3bf8322fc8dddb9d88080c7db280f1","datavalue":{"value":{"amount":"+0.93055344","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":"Q1021569$5D73826F-9C70-4F95-87BB-845D379E64E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f948a54d1f17b7cb270c2ed50690a91f2abe16c7","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fd6d609806fb075a9ee8e22ae15c8653b97318","datavalue":{"value":{"amount":"+0.9227985","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":"Q1021569$532E7D9C-1E88-4719-B726-C8491CA62011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e00484325dc204290226d18756f6d6c09bcd3c","datavalue":{"value":{"entity-type":"item","numeric-id":4916175,"id":"Q4916175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d1ee06fbb6b0d17c1609eb36c00e490db9ee39","datavalue":{"value":{"amount":"+0.9226475","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":"Q1021569$94F23AE8-F845-4CCA-866A-54BD570ECBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8114c8e78e6d7e88e9ee430d5b0e06e5bdb26243","datavalue":{"value":{"amount":"+0.9217323","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":"Q1021569$C4BA4F98-E2F4-49C7-8A70-CDC58F207F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415330372d909ec89618abb517d8477f2fd36406","datavalue":{"value":{"entity-type":"item","numeric-id":2871473,"id":"Q2871473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6662a1a872b42da1145344e2d78070880de4bb","datavalue":{"value":{"amount":"+0.9108893","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":"Q1021569$8539A990-F7C2-4402-8CFA-6EA18050DCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37827e46ff4f4975a87a25a10e14cb616c1c40e3","datavalue":{"value":{"entity-type":"item","numeric-id":4886631,"id":"Q4886631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ecde378d2bd2638bb605cb74080a20e06c2be04","datavalue":{"value":{"amount":"+0.90219307","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":"Q1021569$3BB63D2E-0B2E-40BB-9470-B93E5ADEA564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae01ac1f6c5ed25350417c44a6855feeb0e553c","datavalue":{"value":{"entity-type":"item","numeric-id":4841278,"id":"Q4841278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c75ff48e7bb6dfb7ffd39654798230e7eb3211","datavalue":{"value":{"amount":"+0.9013368","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":"Q1021569$D12A3898-2093-437C-B8E7-A22299D8651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63001cfdc0106cfa5ad69b1242ee93419d2d4158","datavalue":{"value":{"entity-type":"item","numeric-id":1125063,"id":"Q1125063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fd44999de8cb0d5fe6537688d6d24212577de5","datavalue":{"value":{"amount":"+0.90028566","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":"Q1021569$AFA5D0FE-5386-42E1-AE18-2A354BC90CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc20b686005bc2ceb24fb0e1c146b05fd143838","datavalue":{"value":{"entity-type":"item","numeric-id":4981260,"id":"Q4981260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1e00abfa9deda890d9f572edd1c396d39b56ff","datavalue":{"value":{"amount":"+0.8947532","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":"Q1021569$D241E8CD-69D3-467F-978D-E14BB3E15486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness of order-theoretic models of the \\(\\lambda \\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_completeness_of_order-theoretic_models_of_the_%5C(%5Clambda_%5C)-calculus"}}}}}