{"entities":{"Q2904071":{"pageid":2914796,"ns":120,"title":"Item:Q2904071","lastrevid":51523010,"modified":"2026-01-18T15:19:33Z","type":"item","id":"Q2904071","labels":{"en":{"language":"en","value":"Proofs, disproofs, and their duals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063280"}},"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":"Q2904071$6676FEA0-F3B2-4A8D-87CE-09220F07D350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be8a975aaebd9e614eec43c5047f58c4c10dbb18","datavalue":{"value":"1254.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904071$2796EA14-EF23-4627-85C7-22F72D082A6A","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":"Q2904071$96D7BD5F-1979-48E1-AD98-F63BB5BB2676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904071$17669509-7377-457B-9869-2558BA5A6FA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904071$F4F0C91C-1CE1-47FD-A10A-109B6EDE9EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"514b1ff0150c2a2d304d402272471509ed21bff5","datavalue":{"value":"6063280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904071$99758602-29AD-4EB2-A456-22F4D300BBC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904071$8E3D2BE0-5F22-4081-8465-DB62C6354009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f8ea8fbb2ca08748111c41b9128242bcc9d337","datavalue":{"value":"inferentialist semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904071$5677B058-4034-455C-9824-EF05BD54F5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904071$F0619805-AC54-49CA-B57F-E48D042525D3","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":"Q2904071$A9776E0D-3AFB-48FC-BB75-FFE422686A72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f9c8462c846ca5f701cbb0ebc6bf4793b736232","datavalue":{"value":{"text":"Proofs, disproofs, and their duals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904071$C51D5D65-9706-4818-8231-589048C2DA0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1751c23be45486b0b1cec1596b176c67b96af","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"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":"Q2904071$E279ED8E-50A7-41BE-A94F-B38E9F92E0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad2ec84bb57ce1d0572e676af3a2dfceabed38a","datavalue":{"value":{"entity-type":"item","numeric-id":2987724,"id":"Q2987724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1747ca7645d35b37b49993c024673c55bc88e6","datavalue":{"value":{"amount":"+0.7749232649803162","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":"Q2904071$0A08BB2C-0ED3-4C4B-B69B-E18483B8A1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89ef05c0f7e3c19a9146f82007b89a968e0317","datavalue":{"value":{"entity-type":"item","numeric-id":3638293,"id":"Q3638293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8def6a6adb6487052973c536ffaacf4b9018b5ee","datavalue":{"value":{"amount":"+0.7567498683929443","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":"Q2904071$1CCBE48C-9DEA-4AE1-A5C2-584DF7D9A3B0","rank":"normal"},{"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":"059a69241889dc2d5eaf3d7d216972ccc63e3088","datavalue":{"value":{"amount":"+0.7494266629219055","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":"Q2904071$2EE4EE17-F5A0-4AFF-A744-AC436EDF1C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec39c26452f972e83213a0f251838ecdfe61a79","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3d1cc6468c24052c85ac156a87a26147226dbf","datavalue":{"value":{"amount":"+0.7450964450836182","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":"Q2904071$52B3F8BC-AF08-491E-8CCC-E1EC4A7BD84A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904071"}}}}}