{"entities":{"Q4656554":{"pageid":6686135,"ns":120,"title":"Item:Q4656554","lastrevid":82420280,"modified":"2026-05-06T20:51:59Z","type":"item","id":"Q4656554","labels":{"en":{"language":"en","value":"Relating Intuitionist Negation and Triviality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2144299"}},"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":"Q4656554$B63AC033-179D-4278-B845-9708FC3A6EE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d9835e0e7cfc77b6de2a8777ffcfc26745694c1","datavalue":{"value":{"text":"Relating Intuitionist Negation and Triviality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4656554$814A24D7-B9CC-4AF3-9764-0FD24853EFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d15927d30f8b00c83498f12e41adcecd30187477","datavalue":{"value":"1062.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$129B83FF-CC5B-4219-833C-A207951B172C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ff7f622ca81706638077d58382bb39a806921e1","datavalue":{"value":{"entity-type":"item","numeric-id":516327,"id":"Q516327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656554$49C0B248-DE2F-49EF-95AD-762AE27058EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a1e9f97959c3a0c8005f0f6e1f91f49b76b5347","datavalue":{"value":{"time":"+2005-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4656554$8FF79C9A-2292-416B-A627-AC8986A36EFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$7C637D9E-1F58-42E7-9C43-6B37AA1CB802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$3371B817-4D96-4E96-ACAB-B29165B1142A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$3CF46147-1E60-4E3A-80CB-0987DF3F6F2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c532fe8285ab6b69236d0baa084bed77338a7f54","datavalue":{"value":"2144299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$77F12BF9-10B9-403A-B68C-7563C0546F11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656554$0BA3D26B-623E-47D1-B62C-CDCB6DE44044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc79aef590ee372b9dd64e83625077dfa5971017","datavalue":{"value":"\\textit{ex falso quodlibet}","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656554$C300FBDB-EFE4-4275-85DE-F3ADF047DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7635fb2cb32ce4eb0d8b453098caa1804dcabd","datavalue":{"value":"intuitionist negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656554$8095F267-183A-4AA6-90FA-FE8864E2510A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656554$0034D308-C51D-406D-8CCB-ED6477470171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a0b2d36329c7ef8c21467cfe491af6433d0262","datavalue":{"value":"intuitionist logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656554$DE538195-65CB-4235-A2BC-415E866004B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e5e08e4a56ab76a522262d0883b44971d3d939","datavalue":{"value":"negation introduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656554$0381D2BF-DF28-4A74-A97C-594C3A00C478","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":"Q4656554$E93F86FE-8CF7-451E-B059-005244705418","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f701af248ebb0109586d7be468d66c506d4870c5","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.6.581","type":"string"},"datatype":"url"},"type":"statement","id":"Q4656554$1B98C8E4-AB90-4831-B583-4E2CD465ABC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96ea17c6e35e0881096655dee7b709a927475d1d","datavalue":{"value":"W2064816946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$821E47B5-E2CF-4AA5-8676-D88255960B68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0140e386db1cf6fb31d74b0723ec7b28fe9dca1c","datavalue":{"value":"10.1093/JIGPAL/12.6.581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656554$FF4F7DF2-C636-45DF-8E47-70384B4FB59B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656554$4B4D4CAE-02E2-4872-ADD9-E633B242F34E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a455511d49677dc782565dda4a9adda3fff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2715525,"id":"Q2715525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578dc39e47ba96a1f16b0674a2b460f2c271c6c8","datavalue":{"value":{"amount":"+0.7521921396255493","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":"Q4656554$85B12A81-64E2-4E66-B057-9EEB0E8652C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6115ca1c826ddb38e643098d792552e7eca584d9","datavalue":{"value":{"entity-type":"item","numeric-id":1775871,"id":"Q1775871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4be4327bfeac1e9b564347e644abd21d027bb0","datavalue":{"value":{"amount":"+0.752191960811615","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":"Q4656554$DC7587E5-3079-4770-9042-6704ABFFF7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2ae510b773750b4e718d093fea4211ff07a68c","datavalue":{"value":{"entity-type":"item","numeric-id":2534157,"id":"Q2534157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376cf4c6927b528737a4c64d7b59694bebf5ac46","datavalue":{"value":{"amount":"+0.7426318526268005","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":"Q4656554$A86F790B-7CDC-4A38-8DB3-B83E0AC9DF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7e8ce83f4b66673fcbecff91e41fbfe2985f50","datavalue":{"value":{"entity-type":"item","numeric-id":3984061,"id":"Q3984061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90af58ead60834f8f2e0bc89b620233544993b4d","datavalue":{"value":{"amount":"+0.7332953214645386","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":"Q4656554$FDB19054-33C2-47AD-937B-7AD2F0504D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae896f3d68fe7dd2bf89adc2d41e51d450ff5357","datavalue":{"value":{"entity-type":"item","numeric-id":2715524,"id":"Q2715524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a430ac0a32c8ff97fe498f0521cd9b110c3b3a6","datavalue":{"value":{"amount":"+0.7326214909553528","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":"Q4656554$CCF30A63-D850-4010-8467-9FBF651565F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating Intuitionist Negation and Triviality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_Intuitionist_Negation_and_Triviality"}}}}}