{"entities":{"Q6153331":{"pageid":13287678,"ns":120,"title":"Item:Q6153331","lastrevid":58714125,"modified":"2026-04-06T10:48:24Z","type":"item","id":"Q6153331","labels":{"en":{"language":"en","value":"Native type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7804576"}},"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":"Q6153331$E790C597-586B-4A43-B385-96B78909278B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f73727a6e41cbb52983fb01a9c90267216feef1e","datavalue":{"value":"1530.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153331$66740027-7F1C-4669-9FDD-0A6BA65F4CF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68fd9bc796c85e68c8e85250762a3aa1076f2f80","datavalue":{"value":{"entity-type":"item","numeric-id":5020956,"id":"Q5020956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$81554445-59D3-4C31-A20C-EF11F8C78D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8718fef59d39f5a6404ac562d3cfcdfc9903bd01","datavalue":{"value":{"entity-type":"item","numeric-id":859829,"id":"Q859829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$FE2998FC-ACC5-405B-B947-326C5B2ADC1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2abacca2785e0f856eeb85daaaa1e38f0cc185f","datavalue":{"value":{"time":"+2024-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6153331$2A500FCF-2A9B-4A7B-80DA-DD715AA13EA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a759d2c8e77576c95f3818cc03b77a954ca8d544","datavalue":{"value":"https://arxiv.org/abs/2102.04672","type":"string"},"datatype":"url"},"type":"statement","id":"Q6153331$6F0D55CA-5121-482B-BA8B-B472139221CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02387ee019a18a53c75f5eea1df7ad19d8452aa8","datavalue":{"value":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q6153331$450B43F3-31C4-4B04-968A-624CF07CA80E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153331$ADA2EC72-679E-426E-B95D-F621E3A38E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a355391a5981b113f8a64fd5364491a3abc3472b","datavalue":{"value":"7804576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153331$2C3F5770-91E1-483D-8CF1-D17CA4EC266D","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":"Q6153331$94289DFE-A9EA-4832-B086-7CD41531A3FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$6DA6D1B3-AD7F-494E-8EF7-4B5E03698F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$718314E8-BCD8-4585-8EC5-5DBE0DE9C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$EC078DDD-D00D-4637-A43E-7D3FBA08F6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$4F561B73-5A65-4DE7-8BE5-7257ACA036BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$26813DA9-FB3D-44E4-BA5B-E6F1CEECB51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$F370DFB3-9B04-4D42-9C55-E91DE975657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$F45DCE69-E844-4068-9A6E-9F9E294CF90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$A9EF6F14-8531-4164-9E62-B63587A0E5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$9AB8407F-DBA6-4871-9885-28FE274C0A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$B62E2471-02AA-4ED0-9B12-E903907C2221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$D28EAD9E-1E02-4C4A-9EA2-EC74FD0ABB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5728c3328fe9fee522a5e5faa0dbbc1592187c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5394808,"id":"Q5394808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$20EA7749-6227-48D7-B072-B1DD0C9D0D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd215abf4972f8944db60ffe9e3dfc10b4ef2195","datavalue":{"value":{"entity-type":"item","numeric-id":2863844,"id":"Q2863844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$093EDB4B-E2C6-40D8-B626-A9F9D82C665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$C707F513-160C-494A-917B-5DE57A5913C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$25489DD0-36BC-4169-95D2-A596898B9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0bd80e70dd130246f24fb3da749234f7501d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1183597,"id":"Q1183597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153331$B5B5AC8D-266F-4722-9792-7E6F7B27007E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d9ad8a5278ff1762ab5c08f1e1ae920ab20436","datavalue":{"value":{"entity-type":"item","numeric-id":1199709,"id":"Q1199709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeb4b537c50c29b7b0309390efd70f4a7db8e1d","datavalue":{"value":{"amount":"+0.743202269077301","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":"Q6153331$72232144-E0E1-40E8-B270-E984CA312198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118203e18aa241a1ea27b0905ec59352296b464d","datavalue":{"value":{"entity-type":"item","numeric-id":3216123,"id":"Q3216123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3843d4e31480c1ada432210ac94f1855e6b13679","datavalue":{"value":{"amount":"+0.7249003052711487","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":"Q6153331$D0A112A3-C557-474F-B416-6EA4FA3E907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5719835ec6b514bb6ceb36e83c3f531c9d93b2e4","datavalue":{"value":{"amount":"+0.7155390977859497","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":"Q6153331$3C1748AB-D30F-40EC-965B-C8B292D3E3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823374b270b99f64df1dbf3b1285b9d83f1a328b","datavalue":{"value":{"entity-type":"item","numeric-id":3479540,"id":"Q3479540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce75e9aaf67e6949d86c7810466eeb170c9caa8","datavalue":{"value":{"amount":"+0.7111663818359375","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":"Q6153331$A82A0775-B6EC-4E24-BA96-72477F489D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638d99ef6d7d2dd51f279a91f9f516058689c856","datavalue":{"value":{"amount":"+0.7094682455062866","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":"Q6153331$5C7A1639-1895-4F69-A7BC-8356F16F65CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6153331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6153331"}}}}}