{"entities":{"Q4903721":{"pageid":6933300,"ns":120,"title":"Item:Q4903721","lastrevid":51637778,"modified":"2026-01-19T04:56:40Z","type":"item","id":"Q4903721","labels":{"en":{"language":"en","value":"Intersection types from a proof-theoretic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128573"}},"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":"Q4903721$120046E5-C8DD-4E33-B3C7-390C0CD8704E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae39cf1ae82e7309371a2cc1aeec9869febaa97b","datavalue":{"value":{"text":"Intersection Types from a Proof-theoretic Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903721$D3E46B21-3453-41BE-9F83-EC3F85CAC7F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f891b37235a3874ee552d534631aba7d367d603e","datavalue":{"value":"1272.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903721$5266DF18-CD58-47A0-856E-9310B6BCE757","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"796f9641e1ab75b14b48cf72b854cc522b9eb6ff","datavalue":{"value":"10.3233/FI-2012-778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903721$8E7DB9F6-1E7D-4B45-A762-014D093A59E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903721$3EBE3E66-5FC2-415E-B6DB-ED385BCD01A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903721$DBFB31E4-BB0F-467A-AFB9-AEF32F959299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903721$C9A33778-BAB9-4D66-B5DB-2562E52F3210","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":"Q4903721$A5252AB2-18C2-488E-BA60-2FDA0755495E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-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":"Q4903721$8B9E48A8-1EB4-4BA6-A8F1-FE7C32C8961C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903721$5795E40C-9F28-4ADD-8998-04F47FF19067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903721$8F742C86-F715-4AA4-A8F9-2A48EF30A911","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de3765087c59da037206d916cbdac33884aaecb5","datavalue":{"value":"6128573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903721$C8930F1E-3F33-4BFB-B078-03B30A91AF62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903721$BE6DB4C6-69BA-4A38-BA21-42DE1DAF00FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903721$769EAE43-C4BA-4042-B2A0-097569B9F421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eca44589a0aac974222e28940942fe788a09838","datavalue":{"value":"type assignment systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903721$E9B72018-F681-4070-9535-B474789A069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4378301378a4894c21a5999cf134beae101d5914","datavalue":{"value":"structural proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903721$31C321FE-26BB-4AD4-A145-96C9E9B9B0AC","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":"Q4903721$9E558C4A-8794-4DEB-B8C1-B6A371444B86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0100d045efe7cd00577d10ff8ae424ece1d46918","datavalue":{"value":"https://doi.org/10.3233/fi-2012-778","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903721$42131DE0-BBB9-4731-A3EC-77CF3B50E46D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1166c41da5f6cf6fc4f67be8b5a5c92e4a114da4","datavalue":{"value":"W1919063304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903721$49134D05-A064-467A-AA15-65403A8E2F9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bbc1baaa2cd66b73c22a8f1bab0ad90ad1f322","datavalue":{"value":{"amount":"+0.8595146536827087","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":"Q4903721$200B2D06-BB21-4557-8213-31EC2CFA6DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d38d28c46ff1302439489f07643c13a8784af29","datavalue":{"value":{"entity-type":"item","numeric-id":4964689,"id":"Q4964689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a68df293bee04cd4a7ca64098d0d7f7c51cc1a","datavalue":{"value":{"amount":"+0.8424409031867981","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":"Q4903721$C447E6FB-0E8C-44D3-A944-2C9B70649824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372bf5f7d2f966d1f0f5fb0ca388974f67e9c157","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f33e6f3d674a86ad14c967bd5625586ba478b8","datavalue":{"value":{"amount":"+0.8117638826370239","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":"Q4903721$8255F06C-D9DE-42FB-8F8F-229BE42CDA47","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":"d75c2e893e1af686c148fa63225e28153e844ea6","datavalue":{"value":{"amount":"+0.8113252520561218","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":"Q4903721$EA98372C-1243-48C5-B939-C6E453488D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28567ca53b5544dfae026298b8c23d2f1e89e7a9","datavalue":{"value":{"amount":"+0.8028014302253723","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":"Q4903721$EED06AF1-C314-4DFD-BFC0-12CE21CBE5F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903721"}}}}}