{"entities":{"Q5224499":{"pageid":7254068,"ns":120,"title":"Item:Q5224499","lastrevid":53485889,"modified":"2026-01-25T01:04:43Z","type":"item","id":"Q5224499","labels":{"en":{"language":"en","value":"Peirce's sequent proofs of distributivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084737"}},"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":"Q5224499$8353D2FD-DACA-446A-92A4-4CDE47195793","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f5a1e597e1d53b20eac861cdaad53c915c738fb","datavalue":{"value":{"text":"Peirce\u2019s Sequent Proofs of Distributivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224499$98CD3515-AA3B-4FCE-A247-3D6929AD8DF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b00e5eecf490c4ec785c8508709d363148de17da","datavalue":{"value":"1485.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$125B6CA5-695B-49E1-8047-8564827D28E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb61cf02d2aa6518687a0f4f8b0f49a4cd6cf715","datavalue":{"value":"10.1007/978-3-662-54069-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$6ADDE829-719C-4C41-A99D-77B77745FF66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$ABC6BCA7-A7F0-48A1-A7C3-21B766E80C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"652c9e00241996c74459897b95e32e3cab48887a","datavalue":{"value":{"entity-type":"item","numeric-id":513914,"id":"Q513914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$CD911A95-5003-4011-BEB5-AFDEF9DC4056","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$D8EE8D2F-6EEA-45E8-9B94-FAFE2B50674A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224499$BCAF52DB-6FB8-434B-927B-F4E90007CC3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$E18193B9-8FAC-4B1C-9DA5-E8B9CCB65BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$E02BDAB7-9B0A-43AE-A781-69A58889B789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$6F16FF65-9ABB-47D6-8E4C-029DA9AD6A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$682A26DC-672D-4E90-8229-B99BE5B76463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22c37b28185f1b0c6a6f95d5321881ec07c2c524","datavalue":{"value":"7084737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$58495CAA-C67B-4735-BA89-CDF19EAF115C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43572a1267187d55ddbf2b5b4c9ed74b4be778f3","datavalue":{"value":"Peirce's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224499$50D59FB8-7689-42AE-896E-D60D7C6740C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224499$24A51032-9BA3-433D-BC59-AD85C89C5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224499$820A5DF6-7226-4A96-BE32-8137F170C350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1cf6d240ce8e7eb9ee8544aa73ccb3898bdd764","datavalue":{"value":"alpha graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224499$1D07DB62-39F9-4B86-9A92-02C1A6D3E442","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":"Q5224499$3807B592-B6DF-4207-BDBE-94402767705F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8572eb784fb3351feaab80c415d06bb47936ef2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54069-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224499$6518AC21-452B-42CA-AFE7-E67EFC2084DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e329c15cd001e9042e0c954f2d5e584e92ae5403","datavalue":{"value":"W2557358770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224499$AF08E497-F94E-42E9-811A-7319B0C8F4D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de70771621ac29ba18b779fd6b7de9ac891fcf71","datavalue":{"value":{"entity-type":"item","numeric-id":4821597,"id":"Q4821597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$9B2CB7D7-32BC-4837-851C-2700F4B0DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba81e34ec2ad35f8adbcf5fced698b89ca002fa","datavalue":{"value":{"entity-type":"item","numeric-id":5741611,"id":"Q5741611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$46296A21-FB88-4028-84FC-5057ABFBF1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5780167034dd0baf78f0af3cbbcf955ea045af","datavalue":{"value":{"entity-type":"item","numeric-id":4522882,"id":"Q4522882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$C87A26A6-6B0C-4083-82DA-C9B0A3446845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df16b3af9aa34c4245812fbc23849eec2193307","datavalue":{"value":{"entity-type":"item","numeric-id":3885731,"id":"Q3885731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$25B5A091-6F52-4B1C-A735-FF24B5DD18DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7c3a1d2008f8d359851f1958e54ae17e3ae87d","datavalue":{"value":{"entity-type":"item","numeric-id":5714026,"id":"Q5714026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$D7752C98-5FC8-4EC6-AF14-881591B48608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9017a21270a8529d676bd7eb3ce058f86b75e4","datavalue":{"value":{"entity-type":"item","numeric-id":850996,"id":"Q850996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$0C5951C7-0DBC-4F68-9579-4AF6CDF94597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668e9463bf98007847a89574e38144c7d9de9f7b","datavalue":{"value":{"entity-type":"item","numeric-id":5757431,"id":"Q5757431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224499$2DDBA94E-0F64-4ACF-B503-71FA97B22F4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b50c26f15118c4de51009402a1ef7fa5a397fca","datavalue":{"value":{"entity-type":"item","numeric-id":5117592,"id":"Q5117592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29fe1a2bc94fb8e2644f4a492b8a4d2abf11abb","datavalue":{"value":{"amount":"+0.8503451347351074","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":"Q5224499$C226AE4C-BCF4-45FF-BE45-399EF26B4C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64cdc3f53644be1fdcc7c62d527522720d233d22","datavalue":{"value":{"entity-type":"item","numeric-id":4315715,"id":"Q4315715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b244a64813bd05efeb926b901ee3eb3e4d56f1","datavalue":{"value":{"amount":"+0.7389342188835144","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":"Q5224499$4CE7055B-4492-4F51-A503-F6537D1FC076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e2e0de0ddceb4495131abf7796c62b1e08ec88","datavalue":{"value":{"entity-type":"item","numeric-id":5757444,"id":"Q5757444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488d7db39c3669bd8a95f555b905e583d24c681f","datavalue":{"value":{"amount":"+0.7116836309432983","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":"Q5224499$C52118B9-EB55-4F22-80B3-F620F7C8798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d844b35a6f6a9be912d8a714182adf477ed94e05","datavalue":{"value":{"entity-type":"item","numeric-id":5712437,"id":"Q5712437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72726a9a607fc65deb4b7ca8332b8bdc6fdeb76a","datavalue":{"value":{"amount":"+0.7080864310264587","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":"Q5224499$8BB00B61-DBC1-46AF-9CD1-C1BDCD5FE9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0276e44431c8fb56b32be367ecdea1cca9c71d4","datavalue":{"value":{"entity-type":"item","numeric-id":4319174,"id":"Q4319174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c23086dad4a1dc70adeb7ced3bec1e8a49d352","datavalue":{"value":{"amount":"+0.6875050067901611","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":"Q5224499$B5D75AF2-250F-468E-AA5C-78F129D9957E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224499"}}}}}