{"entities":{"Q1401943":{"pageid":1412683,"ns":120,"title":"Item:Q1401943","lastrevid":48157033,"modified":"2026-01-03T19:46:40Z","type":"item","id":"Q1401943","labels":{"en":{"language":"en","value":"Linear types and non-size-increasing polynomial time computation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967131"}},"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":"Q1401943$C64542BF-08A4-457D-9AC1-9E45188CD838","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d600ffe237c725123ec265523b57d85548c1f21","datavalue":{"value":{"text":"Linear types and non-size-increasing polynomial time computation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401943$A0C155FB-FF23-40B6-9FD5-8880315DA6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5db10cc916f7f735a602cc4f403825e8d100209c","datavalue":{"value":"1054.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401943$C2D4DA6D-BB5B-4C70-AC6D-DCE26ED8BE18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa6471f56163ad1ae8fc11306f37f3153482531","datavalue":{"value":"10.1016/S0890-5401(03)00009-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401943$3C5E37EB-5E6A-4A00-85D6-38187B58D4C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$557A076E-F7CA-4233-9971-9DD19E736429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$8A653EA2-3E70-462B-8082-50F03CFAB87C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401943$4301123A-B59D-4050-AAF9-8015D4BF25DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401943$5465B2A5-04AC-4B20-9D9C-55E1B122E3ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87d4a6fba48c7084f2ae30f04fe75029517c7f6f","datavalue":{"value":"1967131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401943$5CF29787-57DB-402E-B632-7B2863A1A924","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb8ff692d33f378eade91f71371280b64cdd398","datavalue":{"value":"Complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401943$3E295ED5-55E8-4260-AF6B-3159A3264486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7c0fdc2b8ff341d780d8681cb6c05c5945795a","datavalue":{"value":"Type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401943$5C502AA0-9BBE-4817-BE3E-21270EA2DDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28eb7086627f03de72194a228e2478f44f875eb","datavalue":{"value":"Linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401943$4BC09B6A-B96B-44DD-83BC-7E9713122B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a4a47b89a07bce46d99f8ad0595144ef063666","datavalue":{"value":"Higher-order function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401943$F4BD7C45-8649-47FA-8D3C-45B4CE765380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34bb4fab8ffe51fcde7a1bdea733330ba67c36d","datavalue":{"value":"Resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401943$FD904506-FDB6-4586-A5F4-617A468A4F27","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":"Q1401943$EDCFA78E-79BF-47FC-878B-176955A5BD82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12205ba67e6abe150ac8ed6b6a33a4b61aa8ac30","datavalue":{"value":{"entity-type":"item","numeric-id":5738960,"id":"Q5738960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$89478238-4FB3-4B84-BA15-1F18ACBFC931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$FAA06649-8BCB-4098-A5C9-71959DFCDA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$C20615E4-0A42-4EBC-B084-DD066FC5ECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$7958CB4B-7A5A-4E65-A20D-480C12BAACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa66d24fd4ae36ff9c8289943d7b63b134269a8","datavalue":{"value":{"entity-type":"item","numeric-id":4518880,"id":"Q4518880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$8BC87D54-21BF-48C1-9F4E-9BF31F2F0A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cbb19a688ecb2f07c94cbeb605af8ab01351f9e","datavalue":{"value":{"entity-type":"item","numeric-id":5178911,"id":"Q5178911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$519078D6-9AE2-4D8E-AA71-7263ED5F5690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$DA27DB42-6A82-406B-8D68-33F27C0A2D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401943$A4C49F3F-ACEE-4B4B-A35F-EF7D53D5FFF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bba1fc33cd11082bac95f840c9b404ef7979acf","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00009-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401943$733476B1-E310-45F5-8614-B52A5A070379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06acef91870e80e69a4b513b05d36db70622aa55","datavalue":{"value":"W2010059824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401943$17DC58A5-3E1D-42A6-B9B1-832923B4E55E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65474d4e4b6e3f33d2bad3708187db1cb078cdbe","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0f5a54d0e721ca3743856070d02b5ffb9e5f4c","datavalue":{"value":{"amount":"+0.8119871020317078","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":"Q1401943$233A0584-6900-4D11-BA69-6B6998E09B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2b8deaf00c2e620a42baf0b6f9e20f9d1cf965","datavalue":{"value":{"entity-type":"item","numeric-id":1827388,"id":"Q1827388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79838dbd15104dafc570d0811bebc47df2c50172","datavalue":{"value":{"amount":"+0.7891176342964172","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":"Q1401943$C225C7A8-987C-4F11-AD63-BBF2BF79FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0e589bb87427f14a3ba48f52a7f5e48773af9","datavalue":{"value":{"entity-type":"item","numeric-id":4513587,"id":"Q4513587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5348479c40172f735efd35ec4c79af94543aef","datavalue":{"value":{"amount":"+0.7858120203018188","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":"Q1401943$E89B0377-925B-4521-AC18-B2F5B367309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ea3927ed427114a93fbd39ebb4e68d47de7dad","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae8ece762cc1e20f3a290f74e9f8d884f9e2a81","datavalue":{"value":{"amount":"+0.78255295753479","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":"Q1401943$9FCCA414-368C-489F-A6A8-E5448E1FF428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1f4a7cbbc65cc0dc08c7ec812ba84d31fc0721","datavalue":{"value":{"entity-type":"item","numeric-id":1989323,"id":"Q1989323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9c1bd05b945db6449682cede0871f422370b8e","datavalue":{"value":{"amount":"+0.7816579937934875","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":"Q1401943$D23D67B3-6306-4BC7-9264-0FA3DC62FB96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401943"}}}}}