{"entities":{"Q4637692":{"pageid":6667273,"ns":120,"title":"Item:Q4637692","lastrevid":58315473,"modified":"2026-04-04T16:48:56Z","type":"item","id":"Q4637692","labels":{"en":{"language":"en","value":"Mixin composition synthesis based on intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6864543"}},"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":"Q4637692$FC6B0FFB-1455-43C9-A504-1CD7D201725F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7104dd28882d8f1414cc961c22d8acc15261918c","datavalue":{"value":"1433.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637692$FA7DEB8A-C4B4-4390-9F27-B23956A6989B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dc9cae82af11f6ce2efce01bb4a1f2c5d1ce0f0","datavalue":{"value":"10.23638/LMCS-14(1:18)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637692$DDF0F17A-95E1-429A-B82F-6C0CBF9C7F20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"198bad7f90145086aedb3c11638e739cdc601002","datavalue":{"value":{"entity-type":"item","numeric-id":4637689,"id":"Q4637689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$F86289F9-144F-4D49-B85F-C9FB0914EA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fceba3f38394307cbf467a1c6129b4248cbfcb3e","datavalue":{"value":{"entity-type":"item","numeric-id":492915,"id":"Q492915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$6303793B-41C3-4235-8BD8-541AA33627B9","rank":"normal"},{"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":"Q4637692$C5FB9C42-5023-45BE-B8C8-E178B4F07374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d268115765c9c6bcf8c72dd7aca928d5768916be","datavalue":{"value":{"entity-type":"item","numeric-id":4637691,"id":"Q4637691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$47132047-ECBD-4A75-BC70-0C27CC99B48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$FC204F02-2C91-4F8A-AF21-674602FC335F","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":"Q4637692$B067DBEE-6F5F-4DF8-BA21-C55E1573E889","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88888d4c8b884868b6c5323b4729f3c04ab0a31","datavalue":{"value":{"time":"+2018-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4637692$9C9AE717-B5EE-4F75-8719-2889E6E45AB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10556e4d5b9b9b9253661a8632208f30ef574668","datavalue":{"value":"https://arxiv.org/abs/1712.06906","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637692$B7F45877-8EA3-45A7-9079-CBC4065E5E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637692$DD300B04-9516-4069-A7F3-623CDA3CADF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9a97fb0dcf7758e373b9e42dcca6d3db28d7e9c","datavalue":{"value":"6864543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637692$86F1AB38-5CC1-46BC-BE10-BC1D71E718EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4f956571e7f406f4444dca924ef41a39b477c0","datavalue":{"value":"record calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637692$774EE0FF-74CE-4A55-BCDF-5AC6045CB88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637692$1592A012-3DFB-4F10-A724-323AF936D2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"647be78ce8c17545a8d8b1ff4ef42626bdb55aaa","datavalue":{"value":"type inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637692$51A710A3-6655-45D6-89D3-DCA87DA9913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860e09c340ddf03587b6014f9a5894423e3b2f9c","datavalue":{"value":"mixin","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637692$AA376371-3F16-443F-8EC6-8565F8F8C124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7529bf31e2ea8592c6daf3ee10f15edeca469e","datavalue":{"value":"intersection type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637692$7C2EFC6F-AD5E-44DE-8F1F-0FBC8ED7579E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3b5820929ba932c85e155477af6edd22c8696e2","datavalue":{"value":{"entity-type":"item","numeric-id":13704,"id":"Q13704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$41FCB8AD-3031-4613-AEA7-273DE33B8791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$E72DA94A-6DC1-4F60-8360-DACD9AA5939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$F2057D4A-F93F-4775-9410-99CFAE2A77E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$D639FA6B-4932-4C3F-9616-EEBA2A0EDA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$31869BF0-23AF-4DB6-AA9F-23BD9EDD1749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d856c7555a6430e872614a79e2df1e61afee73","datavalue":{"value":{"entity-type":"item","numeric-id":5974625,"id":"Q5974625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637692$C4607EA7-EC15-495A-9669-E05B6F890754","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":"Q4637692$FB674894-C8A7-400F-8AEA-08909B3F0047","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec57524499c464c22b5bc7881614478dbf15cbb2","datavalue":{"value":{"entity-type":"item","numeric-id":5277832,"id":"Q5277832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdb34be2a66a2e930fdd55e994e4ad4c14868c4","datavalue":{"value":{"amount":"+0.9974355697631836","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":"Q4637692$168A0E88-2C98-4732-996B-C9212B19EC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf423662277856ab82b9bbbb7e7bfa68ee3ad431","datavalue":{"value":{"entity-type":"item","numeric-id":4993851,"id":"Q4993851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cafabb734ab563b4168adb6b79a55dc60f865c6","datavalue":{"value":{"amount":"+0.7649238109588623","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":"Q4637692$AFC6DD09-D505-420C-B72C-3B6FE3E34A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530d2b6dc9f3b7f890ea03cf4ef4f10ec1d9551d","datavalue":{"value":{"entity-type":"item","numeric-id":5410694,"id":"Q5410694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96490af84121feb910854fc8c933b7571b5c0019","datavalue":{"value":{"amount":"+0.7118327617645264","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":"Q4637692$D099652F-8778-4013-93A0-79C00A931B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bf45d6c156265398d33a1d1776acea003efae2","datavalue":{"value":{"entity-type":"item","numeric-id":2817705,"id":"Q2817705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb2327ef5ffa936c6c5bc6d4b175dee3bca1d59","datavalue":{"value":{"amount":"+0.7014291882514954","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":"Q4637692$500E185F-7FB8-4E70-935B-E85A3DABE0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8875ff371ff047a4ef00cf88bc89b5a18b1cd535","datavalue":{"value":{"entity-type":"item","numeric-id":2936778,"id":"Q2936778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946039dc14221f8c4ac3f2bacdbfdebc6713f546","datavalue":{"value":{"amount":"+0.6872469782829285","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":"Q4637692$E5D9F08A-609A-4529-BB3E-38E9E10BCE2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4637692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4637692"}}}}}