{"entities":{"Q3789529":{"pageid":5819435,"ns":120,"title":"Item:Q3789529","lastrevid":52755377,"modified":"2026-01-23T10:43:45Z","type":"item","id":"Q3789529","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053575"}},"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":"Q3789529$83D5AFEF-EC75-441E-8702-522BE4AB7C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3a11f0ce9be953e03f651bb2bd47ca2cfaff3db","datavalue":{"value":"0646.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789529$6E8600E1-0802-40DB-BD8D-B30B8DC1BA7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46c947fd826a64db77c5eea5267d870ebb870456","datavalue":{"value":{"entity-type":"item","numeric-id":755576,"id":"Q755576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789529$490E664D-1216-4F67-B329-04E8CD989BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3789529$06F1ACF0-BC2B-454B-8301-D0780F645387","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789529$6D28F177-6EFB-43F7-85AD-8795E2B68791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789529$56177AAD-EC16-4540-B86B-5292DA85E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789529$61B3B42D-B5AE-4E0E-A8B7-036DC337F5D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e037b345553d3cb1ba400cc2b1879508b946967b","datavalue":{"value":"4053575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789529$64A8095D-7194-45F2-95DD-096C518EC426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d77a5cc1038231cbd0c35074f85a88dafda728","datavalue":{"value":"contractionless propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789529$517B630E-7D38-49B7-A040-629FAF192117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c339a7ca2c53ee3e529ede9f6bcdf2a8fda11e","datavalue":{"value":"propositional logic BCK","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789529$AD8AED7B-E7A8-4E36-97AF-9928627B6640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e73ee940bed0bfc8a8c6250f18990859991ef54d","datavalue":{"value":"Hilbert style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789529$716220A5-E87C-4101-B401-87D329356809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e03dfcecf2dccd6737045dff4aa301139e0e7","datavalue":{"value":"Gentzen sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789529$778BBC62-C1EF-4730-89C5-7C7404CCB8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f8e275f315e25c0e86d947e25ae6e86dbd100a","datavalue":{"value":"unrestricted comprehension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789529$A0759A27-E0AE-4168-B37C-CBBE59C39285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789529$1D356AC1-BC30-4DBD-B2A0-7BD3932D0D64","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":"Q3789529$61A5E56D-959D-4DB8-8EBE-D42061303C13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fcd6c18ebbf32ac7ac75dca25f94f5a4a959ae","datavalue":{"value":{"amount":"+0.7494233846664429","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":"Q3789529$880F0588-0B26-446D-9BC5-8907B9ABE4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d941cfe33d3e609a14150a673ce6ef6960cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":5283964,"id":"Q5283964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa9646c4c99135101d5565fd68e1a3d935b900e","datavalue":{"value":{"amount":"+0.7441588044166565","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":"Q3789529$7E7D6AC4-98D9-4826-870D-3E3396D640C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa46b8e7746c3ab994009a140d2aaf32341edfa","datavalue":{"value":{"entity-type":"item","numeric-id":3832538,"id":"Q3832538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa9646c4c99135101d5565fd68e1a3d935b900e","datavalue":{"value":{"amount":"+0.7441588044166565","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":"Q3789529$F2D6F081-BF40-4A0C-8863-AC04B253EF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7691064b58f19e6f11ec05c258be099885ce857","datavalue":{"value":{"entity-type":"item","numeric-id":4527912,"id":"Q4527912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaad00113dbc33e11a5d2550f6c525199b794c7","datavalue":{"value":{"amount":"+0.7401573657989502","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":"Q3789529$F236B5D1-F30C-4E99-84E7-70F0D6438FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b7a0db06ec8c58cfcf5e0188a15c51134971bc","datavalue":{"value":{"entity-type":"item","numeric-id":1208119,"id":"Q1208119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaad00113dbc33e11a5d2550f6c525199b794c7","datavalue":{"value":{"amount":"+0.7401573657989502","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":"Q3789529$26BD9739-321F-42B3-BD9C-98D62517987D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789529"}}}}}