{"entities":{"Q6909452":{"pageid":20958571,"ns":120,"title":"Item:Q6909452","lastrevid":75609730,"modified":"2026-04-20T08:53:37Z","type":"item","id":"Q6909452","labels":{"en":{"language":"en","value":"Tseitin's tautologies and lower bounds for Nullstellensatz proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8112219"}},"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":"Q6909452$A369E903-8FE3-435A-B272-471C25401487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9a78af92b3286e67274e5f1bc53a9e22728d94a","datavalue":{"value":{"text":"Tseitin's tautologies and lower bounds for Nullstellensatz proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909452$E22F8FC1-9161-4BF0-B120-5C1E0D505406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5772ad92d659a5379ac144d2f9eab29ac76da3fa","datavalue":{"value":"10.1109/SFCS.1998.743515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909452$E275275A-5674-41E9-9B37-FFD6EC6BDF09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9c429d669fb6bc0df509b34cc4d0988d95ba35","datavalue":{"value":{"entity-type":"item","numeric-id":6893603,"id":"Q6893603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909452$6F025F3E-9509-438C-88FB-80B5898FACA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909452$AA279060-EA3B-4013-AFB0-E957B5194E0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909452$9FEC2AF7-70C6-42F2-BC01-8AAC78DEF72C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aee2f7d6a2b44728dcea3a10e97463358e3503e8","datavalue":{"value":"8112219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909452$EB422220-C911-4D01-BB11-7D330757ACDF","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":"Q6909452$28EB0C27-1253-4C6A-9634-2E7D0EF8721E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tseitin's tautologies and lower bounds for Nullstellensatz proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tseitin%27s_tautologies_and_lower_bounds_for_Nullstellensatz_proofs"}}}}}