{"entities":{"Q1044837":{"pageid":1046685,"ns":120,"title":"Item:Q1044837","lastrevid":66024900,"modified":"2026-04-12T07:01:49Z","type":"item","id":"Q1044837","labels":{"en":{"language":"en","value":"Strong normalization property for second order linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5647933"}},"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":"Q1044837$309FF6ED-81E3-4984-B59B-1A171952D871","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b1bce258da75892e577db87f24f74257d8df822","datavalue":{"value":{"text":"Strong normalization property for second order linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044837$9C7CA14B-370F-48A7-9899-4AACEC5A5A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2b362d1d7d9a74e2dd6e3491f7a762cd821930b","datavalue":{"value":"1186.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044837$EDE6C774-3EB0-4BA9-BDC5-53609A0D9CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$54143478-7D1B-4E47-AEFD-A588D9F134B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$7F6DBF12-999F-4A03-97F0-83A0922DF170","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$8A2346F0-028E-4332-80D4-41820FA6F825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d265d400060d2e7fb9c5c45adc5a5c7f5f7bbd7","datavalue":{"value":{"time":"+2009-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044837$E01EADE3-2DCD-4CFD-85BC-620B48AB29A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044837$B9186C40-5F15-4ED5-BCF1-6BF8DC6E0948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7cf21a395ceffcb41120c0c26d688cd97759e57","datavalue":{"value":"5647933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044837$A7DCABB3-1952-4F0B-8622-935D93203182","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$307572CD-ADE3-4720-ABAC-F92045FD6B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$4154E087-9C1C-4AF6-8D6A-D4383B1082E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$62213F5A-21A3-462B-A9A9-8F06554E62EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$FE30615B-8B55-496C-9900-80219821AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$5D51FDDF-E371-4715-A007-7BAEFB35ECF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379297ee29fedd66150deafb81f10b23784534bb","datavalue":{"value":"additive connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$657AFE62-0862-4DAC-93CC-5C668083287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ee2a6357d3e122334ffcd3f09664bca4058414","datavalue":{"value":"sliced pure structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044837$A095C428-E078-45BF-8B88-DE9CE6B0D6C6","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":"Q1044837$9534844D-D82C-4111-9B6D-314CC10C6BAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1494eccf52417e50d5314b7b46a1453ff52582aa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.07.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044837$0F78D9B4-BC1A-446A-9078-5DCAF86F62BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d60b257b2748973e9899ec78340290245015792c","datavalue":{"value":"W2113402167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044837$184F3815-CDD5-4C33-9170-F41BAAD66FC7","rank":"normal"}],"P223":[{"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":"Q1044837$43FDB1B6-BDA2-4FF1-8847-38C779FAE5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$9ACEAC55-FAF1-4E04-94E4-AE0B2FDCE8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66fd4958199080118cc3631fff867a19068f350","datavalue":{"value":{"entity-type":"item","numeric-id":4814187,"id":"Q4814187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$CB3A7278-512F-4702-8209-0C40D072BF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$F26C789B-D1E6-473D-BD49-8DC22631C8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$AC2186EF-2C61-4836-B576-B9541FEE97A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$CEB6CB2C-1E84-4AD7-93BE-087C7710BB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$2EB041CC-B44F-4ADE-B95E-26E7228E224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$51E5B22E-E708-457C-BFD8-FBA77DA5D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$C2382DF4-6701-4C28-AD39-3A73A1260EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da631b6cfbf07e23d25864fed3656ffc6ce36b6","datavalue":{"value":{"entity-type":"item","numeric-id":556824,"id":"Q556824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$1412FF1D-9ED2-4B62-A271-D6BCD56C655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59655309835d1bf65d33fbabff53d3818d2a066c","datavalue":{"value":{"entity-type":"item","numeric-id":4650583,"id":"Q4650583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$8E91C18F-9D9B-4CAA-8AE4-7FBB15B699D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$CB20219C-EB68-4241-829D-8B30F5A2E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$D60D162E-80C0-4029-A8B7-83396D34FB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197fb31080d07279d6d4e707ba0db8b6fdc07c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$A9B47A47-8D9C-48FC-9344-49D9B0F936E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$AD443B83-ABE9-410E-999B-5186ABCC34ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011cf84c3c30d491c786f660fdc3c21d23243ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1398477,"id":"Q1398477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$214378F3-81D8-47B4-94F0-14B1EAD47CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bea83542b3938ab5dc0b4c67cbff4d5767796f","datavalue":{"value":{"entity-type":"item","numeric-id":534707,"id":"Q534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$07A4896A-B3CF-4B2F-BADF-63952492FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ab920babe8b69cd188f78a28074341fb4e88e","datavalue":{"value":{"entity-type":"item","numeric-id":3644769,"id":"Q3644769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044837$74A3FD2D-5A1C-486D-BD90-A6F52172FFC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4530b282e2127326adca4aa284bc233cb82c9d24","datavalue":{"value":"10.1016/J.TCS.2009.07.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044837$3D4BE0D8-23EE-4245-BC8B-4D1030BDBAAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf72fe02636f2b7949c7e24d01fc14cb8801819","datavalue":{"value":{"entity-type":"item","numeric-id":2958373,"id":"Q2958373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1accd8d297289f2a258e3736cc87ac27bf6a7542","datavalue":{"value":{"amount":"+0.9299953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$6109EDD6-E6A0-485A-8DB0-A84B336FBF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab8f2efce65f1bb0e13fc4caa073a89436edf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1769440,"id":"Q1769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71fe08bd6df80d1499c3023b2725b4e29d8be8f","datavalue":{"value":{"amount":"+0.92746717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$6E728B56-DB79-4C77-AA82-6B585493CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d9075c9e829d985d67493ee701c3beb72520e","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031b3bec06b97669a19d23ccd2ef45e7f2ca8d0f","datavalue":{"value":{"amount":"+0.90575886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$6BC08120-0C7D-43BE-9E8E-12B91F25A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378f33955b6e304d54ef59f2d34fc42eeae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":1407527,"id":"Q1407527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf693018581b7a4713d761b1121cced7bdade0e","datavalue":{"value":{"amount":"+0.9013805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$837394DE-2B37-40B3-A4F2-FBCF287F2DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45c7dff42ba9946e9a8acd3e138332c15ef18e2","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f53b403ae544edfb9d87f8a0ca7a1dbdccc387","datavalue":{"value":{"amount":"+0.8991471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$D233D81B-C1C0-47C8-925A-2601824EE8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d97faa2ac5a7df01c3b864c90903470d7e32d38","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4042f7917810acd306cee1cf8502ed11bfd23ade","datavalue":{"value":{"amount":"+0.8971375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$ADE06799-DEE5-4390-9E06-BA568FD5CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf8d9f38390e860597c391b0a34415c705810d","datavalue":{"value":{"entity-type":"item","numeric-id":5714454,"id":"Q5714454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd46823968c422066ed34b26e61bec30b9df0474","datavalue":{"value":{"amount":"+0.8882872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$238CECAE-7A4D-4117-8EBD-877E5286FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60160024512c73f3c431b760ec9d2b4a9aa14ec","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd9ed27de63cb30be63cf5ea712f7f07d502c98","datavalue":{"value":{"amount":"+0.88754267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$AEAB255D-5801-4691-BACB-2D078CB19762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f726107eb294c192c485b3baef0ed0076ebbf8","datavalue":{"value":{"entity-type":"item","numeric-id":5305552,"id":"Q5305552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a3c151315783262dd82d31a4a9850418814039","datavalue":{"value":{"amount":"+0.885217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$2229414D-7530-4E3F-BA64-59282BFFB5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd06fa241ea6528b1ee870180b3bce57c30ab6c","datavalue":{"value":{"amount":"+0.8805096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044837$8671F53F-ABAE-46A2-A55C-A5877C0EFDCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalization property for second order linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalization_property_for_second_order_linear_logic"}}}}}