{"entities":{"Q5878888":{"pageid":7908439,"ns":120,"title":"Item:Q5878888","lastrevid":55436347,"modified":"2026-02-17T16:20:29Z","type":"item","id":"Q5878888","labels":{"en":{"language":"en","value":"Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656536"}},"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":"Q5878888$B11A2F07-CEA4-4F51-90F2-AD5BE961CF7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09e2d01c60b6c7402d12d4adb79168806b67e09d","datavalue":{"value":{"text":"Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878888$871F5B70-C200-49E9-9E8A-8A61FA29F61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c563c52f927c6f71fc4457382e673efd3d41ae4","datavalue":{"value":"10.1007/978-3-319-91376-6_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878888$2BDE4632-CBA1-46C0-8895-B463276AA8F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7489c6ee2f6b00541d36810d81bbb03b1d8c436e","datavalue":{"value":{"entity-type":"item","numeric-id":361867,"id":"Q361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$3F530C5E-0843-4DD6-BDC2-2DD5DE24841D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02e659f2c9317e48908679f6474c10dc5a72abad","datavalue":{"value":{"entity-type":"item","numeric-id":2920984,"id":"Q2920984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$5034919C-26D1-49A5-A3FA-56DE722EB400","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878888$96A48C69-8EC0-46A5-83F7-E9E4B6350A37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878888$B135DD37-0520-4F0B-83BF-59EBAAC8E52D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c302b6fd64b321085d8e2b59b6ae3cc12dbdc44","datavalue":{"value":"7656536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878888$092594D6-5874-4D21-8402-AAAD4B477C52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f433a2e3d87a020669fb116aa4ee65ff93a85fd7","datavalue":{"value":{"entity-type":"item","numeric-id":31282,"id":"Q31282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$085FE8FA-E2C5-40BD-B379-2127D804DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d76081471dd644a398d55bd6a5c308c0f0d40f80","datavalue":{"value":{"entity-type":"item","numeric-id":33967,"id":"Q33967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$A50B9B5D-9273-490C-9678-0DDA2B69AAEB","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":"Q5878888$D662D137-CC5F-4F57-A21C-EFB94735147B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"236b1a916225f0cb9ca72d579e78657f4e3676f8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91376-6_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878888$88A7D8E4-F188-4481-8C58-00C23E154A5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c94adb64304eec560bc57e082bccdd00a3b036e6","datavalue":{"value":"W2804296252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878888$73B959AD-C3BB-4E04-942D-1938B1D755FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fc6658a040dd9494bc14645492510f8931c757","datavalue":{"value":{"entity-type":"item","numeric-id":4588560,"id":"Q4588560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$80DDDB3F-93F5-47F3-BDAE-38A453895ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$6AC0E830-6A9E-419B-867A-75FBED334A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$82BEF297-21FE-4A0E-BD5C-1568F15DD0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf701654caa37c51adfcbc258e7268cbb01c7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1333317,"id":"Q1333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$A8FB9D64-197A-45D1-B9C3-B85F2705BD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0211db2c37f97a2472341db17600370696704fb","datavalue":{"value":{"entity-type":"item","numeric-id":5697473,"id":"Q5697473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$F5FB20F2-7669-4C9E-BA19-5512CB3A07CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def0c415bde289b3d858362d003577b0275734e","datavalue":{"value":{"entity-type":"item","numeric-id":2255200,"id":"Q2255200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$05D5042E-ADFE-46A1-99DD-E77CBF267152","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":"Q5878888$D2EBCCFD-F4B9-4CA6-B14E-CC54C339B2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b4bd3b7b8a7890c5282e392feccf18e1f29b7","datavalue":{"value":{"entity-type":"item","numeric-id":4847218,"id":"Q4847218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$B7C5895A-58E6-4863-8016-9A8E3E90C28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9763d70fc25ca46a8fd862d34a3b6c8d3b07790d","datavalue":{"value":{"entity-type":"item","numeric-id":2848474,"id":"Q2848474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$C24DE066-449E-420B-8873-F7E000D0DA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8142b6a07ecfa2f7983c6bf76e66d302ed6b409e","datavalue":{"value":{"entity-type":"item","numeric-id":361868,"id":"Q361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$D6E043F4-43ED-4BBD-8E1D-49E459928497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec844b78bdb9ed6591e69c3c59d7caeeab576025","datavalue":{"value":{"entity-type":"item","numeric-id":3088023,"id":"Q3088023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$82EB3A8E-9B42-4933-A0A5-E1D2CA01049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c0edf3b57eb8a98a621a2b51e2e80b38eca984","datavalue":{"value":{"entity-type":"item","numeric-id":2629222,"id":"Q2629222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878888$6E1F128C-AC59-49DD-B773-E741E154ABA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1431f09254dcbf9fde426619bb25c61bad83efb3","datavalue":{"value":{"entity-type":"item","numeric-id":2238136,"id":"Q2238136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1fbd1f6d63a9e5f397287d0497c9a68ff260f7","datavalue":{"value":{"amount":"+0.9078634977340698","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":"Q5878888$4CC6A1DD-0E71-46E2-A19D-FF816FFFE6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a879792a2b933d857287c953ebba00c90752a0da","datavalue":{"value":{"entity-type":"item","numeric-id":3088023,"id":"Q3088023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bda6b329344a6d1c14404bf3ef71048161ae16f","datavalue":{"value":{"amount":"+0.7756921052932739","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":"Q5878888$C2181406-7B9C-4F73-B30B-E9B368E515F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecd96cea29739ba20aa4507fa192080b3697701","datavalue":{"value":{"entity-type":"item","numeric-id":1333317,"id":"Q1333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2944daf9eb6f529534d59b533d802a896cde1fb","datavalue":{"value":{"amount":"+0.7610777616500854","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":"Q5878888$57D7A056-3160-4852-820E-0F66D9BA2725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980416396ec368a49416143b963dc53d9c003936","datavalue":{"value":{"entity-type":"item","numeric-id":361868,"id":"Q361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b90fde852368fc89083cd32c9d78974ed90e36a","datavalue":{"value":{"amount":"+0.7433978915214539","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":"Q5878888$4FFB63FA-E68D-4080-A8D8-25B84ED3823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c125515bb12e9e60c4e3ee1c7caa3ec4f3ac20ba","datavalue":{"value":{"entity-type":"item","numeric-id":4888736,"id":"Q4888736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c5819925c082f10051c3aeeba899bb67938d0f","datavalue":{"value":{"amount":"+0.7408201098442078","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":"Q5878888$1A076AD2-914E-4FAF-B621-4D106467DD1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5878888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5878888"}}}}}