{"entities":{"Q5212034":{"pageid":7241605,"ns":120,"title":"Item:Q5212034","lastrevid":53645372,"modified":"2026-01-25T11:59:08Z","type":"item","id":"Q5212034","labels":{"en":{"language":"en","value":"Undecidability of intersection type inhabitation at rank 3 and its formalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157392"}},"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":"Q5212034$29176D6E-9D95-4FD9-A6C3-D229EB3DF61F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c316b8a18eb2af83b5fb66304f116c4040c1240d","datavalue":{"value":{"text":"Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212034$6A7A2FE9-54EC-49D2-81DB-A57885052AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"795c212a08efb1fb982162cd446dd111135ac870","datavalue":{"value":"1446.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$C6ABF445-297E-427E-B4EB-FE59415D36E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b0fe5c261c66955478a4ed11592f748ef49a85c","datavalue":{"value":"10.3233/FI-2019-1856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$47FB4E2F-1766-410E-9B50-1E3A2D7E2221","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ce65c56afa1906ba893a540ec6c1d1df610eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4637690,"id":"Q4637690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212034$CEF7FA48-B906-417A-AD3E-9536067FB721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212034$BE2F02F2-93DD-486B-BA3A-67B9B913886F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212034$4193F3D9-5E30-46D8-A406-1EA67BE571DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212034$E5494F89-1E03-4E39-9EF3-7211AC43DEF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$ACD44ED8-1A90-44AB-BC32-B48C74993EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$0B9A01E7-0342-4381-8593-DBE77177CD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$0F2EEE91-7BF8-49DC-9956-C7ECF1904DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$FC0369AA-2A45-462E-BF10-3D2D93D7F4EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a8e3949eb6c6d07f74bfd8aa17d459e757e2b77","datavalue":{"value":"7157392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212034$37E7AABF-71D9-4D81-A503-C59395CDBC14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212034$16F2579D-3BD1-4108-8E2F-1298647B6D88","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":"Q5212034$C769CBB4-C566-47E0-BAAB-81C4E56C5CC9","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":"9107bdf2e70400fbcebb2280d861d1ac90f1f3e7","datavalue":{"value":{"amount":"+0.8595812916755676","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":"Q5212034$4D0658BA-CE22-4913-98C4-E96F7A808D6A","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":"fcbe69214ee3a954972b6bbc43876841e36bf3ce","datavalue":{"value":{"amount":"+0.8148679733276367","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":"Q5212034$FFE07D32-6859-4AAD-8BDF-CDF1E5C07283","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":"36d5eed8e399fa51d18b708df7b9501e0fce4459","datavalue":{"value":{"amount":"+0.7671547532081604","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":"Q5212034$B3A264D0-C80E-48A9-AC65-193D6301478C","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":"1bf7a64e41a4abc8c5d7dc03f2c8f207f3280412","datavalue":{"value":{"amount":"+0.7648036479949951","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":"Q5212034$99D3DF51-FE38-4B68-A645-D78A59C58F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2483ea6927d7034b5661e5bd3c0c5ea91395a672","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284391f269917450a22a573ff7400f9408e5738b","datavalue":{"value":{"amount":"+0.76180499792099","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":"Q5212034$B4A2F950-B700-4803-96C7-AD25AA3BA915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212034"}}}}}