{"entities":{"Q2804337":{"pageid":2815075,"ns":120,"title":"Item:Q2804337","lastrevid":52518614,"modified":"2026-01-22T20:54:49Z","type":"item","id":"Q2804337","labels":{"en":{"language":"en","value":"Falsification, natural deduction and bi-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575048"}},"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":"Q2804337$38508E67-49F1-45B6-83AD-D628E7BF5436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa0280b5698347a712cf39e63ddbdcdf378aaa2","datavalue":{"value":{"text":"Falsification, natural deduction and bi-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804337$6CC566ED-6875-471E-BB1D-291A6ADF6704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2229bbeec18600a0042ae65870e1605d5acbe23a","datavalue":{"value":"1444.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804337$5A5CBBF7-BB5F-4BA2-B5AB-C3DCD48E686E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804337$34161BF6-E19D-44FE-BAD1-F6F53EEDBB5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804337$49BB8292-3D98-4168-960C-89209856B277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804337$0CD17115-52F2-410F-B985-36BD0D54D189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804337$332247D0-33C7-49EA-A225-6C9D6C515A6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2081f2b9d79b4cc353b0d9e8d1a3ab1be73de91c","datavalue":{"value":"6575048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804337$58BAAEC4-FB85-4C0E-A1E2-11CA1E203F04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804337$40402161-1BA1-448B-A1D8-0071F2F76604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804337$2B344502-D68A-48F2-839D-5FBABD39A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804337$DD936C51-D933-42EE-8630-8EAD9B9C4660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804337$0DD22AA4-6079-43EB-B3CD-9A50A8D15340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27bb350f2862fe21410d80e308e5dd36c3f219e4","datavalue":{"value":"dual intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804337$3B1C7CEE-B37D-4D65-9FF0-12F30165B653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804337$4B8ED224-008B-4EB9-9B5C-3C3E71C29B04","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":"Q2804337$F82D85A7-4A39-45B1-A861-A948706D8D62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"100e9b19d6fb6bb3908e643a34d34200e954c099","datavalue":{"value":"https://doi.org/10.1093/logcom/ext035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804337$98DDABF8-2557-4ABD-8B9F-B3D18F7F1297","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70c1c239ca777e7407c7dd5423f00c6d561e4194","datavalue":{"value":"W2093705378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804337$354B7A95-8103-4AE3-8C9C-D0FBEDA92835","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88b1b61d766496f2377ae01f4368c9fb01b7f690","datavalue":{"value":"10.1093/LOGCOM/EXT035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804337$B761E474-F6C0-4E62-982C-D61F8D827653","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804337$E436C807-A8CE-4C98-98A6-649F68380433","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfc78bc795d6695434f1c40c96b7c0dc9df7960","datavalue":{"value":{"amount":"+0.8184008002281189","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":"Q2804337$CF2443B9-9187-43B8-BAED-DE7BCDD53A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465fc7ae39fe449b08161c2a14c6cac3e531f124","datavalue":{"value":{"entity-type":"item","numeric-id":813087,"id":"Q813087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8af966209f8f706cb1cc2ac394877d6e0b131ff","datavalue":{"value":{"amount":"+0.8181682825088501","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":"Q2804337$5900622A-9046-49FD-BE6F-EB6989D21748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdb33832fc6670c0bd45715744daf4a48a794b9","datavalue":{"value":{"entity-type":"item","numeric-id":1693594,"id":"Q1693594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd8d49de7dff6629c489aeee28df8c217b893bb","datavalue":{"value":{"amount":"+0.7924391031265259","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":"Q2804337$F0040301-4E2B-4859-B9C4-3D1B1677DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f6dbc3cff1a713ad514cf6343ce87b657f5f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2904071,"id":"Q2904071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8700768593065f950d2d7b8c2a655c4d8ac9713","datavalue":{"value":{"amount":"+0.7866981029510498","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":"Q2804337$6EA2BC21-15D8-421B-A5D8-425C069ED703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91de17ff7d45b5ab47357cdb33074d559dbd50fb","datavalue":{"value":{"entity-type":"item","numeric-id":1688710,"id":"Q1688710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368a50a55df2488a135e4a59b3e7413fd48646f3","datavalue":{"value":{"amount":"+0.760198175907135","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":"Q2804337$79063078-C38F-4636-ACEE-B349FB194381","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804337"}}}}}