{"entities":{"Q1275633":{"pageid":1286383,"ns":120,"title":"Item:Q1275633","lastrevid":70049655,"modified":"2026-04-13T12:06:08Z","type":"item","id":"Q1275633","labels":{"en":{"language":"en","value":"On functions preserving levels of approximation: A refined model construction for various lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238996"}},"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":"Q1275633$2C600E13-7C23-418E-A030-CA9F54E003D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaacf21adb5725aafc030068f99f31c1ac2e7052","datavalue":{"value":{"text":"On functions preserving levels of approximation: A refined model construction for various lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275633$47AA3495-8D0A-4636-BEA4-1C1588F48C02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13254f1ed7862006e20380f34a20449e2e4f2b0c","datavalue":{"value":"0913.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275633$C95D6C19-2720-40FF-99BF-8A606B35729C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e82002a572b01ca1f8222b4ffb76b3a6e602db18","datavalue":{"value":"10.1016/S0304-3975(98)00144-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275633$4CD7E349-B2E3-4EA1-BC6C-52DB80299E41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b1b744ece9c7e2a025b6f03ab954d3ff7eeb47","datavalue":{"value":{"entity-type":"item","numeric-id":582907,"id":"Q582907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$60ACF456-81E6-473A-8ACD-69FDD15AD420","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":"Q1275633$4C671178-B0C9-46C8-9871-8E924D6288E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275633$E89A3DE7-58E2-4206-87C1-646DE4471905","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275633$CC0584A0-646E-4AA6-A10A-0B23CD0DB510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275633$1C1F8595-A071-4755-B47C-7D2FD7211B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275633$27CACF45-09BD-41C5-AF39-2B15998F0668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acaf9ee556230a7fc36cbe0576e52a9ffb736efd","datavalue":{"value":"1238996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275633$2B425E99-5065-4D0B-892E-C9B544207BC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bda6066e89bf76297c8bd53bd8c70ede662580e","datavalue":{"value":"dI-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275633$3B38168D-3D78-451D-AC19-6D36773592A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c77367224e2bdc9fe3b4349d1df70115fdddad7","datavalue":{"value":"approximation structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275633$2DD1EB15-82E9-467E-A8B1-F134371EE85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd56a3af27474be0b20acf63a069e18ea4b95616","datavalue":{"value":"projection morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275633$EDBFAA41-3CE6-4A36-B96D-EDBF20FD6A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc525b0c7699b65112e18d4bdaed0d6c12dfabe","datavalue":{"value":"\\(\\lambda \\beta\\)p-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275633$64EC269D-064F-4488-8606-D44F8DC6CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8c45e38deaf921681d537eecd7a40aaaae34c8","datavalue":{"value":"\\(\\lambda\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275633$451D5F63-9C68-4611-A720-713BA7E01776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f6ce37cea6c19de8401497c4c352e6e41bc2ad","datavalue":{"value":"\\(\\lambda\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275633$448126B5-299A-407D-AD5C-7DC838E142C3","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":"Q1275633$9FE71F79-2492-43AF-B151-CB15A87640F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930ff6c146eadf1d16c7d55282eb1c5517685f6","datavalue":{"value":{"entity-type":"item","numeric-id":4282566,"id":"Q4282566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$DB6E5B71-A9D6-408B-8CC7-B7D1DC538BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$5F1C4C58-AA06-41BA-920F-EA1682017C8C","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":"Q1275633$C6851E73-0039-4A8C-A19D-A92AD23CFE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3135ff454a54abef92b5c00b90dd826ed4b39fc","datavalue":{"value":{"entity-type":"item","numeric-id":805221,"id":"Q805221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$58180DE5-9507-4516-983A-0E5E883B1E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$9988C7F9-B0A9-43FA-82E3-8B999DE4F1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$4598F41E-B9A5-462B-B91C-4E341DF2F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff7b4b15f07eaa2fe6451c4215ac33dfd4b510f","datavalue":{"value":{"entity-type":"item","numeric-id":3811687,"id":"Q3811687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$B9FD568C-F82D-412B-BAE0-0FE9E747727B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$9616426A-C33D-40CE-AAF6-165D5119E4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$DB869AEF-4012-4E6C-B635-FF9C8B27E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$BEF0B170-62EE-40F9-AC74-EC5CDB2C89A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$B29CDD01-8DEC-4542-AD36-4BF49ECFF7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$274CA0A7-CDDE-4434-A8B3-C06CD73F7B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275633$6D8C5B1B-6613-4034-B0E0-BE3E921C3D2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eec1e2110ecefceaba0a09319c97a1fecf13da0","datavalue":{"value":{"entity-type":"item","numeric-id":805221,"id":"Q805221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33784c2052d05940f66a1e6ba15064884a40755","datavalue":{"value":{"amount":"+0.8508211374282837","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":"Q1275633$3C93C85B-941D-48C3-A265-053FBEA78526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6cf2f3122275706031b6b365b6b18e07412ed9","datavalue":{"value":{"amount":"+0.7801283001899719","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":"Q1275633$C4AF5611-90FC-4CDE-B6F7-F2336B341683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50fe0403c890524c14042cdf25f10f16b81aed3","datavalue":{"value":{"entity-type":"item","numeric-id":5096213,"id":"Q5096213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc91200572c3c307b57d2d7f7959b604accc0a9","datavalue":{"value":{"amount":"+0.7726357579231262","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":"Q1275633$981F7BB4-6E53-491F-A9D1-4CE316D2821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b5c8978b31ef7acf238d7cee5ef45c3540c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":3760510,"id":"Q3760510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2d977f5fe43984fbf7aaf756f22c0f4c1a1ab2","datavalue":{"value":{"amount":"+0.7689822912216187","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":"Q1275633$A5AD4128-9D4E-4942-98DC-BB3D5E0B56B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On functions preserving levels of approximation: A refined model construction for various lambda calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_functions_preserving_levels_of_approximation:_A_refined_model_construction_for_various_lambda_calculi"}}}}}