{"entities":{"Q6572017":{"pageid":14183172,"ns":120,"title":"Item:Q6572017","lastrevid":42356107,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572017","labels":{"en":{"language":"en","value":"Tight bounds for tseitin formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880727"}},"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":"Q6572017$D9D79C5A-8146-4A62-B50A-6FF5026B5B6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8971c2df5f4ad3fe8ad48144dc727e08c8f66a27","datavalue":{"value":{"text":"Tight bounds for tseitin formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572017$A70806F1-F103-4E96-938C-6DAB8EC51346","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572017$93525157-1436-4696-B021-D0FA726D636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74efe74cf6a1a588fa17da7c35604ff1c2aea60c","datavalue":{"value":{"entity-type":"item","numeric-id":1625179,"id":"Q1625179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572017$BCACDB42-B51C-4AA0-B703-C008CA17C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4455f008bf4e3ec1c2a5c221796cad2c75b53183","datavalue":{"value":{"entity-type":"item","numeric-id":1983328,"id":"Q1983328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572017$B026CF87-6AD7-4E36-B27F-93810BF7E5C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-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":"Q6572017$519ED18D-E795-4FB9-BDA7-034C38E67D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572017$A147D52A-2EE8-4B9A-A980-1A3A3347CCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572017$8D558938-D610-4CEE-9A8C-95ED661B2314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572017$EC6AFAA9-CF5C-4FBD-BC35-31AFEBAE8616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa7f5838f9d98d0d15b0622636acbaf6019ca06","datavalue":{"value":"7880727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572017$7FC1E1E7-5D80-43CD-9BE8-C4F030A59529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572017$23513723-51B1-4818-83BB-93964F714DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572017$7A57E518-1D96-4EB8-B61D-6B48E3D3350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572017$1CA04CB3-47F6-4AF6-9858-7FA45D32473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572017$B7A587E8-79B2-4437-B958-9871319F90EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fde911b13623e2908d6de8f7e82987817727f94","datavalue":{"value":"OBDD-based proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572017$54530E89-F43B-4FC3-90C8-B12D6D95CC1F","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":"Q6572017$6DC676FC-9EB4-4A64-BA79-072133698F6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90a2b818d5fd7514d1191569f0020730f1b69719","datavalue":{"value":"10.4230/LIPICS.SAT.2022.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572017$2AAD961F-9363-4B86-ABA0-B17448B1B8E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572017"}}}}}