{"entities":{"Q4700538":{"pageid":6730115,"ns":120,"title":"Item:Q4700538","lastrevid":46788147,"modified":"2025-12-25T14:32:04Z","type":"item","id":"Q4700538","labels":{"en":{"language":"en","value":"A binary-conclusion natural deduction system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356644"}},"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":"Q4700538$A8F51A14-CA18-4F5D-BE00-080AB3938321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b472a04f9edd30e54c410e9e4935a6e8b3fca981","datavalue":{"value":{"text":"A binary-conclusion natural deduction system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700538$EC4ADE59-C515-4EDC-8CE0-1886D89DEBB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a314c204355c96eb08e5eb20d1f4a6a8ae37839","datavalue":{"value":"0957.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$A025948A-34E2-4230-98D7-6CD3FAC4B30C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700538$08226C04-CA27-4BB7-9C4F-38BF74225938","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f06e3965919c6d8e09cf93fa6be5852ecd89988e","datavalue":{"value":{"time":"+2001-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700538$860AC04E-FBAC-4982-9535-CB5027465DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$44D6ED2A-3E04-4DD2-9317-8AAA99D9BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$E0D6C081-C978-455E-A7BE-6983D601D5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$164973BB-F764-40A9-B0D7-BA6AFDB31657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$48D062D5-E572-4891-AC89-BED21F808137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c893a6e30276260654221cedbd66a90609b1675c","datavalue":{"value":"1356644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$F9707230-220C-47C0-AE71-B02B2B295407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700538$204D5B4B-A478-4304-98EB-5CF8A741328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700538$993A5186-9A48-48BE-BDD1-93D924C1DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700538$10C793E5-968A-462F-80A5-6AF2F28FF04F","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":"Q4700538$A761CEC0-7106-4C71-9F27-8E3100E8B002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24de6458b9b74712e93b39ba2ea482ff99773a99","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.4.517","type":"string"},"datatype":"url"},"type":"statement","id":"Q4700538$BA319AF9-F132-4FA9-97CA-3D8C6023D339","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89bf1e00744375190082cd44d7fb1e831bfbd2ec","datavalue":{"value":"W2165827243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$439ED54E-6EDB-4886-84A8-56A4A9FCBC23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a3fb9350e0da53137d1bc184f0fb69ac678d077","datavalue":{"value":"10.1093/JIGPAL/7.4.517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700538$416AF3FE-2BB5-4099-85B1-958E93687167","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700538$C558423F-D305-4F15-A107-FC80B888CE21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc72172923504fc6ca859445ce692ea25f18e7b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062053,"id":"Q1062053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeab360b3d1cb11919688f727402d68c625f67dc","datavalue":{"value":{"amount":"+0.7586472630500793","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":"Q4700538$BB052245-4C21-46FE-90A6-BD8D4FD026FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ff46a30079bd149a1e9bb17e321c63b3e7af38","datavalue":{"value":{"amount":"+0.75823974609375","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":"Q4700538$124D098A-A4FE-4EA7-ACA6-24E2A4EA2DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5446c5b7597586530b5e0594d22960668d7e507","datavalue":{"value":{"amount":"+0.7526098489761353","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":"Q4700538$5767BC8B-B2C7-42D3-BBFF-B0CBFA9E4114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c2f64a6b4a61cc51aab7c09e2f2edd5d67249a","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95578232f15f4fda0165ae6a7f2ba1c32e737225","datavalue":{"value":{"amount":"+0.7440778017044067","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":"Q4700538$57194B77-2DC1-4060-8A73-1913FDC80BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e91279e60559cd486132a062352e5642508329c","datavalue":{"value":{"amount":"+0.7429391145706177","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":"Q4700538$E9EAD2C7-B9C4-4E10-9144-A11FF0C7D5C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700538"}}}}}