{"entities":{"Q6176573":{"pageid":13311461,"ns":120,"title":"Item:Q6176573","lastrevid":55470292,"modified":"2026-02-17T17:09:45Z","type":"item","id":"Q6176573","labels":{"en":{"language":"en","value":"A calculus with recursive types, record concatenation and subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7717075"}},"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":"Q6176573$DF29C0C1-E1AA-4878-B4E9-B372AF058DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3763ea97ee0943b9dbe80f3013c41f22f214fc9b","datavalue":{"value":{"text":"A calculus with recursive types, record concatenation and subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176573$0EDCE4CC-FBFA-490B-97B1-D99356077868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c06e13e478502226b1db4fde7e2722b750c27a9","datavalue":{"value":"1524.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$8A441819-464D-4C27-8FC1-F1D664426A3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b4a05f5f4cabc01dd5d207c0433c33e6e2523b7","datavalue":{"value":"10.1007/978-3-031-21037-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$0D90989A-4888-4D0D-8393-DCB1D5AB9E65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85633d227a83e08ea2e7166372856551b690d61a","datavalue":{"value":{"entity-type":"item","numeric-id":6176572,"id":"Q6176572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$1F98871A-70E2-41BD-87EA-6C778B59F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$C6968E1E-B9CB-46CF-BE80-E225EF598826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9111b0a4d124cc19c82839fc131ff43b55c54020","datavalue":{"value":{"entity-type":"item","numeric-id":3402710,"id":"Q3402710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$FB14B02C-B110-46D8-9FAC-F08D0DAE4BF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$B5F79D90-A531-4B52-B68E-307F2945DB6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c23e2f8c5005e57b25458422f4cd3f060374be12","datavalue":{"value":{"time":"+2023-07-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":"Q6176573$1E49B1BB-047D-4289-A6A2-C86CD17AB71E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$0841C437-FF37-41A6-A574-43064BC13310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$338D0B99-AD18-4D54-B627-93963FF3E314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$823E96D7-D50D-40AB-B1D0-3367158A9A95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f1a6cc6f0972b9ddff8c4c197d9c78ee64608cd","datavalue":{"value":"7717075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$79973348-1DFE-4248-839A-C4EB4893DD25","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":"Q6176573$CA04861A-4820-46D8-A3C9-BF5F34678D60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b809c26be59ff2cfdacaec62f711389168fe8c19","datavalue":{"value":"https://doi.org/10.1007/978-3-031-21037-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176573$BF45EAFD-A216-4AE1-AD87-FC4ED3048AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbc5076d598524eb4c14757b72b163d66b18b144","datavalue":{"value":"W4312991422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176573$9368EFA1-0928-410F-A9F0-C7E4B2E0B35C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$7E5D331D-34B3-4B74-BA87-4CAF96DF0252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00f1126ae8ce767147df9b854f64582a2db4fe","datavalue":{"value":{"entity-type":"item","numeric-id":2988630,"id":"Q2988630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$A5B544DB-0001-4729-9B33-616C9A2D92F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5e1ab7baf8676a54438a7a1b49e65832e863c6","datavalue":{"value":{"entity-type":"item","numeric-id":3188291,"id":"Q3188291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$EE70EAC5-098A-4A44-92C0-626656775D2E","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":"Q6176573$60605938-5A7C-4D91-AC28-8648C4B47B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c37141f9015d8d6da48a356a27d8a8d2757ebf","datavalue":{"value":{"entity-type":"item","numeric-id":6070790,"id":"Q6070790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$6A959AA4-02D1-425C-97FE-8B4D85F73E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd5f5c9fcbefac0bb72532e3eb4cdbc88cd4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1854318,"id":"Q1854318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$2BB8C60C-6202-45BA-87B1-EC4CC96FB889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$3BAA1019-B6D6-48C8-B1A2-18CA39D6D607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e76eb3f817de473bd9934fd44a22c28c69cd15c","datavalue":{"value":{"entity-type":"item","numeric-id":4855343,"id":"Q4855343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$E4D90537-1079-4090-932D-9C4EA56370A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$07A25A5F-0294-4B80-91B0-B5120C1F340C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cb82b0bf76bd423ad099e8bd8f7af376304641","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$5F29BB1D-D258-4B1D-B86C-0442F3A2BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d14100849b4efc5fe38f5cf9d0d6b3f6795a47","datavalue":{"value":{"entity-type":"item","numeric-id":3837264,"id":"Q3837264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$7FC38BF0-B182-4C5C-A76E-CEEE03D5D0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09beafdc2e25f4b9f00725001e5d303eb139d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4855348,"id":"Q4855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$009D7DB9-2144-4EDF-99D6-9BE38993A01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36710bacbbcf7f76241c0afc743b0c24e1a2d099","datavalue":{"value":{"entity-type":"item","numeric-id":4490756,"id":"Q4490756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$9E158E01-5A84-4DFC-BF85-3AD5525F90C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee35f895e851475cce139c8bd92617d4e18740ca","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$7AC08D13-D04E-4C6E-964B-EEABB1A48A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cdcabd01cb5fccf5ebd1fbfa2fc6876593003e","datavalue":{"value":{"entity-type":"item","numeric-id":2875228,"id":"Q2875228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$36730519-F4FB-4F77-AA7E-BEE03182E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3080693a907bc73c23371a385cb071efa9ec2c5","datavalue":{"value":{"entity-type":"item","numeric-id":2779257,"id":"Q2779257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$A9E2D748-4BF7-4B78-9BC5-DD6FFFC94D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$198EFC64-815D-4A9B-A8C1-CCECE6A012EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9919b127ebc5800fe3d5b2262a8a4771afb6e9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2985786,"id":"Q2985786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$669247E8-CC3C-4B20-96F4-08DBF934804D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf7bc94ede2a12bc9ffb0985b257640ae4e1fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1887147,"id":"Q1887147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$95C18DD5-3C1D-4D16-A73B-A662E41EC087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$9F9C48FE-1221-4BC0-AC52-856A16F2DF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a460ecb3cff9acf942dfb52367dc56412678927f","datavalue":{"value":{"entity-type":"item","numeric-id":2729058,"id":"Q2729058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176573$D459A69A-6DF3-431D-9867-61CBE94DCBC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71446d2a8b7e58fcd5b4ceb844fff5266ae762a6","datavalue":{"value":{"entity-type":"item","numeric-id":5020905,"id":"Q5020905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cf51454b1b4d4e1ebfef2b2d1944328c41fa81","datavalue":{"value":{"amount":"+0.8267147541046143","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":"Q6176573$5C5A5482-F60B-4963-AC08-CE11EDF9A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a08dc9b4720d56ced47fae58521d24123f5abf1","datavalue":{"value":{"entity-type":"item","numeric-id":6176571,"id":"Q6176571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab556be7537747697a855023606db52b5c28290","datavalue":{"value":{"amount":"+0.7959819436073303","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":"Q6176573$54D7005F-84E2-432C-8774-30D7EC269E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8139306fbdaa8fe80394a6d2a28112327c49b","datavalue":{"value":{"entity-type":"item","numeric-id":5096310,"id":"Q5096310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81f260f60bad7365d77007eae762fae4ea763f2","datavalue":{"value":{"amount":"+0.7412264943122864","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":"Q6176573$1CF57E54-F6D3-4C9C-967B-A2D250A64923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38827260072cbea9e53ac9ed798ac3cb450fb1cb","datavalue":{"value":{"entity-type":"item","numeric-id":2988630,"id":"Q2988630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4257a722156aa23c4436c700699a8607dc4c8dc6","datavalue":{"value":{"amount":"+0.7206053137779236","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":"Q6176573$C654103B-8383-4EB6-8446-C1BB78128DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176573"}}}}}