{"entities":{"Q4467728":{"pageid":6497327,"ns":120,"title":"Item:Q4467728","lastrevid":48284860,"modified":"2026-01-04T05:49:36Z","type":"item","id":"Q4467728","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2072494"}},"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":"Q4467728$6F8EBF30-CDF4-4169-BDB0-100E125A15A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45640dad1d93d8f59230ea18e2e6a1c59a572ea0","datavalue":{"value":"1043.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467728$0E58C397-845A-4688-AF76-95392E7E6BDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0dff713a11abb8205d1f72e1a07b7c8a90d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751826,"id":"Q2751826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4467728$9BA8F5C8-A6DA-4C71-9858-11778DDD1AC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e97413650809a49dc563521ce72b7b9bc8a1118","datavalue":{"value":{"time":"+2004-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4467728$017A3A1B-6F68-4570-BAEB-C723D7297277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467728$5F8120AB-B4B9-4A28-93DB-91EA01F2EAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467728$40DF216D-3EA5-4251-82D8-F2EBFB1DAF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467728$67FFDE8C-91D2-4AD6-9D89-E64FEB47F737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b67d70ed0879819eacdcf79430dde61b9f88c80e","datavalue":{"value":"2072494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4467728$BC4955E7-647A-476F-B693-E7B45F4B4AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467728$2129DB32-3F01-4AC0-859E-928721C1DA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467728$47A0BA11-4D1F-4C3A-AABB-B769189D1033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd8a83806a2903d663977804452121e9212942","datavalue":{"value":"implication-negation fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467728$549F9349-4DF7-42B7-B838-1F147B173F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467728$232E1ED8-C10B-40FD-A2A1-85EDF8B4518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4467728$DC1C67EF-3A9D-427E-8B7E-248A6EFC37B1","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":"Q4467728$0AE472CD-5E74-4470-A475-DABA51FC908C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7bdff97d0d47fadeba822cb29816c2dfa9c39f","datavalue":{"value":{"amount":"+0.7841672897338867","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":"Q4467728$A70FB645-A793-462D-ACEE-30DB17487D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3302f157864275ea2c993f4536fe75d854e072","datavalue":{"value":{"entity-type":"item","numeric-id":5692433,"id":"Q5692433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239fe28d7e925555a23a360029c5974728ef36b2","datavalue":{"value":{"amount":"+0.7754786014556885","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":"Q4467728$442A9FDE-FE30-4CA8-8F21-0E68AE2EF87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091c6dacd6c700e170221b862b9d1437439adab2","datavalue":{"value":{"entity-type":"item","numeric-id":1425193,"id":"Q1425193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0ded972d3e5c4fdab605a77a45dc98eeeaf3a4","datavalue":{"value":{"amount":"+0.7714800834655762","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":"Q4467728$4767FC7B-CFCC-4FB4-92DA-9C5DD4EE7B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875e9fbc20ed15635f72fcedb7909150c5164fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3818299,"id":"Q3818299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac25b50a30071afb8cf1022a9599965cad609116","datavalue":{"value":{"amount":"+0.7585200071334839","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":"Q4467728$E410390F-67FE-42FD-A20D-3CD57376F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7861d2f66c328d055d14bfc0c213d92b75102d","datavalue":{"value":{"amount":"+0.7584510445594788","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":"Q4467728$C8B47D67-29E5-4ACE-9329-38B85B5A84FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4467728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4467728"}}}}}