{"entities":{"Q368486":{"pageid":370253,"ns":120,"title":"Item:Q368486","lastrevid":61302144,"modified":"2026-04-10T22:29:06Z","type":"item","id":"Q368486","labels":{"en":{"language":"en","value":"The proof by cases property and its variants in structural consequence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210417"}},"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":"Q368486$42A036E3-6367-4854-A8D3-4CBDBA891BC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"250a1bd2a63aa1ff65cfa530f4f39afbdce81ab0","datavalue":{"value":{"text":"The proof by cases property and its variants in structural consequence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368486$591EB02F-6D89-4DDB-A5A3-B1A54A4D6884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691eb420882f9bf5e9b77981bded4800033656c6","datavalue":{"value":"1316.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368486$DF8F989E-0EE1-4C74-88A6-4D8B0F1C992C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$F76F7182-D780-4CBB-AB73-6CD5DD32E959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$2B9D78C2-8C44-441C-A169-B96733675828","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$9E9033F0-B50B-4020-8B0F-CEE89C59FF6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8fa67e57597c5d021d880560712cfcef304abf5","datavalue":{"value":{"time":"+2013-09-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":"Q368486$12AC363E-AA4F-4C87-A2A9-AFE563A8A9F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"567e9e89f02bb6fb18ca5ef00efde7181e31334c","datavalue":{"value":"The paper studies the different flavors of the proof by cases property in the setting of (not necessarily finitary) abstract algebraic logic.  Let \\(\\nabla(p, q, \\vec{r})\\) be a set of formulas in two variables \\(p, q\\) and possible parameters \\(\\vec{r}\\) and \\(\\phi \\nabla \\psi\\) denotes \\(\\bigcup\\{\\nabla(\\phi,\\psi,\\vec{\\alpha}) \\;| \\;\\vec{\\alpha} \\in Fm^{\\leq \\omega}\\}\\). Given sets \\(\\Phi,\\Psi \\subseteq Fm\\), \\(\\Phi \\nabla \\Psi\\) denotes the set \\(\\bigcup\\{\\{\\phi \\nabla \\psi \\;| \\;\\phi \\in \\Phi, \\psi \\in \\Psi\\}\\).  A parameterized set \\((\\nabla,p, q,\\vec{r})\\) of formulas is a p-protodisjunction (or just protodisjunction if \\(\\nabla\\) has no parameters) in a logic \\(L\\) whenever  (PD) \\(\\quad \\quad \\phi \\vdash_L \\phi \\nabla \\psi \\text{ and } \\psi \\vdash_L \\phi \\nabla \\psi.\\)  Let \\(L\\) be a logic, \\(\\Gamma\\) be a set of formulas and \\(\\phi,\\psi, \\chi\\) be formulas. Then, the following flavors of the proof by cases property (PCP) can be defined:  \\(\\quad\\) PCP: if \\(\\Gamma, \\phi \\vdash_L \\chi\\) and \\(\\Gamma, \\phi \\vdash_L \\chi\\), then \\(\\Gamma, \\phi \\nabla \\psi \\vdash_L \\chi\\)  \\(\\quad\\) wPCP: if \\(\\phi \\vdash_L \\chi\\) and \\(\\psi \\vdash_L \\chi\\), then \\(\\phi \\nabla \\psi \\vdash_L \\chi\\)  \\(\\quad\\) fPCP: if \\(\\Gamma, \\phi \\vdash_L \\chi\\) and \\(\\Gamma, \\phi \\vdash_L \\chi\\), then \\(\\Gamma, \\phi \\nabla \\psi \\vdash_L \\chi\\) for every finite \\(\\Gamma\\)  \\(\\quad\\) sPCP: if \\(\\Gamma,\\Phi \\vdash_L \\chi\\) and \\(\\Gamma,\\Psi \\vdash_L \\chi\\), then \\(\\Gamma,\\Phi\\nabla \\Psi \\vdash_L \\chi\\).  \\(\\nabla\\) is a strong p-disjunction (resp. p-disjunction, resp. weak p-disjunction) if it satisfies the sPCP (resp. PCP, resp. wPCP). If \\(\\nabla\\) has no parameters, the prefix `p-' is dropped. Also, a logic \\(L\\) is strongly (p-)disjunctional (resp. (p-)disjunctional, resp. weakly (p-)disjunctional) if it has a strong (p-)disjunction (resp. a (p-)disjunction, resp. a weak (p-)disjunction). A logic \\(L\\) is strongly disjunctive (resp. disjunctive, resp. weakly disjunctive) if it has a strong disjunction (resp. a disjunction, resp. a weak disjunction) given by a single parameter-free formula.  It is established that all twelve classes of logics defined above are mutually different and form a 12-element meet lattice.  In Section 4, a syntactical characterization of (p)-disjuctional logic is given. Section 5 is dedicated to applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q368486$9EB73FE2-9CDA-49DC-A2E7-A43CFF0B7F48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$587F7C38-67DB-44C6-992B-D63C3424728F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368486$7EC1C589-8A55-4177-A816-64C94FD516B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96821c2b38606cfdf308fa7a9408e61002bee889","datavalue":{"value":"6210417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368486$90F87978-BDEF-4465-A6E6-84C0B21DC56E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q368486$8558F55B-D54D-499B-8991-AE10E113E324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9548de84ec118b3a7632afad0c9711cd28689949","datavalue":{"value":"protodisjunction, abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q368486$9BE1F9C9-3150-49CA-AB1C-8364A432B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253d444ebc6ecd1165d82848a0ae33637d98bc7f","datavalue":{"value":"proof by cases properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q368486$39FFA721-1C0F-4D49-AE3E-7FC714130F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q368486$0FD317CD-4934-4628-9523-6E4F1A2C3DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bfd35e5d86757e45a9cda12ff8193bd682c2eed","datavalue":{"value":"filter-distributive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q368486$F8D86A87-625A-41D8-86FD-47BAD224FE5E","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":"Q368486$A760FE70-AE58-4346-A6B9-06DB5CFCE0CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77bcaf502157a2988f4a15b00610f66d8fa57d02","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9496-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q368486$E916501F-2720-4294-9050-56F3DAC3E4E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6aef14517009362fc1c8609e1feb56f0cc975a6","datavalue":{"value":"W2071472291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368486$514876B5-DAF2-4D9F-9140-1DC6968BC4DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$70A32CCE-4292-4D9B-80F8-93914775F6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$6AB4A593-BB36-4FF8-9925-FD73771C9856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b446099905b56cfa9e33fe33268817567c38830","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$CF79E05C-C946-464F-80D5-0C496950A2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$54ED2D02-BE40-4F99-A4FD-2FC4B44C687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0fde80f2b9f38ae05190378f5b83c9bb88ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":1080413,"id":"Q1080413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$A28F9714-8320-4C40-B3E5-2D4D4E727490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c645beb3272487658a6618eb4dd46a34c2f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$FF0D1BCB-3827-46BB-BACA-1D51E2C1DFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$65712E8D-C2B4-413D-9734-EB903011FEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$B472DC6B-295A-4F70-A1C1-4BFF2A926707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ea87865ca7ec12201ac5ad8661eb2b7d37540c","datavalue":{"value":{"entity-type":"item","numeric-id":3041194,"id":"Q3041194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$78FC32CB-0EFD-4CBA-9367-9644B6474327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d1bf2bad4b60afeceee522f15ec0cf3ab22804","datavalue":{"value":{"entity-type":"item","numeric-id":5950711,"id":"Q5950711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$7F160205-062A-48F8-B018-3CF508F526E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$5CB8AAB8-EB6D-4425-95AC-C8B04F3A249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711d2e197b211054c7eac68fab92b8a924fd8038","datavalue":{"value":{"entity-type":"item","numeric-id":1005985,"id":"Q1005985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$70C9A226-DBDF-4455-8C74-0A255615D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8303d88cb8d1551549743d06f5ed6a371e2c04c4","datavalue":{"value":{"entity-type":"item","numeric-id":1189892,"id":"Q1189892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$115B4312-632B-4358-9F30-D18DBE45A430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b380f76aa9cd5aab3b531e2f5bc4566bb014be","datavalue":{"value":{"entity-type":"item","numeric-id":1826928,"id":"Q1826928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$0758712A-5D29-4AF1-AB1B-DF94AF3E6763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$062DFDC4-87A8-4A12-AFBC-76397A227517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$4C06423B-E07D-47E5-8FBC-339C81E7668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$D7C65487-6F32-41D9-A4BD-AADD670B45D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809be90ab75bb104475818980dbf1ee09bee639b","datavalue":{"value":{"entity-type":"item","numeric-id":5311056,"id":"Q5311056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$09962C97-C888-43A6-B934-A940DA912938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87861860985f9948f24aed3cea5772d923515c84","datavalue":{"value":{"entity-type":"item","numeric-id":865045,"id":"Q865045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$2E44ED51-4315-4224-8ADC-90C37E754088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ae968e6063fb16827a99e23673e8c2769222ea","datavalue":{"value":{"entity-type":"item","numeric-id":5775746,"id":"Q5775746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$8AB3E8FF-5E41-4648-8CF4-3032FD45A387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6ce3442adad4f243c7807f68882f3b166b3f62","datavalue":{"value":{"entity-type":"item","numeric-id":2426733,"id":"Q2426733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$D11DBD8D-CF0C-4A0D-B9D7-2C8400F08722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc51bb9528856cf7a91d5fd4e04052a5fd7686c","datavalue":{"value":{"entity-type":"item","numeric-id":3852180,"id":"Q3852180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$0517574C-6B3A-4771-87ED-AB69237552BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc4eafb37e644ed25bcb7019193e0776cea60a7","datavalue":{"value":{"entity-type":"item","numeric-id":938238,"id":"Q938238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368486$02405F31-3FF2-4628-B764-BCE7F4403073","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"198f33a2e76608ca7be48be42fe229ef2cef29d4","datavalue":{"value":"10.1007/S11225-013-9496-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368486$DA311714-24B9-4991-A724-7E29C4E6404C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d5c5a6b96fd18e50f41a9a570c85f93ad06e94","datavalue":{"value":{"entity-type":"item","numeric-id":938238,"id":"Q938238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1242f92e5690f9fc236e001eaa68475e4741dd82","datavalue":{"value":{"amount":"+0.8644595742225647","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":"Q368486$F1F4CAD3-5DEE-4AC4-B647-A8FCECF6D6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4534f7db60fffde8d688ab452b32f9543984788","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf52635cd970280a5df1bb286d7d97715573131","datavalue":{"value":{"amount":"+0.7797059416770935","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":"Q368486$AF0DE11E-F208-4B5E-88B6-112C0D121D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28ad4646714ea7c16f8a52ac6fa5608c750339a","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fbba03e9db0ab2bf1607a24090f4ba808b567e","datavalue":{"value":{"amount":"+0.7386792898178101","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":"Q368486$F1FF7883-C09B-447C-8DE3-984D11323CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b3e21f2c5ced178c1274060324742f38baa02b5","datavalue":{"value":{"entity-type":"item","numeric-id":2027207,"id":"Q2027207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd5827a63e3c3f44e86860d312667166fef7ded","datavalue":{"value":{"amount":"+0.7367464900016785","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":"Q368486$4DD1C0D8-28A3-4B10-A6F2-BFF61E622E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9a2d02a20d4ba07311ad8055f229913d1468a7","datavalue":{"value":{"entity-type":"item","numeric-id":5214734,"id":"Q5214734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9c2d1b7f88ed4749dd1b0d360379d683dbdd98","datavalue":{"value":{"amount":"+0.7352043986320496","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":"Q368486$469B2AD0-589C-4C06-81F6-4AE5FE2DA0C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof by cases property and its variants in structural consequence relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof_by_cases_property_and_its_variants_in_structural_consequence_relations"}}}}}