{"entities":{"Q549191":{"pageid":550958,"ns":120,"title":"Item:Q549191","lastrevid":51286427,"modified":"2026-01-17T14:50:59Z","type":"item","id":"Q549191","labels":{"en":{"language":"en","value":"The correctness of Newman's typability algorithm and some of its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918237"}},"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":"Q549191$01F7C60A-B891-4FC7-A7AC-117ACFD3BEEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55a162908a4e01ef4b18b535f5187727ba328658","datavalue":{"value":{"text":"The correctness of Newman's typability algorithm and some of its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549191$8EC58C01-DA98-4578-B12B-128AE32E84C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d99d010491a7c7a4201289b40b899cb74b666726","datavalue":{"value":"1221.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549191$5DDBAF08-BE24-44E6-888C-F5250EE8C44B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$24AA1247-F1EF-449A-B941-00CDE748BA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$6CD2C4BB-FE74-4305-9F44-0FEE4E085046","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":"Q549191$CD06E435-DFBC-493A-A579-4E482969B79C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549191$D457AAE9-E4E5-4C5E-B398-0CEC58A8671D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549191$E1B88D8A-818F-41B0-B65C-E284603F2B42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caef5a7c8e070cb4ca8ffa228bd747645df95187","datavalue":{"value":"5918237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549191$8DFEE36C-2E9C-401C-AEE1-E0D5847D98E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q549191$605D378E-E0D6-4F5A-B808-898C37E01682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q549191$7482FBC9-A55A-4737-A06B-6C991F4D01D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ab741d85ed23af5f31d38f3ef0a0420639eb2b","datavalue":{"value":"typing algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q549191$4B9639FA-BA56-4E63-8E4D-2E8CA4CC1FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c794b97674b80b55d60ffda9fe8fe517f3e53f7","datavalue":{"value":"principal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q549191$7D1FB018-FD03-4406-AA07-98AAE718650A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$0DAB1030-C73C-4B1D-B3CF-0B1D6DEC28EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$8796F3F9-FF4E-4F2A-91D2-BA0917C301C0","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":"Q549191$85D00173-DA17-4F94-B93A-8C88E6A3145C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3606b8aa5b219078898f99823452d65878bd6758","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q549191$577AFC14-3B07-4BC3-ADD9-8F436F428321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60223fc2cc5df4cea70d9e32e4483f226fca6cb1","datavalue":{"value":"W2132382388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549191$E708D758-F9C4-4710-A50C-58E71D187D07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$452463CA-9C80-4EDE-9B2E-C5D57790DB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$DDD2D855-3615-4915-8EEA-6A1140A2DB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44add28c023180c0b90e5a10e532542f40ef633e","datavalue":{"value":{"entity-type":"item","numeric-id":5191087,"id":"Q5191087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$9A84F6BD-B157-4E1A-9E8B-1BC5FCF8A44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$B262F632-B107-43FE-AA18-C2010A789846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0035a8107292128e70119bda36e7ee8d0079af","datavalue":{"value":{"entity-type":"item","numeric-id":5385202,"id":"Q5385202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$9082E82E-DE81-4571-9F95-99BC3C50D47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$4FA18A0F-0E7F-4C39-B8A5-12A3E50CCC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$EADA1F7E-827B-4BD9-90C8-A136FC11F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$F7A79F7D-162D-4276-8283-8610FA7F00C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5bfb0df0769e36733d29300cc6c28d9a6af45b","datavalue":{"value":{"entity-type":"item","numeric-id":5834314,"id":"Q5834314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$200FB267-5ADA-4EDF-8596-383E2D8D3AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$2E1EBB4A-B8E7-4CC6-8662-384724CCEA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024fc5c9bf31d84f51f7dd41f396f168c12ba8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5765811,"id":"Q5765811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$54B9472E-7CDB-4DDE-9CB9-F3CB5524CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$F0761189-0CAC-4613-9045-C232030038DF","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":"Q549191$8689DA02-630B-400E-90D9-50FA7FA8A4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549191$B4AF9CD9-C1B2-4271-B8CC-4135F532962D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5909111f074d6c49e75ff8299a2055d30a2b2991","datavalue":{"value":"10.1016/J.TCS.2011.03.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549191$C45A1DF6-B489-49A7-991F-00AAC129D312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3f591feb60b96b5eb44b9f53288452af551ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5385202,"id":"Q5385202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5566ac05b3b3cc072f9c7612175d7258abad4a4d","datavalue":{"value":{"amount":"+0.8617884516716003","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":"Q549191$689EDEAC-AC3D-4984-ABB3-86625696BC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e842f1ca5bf94dd1b43c9be0446aa3396b0e3c7","datavalue":{"value":{"amount":"+0.836706280708313","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":"Q549191$EC11FD3E-8002-4DE0-A81C-5211550D0AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699abd0a3753cef04f0fc79a5b4ebea335afb4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b3d11da3e47670e2892ce8174c563e3d518ee3","datavalue":{"value":{"amount":"+0.7813282608985901","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":"Q549191$8D1E0E38-F9D4-47F0-9144-51987EA71CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae69d019a3c4a377af1464097f962fe9f068e908","datavalue":{"value":{"amount":"+0.7519486546516418","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":"Q549191$F6A5FEC1-E33F-48F2-9F89-FE32E00D20D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37471370c2749cd3c927913a09fa6bfbc2d27ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2932835,"id":"Q2932835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f8c0a78354d27e64cba0acb2a6cd7332c30a23","datavalue":{"value":{"amount":"+0.7308279871940613","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":"Q549191$F37FC334-4BD6-4083-B6EE-87EDCC3B62EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549191"}}}}}