{"entities":{"Q6544091":{"pageid":14155235,"ns":120,"title":"Item:Q6544091","lastrevid":42338639,"modified":"2025-06-11T19:41:59Z","type":"item","id":"Q6544091","labels":{"en":{"language":"en","value":"Erd\u0151s-Selfridge theorem for nonmonotone CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853703"}},"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":"Q6544091$DA282406-399A-4132-9704-755D725A23E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d4c3d926fd1cd72f1979f0aa7be26936f2dbcfa","datavalue":{"value":{"text":"Erd\u0151s-Selfridge theorem for nonmonotone CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544091$931D7E7B-B669-4914-ACB0-A61556CA9E6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f9e7192883f2a5127c48b369d76a225325032a4","datavalue":{"value":{"entity-type":"item","numeric-id":6544089,"id":"Q6544089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544091$22E472CF-E71F-4434-A7B0-F05263C2D07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8f10d36105ec786cf67b15a495051a469c7ed00","datavalue":{"value":{"entity-type":"item","numeric-id":6544090,"id":"Q6544090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544091$BE8262B3-C5F8-428B-9A1B-6D0ED9303EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544091$5C829809-F3B0-417C-AEC7-38F22D65E112","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544091$ED014504-5730-4BAE-AF86-AC9C2912F9C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37aef05f0aea4410e115a38abe6bc9981641705b","datavalue":{"value":"7853703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544091$6478C478-9D7C-4423-B9EA-77AE9EACF074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544091$60D9577F-7680-4DB9-9309-3B466A06F290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002ee304627830600fb350adb2a0eff12caabeab","datavalue":{"value":"nonmonotone","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544091$14EE7E45-178E-4DF5-8BD8-61432D0BAA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfdcccc08926a45b2638a5e09672bd8fa7538b3d","datavalue":{"value":"CNFs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544091$CE9ED4E1-8540-4A46-8134-EC3E5F4F0DCB","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":"Q6544091$E3531E41-0B2D-42E9-885E-8EBC403752D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56117233c6999098c04774ab3798999dafa5b890","datavalue":{"value":"10.4230/LIPICS.SWAT.2022.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544091$EDF1427B-CA87-4430-A783-983D1CF635A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544091"}}}}}