{"entities":{"Q1603387":{"pageid":1614127,"ns":120,"title":"Item:Q1603387","lastrevid":70954011,"modified":"2026-04-13T18:28:29Z","type":"item","id":"Q1603387","labels":{"en":{"language":"en","value":"Corrigendum to ``On functions preserving levels of approximation: A refined model construction for various lambda calculi''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767189"}},"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":"Q1603387$59C86598-7087-46AC-AB8C-91C7D5819453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7e386e0d5d064520235954fc87c77aedd50aa1f","datavalue":{"value":{"text":"Corrigendum to ``On functions preserving levels of approximation: A refined model construction for various lambda calculi''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603387$C2F3763B-3387-4FDC-9155-EA7D905AEA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a63cb407d6eff455131d81d28084e52850f4c00","datavalue":{"value":"1005.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603387$51DCD365-552D-4921-9206-4C247DBA37B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f4a123ce62c3279b2d8f8a90f43064fb3ad2623","datavalue":{"value":"10.1016/S0304-3975(01)00160-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603387$E55BA130-4FA6-4160-9A25-12DE60129086","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":"Q1603387$839ACB42-0433-4733-AAF6-F208F88FAF30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603387$8B2381A9-940E-462A-A4DD-BE393B27AED4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b3f1148ed6298fe4e2a2c9b16c6089df9cdba95","datavalue":{"value":"Corrigendum to ibid. 212, No. 1--2, 261--303 (1999; Zbl 0913.68136).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603387$037E7463-2C32-442E-8610-BE21085AE5C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603387$C3463933-AAFF-43AA-AA8F-538BE7BCB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603387$DD0F7E08-704B-492E-8B8A-9F53D3F18CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603387$3F39CBB5-3226-4890-96B4-B66D32D60570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e20fb833ecee7947f6ebeb1c0fc90e4ca495df","datavalue":{"value":"1767189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603387$D1D78BF1-53B0-4064-94E1-0EC1BB8C1ED9","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":"Q1603387$9EAE00EB-CCAC-4730-8EC1-3D78DA697A6D","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":"Q1603387$59C93A20-3B0B-4385-B7E7-AA92261BC87D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57415e379fca620c7f1fdc27d50247608e754fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1275633,"id":"Q1275633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603387$B3140E76-058B-40A9-B1D6-6039F898A30A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigendum to ``On functions preserving levels of approximation: A refined model construction for various lambda calculi''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Corrigendum_to_%60%60On_functions_preserving_levels_of_approximation:_A_refined_model_construction_for_various_lambda_calculi%27%27"}}}}}