{"entities":{"Q4532620":{"pageid":6562212,"ns":120,"title":"Item:Q4532620","lastrevid":47923735,"modified":"2026-01-03T02:33:34Z","type":"item","id":"Q4532620","labels":{"en":{"language":"en","value":"A classification of intersection type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749916"}},"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":"Q4532620$48D7E0D7-FA0E-4F8A-94F8-4F2D929BE6D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35e5b59b61f2eb0dadf703384be3cd02a348f2b0","datavalue":{"value":{"text":"A classification of intersection type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532620$40F1E829-B891-42CF-B750-D85E0F2D42F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6c7105f407ae340089ceff8ac5e65269c46d791","datavalue":{"value":"1034.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532620$902CEB61-1930-40C2-9F95-6C72CEBBF5FC","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":"Q4532620$DE6BAE98-7155-447C-98CF-A23C4359ED69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532620$B41B28E1-2EBC-4412-9865-A418A9FB07FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dac355521a5bf3b2f65d6ed5c10583123387340a","datavalue":{"value":"https://ro.uow.edu.au/cgi/viewcontent.cgi?article=3659&context=eispapers","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532620$74EDFF4F-63CB-4222-9938-13F4713FCF25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532620$391C4812-173E-40EC-9982-77B1A6EDCF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532620$5B7FCD59-7A6C-4FCC-B4F0-029B93245209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f1d6f4bfe028304098367f2352ac08786696c28","datavalue":{"value":"1749916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532620$763773C3-3948-47BE-9954-D5A5146DA1EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f32d1c56db34fc2c85affdd81adea5d6a70b8b9","datavalue":{"value":"intersection type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532620$A6521FE0-A81E-409E-B782-45C4C0E56783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532620$7F48E6FD-F1A6-4051-9350-9E96B01D5B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2510b894670f4c0c77ea75fca3cf91c85442b03b","datavalue":{"value":"equivalence of intersection type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532620$50816DD7-0E67-4AAF-8944-D6D6C9F873B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532620$F63CD968-97C2-4605-A97F-2F6C5BBB183E","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":"Q4532620$C152C7BD-0098-4166-B911-717DE6DB962E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93698bab99ae0cc7629c487291c88dfba20e75dc","datavalue":{"value":"W2045224305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532620$F9C8BD15-1698-4555-A59A-0A3365A359D5","rank":"normal"}],"P223":[{"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":"Q4532620$2DABB826-1FC0-4478-947F-A573BBDA2121","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":"Q4532620$7A987631-43EB-4757-9CC3-ADB60A7602B9","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":"Q4532620$9425C96A-2C88-4B61-914F-41DD679DF5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3aebaf8da132831cb19649a72d3aee168fda54","datavalue":{"value":{"entity-type":"item","numeric-id":1201298,"id":"Q1201298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532620$23D855F3-95DB-4E45-A98F-541751F0CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532620$EE8E99C2-A1F6-43E2-899D-D741C8100454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4432ede11d1e9c5a5e5259ca701aa56b3a85c184","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532620$1BA8EACE-686B-471C-B8A7-7946F54076DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c92d8763679b808a2bc72b94d7f87ba3e705d028","datavalue":{"value":"10.2178/JSL/1190150049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532620$82BFADB5-D381-4440-A37C-665E19FBDEF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc3621023ee88e772d5c6bc962ded57d32caaed","datavalue":{"value":{"amount":"+0.8384121060371399","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":"Q4532620$48D0E43F-E58B-4ACE-9CE8-AFFDC9E686C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58e657fa108ec92890277c2cfa9da6365ccd0e","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f07312346be10555b06890177e33fd2817d8f5","datavalue":{"value":{"amount":"+0.8212195634841919","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":"Q4532620$8DBB8DBC-2D01-4C4C-9A2F-4355B891C378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9554e151a38f401b9e380bfdf8430f12c143f","datavalue":{"value":{"entity-type":"item","numeric-id":1201298,"id":"Q1201298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db6cd67a007a41f3a89581096a97a3c351d7d66","datavalue":{"value":{"amount":"+0.8152227401733398","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":"Q4532620$F2AC5BE0-CCE8-4BA2-B27B-9C0B206041DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4f9230d64e089f252e88dd28faef421bdbd034","datavalue":{"value":{"amount":"+0.8132758736610413","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":"Q4532620$831EBEF7-0C25-463A-8C5B-C3793A91A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d802f66660e2c358de7d79e728cf5e51bcf899","datavalue":{"value":{"amount":"+0.8126235008239746","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":"Q4532620$CE73DFB7-EB46-479E-8F6C-C4772F9122BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532620"}}}}}