{"entities":{"Q788710":{"pageid":790558,"ns":120,"title":"Item:Q788710","lastrevid":64385730,"modified":"2026-04-11T19:30:37Z","type":"item","id":"Q788710","labels":{"en":{"language":"en","value":"Proving contradictions in formal theories. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3843724"}},"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":"Q788710$EE28D264-E655-49F8-989D-4A62F4F4D46B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d2a6ce10dd3094d9e8b4f022b7cf81d328740df","datavalue":{"value":{"text":"Proving contradictions in formal theories. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q788710$DA1BF2E5-D550-4D39-A906-6F2A920E681D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee043e4642e3ca95fff7460ecab6df6af254540d","datavalue":{"value":"0532.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788710$9DAC61CE-224E-4268-B08E-E7F4D1D78CD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2818bae427733080b6f4167a292c68d070bc71b","datavalue":{"value":{"entity-type":"item","numeric-id":372261,"id":"Q372261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788710$6343DCA8-75D6-4A65-A8B0-34B5F8F16CBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788710$8FC641A8-9ECE-4E9F-82EB-47D7AEAB2CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q788710$961C1121-EEB4-4EC5-8C13-D9B5C75B2713","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788710$5B8A11B9-78BB-4E30-B69F-03CA758BCF45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e4b001a0e5b7feed612995dfb44f8cccecc4d62","datavalue":{"value":"3843724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788710$C36C2DB6-838D-4843-BBB8-82375431DF7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f01ed589f0693af124a68175840446ed84d69ea","datavalue":{"value":"contradictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q788710$0F7CF231-329C-4A6A-96D3-CBF077DC8AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1281b38962c2f7c37b21a310e8b8dfa2c401b82c","datavalue":{"value":"inconsistent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q788710$BF974B6D-6175-4784-AA87-4B2CAB14C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q788710$90EAD1B6-BD8C-4F9D-9645-872F489EA367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb91cb2f21939ecf092a366c7e1b331a04afe13","datavalue":{"value":"propositional calculus PCont","type":"string"},"datatype":"string"},"type":"statement","id":"Q788710$15802299-92F8-4094-B8B5-F4B10D01670C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c4a95d85f63545d8af92053c9eaae95026a257","datavalue":{"value":"derivability of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q788710$B16E9F31-07DA-4407-A73B-CE262D3FFB9F","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":"Q788710$6828E885-F8A7-486B-81AB-685937DF6A70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1db5110dbc9586e0af29fa9efce2df4a464f096","datavalue":{"value":{"entity-type":"item","numeric-id":788711,"id":"Q788711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4355ed6b60414cf13e0a081cc00d3a4cc8b29a","datavalue":{"value":{"amount":"+0.9199033379554749","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":"Q788710$186A5F43-693C-4906-A0B6-AD98C79CEECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843ce5415c9e7249397fc3e4cbf6a08aa30738a7","datavalue":{"value":{"entity-type":"item","numeric-id":1123189,"id":"Q1123189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5f94afbe12a19d02266068a32f3786628d4ee8","datavalue":{"value":{"amount":"+0.8095808029174805","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":"Q788710$F9B4DF51-19E1-40A2-93E0-A3B33E532DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222d972864bf5235a0f11116b09f6047dbab4ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4287778,"id":"Q4287778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b641a3fe17b79aa3aab336317ad659c5034436","datavalue":{"value":{"amount":"+0.7925220131874084","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":"Q788710$1F60C8F9-CF94-44AC-B200-E654B28B6CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858be068e6e6702076e87d46edf5452e57a6d73b","datavalue":{"value":{"entity-type":"item","numeric-id":4947596,"id":"Q4947596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0519c1c17707ddb45ce1c240dbee0d91b0e9ed","datavalue":{"value":{"amount":"+0.7922611236572266","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":"Q788710$B6E1D02E-AF5C-48D7-A006-527660E4C9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ad0253e36eecd2e8fc1a6c98e2b19d3a51aa31","datavalue":{"value":{"entity-type":"item","numeric-id":4686539,"id":"Q4686539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f0f39a4fac1827957e602692948c3031f05b37","datavalue":{"value":{"amount":"+0.7750105261802673","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":"Q788710$9154C865-2561-4ADD-B228-A216C46AFCF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving contradictions in formal theories. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_contradictions_in_formal_theories._I"}}}}}