{"entities":{"Q3376920":{"pageid":3387624,"ns":120,"title":"Item:Q3376920","lastrevid":49808044,"modified":"2026-01-10T22:46:58Z","type":"item","id":"Q3376920","labels":{"en":{"language":"en","value":"Proof-theoretical coherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015416"}},"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":"Q3376920$05327DFE-02F8-4856-B6FA-9872CD583DE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b19cb8c89bbe94ef9556e133ace2a9d2ba833e8a","datavalue":{"value":"1153.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$E372022F-B299-4C07-8697-647BA0C42AD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3376920$FAEAE478-C57E-4EA5-BCDC-265B37EEFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3376920$BC856D4C-F2B9-49A9-B565-4AE3766E36A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d98e47da20022a507a8bc653f0becd1f7b238a6f","datavalue":{"value":{"time":"+2006-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3376920$B5543D5A-0D25-415A-AA4C-3E7F672DBF21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$49C4D794-78A8-4681-86F1-CA823EFE31C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$7CB574A2-45DD-41E7-81A5-30A0D01BFF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$4128E100-C6A0-435E-A923-DB5B93FB9123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$32746C57-D40D-44BB-821E-946DBFD41312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$4F324809-6546-4161-8B6F-EC260FB7BB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$9D193FAB-5C3C-4D72-8B12-E595BBB6F8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$819CB650-E753-4DD3-BC01-4CF52E1519A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$7FD5B5DB-42DF-4989-AB76-2D52033D398E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01992abca6c20fd59995d015bc5ea7f6ba715986","datavalue":{"value":"5015416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376920$7BD111DE-2F04-462E-B5A2-9B4FCC5571E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376920$C5B581E2-D6FE-45AC-B823-57A662A6EEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a731cbef59d16fb2e38714bec9f7e4fef7b15bc6","datavalue":{"value":"categorical semantics of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376920$6F2B57E6-32B0-4B98-9702-CEB9E2EA2E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376920$6C6CE3E1-EA9E-4FE2-9C19-89452CAB53E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169984fbb32aa6e578c27606fd484905e7bf6ee5","datavalue":{"value":"Boolean category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376920$F4F8DE6D-C771-4E81-9195-71D154996537","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":"Q3376920$B4952732-0888-4126-928C-D4AA63EE9146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00f6b774170a9989e7745f39d5e49c0da6727e1","datavalue":{"value":{"entity-type":"item","numeric-id":860833,"id":"Q860833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799f41ef63c92d6775e1b4e3d63249c4196b55f9","datavalue":{"value":{"amount":"+0.819490909576416","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":"Q3376920$4A545CB8-9780-4482-8460-EBE8B0111A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110d686c78710c35fb6bf7f3f575cbb0884931aa","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d709556a3d2036a01c7f48e69a187402778c0dfa","datavalue":{"value":{"amount":"+0.8095109462738037","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":"Q3376920$42E36AE9-493D-43FA-B625-D5D60F693F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543ca479ff0e0330aa6859cf8370861d85e614e3","datavalue":{"value":{"amount":"+0.7876483798027039","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":"Q3376920$3EBD10CA-A15B-473D-AB45-DCF83943AE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a5019c9c6096ee12059d7df76cac5b28f5519d","datavalue":{"value":{"amount":"+0.7842892408370972","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":"Q3376920$B596AE2D-8DBA-4CB5-A9EA-1D6F023EDA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb708f6f6ca752938bae3315ad16ecf9d9c0dc96","datavalue":{"value":{"entity-type":"item","numeric-id":4704202,"id":"Q4704202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a5019c9c6096ee12059d7df76cac5b28f5519d","datavalue":{"value":{"amount":"+0.7842892408370972","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":"Q3376920$37B5536C-8CE5-4614-BA48-D92C1278CAE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3376920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3376920"}}}}}