{"entities":{"Q4636041":{"pageid":6665622,"ns":120,"title":"Item:Q4636041","lastrevid":53071223,"modified":"2026-01-24T04:11:32Z","type":"item","id":"Q4636041","labels":{"en":{"language":"en","value":"Synthetic completeness proofs for Seligman-style tableau systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863651"}},"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":"Q4636041$0BABBCEC-136C-4280-BB72-0208E74458B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e24270a819ec17f27383fea36a4fed8bee14a570","datavalue":{"value":"1400.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636041$A3D68AC1-D629-462F-A239-4E55D727532E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f456bf130808cb9160461e9b1d7c9cf3ca51f8b","datavalue":{"value":{"entity-type":"item","numeric-id":516422,"id":"Q516422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636041$E43081FD-AF27-4B48-8669-C8E53E087EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636041$7123AC37-E384-4C3C-972D-C6B78C2B0D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e0e2617a3a4b7424e5d388e4d779137235a082","datavalue":{"value":{"entity-type":"item","numeric-id":302219,"id":"Q302219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636041$4BD216B2-1BF2-4FCA-B1E0-870CA2F01897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636041$86912D4D-9071-4370-A6E2-E39C6B5836E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4636041$191268E2-E808-4277-9ACA-F060606ECF04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636041$2F0E09CB-F1B4-4B13-B133-FCA5D2AAF85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0b7327a5ff6af956651e2fef4e9d0db5efd8801","datavalue":{"value":"6863651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636041$3089F05A-8A64-4B4A-91B5-256E938CF0E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$7ACC219E-A3CF-491E-B679-D4C482D9B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515029c8cd4d6159ddffc5f6313d73c7eefdc341","datavalue":{"value":"tableaus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$5E4F2568-D073-42DB-ACBF-2A65409A7194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b7805a50649d30b08b87b5f22c9eeb4534f779","datavalue":{"value":"Seligman-style","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$4D05FAE7-9408-4E8A-8B88-B1868294E060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241494a74775ae7d91de5aba95b37b7787622419","datavalue":{"value":"synthetic completeness method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$0880EEF4-1B92-4FA5-8733-3494115CC0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a7034f00c70f7edc7ae4738966887ad6b539ba","datavalue":{"value":"Bridge rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$D4309594-69C1-47E4-9268-76064AE002D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b724c4272d899d24f8e97b03fb71319ec158e99","datavalue":{"value":"pure axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$EEAF0E7C-EAF5-4D06-B760-CD97175C4F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$18146B9E-E222-407C-ABB1-7342A46AF2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fba154baa628caab407b010a5472ee9b6d71e5","datavalue":{"value":"universal modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$75B5F240-B237-4EE2-84E2-0A6290675EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86da68f886ff5d8fc326fc7819b5c79d855754b","datavalue":{"value":"difference operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636041$C4D7580E-8802-434E-A373-ED4DE8A3743E","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":"Q4636041$F5A5B71A-1BE4-4356-B15B-5FA19DF2ECEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4844c9291ec325b3887ebcaa557b31b9f8a4a76d","datavalue":{"value":{"entity-type":"item","numeric-id":2987043,"id":"Q2987043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700e1f4e9fd90cf6ad3f3f8ad500181d85348d88","datavalue":{"value":{"amount":"+0.867510974407196","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":"Q4636041$F7FB7FB4-325D-4CE4-8C15-D53729CCC35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca41fa3d510a5b9857beb8161764428e405f98c1","datavalue":{"value":{"entity-type":"item","numeric-id":2870122,"id":"Q2870122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28faeea7993809bb573a63c941fdb165f90c584a","datavalue":{"value":{"amount":"+0.842854380607605","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":"Q4636041$D594B63C-14B0-4155-B810-026633DCD863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef63b5510ccc04ccfeb5170b3e9a517100f64e9","datavalue":{"value":{"amount":"+0.7836220860481262","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":"Q4636041$7EF24525-2606-445F-BE0B-D1BB65423B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817335209add79e04b49f60a89f6120ac60e5e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef63b5510ccc04ccfeb5170b3e9a517100f64e9","datavalue":{"value":{"amount":"+0.7836220860481262","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":"Q4636041$9178FB3A-E3E5-41E4-A9A8-C0B25C2E10D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acd5f6f91b5623b8204dfd9473318a6cf2f5a91","datavalue":{"value":{"amount":"+0.782203197479248","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":"Q4636041$4FE0548D-C7C8-4AE2-A96A-CE0F6B10004B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636041"}}}}}