{"entities":{"Q2503317":{"pageid":2514060,"ns":120,"title":"Item:Q2503317","lastrevid":49917364,"modified":"2026-01-12T00:51:56Z","type":"item","id":"Q2503317","labels":{"en":{"language":"en","value":"A modal proof theory for final polynomial coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054309"}},"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":"Q2503317$EB322FB4-7E29-49DD-B4E5-D56695729864","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6af8d463b25fa9aeba409c8703ca4e61f53363f","datavalue":{"value":{"text":"A modal proof theory for final polynomial coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503317$79867899-B93D-44F4-9D53-3E733BEC0C5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba80b992f1de6b5339035056a6d44303e3a75e1f","datavalue":{"value":"1097.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$6A4E6FD6-6932-4FDC-8164-001E1B72DB4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c77896a53cf65ddc970fd5e13abc079a4429e46","datavalue":{"value":{"entity-type":"item","numeric-id":2503316,"id":"Q2503316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$4FC31D49-9483-472B-87D7-A71370AF01C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$85CF8D1F-6BE7-492A-AE4C-7C130A36CC61","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":"Q2503317$2577489E-26D1-4267-A2D3-B51847286660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503317$8E90D8F8-2623-4C15-9A67-7A292916148B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$41DB790A-CA54-4EC1-9C1E-9A3A8F20C8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$5B2C05B2-84E4-43B3-9134-635C239E1D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$9BE09678-C626-4824-A8C6-58A02E9AE71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$7721041A-B6B8-4A59-ACD5-40718F452B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$AFC69570-947B-4933-83D6-5A58A6E59486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$976ABCC4-4BCB-47E4-ABD0-B3F9E894E6C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"626ae208783de0e0d8bff40381273481e48438e2","datavalue":{"value":"5054309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$6714B603-BD2C-477F-9EC4-10F54E3499E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78be4d3b793bd75d9505bb5b6a4a100fbd761799","datavalue":{"value":"polynomial functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$60B72AA5-6B91-4AD4-9EE9-BA2D8C20065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$6AE0E98C-E08E-4E7C-851B-E7053AA40942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$7D2E2233-5CA3-4BFE-8DA6-1FED323EA659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$FBE276EF-7E81-4D49-8FB8-B027F214F0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$08CE8B7D-A35B-4A31-85D6-C184EF595957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9afb1082b3e6e6ae06798350861ae0e3da13440","datavalue":{"value":"infinitary proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$D19541F6-BA8E-47F9-B1A0-262B62D6B049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$EA9CFD8E-E8E9-4BB9-9019-EFC89FA365C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c747296fb3ce5a46ae35e754d315631e59933eb1","datavalue":{"value":"debucibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$A708D3B2-9C87-4BBC-B4BB-2FAAE784F2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45d45675b73a54ec20c2e0ee831c2a1b662ba","datavalue":{"value":"maximally consistent set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$06940DAE-E9FF-4E5D-8C08-E480396A949D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba8d9608c5d3ce8140dfdd4a6319c9b7c7f6697","datavalue":{"value":"canonical coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$12494290-867A-42FD-95A1-14DABB73A79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$2C97BA91-DEFE-4DC1-98D0-AB15E241084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e85f6ec2d26baf4175b9f668a0803f93d07e740","datavalue":{"value":"Lindenbaum property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503317$4C615640-284F-4992-B9F5-5FA6A2A21112","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":"Q2503317$72B62042-DC55-4BB4-8847-B764E593E8A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30778e6e22fd50a8dc88e580f1f577c2130579be","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503317$38CAF54F-D4DA-4297-8C8A-267F30C50451","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"348ab69a07c0e1f1fe7e930bc3fa44af0ed7d646","datavalue":{"value":"W2028958199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$F341CFF6-E3A2-4251-BE9A-1A365F544281","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f2748654f8beca84deb5ebab3b819a5b9d2e57","datavalue":{"value":{"entity-type":"item","numeric-id":4967703,"id":"Q4967703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$4B7DCDAC-81C2-4A87-84BB-E49B8DAD1A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2286e0c27de1eb37a1462ffac8c7059d7a659a3e","datavalue":{"value":{"entity-type":"item","numeric-id":1801304,"id":"Q1801304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$8D053FF1-F0F6-4E72-A5AC-86A5545D73ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$E9470137-6882-4D74-BEFE-A8337DC95120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$9AD1B37A-30E3-41ED-8BDB-B53891EA22FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$896A3157-9272-4E81-A8B6-1933E4BAC6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299a59af7bed58332614fa6884fcca9521998ac1","datavalue":{"value":{"entity-type":"item","numeric-id":2535381,"id":"Q2535381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$6ADF700F-DC6C-4C68-94B2-77EAA41D9C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$F2429D27-7287-4420-9DF7-A5B564894670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360c858d735cc424a0303afe9f6015847bd87d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5958779,"id":"Q5958779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$6BCC5847-4BAB-4724-B16B-ED8BEFCD510A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8a4643f1b4770f26d23cc8e93762a848e34e2b","datavalue":{"value":{"entity-type":"item","numeric-id":4460835,"id":"Q4460835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$CD7038C4-AE4E-487E-AA20-3FD8A70678B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5a87764296a89781a86ad5d87639003fbd363f","datavalue":{"value":{"entity-type":"item","numeric-id":5465440,"id":"Q5465440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$195C5029-DC49-4E19-8568-A7EC9E570778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fb0a68162a8182b53c25d741c10ff98b1fc97a","datavalue":{"value":{"entity-type":"item","numeric-id":1408860,"id":"Q1408860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$3BD2342B-A1E0-454E-A10D-FE302727FBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fd12e42b2f878fc88d2821712066c0df564bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2576941,"id":"Q2576941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$D29D4C13-0B59-4866-86ED-3FE49AE97012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$0FD038CA-4DA6-4122-B0F9-43B424D6D0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$32AEE28C-7FB9-4781-8736-2BA69AE32605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$0B0E4751-B720-41C0-92E1-1C153BFEA2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$9CD9A623-8BD3-458F-8B5F-3E051B5A7C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c8bdba4902dcd6f805c3a6db1256f8bdcb45e6","datavalue":{"value":{"entity-type":"item","numeric-id":4499308,"id":"Q4499308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$A815A690-4E93-42DF-83E4-A1EEAF1E7D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$112F6095-3C31-4B8F-ACD6-864337045154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c284a637d6a4c997324e6ed944214c2cc09c94aa","datavalue":{"value":{"entity-type":"item","numeric-id":4738115,"id":"Q4738115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$8075BA3E-DD7B-4E98-92A4-B12FD1BEC219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$8081217F-F8AA-439A-B8F0-84E050BF5197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$022B0FA8-E24E-466E-A785-F61CFC209B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f82f429bca46514bd67bcf27e4ca0eaf245fc57","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$862B4878-5113-40CD-8035-D042544D85C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$1CA3EED8-4BBD-4C4C-86A5-ED067278E34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f731e63f751eda97d9f9a0b426ed48152b6bb5db","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$FEEE85A8-1ACC-4F42-B090-9B90066D0908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$AED8A732-0F75-4A74-9BCF-1DC475933692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61e27db31ed39b1364574714033a3e85d7f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":4047530,"id":"Q4047530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$23392DC8-6CDC-440F-9CB1-CA44DFC5863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$21478189-29A3-4109-99DC-9FD267D1752C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$467CAA9B-CF89-4CEC-B210-9561B2600820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$E451B6C7-39A5-4770-A497-7804CC80630A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$35548DD7-9A3B-4659-B5F2-F7CA4B8C7069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$14C53273-59E8-494C-A3A8-186AC3C44CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503317$448ED2B9-DF92-4CFD-8086-855CAF4CC3E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbe214be91a3dd33547699d54ea86b5a199a00a","datavalue":{"value":"10.1016/J.TCS.2005.11.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503317$A1C3C404-F26A-48F4-8E87-2253D56AFE32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0575f9cc6e3c3a021aed09e640314a5252f3480","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3ebbd055f5b8bc97a85100da0d1ffcb1288092","datavalue":{"value":{"amount":"+0.8936907649040222","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":"Q2503317$3E92C139-481C-460C-90A7-AB6EBC4BD356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba3e1940f2373edb3271be36912ebf6d8c1f4ba","datavalue":{"value":{"amount":"+0.8355571031570435","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":"Q2503317$AB576F53-C20C-4373-A5B9-887E903147B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be29c4b1595a03f2adb5d40ffdca7fc10cbcbba1","datavalue":{"value":{"amount":"+0.8345333337783813","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":"Q2503317$41BB771D-F772-46BF-93DB-E000DD9E7991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0b029343682e0aed93dc5c2dc6e0f520d4654","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be29c4b1595a03f2adb5d40ffdca7fc10cbcbba1","datavalue":{"value":{"amount":"+0.8345333337783813","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":"Q2503317$BD7D3740-D7BD-4186-888B-DD060BBFBB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6898050158c68b6137f8551ea18d72cd0748ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0b23a2679f7cc4d292131278bdd5fd644654ee","datavalue":{"value":{"amount":"+0.8295057415962219","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":"Q2503317$4D5D2E19-CB6D-4475-836E-A1013066D8D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503317","badges":[]}}}}}