{"entities":{"Q2333664":{"pageid":2344407,"ns":120,"title":"Item:Q2333664","lastrevid":53589170,"modified":"2026-01-25T09:26:50Z","type":"item","id":"Q2333664","labels":{"en":{"language":"en","value":"Pre-grammars and inhabitation for a subset of rank 2 intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7129336"}},"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":"Q2333664$A613DF81-F738-4843-A499-F1B6870A4298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f488f356900673681cd97c30999225bd7e2bd533","datavalue":{"value":{"text":"Pre-grammars and inhabitation for a subset of rank 2 intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2333664$4745C87A-A732-4B7D-800D-EC2F3EF83B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67e2b5408abc9b10ba3a579f96b106851098dcba","datavalue":{"value":"1433.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$3ADD0990-3DE7-45CE-8B4F-131C6F42041F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb09ce379517ae0e0c141c5fee079c01b864dc7","datavalue":{"value":{"entity-type":"item","numeric-id":530850,"id":"Q530850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$CA8815D5-95BF-4B45-85A5-D6EBD178F19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$B2A6A030-8B5E-4750-922D-AD95E9ABBFD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce5560f694216ba99b4e4d50a7d9bab949bc76c","datavalue":{"value":{"time":"+2019-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2333664$1A15EC1A-7400-48A0-992B-E012EFD4DCB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$03280007-FA32-4EDE-889A-914A4E3385CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$3512C228-F606-49A5-97BE-43476504FAE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a07ad58c60ac1546c3da6a0a9b343efa08d5b0c","datavalue":{"value":"7129336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$BE7A8872-B248-4AE5-B7FF-BB46C1365584","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333664$82658D18-45AC-4804-B772-C993738B5D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8abb67b6297924270e4740e99a80f1ea4b7d0cc8","datavalue":{"value":"pre-grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333664$2C9C37FD-A6B1-44A5-B3CB-FDBD13234A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12355c9b78ede2442581ca549fff86d783aecc48","datavalue":{"value":"inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333664$072058F7-1DEA-48BF-9218-9E7820186174","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"467ad88f7b082ca54232962eed75ffa6d90a35df","datavalue":{"value":"Q113317462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$7292523B-B1E9-4FC2-85C9-6527AA7C3A61","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":"Q2333664$B42D89E9-03BB-4C2C-BB3B-D4C0AAF2B49A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8eda2e223f241d77c4475bfb2f8bd77620dcfa7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2019.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2333664$C7F5760A-D138-47D4-8741-E76F11759480","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65955f2103e79f753119fb324f06b77eaedea27a","datavalue":{"value":"W2969355324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$755D1DCE-1167-40EA-BB86-A4978D0D154D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00f1126ae8ce767147df9b854f64582a2db4fe","datavalue":{"value":{"entity-type":"item","numeric-id":2988630,"id":"Q2988630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$7423CABC-0459-4376-81E8-5BB3F622CAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859c0b043b4a0980b5536ee09253905f949ce727","datavalue":{"value":{"entity-type":"item","numeric-id":4993331,"id":"Q4993331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$A1211149-8C0D-4FD9-8655-3A3231E19A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$DB7159AC-330B-4450-8E12-D5B2FF446C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$6C84A2F6-5D6C-4C7C-82EB-8E0856338A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9ced2bbf6b997392a6bc773e05f8ab5d9ce846","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$93A9FB06-C50E-4076-8810-FF5689A4B7B9","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":"Q2333664$B4890F7A-870C-4766-886F-4D6A8C02D901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769f27645f14b45cd24cf07ae45ec482a41a126e","datavalue":{"value":{"entity-type":"item","numeric-id":2566033,"id":"Q2566033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$C1D2ABAA-9586-4544-8597-07824C97CF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc57cfbc4370063dbe3c1ff9486f01a51e9f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":5144674,"id":"Q5144674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$A616B7E7-523B-4F22-ADD0-8B5821E6D8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd43ac4986854b99097e8636775d035d68a195f7","datavalue":{"value":{"entity-type":"item","numeric-id":5370899,"id":"Q5370899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$E88E67C7-F679-43B0-A2CD-CE922A55C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$CDEA710A-9DBA-498F-97B4-61C455051848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f49c058dcd38c2f3e91ae03ea2b79ab142af2a","datavalue":{"value":{"entity-type":"item","numeric-id":3612635,"id":"Q3612635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$20A19CC0-77D7-4F40-95B4-D956DB1FE281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb950b174b76cc99bead09bf993e1718e4ded7d","datavalue":{"value":{"entity-type":"item","numeric-id":5351954,"id":"Q5351954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$9C6BB169-9B7F-4D12-87FE-AF3BD2CE7806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$B5DC6555-6A1C-46D2-A11B-FEAE0411EC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae986ee19008aa7d1adfbf0f48061524c85116e2","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$7BAABD8D-25CE-41ED-8C4F-D72E55607EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$1FC53DA9-E212-4254-BC2C-19F5585ACFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed20f83fd487438d204aa52efeaf12594ac9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$E543C2BB-C6A4-4BE2-9100-5163BBCC98AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$A38EECC4-2B0B-4556-AFCC-AC9D786C94C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca1f7282dc9cfe269d7e1aae09addfaffcdcedb","datavalue":{"value":{"entity-type":"item","numeric-id":4880143,"id":"Q4880143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333664$72C820ED-8967-4C7D-85B4-ED4A205E032A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da3057a006310f99d35966ccb85919f65fc943f7","datavalue":{"value":"10.1016/J.ENTCS.2019.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333664$F31DE161-951A-4AAA-96DC-F1DF971739BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7055a05938c354e4ad8f49d58e8cbc238c8677a2","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9e254132b0899930d9390c07d53791c984c327","datavalue":{"value":{"amount":"+0.7854592204093933","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":"Q2333664$863122A2-B070-492E-8280-6420CBA4356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f8bb4a8b1e009f66cc6997f3c7ac21bda5fffa","datavalue":{"value":{"entity-type":"item","numeric-id":3612635,"id":"Q3612635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5c39729f9ee941fcb034a1fe07333b45fa594c","datavalue":{"value":{"amount":"+0.7685151100158691","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":"Q2333664$7AC7861B-6270-4E28-8881-9E6DC3C0DF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946284c3d0a595dc898fc6a53e1159ee3b8480e1","datavalue":{"value":{"entity-type":"item","numeric-id":4580327,"id":"Q4580327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71046bfd9489d2db684aa13813f6f06770fa5dcb","datavalue":{"value":{"amount":"+0.747157633304596","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":"Q2333664$5CA6EC72-CA54-4C6A-BA64-927F5411BCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b911e268c026e3c062c07b2367ec2f53e83f2ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4286212,"id":"Q4286212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd645b1c5430f0667450dfedfbf0ab6eec81524b","datavalue":{"value":{"amount":"+0.744121253490448","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":"Q2333664$83F7EF18-3714-4C8A-90D6-37F9E5656420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a228a4d8100a6da1e695652c701ca5d4fbf502","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c1c827561d96ab78b4e88987fd843c33d32588","datavalue":{"value":{"amount":"+0.7403185367584229","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":"Q2333664$C3B59DDF-D6F8-47E7-9921-1D0A9E39F2CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2333664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2333664"}}}}}