{"entities":{"Q3000601":{"pageid":3011325,"ns":120,"title":"Item:Q3000601","lastrevid":79820093,"modified":"2026-05-06T14:46:54Z","type":"item","id":"Q3000601","labels":{"en":{"language":"en","value":"Complexity of Strongly Normalising \u03bb-Terms via Non-idempotent Intersection Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897364"}},"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":"Q3000601$D8B10D37-0C2A-4F94-AD1C-52548C09AAE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbf99c230553532feaafd9457c65d55ef2b7806f","datavalue":{"value":{"text":"Complexity of Strongly Normalising \u03bb-Terms via Non-idempotent Intersection Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000601$5ECC9034-6941-47E9-8F5D-7CD28AACF8B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eea2da1cc99ea559f4c48db5e77e2478f154479","datavalue":{"value":"1326.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000601$5C23AB90-5495-45EC-B30D-A28FFE75F6B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07069023323b5602e06dcfa790335d1b5700aba1","datavalue":{"value":"10.1007/978-3-642-19805-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000601$BC05CD99-AD4B-4577-B6A8-918491F5400F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc80b7076eae1e38842d078f8aad4565b4ed046","datavalue":{"value":{"entity-type":"item","numeric-id":2851670,"id":"Q2851670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000601$B0F66D1A-533D-4281-AE30-4962969EFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000601$E18E8DF5-99F7-4699-A5AB-0580E4A008D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000601$5EA3340E-445F-4DD3-A7CD-25BD6920ACB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000601$4DA22224-2640-4954-8217-6EAA6C11D750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000601$953BF744-AE5A-49CE-A4D6-0E2F4FA29C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000601$44714C32-5FE6-434E-A50A-5BFBB6423C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42096cc10e489eec856a7e82f24c79e78b04981b","datavalue":{"value":"5897364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000601$2DD3BD54-3906-483F-A169-08CC95B93F72","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":"Q3000601$E46C7C98-50E0-4F65-9889-4430C0C96720","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"238c6fb86f1236b8784e42d92168590bd69bac4c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000601$D070FD12-85B7-4AAD-B94D-70D0B52EBA64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf3e24fe1cc592492ca79f3a52ccce92b574fcb0","datavalue":{"value":"W191576729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000601$21AEE258-D25B-401D-8853-10291C4EFF16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b7425bc765e0a067664af8d4ec0a87045956ca","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f1c3ca2883f5b682f6c393782c5c396b6361be","datavalue":{"value":{"amount":"+0.93317086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$D03B27A8-99B7-4160-8ECF-2E5FF40EFC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c643219218ebd4d5841a55730cffafaab7a140fa","datavalue":{"value":{"amount":"+0.9146027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$D7E605AD-C321-4E72-B5E8-999E8DD30AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2342ed2c626049bdf31040ee77033b181e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee346caa9a5037ab11a61bed8b68ac2aa8759a90","datavalue":{"value":{"amount":"+0.91253054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$219DE15A-3298-4A0A-86BE-7E333DA2413E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b60a48fccce9bd2910309eec203ab697e0a9d","datavalue":{"value":{"entity-type":"item","numeric-id":930868,"id":"Q930868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5636bd262222e9e2d96c1bf31bbd7f4fc183f022","datavalue":{"value":{"amount":"+0.9108312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$8B471FB4-5A09-4270-8DFE-F024B227DED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9521c8a340b339854f0dcd5561ec36d923a9b806","datavalue":{"value":{"amount":"+0.91075987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$C0A25E0B-8803-4F40-AA6F-0A1F277C37E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b5073f6d6f09a2676655164b2162b21b6c2fd7","datavalue":{"value":{"amount":"+0.90863067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$7BFB32DF-2C62-48D3-9EF6-0C48FA155E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0447b62b6ef0bd9b249c3addb35dab551a3294f2","datavalue":{"value":{"entity-type":"item","numeric-id":4903720,"id":"Q4903720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4334e4c52b476dafcdc23301e0d3d782577acce","datavalue":{"value":{"amount":"+0.90603936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$99FFA96E-50DB-482E-8A38-E3929598AADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b506bc6c20617e49cb3694507236168c8039c","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff04715e93519c685297171c9e3fba4788bafcc0","datavalue":{"value":{"amount":"+0.9052962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$BD346442-699F-4F7B-A765-8155F5732404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcffa8894e2339f068fc5f5814ba951cff769c6","datavalue":{"value":{"entity-type":"item","numeric-id":2566033,"id":"Q2566033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86092e106ff01b7be108ac9aca5425fcfdc1bbc1","datavalue":{"value":{"amount":"+0.90481985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$10A5718A-75F4-4584-9BD8-58A5C9CBCCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee482c69d1c03ccdad4af08b4279047c87ce18a","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbad616d5b5a589175e33b5f70be76ec257c6e4","datavalue":{"value":{"amount":"+0.9036018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000601$837ECA61-9C51-4A23-8A9C-0AB07394C016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of Strongly Normalising \u03bb-Terms via Non-idempotent Intersection Types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_Strongly_Normalising_%CE%BB-Terms_via_Non-idempotent_Intersection_Types"}}}}}