{"entities":{"Q6115403":{"pageid":13249710,"ns":120,"title":"Item:Q6115403","lastrevid":39709212,"modified":"2024-12-30T17:35:42Z","type":"item","id":"Q6115403","labels":{"en":{"language":"en","value":"The power of negative reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7711622"}},"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":"Q6115403$DA1FB7D9-1A58-4312-BB92-71820E051829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69fa229929f5a36be717107c65fff5a3a6df12b7","datavalue":{"value":{"time":"+2023-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6115403$E914496A-D9FB-448F-A757-E822AB491DE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115403$1AA4D89D-227E-4666-8D23-BD6A4BCD4D41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99844e73a32b71191c30e343a186b0b928439a7b","datavalue":{"value":"7711622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115403$B7C983F6-43CA-4F9A-8A52-8F044456550B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115403$71CE4A12-4F90-41ED-BD02-B800CEBD2937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115403$96CF52BE-6D54-492E-A43D-05908874C860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad69a706b19db19feeebaa64af7c8b852e65850","datavalue":{"value":"nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115403$04F831FB-8545-4340-93BB-0DE85572A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9a962a472b68f7001074b6fd15db4d47ba5ca4","datavalue":{"value":"sums-of-squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115403$75B3CA88-C818-4219-8520-1302680299B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da65a1d89d19ee7e9a491b5ccccd6f93f1c19d48","datavalue":{"value":"Sherali-Adams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115403$ECF4D4ED-7FB4-4302-A773-0BD6FF7CE397","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":"Q6115403$8B8CAB80-1191-4A65-A4F0-0084B3D27BEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"157c0c884c25b2d42293a86e3ee008fff6c8b12d","datavalue":{"value":"https://doi.org/10.4230/lipics.ccc.2021.40","type":"string"},"datatype":"url"},"type":"statement","id":"Q6115403$04666926-D514-4CC4-8C32-0B1743E921D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16d3e131449bfa14ff5320285ca7e9dfb6375dc1","datavalue":{"value":"W3184009482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115403$D1CC8B4C-45F3-402A-BC27-12E5A3B3085C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"558ffbbbca2b8dad391293a91694d8e7b9fa2f6e","datavalue":{"value":{"text":"The power of negative reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6115403$4A3D1DD5-0613-4B99-91AA-5712C7794B96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27f6b2bccf75cae0b9f454087d21b1834aa8e967","datavalue":{"value":"10.4230/LIPICS.CCC.2021.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115403$A432BBD6-A0FC-430E-86FE-6088A68CD5E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6115403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6115403"}}}}}