{"entities":{"Q764259":{"pageid":766108,"ns":120,"title":"Item:Q764259","lastrevid":64160793,"modified":"2026-04-11T18:03:00Z","type":"item","id":"Q764259","labels":{"en":{"language":"en","value":"Cut-free Gentzen calculus for multimodal CK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014268"}},"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":"Q764259$D6BA600E-F658-4A27-89A3-45D057C94FDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d83850c79d544688095871afe1633bf8eccfa03","datavalue":{"value":{"text":"Cut-free Gentzen calculus for multimodal CK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764259$5BE6310D-4E76-4905-B7D6-6F4C33696E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10cbe588a46f400e13ad11dc3f6fca4c9a917e26","datavalue":{"value":"1248.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764259$680E7F4D-9535-45BB-A094-11156CA746CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$D5A90346-4E0F-4F48-87C3-7593B6F9BBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc9efcc2e74771e5be700695bdb2dc21d0c75e5","datavalue":{"value":{"entity-type":"item","numeric-id":764258,"id":"Q764258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$0B3B29C1-A4B5-4A8B-B9E1-5211E77C30EE","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":"Q764259$347F6EA2-0DDB-4150-AF12-72637F66CA65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-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":"Q764259$0C73207F-2EC2-45BC-9723-96B4664787B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764259$52BFEC87-F1CC-49CF-BD9F-7340D476967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764259$316357C7-CDD8-44C4-B621-79AD0778660D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b6e23ffae340c3b8337306b29a56a0569e168cb","datavalue":{"value":"6014268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764259$0210BFE9-A3B4-451D-AC69-1763F91173CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764259$5A83AD40-3839-4DF3-82A1-82FFDAC6DDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q764259$F70A433B-2213-44F6-9078-0AB3CABD6773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q764259$5B399883-289F-486B-8B6E-39C4E7999150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q764259$90EB61EB-7F9D-4288-8EBF-ABBEA801BF7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$D1FC4DA4-C679-44A2-B9DD-FEE6CDA666F0","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":"Q764259$F47157F1-C2D2-4C41-B68F-025409BCD1AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d4b767b3f7d6e042c6660bb93b326e44bcbe023","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q764259$D388C6A5-C2FD-48C5-BCBA-A9EB63571E1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"349ede0bf54ae91ebe9a814c2a7595d5189113dc","datavalue":{"value":"W2020894459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764259$9BA323B9-49AA-445F-A281-C24283462CB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$99239BBF-A719-4232-80F4-8865C6A5C064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$4D6E5F95-EB91-4D8A-9045-36C17BAE0E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$9C48B8F8-8734-45A8-979A-86B17CBF7CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b4386780d936c0f81519e2931efa7025f3ef92","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$B8CD0A7D-91C1-4348-800F-701C2F27FD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9a0ee634988a8ccb6416880a8e63d7329a83ca","datavalue":{"value":{"entity-type":"item","numeric-id":4461801,"id":"Q4461801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$3B486632-BEEB-4CD8-9AC8-D3BE777905BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d42e6dfb944643be2ede35ef5aa1359813c4ba3","datavalue":{"value":{"entity-type":"item","numeric-id":3866079,"id":"Q3866079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$2E208C0D-3111-4F25-8E05-9C68C958F0AD","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":"Q764259$B412EF6F-4414-44F6-8A15-B3D7FFF946E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0628ea01ff0d78d2edc13b045aab130f1d350a82","datavalue":{"value":{"entity-type":"item","numeric-id":4736390,"id":"Q4736390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$C623FAAD-3B4E-4E00-B2C1-42102BBABA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$865309FE-6DC4-42DF-B392-533F341B7B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f236d8fc7e363b4b1fefb363aedaa046e9a1e058","datavalue":{"value":{"entity-type":"item","numeric-id":2488268,"id":"Q2488268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$06D49959-4E55-4A61-8579-876CE721DD0A","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":"Q764259$DB82434C-9D5F-4D55-B200-BDD058DEC92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$5291CAF1-35FE-4C8A-89D1-ED2EDD63B1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$28FF660D-FB92-41DC-A731-14636D0BFC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$5EFA7BFB-6EB8-4A5F-9961-7F624058B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62b8deb1dd3bc3ef5d017970c90d8f612dcd5f0","datavalue":{"value":{"entity-type":"item","numeric-id":1977898,"id":"Q1977898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$F6B0BA77-BEDA-4574-A276-AC6B226E542D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d9eeea94a737f1e7bc478e1919c43bfc8c407a","datavalue":{"value":{"entity-type":"item","numeric-id":3185769,"id":"Q3185769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$92192841-91C5-4F20-8938-4908B4A35BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704d232b4924666c6f169f58fcfb8c118dc3bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5793835,"id":"Q5793835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$E4B92583-3BFF-4A72-AADD-09377C59A3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2935c4b500510e6236922988f2719b77d5497a","datavalue":{"value":{"entity-type":"item","numeric-id":4286223,"id":"Q4286223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$67FBB722-39B9-435B-9444-0536054EA9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$BDAFA85E-C896-4D41-B9E3-2C7D64C2F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a859f7e941858c199e0c28aa358d69b1b1269302","datavalue":{"value":{"entity-type":"item","numeric-id":5394569,"id":"Q5394569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$BC3461F0-E991-470B-8118-7A9159136A10","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":"Q764259$8BB52054-09A5-4A88-AB93-A740254A37D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fbcba63b63f678d7abb28ec79bea44822ab34b","datavalue":{"value":{"entity-type":"item","numeric-id":4366769,"id":"Q4366769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$C2F60170-6F77-4017-9473-8FCC3C4CB4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbda4d5d2fa3599cf321b083730ba47f18179a2","datavalue":{"value":{"entity-type":"item","numeric-id":3024905,"id":"Q3024905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$CBF5D84C-989F-4428-A73E-A83A695B4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e28d1075139d5cb56ffee6426ca0ee112d35b6","datavalue":{"value":{"entity-type":"item","numeric-id":2746760,"id":"Q2746760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$21A1DDF6-DCA7-4188-A63E-B568393B93EA","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":"Q764259$2002E24C-FD9B-4C52-ADC7-4361B360738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$D0559588-C182-407D-BD3E-D448B8968E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a0ddb2f7794ad7c828b48c586e70a0480a4a27","datavalue":{"value":{"entity-type":"item","numeric-id":972423,"id":"Q972423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$A92FAF21-2838-47A8-9F2E-28476E4306B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e788202b4da67662f58f920f8e400fe73756e51","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$1C7CFDF0-2F40-4331-98D1-342BD72B7952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a110e1d9f52987e82b463da0fc8533d1f07a5f46","datavalue":{"value":{"entity-type":"item","numeric-id":4032664,"id":"Q4032664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$018DC2FC-EF09-4354-B4A4-34C0C6D716D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de8834b4345a0a8992c9bedff5f82b9abe2d65","datavalue":{"value":{"entity-type":"item","numeric-id":5309957,"id":"Q5309957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$8658AB58-E9AE-46C4-A556-6725CA29CA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$B95962CE-0883-4FED-99CD-C1AC0D6A8594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764259$90ED957D-0CE2-485C-B3B5-D07154151457","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730a8dd97616acbd146dfa86188052e2c33fa75d","datavalue":{"value":"10.1016/J.IC.2011.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764259$2AF089F3-A09B-4D49-91AA-941612084CA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273274bae099928e06027f87414107a23a0663","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bde19192d1a57bd61b1acb468dfc79769d37253","datavalue":{"value":{"amount":"+0.7971981763839722","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":"Q764259$6E270BAA-EEE8-4D3C-BB72-384CF6A21922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd0527b487d08f29c44ff5dbf57e0a73b57dfb6","datavalue":{"value":{"entity-type":"item","numeric-id":1042695,"id":"Q1042695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf28a8574c76761b6f6f1b448be2287c1cc92bc","datavalue":{"value":{"amount":"+0.7961419224739075","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":"Q764259$748CF541-DE5F-4D26-A663-26E2E34903BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb2f4087aec993979e3211553ae6d3f7af98717","datavalue":{"value":{"amount":"+0.7901182174682617","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":"Q764259$76789BED-AB89-4619-9DB6-6F2886C8C591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb2f13d6b30ed0683aae3f5b87342a8cd117c26","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb474d29a7d2e29792dd91102812fb863e80810","datavalue":{"value":{"amount":"+0.785794734954834","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":"Q764259$F61BBDD9-622C-4365-9D9D-2C91B2C88108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9569e0bd2f0d06187355c8a2b170deaa99922c8","datavalue":{"value":{"entity-type":"item","numeric-id":2859100,"id":"Q2859100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283b3100fc5e0f877662778479449155900fcdf6","datavalue":{"value":{"amount":"+0.78495192527771","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":"Q764259$338498D3-4FD2-49B3-A1ED-D328ECFCDEB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free Gentzen calculus for multimodal CK","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-free_Gentzen_calculus_for_multimodal_CK"}}}}}