{"entities":{"Q2238136":{"pageid":2248879,"ns":120,"title":"Item:Q2238136","lastrevid":71648880,"modified":"2026-04-13T23:38:17Z","type":"item","id":"Q2238136","labels":{"en":{"language":"en","value":"Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7417485"}},"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":"Q2238136$90A94FD0-1A1A-4749-A5AF-438745F15798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0b7a14db564b7762cf74e2adab985693b4b822e","datavalue":{"value":{"text":"Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2238136$432F52E0-E8AF-40C8-A28D-925F0469F40D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"782f0b5ed1fcb7ac04b79fef310f4a2062fc0336","datavalue":{"value":"1487.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$5A4C7E1F-3BA1-4999-854C-1D1CEE93D0C9","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":"Q2238136$F63DFC6E-A0D8-4606-8994-80E1F2F969F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$B716A01F-730A-469F-BAC3-613FC277AD30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0972b49faa1fac8c402fe24a8463a0a03e1c1e","datavalue":{"value":{"time":"+2021-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2238136$43A91646-694C-48DE-A69F-296D3B630DB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8bb4b9175dc3cc1422cd5dd453aeffdeed10fde","datavalue":{"value":"The author introduced heterogeneous proofs in first order logic as a formal combination of natural deduction rules with diagrammatical reasoning using Euler diagrams in the spirit of \\textit{J. Barwise} and \\textit{J. Etchemendy} [Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Stanford, CA: CSLI, Center for the Study of Language and Information (1994; Zbl 0860.03004)], and \\textit{S.-J. Shin} [The logical status of diagrams. Cambridge: Cambridge University Press (1994; Zbl 0829.03002)]. For the resulting calculus, normalization is shown; and an extension by a general elemination style rule is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238136$6DB1B57B-BE2E-419E-9971-80094C85EF17","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$32928B96-5C73-4717-9708-EF5AFA46666C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$25CD7861-4BB8-4218-A6DB-DD3D7239EF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$19D2D2DF-FFB4-4EA9-A0A5-ACBAB8F8F87F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5196bf05295cd0c09777d6a7f646c5d128ace2b3","datavalue":{"value":"7417485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$639AAAA3-9DBB-4CDF-A42F-981D0D5434A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238136$3A873A0A-0281-463C-AAAF-DAE86A235BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238136$D0523392-A902-4EB5-8537-35CF4252875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecb36359a6ce5fc252ec9ce31e237e5307913dc","datavalue":{"value":"heterogeneous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238136$D0AF077C-7ABD-4D36-A3F3-CC77000A5E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e8e9f8f7d5b99330e59c1d6472f5f0dae2d8b9","datavalue":{"value":"diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238136$1CBBF00B-B8A0-4E92-BF47-CA2DECCACD9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$C4964C7A-C2E5-436F-BBE0-D38EBEA4F54A","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":"Q2238136$2BB8CFC2-E54A-49B2-90F6-FFD1DFBC10F6","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":"Q2238136$2449F362-EB06-4A8B-B60E-726408ABCC42","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f01b32206a8368be84150e20e190cb84c8c82d35","datavalue":{"value":"Q113906145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$36E8EBC5-B6FB-43F8-8511-46069FAA9E7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c772df08614d8bdf6b5b411191d153cd732776b3","datavalue":{"value":"https://doi.org/10.1007/s00153-020-00759-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2238136$21831B42-8CF8-4CFA-A68F-6F8B5041F8A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f85c8d91706db1522159f79ec9742318e03d09c7","datavalue":{"value":"W3130111703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$D998AE46-E629-4A99-A995-8E6DFBE26038","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebf5b9dfa7fdbfb080077fc8703b0c5ffba37e0","datavalue":{"value":{"entity-type":"item","numeric-id":4888736,"id":"Q4888736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$2C74EEBE-B323-4845-AB61-D4737B3130F4","rank":"normal"},{"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":"Q2238136$C1D597A3-CB94-4EEC-AC85-E0FFAFC634F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f64cf04db93cfe9b0a19e95d9bd7caf413f3a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4856150,"id":"Q4856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$F2E61F8A-9634-4FE3-93F1-DA5B577178A3","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":"Q2238136$8CDA90F6-289D-4DE0-ABC9-4074133CC6D8","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":"Q2238136$BA8E9B1E-6B69-4795-8A1A-EBD21ED56117","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":"Q2238136$59EB213F-D927-4AC9-A0BD-6F1CA0DA62D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201e66c3e52fe3d4f25e04e06da8b648820a7078","datavalue":{"value":{"entity-type":"item","numeric-id":4249036,"id":"Q4249036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$E8E38896-A927-42D5-8894-E2FAAAC471B5","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":"Q2238136$222A51DC-37AE-4E49-9CE7-B3D83A091312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$B8581FB9-DBE0-46A7-BD6B-F8B17320E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad767dff991af4c71c957cbfeddaa7f34a0964d2","datavalue":{"value":{"entity-type":"item","numeric-id":495649,"id":"Q495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$8541C768-64F6-426B-A4EE-6CEC95C40564","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":"Q2238136$E89369E3-8BF3-48FE-AA6E-835417DD090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$DB29D54F-659A-485D-A329-5BCB9D5359C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46fa77b820db44427fcfb933deefc6bf2d0c73f","datavalue":{"value":{"entity-type":"item","numeric-id":4845456,"id":"Q4845456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$B7174AE9-60F2-4FBC-8812-2F49947E59D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$065F2D42-E3DC-486A-A934-5F88F4658C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$D1A2CE64-2C86-49AB-B4C3-E537AB252905","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":"Q2238136$3A902435-662D-4872-BEAD-35F7335858E7","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":"Q2238136$18E8E1A7-661A-46CD-B895-6B6EDE6255B9","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":"Q2238136$A2485742-08ED-44C8-B839-B64DC7002301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c60455abad90f8c073defaa2f0e17264e3883a8","datavalue":{"value":{"entity-type":"item","numeric-id":5878888,"id":"Q5878888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$69D9748C-A21A-462B-8126-BCBDABBB849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d4e882cdb8aecc0d1ebe3b3dfe035f9bf8d7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2920985,"id":"Q2920985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$64E91554-8AE4-4988-AAB2-FDF5C695C7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$E14EF11A-5418-4277-9D46-E7FBC55140BA","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":"Q2238136$9037D166-B417-452F-87A0-2162402A519B","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":"Q2238136$A0CCD2B0-AFDB-4EF4-9471-C379049E65D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238136$D8F06C72-9D4D-409C-84E4-1FB542214CF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc7a9f83aac4bc64ba21a128ec96ee325c1eccb7","datavalue":{"value":"10.1007/S00153-020-00759-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238136$EF796842-8B79-44B8-A551-CFBF4D481FD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626d6dfe50174cf066aa66c8b49501ebf6599d99","datavalue":{"value":{"entity-type":"item","numeric-id":5878888,"id":"Q5878888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6de56afcd0c1827e1aa878dcdc11ea594a6808","datavalue":{"value":{"amount":"+0.91774195","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":"Q2238136$123D35AA-3F6B-43AD-B351-221F242EEED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e209d4a21f34e0a088a607f6de8d4e53ccded8","datavalue":{"value":{"entity-type":"item","numeric-id":4365102,"id":"Q4365102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6167dead329e6ded9f37c050fdbbb9b47b4c6d","datavalue":{"value":{"amount":"+0.91237456","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":"Q2238136$67FE2F14-5C62-4EF9-8900-0E0AB315FF12","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":"f7a158ccad0d6a12b3fecd66255923182314ecee","datavalue":{"value":{"amount":"+0.9090183","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":"Q2238136$CAB0593B-5CCF-48EE-A693-B484D19ECDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03e66530d09c928f6a1979ebc16e7e0540c8f92","datavalue":{"value":{"entity-type":"item","numeric-id":2331072,"id":"Q2331072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea434f5fa5cd93b7180634a83e40f7c5f7dde657","datavalue":{"value":{"amount":"+0.8875054","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":"Q2238136$3EA9C4DB-6F3D-4D96-8284-F902DAF7B928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fa27f34930931fdf741b36c0703bc9977f30a0","datavalue":{"value":{"entity-type":"item","numeric-id":6175112,"id":"Q6175112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4e3436ad28fe38957089e938f3e6291281f7e0","datavalue":{"value":{"amount":"+0.88674265","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":"Q2238136$3011F904-4E10-42CE-BC0D-E54611D55D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce593f3b388a79b0e95969ed8b7309993d112c8b","datavalue":{"value":{"entity-type":"item","numeric-id":1744419,"id":"Q1744419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ade1624cd0fd9c892b8a9b944280227f50c2c4d","datavalue":{"value":{"amount":"+0.88474846","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":"Q2238136$01AD690A-7AB3-49C3-8780-30335E118F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4351e34d20cf2c58a515baaeba4ea69233b51d","datavalue":{"value":{"entity-type":"item","numeric-id":5931130,"id":"Q5931130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9dbf065dc4a5220f09ab47969406d3855e3c5a","datavalue":{"value":{"amount":"+0.88359374","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":"Q2238136$51447B19-0347-4B0B-8D00-66C58532CC75","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":"d297f570aae5fa5469f9deb248a6325e23045d46","datavalue":{"value":{"amount":"+0.88238037","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":"Q2238136$4F2C93DD-FA6F-438F-A589-4D7BB3A8E099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933f31e0f582d4b33184ff8b7c003da49410303c","datavalue":{"value":{"entity-type":"item","numeric-id":1575930,"id":"Q1575930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6615d49262499cca3f99dc2a06ecc3ba8e456dc8","datavalue":{"value":{"amount":"+0.8803572","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":"Q2238136$85EE96C7-A45B-4EE5-99C9-6E00E52A999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdffdf37cb388825429ca6df5e814da08322d856","datavalue":{"value":{"entity-type":"item","numeric-id":5222681,"id":"Q5222681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676687241d23ae842d899a45088c6d2fc62bb8a0","datavalue":{"value":{"amount":"+0.879825","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":"Q2238136$D1EE5D0A-2442-4BFB-BCD7-7708C1F41747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_for_heterogeneous_logic_combining_formulas_and_diagrams:_proof_normalization"}}}}}