{"entities":{"Q5144650":{"pageid":7174221,"ns":120,"title":"Item:Q5144650","lastrevid":100344485,"modified":"2026-06-05T21:54:31Z","type":"item","id":"Q5144650","labels":{"en":{"language":"en","value":"Infinitary intersection types as sequences. A new answer to Klop's problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297851"}},"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":"Q5144650$D40B69E9-332D-43F3-A7E5-A31080D7EFCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0bf4bade27b8cdc2db6501dea12eca53a7734e6","datavalue":{"value":"1452.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144650$257FAC5F-AF09-4279-BE6D-F5678F49DA39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a62344981e430f17fd2fa45692ae95cb27cf497a","datavalue":{"value":{"entity-type":"item","numeric-id":1317203,"id":"Q1317203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144650$05ADE465-2116-43ED-AF73-39878D0A72D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-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":"Q5144650$FA486EC9-E8C3-4753-AE69-1D5E83A1A960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f81adc6cfd7317c440216aaee8ffc57f60adffac","datavalue":{"value":"https://arxiv.org/abs/1610.06409","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144650$D0980070-AC7C-492B-8447-C3B6534C1EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c931bff816cea05328f2fdf63eb9840068f3cd0b","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144650$3EBC80B8-2B19-44C3-AA82-651AA714E43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144650$DF1E0DE8-A0D1-4759-9D0D-49A842DA9D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a30b473fa935945f67752439f46446adc867b629","datavalue":{"value":"7297851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144650$0E191BE1-FBBC-4484-9C8F-06CA057C73C1","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":"Q5144650$31D5B6A4-295E-4F0D-9689-DC7F4C8BAB61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6af7a8b18e923764c1e507330cc5400c7271de","datavalue":{"value":{"entity-type":"item","numeric-id":5458437,"id":"Q5458437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bb36df8fffb0e3bc48bfe41aa1790997ea9672","datavalue":{"value":{"amount":"+0.8576689958572388","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":"Q5144650$9D1770B0-9931-4E32-A2E8-2FC7C31536AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613681e0d19116b2c4f21ce3a48a98dc729429bb","datavalue":{"value":{"entity-type":"item","numeric-id":1887155,"id":"Q1887155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2633be5e03fc7b6d4b2ba6bef199627fc490234e","datavalue":{"value":{"amount":"+0.7916459441184998","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":"Q5144650$358B5ACD-213C-4C79-B9B0-1584C4D64F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4da2ae83c50f88404d7cf2a3c6c16c5086cb85","datavalue":{"value":{"amount":"+0.7859070897102356","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":"Q5144650$E4123D4D-131B-4763-85DD-123054C114BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5fc31d95a19ea4b7e9381f8114b5f3b4c9d220","datavalue":{"value":{"entity-type":"item","numeric-id":5714453,"id":"Q5714453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0a1c1a13c9f1718c6a97d89509d9583a5f8ce5","datavalue":{"value":{"amount":"+0.7638520002365112","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":"Q5144650$9C61844A-53DE-4BA5-9A83-59CD862CABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d73d144ed2eee09c5bc2143e4f25bf52d90d29c","datavalue":{"value":{"entity-type":"item","numeric-id":4903718,"id":"Q4903718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c982904b73222500662411a7d7f2e284588bdb59","datavalue":{"value":{"amount":"+0.7512812614440918","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":"Q5144650$84A7A3AC-903D-44E5-9163-CA794B274E02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary intersection types as sequences. A new answer to Klop's problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_intersection_types_as_sequences._A_new_answer_to_Klop%27s_problem"}}}}}