{"entities":{"Q6170504":{"pageid":13305392,"ns":120,"title":"Item:Q6170504","lastrevid":98770577,"modified":"2026-06-05T18:26:47Z","type":"item","id":"Q6170504","labels":{"en":{"language":"en","value":"UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7725102"}},"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":"Q6170504$5FCDCBF4-803C-4AE8-84A4-B0265DA7F4BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"070d55470e4b98b5c858f2f32371806e3c786ce8","datavalue":{"value":{"text":"UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6170504$4F4E6622-39F2-4B59-88AA-60E692090985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eb25dfe5705ac46f782999a0940bf89bc761374","datavalue":{"value":{"entity-type":"item","numeric-id":2988391,"id":"Q2988391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$04A8966C-57E1-47C8-A914-1E250AAA23F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$02ABF6ED-7AAA-4029-A35F-3E318B79C782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$ADBE2B25-CD7A-4558-BBDE-0C844F78DC53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae15c90b98a92864cf67eed8eb0b97ddf8177e","datavalue":{"value":{"time":"+2023-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6170504$B546A569-2605-4E1B-BFDF-003CA86E660C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87e5608a27da03abfe27f7fc72d32023620fcf97","datavalue":{"value":"https://arxiv.org/abs/2211.06217","type":"string"},"datatype":"url"},"type":"statement","id":"Q6170504$4AD14AA2-E5A1-4234-A79E-7804B5107D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$E0E7AF06-8C42-46A2-BC64-A6EF07089A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$3D18CBBC-8F56-461F-B22A-A7107B7FC28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$68097399-35F8-4706-A35A-41A86D77DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$DD7A6853-08BB-476A-AEE0-05E0728BE781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$B0963019-9B01-499A-90A7-2182E2AEA09A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fc8e1850b5ced2a2bf4922b5616cec7963a49dc","datavalue":{"value":"7725102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$58830918-5CC8-416C-B69E-DDC17E36C7A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170504$CFD5BDC2-2881-4954-AF57-3AE4EFE334FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83fe0a5314b3b65402e753abc7d944935a8ef00","datavalue":{"value":"proofs for modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170504$BDB62BFB-0960-49F1-88DA-41CAFDC8C910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170504$9435C97A-877B-432F-B739-FE22DAA45E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170504$FCB35CC0-F0F3-4364-8B9A-0B95A7CD9C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a278ca41aeffd803235a81f8fccb632735b2a2b","datavalue":{"value":"modal type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6170504$F5CD127E-E543-4A67-9F80-64628ADD17E1","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":"Q6170504$FA75D6FC-658D-4B44-8C85-4705D5529909","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":"Q6170504$A762DAF2-BD7D-4670-BE80-B3D19A74655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$64889179-94DA-47D3-BE21-D0D71F438F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a08c25c238f048b2e589efdf52c68fe9575e27c","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$AC86209D-A8C8-4090-ABA8-6E2C8D55D485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$2C31E607-DCA7-4825-8A26-4FA02029A10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$C91559E1-8266-47FB-B5A1-51F4A4BBF73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f272b1872c6cc58f61dcebf5b4b39996397ff16","datavalue":{"value":{"entity-type":"item","numeric-id":5962305,"id":"Q5962305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$60251A0B-B8AF-42D3-8975-3E78C9F001B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e71729ea20b25ac29e78246550bb4c8ab42ed4d","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$6094EDC6-36E0-4AFF-BB07-E7E854F4023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$3476CFB5-FC6B-4DD9-83B5-2024A1352CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$CE35B90F-F652-472A-ABC6-F60FFEDD4E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$AAF902C8-17AE-464C-A875-25763A1C0119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$39242AC3-665D-47FA-AC76-B21488D4EAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$75301C8F-A6D5-431F-90DD-6FF167AD84F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$2360FE91-F057-431D-A089-3AB33DC4125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$CDB4C0D7-0DBA-4EFE-BD7F-4DFD8AA3F2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f374c3a9df885955800072a491b8546edfbfc8c","datavalue":{"value":{"entity-type":"item","numeric-id":5072609,"id":"Q5072609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$38AE03B7-1848-4166-BA65-E82198255B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43931b7a31794794da0d0ce7bb6746d1f03462c","datavalue":{"value":{"entity-type":"item","numeric-id":5145658,"id":"Q5145658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$28D17E20-C2F8-4E03-AFF8-7B095B81BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e622fcb1779edff63dfc667212e670505009e914","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$CFB3A62B-CCB3-4E25-9F2E-5C7C70C9CE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$B4519731-DF32-4EAD-B2DD-1BE03056507C","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":"Q6170504$70407813-15A5-44AB-A32B-0D603670E610","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":"Q6170504$6CD9DF1B-203B-44C7-906E-F6F1EFC68D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$395AE9CB-FB05-4B3D-96A9-AC7998B8E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa93a3e7b401a38900f6649d170ca22aac025c","datavalue":{"value":{"entity-type":"item","numeric-id":5119390,"id":"Q5119390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$B6635BA1-E8D0-49F1-876C-220EBE031FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58790780d02d9446e28acffb260ca2bbf0c400c3","datavalue":{"value":{"entity-type":"item","numeric-id":5283430,"id":"Q5283430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$92EA1977-0912-456E-94A5-094C5F989476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7acd0e33cf62ff42c5d3d2963429fca167fec9","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$9AD7EFFC-2941-4D39-BAF9-7C8BA1DAEAFA","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":"Q6170504$DBAFBAA0-3597-4189-99B1-DE3C27F19961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$C08D17D0-E125-473C-87B0-F69F6FB6197E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$ACF1BEAB-55B6-43A6-B19E-704F7E252D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418ca3d9431f35ad8a25d0f1fd92efe2aed16e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145355,"id":"Q5145355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$201DAA33-A31A-44F7-B83E-FE00058C582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$793F639E-8AC3-487F-8C71-266934993C93","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":"Q6170504$77709C2D-31CD-4692-A1DE-85DA5B579A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ae97b483420d175a59bc2a99668ebc187070ca","datavalue":{"value":{"entity-type":"item","numeric-id":3720767,"id":"Q3720767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$15F4F012-D2BF-40E7-89C3-10C8E6692BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$705F5CFD-E87D-4812-91B5-15C5BC8D6083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$29295F72-D7FC-47A5-BDBD-CF0A1CD68441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3ce9f2c865da557411c6ce45966293f3fdcb97","datavalue":{"value":{"entity-type":"item","numeric-id":5942992,"id":"Q5942992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$D5405F16-3DA0-41E5-9C9E-BA15E6BF1C17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f32eab8171e06c74c977056c1c474e4523784490","datavalue":{"value":"10.1017/BSL.2023.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170504$D207DD6C-A5F2-4743-BE7A-CA9FF8A8376B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ceda0066bf8c46f150d8ab8490e8b84ee02586d","datavalue":{"value":{"amount":"+0.87669265","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":"Q6170504$0CE68340-C359-4AD1-AFFC-10BC3C82ABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9aacb801f59354533fa7abf67b50a387bb673ee","datavalue":{"value":{"amount":"+0.860693","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":"Q6170504$CD64A0BE-CAF8-4B0B-9BB1-814A96F4F46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c458e280a3f6b01a8c14ac4810b46bceef44c23","datavalue":{"value":{"entity-type":"item","numeric-id":4636050,"id":"Q4636050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5122d80f5ad3afd21f1b889438699a7d86e5dc3e","datavalue":{"value":{"amount":"+0.855075","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":"Q6170504$DE8665E9-0979-4B50-B981-8343A1D67C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1a7a170ef22a12126d4c07d61b87f67a2de77c","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0c51fd256ad33bddb5f5fedaac7cca6c9d9cd4","datavalue":{"value":{"amount":"+0.8537802","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":"Q6170504$465A2A10-D3D5-487F-AAF5-EDB4A2F23ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b23f562fb031484f67fae9fd420fa5b7137505","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4de033714af9076a4e45da3998c6774cf11ebc","datavalue":{"value":{"amount":"+0.853664","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":"Q6170504$D4501476-6D12-4B27-8BB1-92F95D136383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a1328b7a3864d26a2a7e6fd4e837c6109bd8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1682294,"id":"Q1682294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59617ac381ea339b0d9511b5fcb514c51cdae409","datavalue":{"value":{"amount":"+0.8531039","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":"Q6170504$5D7BC412-4AAD-418E-8ED6-B48AE5543428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc266ebb54b890652e53082ab264af512b3532a5","datavalue":{"value":{"entity-type":"item","numeric-id":5236558,"id":"Q5236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121c020b9706ad809946f92f36b9fae2b1a292fb","datavalue":{"value":{"amount":"+0.8523372","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":"Q6170504$9A3320EE-2309-48D1-8CF7-2E42AAAFC183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca2622f9e3d3591da60e007cfe7b22ccfaf83f9","datavalue":{"value":{"entity-type":"item","numeric-id":4443402,"id":"Q4443402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7fabcbc2c2ceccb060ca7333bc9c22fe849922","datavalue":{"value":{"amount":"+0.8521699","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":"Q6170504$EEAC6C31-E4D6-4043-9A5A-3AF7E35BF3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1cc5b95e5f7e8dc149092e53d38c42c5e23bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3644800,"id":"Q3644800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87eaa8e1e393c867e2d0fe81c8db346a4692c372","datavalue":{"value":{"amount":"+0.852164","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":"Q6170504$E1DCC999-F5EA-480B-86AC-1FABD8E75E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aedf1adde2ab8b3452dec819d0abe1b42d8d6d92","datavalue":{"value":{"entity-type":"item","numeric-id":3315480,"id":"Q3315480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c0ea992bf781c12abff457c7a164d3e6c3b9f3","datavalue":{"value":{"amount":"+0.85167223","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":"Q6170504$9E94A193-C279-4A23-962B-5DCEA81597B0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170504$A2358F52-3308-4A8B-9ECE-38F83058EF9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC","badges":[]}}}}}