{"entities":{"Q4934035":{"pageid":6963617,"ns":120,"title":"Item:Q4934035","lastrevid":47431861,"modified":"2026-01-01T17:58:20Z","type":"item","id":"Q4934035","labels":{"en":{"language":"en","value":"The emptiness problem for intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389462"}},"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":"Q4934035$BCCEB05F-96EA-4844-B1D8-5047A2C9BFA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"224ae3eccce5071aa41f8b3c6bcffe7c6c6c439e","datavalue":{"value":{"text":"The emptiness problem for intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934035$D39E9812-FF3E-4C7B-A671-FF340D610370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7117c2caecd6340eea4737aae6ee2fd42b7ef76","datavalue":{"value":"0937.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934035$E2A6747D-A464-4965-9F71-25DE51E1F170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1850f2aaf5672e6a2c1f36b9874e4fe7814a21b2","datavalue":{"value":"10.2307/2586625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934035$CE59C6C8-5FE9-4496-A3E1-8B944336B93A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934035$E20E726B-8495-4F6E-8154-E1E539A293A4","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":"Q4934035$86D09470-793A-473E-9180-5F6C375E66B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934035$4D2CED10-2C2C-4ECD-BBE4-5553CC3382EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934035$F72B88A4-04B3-473F-B4CD-80F868FBEE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934035$A8896FDC-B458-4737-ACFC-07914434E07D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dda175b2b6c6d15cb59ba4a1928e1cbddb1ae665","datavalue":{"value":"1389462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934035$9CA19F60-E9B6-461F-8664-A9D2B0F22A7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934035$147C228F-A4DB-4801-9C48-D5A822BF9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cf52b761c52ee5c72af865429b3f692f0acf73","datavalue":{"value":"logic of strong conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934035$F9864435-15D7-4C61-96FC-642B57BB17E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934035$29C6314C-F6C3-476C-8F0F-F7D5DAA9DAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc5b4daa7f19dd35870c5f3b45082efe174e96c","datavalue":{"value":"intersection type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934035$BE1D9C2A-A060-488F-BEFB-BC5A817200BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934035$5656E5E4-ED97-4D49-BD0D-D4C76ADEF99D","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":"Q4934035$68BF9A28-EF6A-444B-982F-A8F3AE5CCC10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c8c1adb1f18c7eb9ef50595c4522252326fa954","datavalue":{"value":"https://doi.org/10.2307/2586625","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934035$89D2C6A0-A1E3-4266-88F1-95E676FD67CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a98c29bb366bc316f09c77ea144ed5bbc7273c61","datavalue":{"value":"W2098607593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934035$9DFFAFC8-8A75-41DD-BAD4-E52B16B7500B","rank":"normal"}],"P223":[{"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":"Q4934035$8892DC8D-CB22-40F5-92F2-D96F406DE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934035$C4D4D473-245D-4746-AFB9-EDCCE5E1C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934035$C76BF16D-2B54-4E78-89D7-1291D5B0B471","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":"Q4934035$00700FA7-50BF-4D93-8FC7-0CB07A9E787B","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":"Q4934035$C373100B-9D82-436C-878E-8039FD5022F7","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":"Q4934035$EE5CB61E-BAC8-4F10-81D8-7D6A6E5F5BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c81e5d29138fadaa0991012a6b61d4de992c19","datavalue":{"value":{"entity-type":"item","numeric-id":916636,"id":"Q916636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934035$57B496DF-1792-43A3-B256-D71507609A90","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":"Q4934035$0D9287F9-054E-4454-A333-50D82CECEF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c30f25ec3cfab62eb3585cc72cd5d0d7469b4","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934035$6E8D9F21-2DA1-4012-970C-D4553417C22A","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":"Q4934035$0840F6B5-86D7-4D3C-B156-103C5789D1CB","rank":"normal"}],"P1643":[{"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":"bc3ceacb6ebd165ee5f9d0515d7c5a7daa58bb59","datavalue":{"value":{"amount":"+0.8238900303840637","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":"Q4934035$07EB6894-8DEA-4726-A7BE-FB582B0237AE","rank":"normal"},{"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":"0bfc4f96807c3aacb099a8ce4776844d3facd859","datavalue":{"value":{"amount":"+0.8233399987220764","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":"Q4934035$29C576A7-8F77-4823-B2D8-BC4FE6F8859B","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":"58c5d7e854685a1151788c4d1443b5a61e3c9f6c","datavalue":{"value":{"amount":"+0.816912829875946","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":"Q4934035$FFAC9E92-71E9-4736-938D-6A6801B21AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a19025d376cf0dd9730ec44964384f40e3d86b","datavalue":{"value":{"entity-type":"item","numeric-id":3024843,"id":"Q3024843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e1d63fd9f327c4433bb8bbb5d0e80ca01093f2","datavalue":{"value":{"amount":"+0.8116453886032104","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":"Q4934035$7602D477-573E-49BC-BA58-77560C21C4C3","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":"9c95e5c3d498172ccff94404f2cc64dd82927896","datavalue":{"value":{"amount":"+0.7877570390701294","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":"Q4934035$DF2A47BC-3F13-40AA-B7C9-CD0D13DC6627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934035"}}}}}