{"entities":{"Q4254636":{"pageid":6284237,"ns":120,"title":"Item:Q4254636","lastrevid":88742480,"modified":"2026-06-04T15:20:27Z","type":"item","id":"Q4254636","labels":{"en":{"language":"en","value":"Upper bounds for standardizations and an application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310709"}},"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":"Q4254636$6F814E66-3BCF-4D2F-B3B9-031D92C34AFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a893bd7627f040da02ec182816400334daee8b8","datavalue":{"value":{"text":"Upper bounds for standardizations and an application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254636$CD62E708-EB33-415C-B244-C61FA2CBC0A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e9954220b08b53b1f006aebcfdf8ad05b82095","datavalue":{"value":"0938.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254636$4C316121-1520-49BE-B3DC-D2FCD7E7E1DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41d437e0767d2d46617c10442a831dd87727792e","datavalue":{"value":"10.2307/2586765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254636$182BFC1B-375E-48BC-9981-68105FC6E0E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef15dcc9d238b439c915f4010ff60c2a860bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1286372,"id":"Q1286372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$366D6E47-CC18-4D83-8536-1C2FADDC328D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$FCDF6A02-7BD4-4030-ADF3-5F0EF8038363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254636$9910F7C0-411B-4B49-878D-46C7A18FB1B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254636$F6C4C550-7539-47F5-B1AA-763F304FDDD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27b40a7f001367f9f3604361307686214e490639","datavalue":{"value":"1310709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254636$286C017D-DF3C-4AC1-8509-132A83409589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b33e8f295c111c7558f323aeef9fba4697ee39","datavalue":{"value":"standarization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254636$D8FCCFF6-E622-4037-988A-19662301F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254636$37B946CA-1CBA-4B78-89F3-5FDE94F4B729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974b08b4b96f91c9c4e138e1e131930c5fad6eda","datavalue":{"value":"\\(\\beta\\)-reduction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254636$208E15A7-F375-41F9-8AC2-128CC923EBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254636$B1FB7C4E-3EF4-461D-8A9D-C1CA6E74D6A5","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":"Q4254636$C072FE27-55F4-46DC-8897-0F68B0AFE37F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f32c16d24c4dad6410196eabf84347a3bb1fd4b9","datavalue":{"value":"https://doi.org/10.2307/2586765","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254636$A5147070-FB57-46E3-9FED-6162D7CD7463","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d86e73168f655c3e6565c62689510cf65fde30db","datavalue":{"value":"W2132042970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254636$F72E91FD-F049-477D-A9F9-F061EBDC4F2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$87B794F7-A02B-4220-B3C7-DF3FBE29FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$658266B4-BE02-42C0-8C3A-BE85C79F9523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$8D88452B-0407-477A-8A72-61A0F15646FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$E9748E4F-06CF-4010-94A0-443EBF21653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$EB0D8D2B-3B66-4A4D-A854-7A3CB0187051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e085c4847c227118c61fb798400661bb25f4681f","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$2620B1D7-7468-48D2-A5AC-4884F3700619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130e64b7440a7fe977a3a281bd58e597f00179c8","datavalue":{"value":{"entity-type":"item","numeric-id":3884083,"id":"Q3884083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$A5EE810E-C665-4015-8260-75DD0E75884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$F487FC9D-0DA5-4715-A5E8-2A0CFE7A311E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254636$667C5F39-019C-47D9-88CE-19F65700DFF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bfed54ca2ad3b2a17745a611372f8525be4a9c","datavalue":{"value":{"entity-type":"item","numeric-id":4364525,"id":"Q4364525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79054a2066ff3aeae4379f423637ae5a3b08e7b1","datavalue":{"value":{"amount":"+0.925598919391632","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":"Q4254636$7E1B1C1D-7059-49BF-B084-9BAD7847EAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c849d33f13cca487b27c42b5fb87268f8b2a0159","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a6f8f7799eda29d1ff36a1f08f73884b7d6c3d","datavalue":{"value":{"amount":"+0.8412570953369141","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":"Q4254636$3187E5BC-3C83-4D7B-9F43-F43DBD796267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1491f6d09198e9f252bd9971e6f856cb1eb8dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bf9b33d462cdc624e9e4e68f42dede4c55b7e9","datavalue":{"value":{"amount":"+0.7931819558143616","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":"Q4254636$57521D2C-905F-4739-96F0-4D6D89526134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b26c6d5a8a1f09230d71b56616acf8604a6ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5271066,"id":"Q5271066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8463184083275f356e311983e506dc61da8375be","datavalue":{"value":{"amount":"+0.7898097038269043","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":"Q4254636$A846940C-584B-4790-A9B3-31283E1CC884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e75d19531fbf42912d86e4e69bfb094faf1d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5195246,"id":"Q5195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a3bbf8074cfdd7a5b886700c6f6c6c2d9c64c2","datavalue":{"value":{"amount":"+0.7665801644325256","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":"Q4254636$3A62D6EF-AD50-4941-9B1B-EF78C687D8CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper bounds for standardizations and an application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_bounds_for_standardizations_and_an_application"}}}}}