{"entities":{"Q598199":{"pageid":599975,"ns":120,"title":"Item:Q598199","lastrevid":63042045,"modified":"2026-04-11T09:58:15Z","type":"item","id":"Q598199","labels":{"en":{"language":"en","value":"Higher-order subtyping and its decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083129"}},"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":"Q598199$22C7D6A4-CC8B-41AB-A1C8-7A0C1833317F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24892b79a8a4aff45e6c645536daf598aaa51230","datavalue":{"value":{"text":"Higher-order subtyping and its decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598199$53D0447B-DF4A-49D8-AE39-E0E23C8B1B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f1eb7f831fd34ec3dcfb323b1d18ea82080cb9b","datavalue":{"value":"1055.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$4C960C85-8AE8-4A8B-B825-A73CD242EED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8a2e87d09ba8c2d92e35d3978f2d996c4ab985","datavalue":{"value":{"entity-type":"item","numeric-id":598198,"id":"Q598198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$7D247694-2E94-4E41-887B-ED743F0EB057","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":"Q598199$48E8489B-D834-4574-9F29-C028959168BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598199$62714A41-7197-4255-83AF-13E2D5B66790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$588268BE-0724-4451-A5E5-642288C3C83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$0EFCFB6F-8880-45B8-BCB2-AE74DB8989FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$65F6E0EA-7B76-4FC5-8ACA-85ADC60AE9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$CFD15244-065F-4B55-910E-F16C7120A589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56aea9ba93f733de11b9cb1002e3dcb088e780cf","datavalue":{"value":"2083129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$E9D5D301-1EA6-49A0-8300-69C32CB48EB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb3c85812eb59cda19554825f7c1ad488f817cd","datavalue":{"value":"Higher-order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q598199$D94D8A7E-9A30-4532-BB5C-CDBDB871B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5dae89f503374fd048b18791e4340c53527082","datavalue":{"value":"Higher-order subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q598199$71479B9E-0C3F-46C2-A145-D98567CB06A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"167ad34812cc0a77d450f3853ad75e1e4e9eba7b","datavalue":{"value":"Intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q598199$4CEF3E6B-880B-4776-9348-360E53B5CAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc8389e95e259c9259a395d63d892953b51d6c7","datavalue":{"value":"Bounded polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q598199$251CADF0-3ED6-48B2-B6F0-18EB441B8F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q598199$6C8C67DF-34B9-4FED-A802-478447C69EA7","rank":"normal"}],"P1463":[{"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":"Q598199$5DF6C5DC-9944-47B1-AC38-BD2DA28FC124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$0C684922-1082-4BD0-9E84-04E0249C4DE7","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":"Q598199$95F48CF3-D736-4297-A60D-6EDF96E66F45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b2aa6fa96be995f546d92f38b41f7b46d12122","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q598199$3CF338D8-3B42-42CA-9B65-5ECE63896243","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd6fb9373ce6a3f95e5a3988daa0f7b6a1a7585c","datavalue":{"value":"W2016699565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$7B190CD4-FB9F-4A95-A371-50E8F17C15EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$F4C0E387-B80E-4AA2-AC8D-E141155F373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$7592608C-1091-4548-AF7D-D2EC79E82FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$DE156F7A-A87C-4D93-AE05-B82938CCA663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$F9F4EAB4-FDF2-45AA-B267-6534991933B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$82B4D6AE-FEB8-4628-B68A-D3DE34424E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6ddbaa2cabffcd179f171f7745ae48ece3f4db","datavalue":{"value":{"entity-type":"item","numeric-id":1286367,"id":"Q1286367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$EEBA0D64-9DF8-4C6C-94E4-CF401068EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28670c7633748587074f50f7288252965916ce8e","datavalue":{"value":{"entity-type":"item","numeric-id":4508290,"id":"Q4508290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$90281047-0EAD-4E7F-AD66-288D832496E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$F24DCFF9-FBD2-4565-809C-9D57D41CFF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$31D4874C-19C9-4311-A6D8-384CADCA0FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$B85CCB96-D02A-45F6-879F-E7BF5FA4A17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef20d70ae4a35d8a1f0191877c0c62d6346fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$D162F86F-9FB0-4560-8AE8-31AB5AF027A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a876570cd7291a0c2cf63731fde4bbeb6f32d1","datavalue":{"value":{"entity-type":"item","numeric-id":1319505,"id":"Q1319505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$13C517F5-A304-44E8-B606-79CDCCBFC1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$B0BCCC20-C56A-49C4-BE44-67B4DEC141C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ec3e64915f874238ef3f6b18be98c3977bea28","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$6AFEBA02-C7DC-454B-B943-4F53A39FF948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d8d107cc484ffc2be9d341cdae3571364725c","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$346DCD0F-9137-49E5-B236-AA1B4AED20FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d14100849b4efc5fe38f5cf9d0d6b3f6795a47","datavalue":{"value":{"entity-type":"item","numeric-id":3837264,"id":"Q3837264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$7986362C-C229-44AA-A228-5E2DBFEAF1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09beafdc2e25f4b9f00725001e5d303eb139d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4855348,"id":"Q4855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$6E726BAA-CA2C-44D0-9262-1818F6ACC341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$BE0DFCBE-0C5D-4050-8E60-BB9F0A1FAE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$E5CC5F8E-76AA-49CC-A55D-286238B81147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$9DDED1E6-13F8-4259-A4B2-54E5D1CF6C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$C5746D76-46F8-44E3-989F-630351F6CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066ab5ec931be93d2a0e3387ecf4b65313c8f221","datavalue":{"value":{"entity-type":"item","numeric-id":1127527,"id":"Q1127527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$AEA41390-0C19-4D75-89AE-B0585C3B230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$B11B2058-34A2-445D-8324-A1A530ECFB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$DA8F741D-A802-480B-97F6-162089354EEF","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":"Q598199$03F9B43C-0D7E-41DD-A8D1-9B798840881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb425e19efa9e5decb07e9dd177882dc02eb9359","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$07DD4FB1-B3A9-42EB-BB34-D1BD3CD969B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$531867F8-CACB-4A12-AEBF-232DB050B532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e1bbc33be82f14c47bfa8bf9830d4b4e921ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4855337,"id":"Q4855337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$78C3CF80-BF3D-4AEF-AB15-D52E2A162341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$B2572AC5-B47F-473D-9E83-309D5C963E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b17e5d9b9907f200be06515e7494ea05ef2620","datavalue":{"value":{"entity-type":"item","numeric-id":4935999,"id":"Q4935999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598199$A651BC65-0BDC-4419-8BF3-BF21FEA01D22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4b549c8e58e9a57fa92ff2c90b12b597b11913e","datavalue":{"value":"10.1016/J.IC.2004.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598199$3F555226-49E8-489C-A182-C67196D25881","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843dd023fef806969b5b822fbbbdfbd02483bfd6","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af4d50f16ff912e3f3bac5864636e827ae7bbee","datavalue":{"value":{"amount":"+0.9184165000915528","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":"Q598199$AC0F7894-72EC-4426-98CC-A3B07B36127C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5c49e676c41aa5ec4011d82699145efeda181","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce73576eb053dee1e4b90120b6059e821f5677d7","datavalue":{"value":{"amount":"+0.8829715847969055","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":"Q598199$E77EA167-9C35-4058-A000-A4CBC3C29998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d5361dd4309bdd0910e20348430b8e8ca81840","datavalue":{"value":{"entity-type":"item","numeric-id":3540196,"id":"Q3540196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37784fd7c8702d49f66fd7b258ea86018f05647d","datavalue":{"value":{"amount":"+0.8270062804222107","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":"Q598199$FB07CB75-01B9-42CA-88DB-6A05ED5CC718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab5a19ab22eb440ceb15f6c3919568f0cebd1c0","datavalue":{"value":{"amount":"+0.810200035572052","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":"Q598199$F423E448-B653-4EE2-B222-637B76B38909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46094250772128293d1ec38ca61d34ea7f5a682","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab5a19ab22eb440ceb15f6c3919568f0cebd1c0","datavalue":{"value":{"amount":"+0.810200035572052","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":"Q598199$6B5135D8-A963-4D80-BC33-46B7A8316077","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order subtyping and its decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher-order_subtyping_and_its_decidability"}}}}}