{"entities":{"Q6426291":{"pageid":13559319,"ns":120,"title":"Item:Q6426291","lastrevid":95120078,"modified":"2026-06-05T08:24:30Z","type":"item","id":"Q6426291","labels":{"en":{"language":"en","value":"Proving Unsatisfiability with Hitting Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900579882"}},"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":"Q6426291$67D8A062-1D96-4F12-B885-DAE2B2078FBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebbdd0b18f825578671729ab841c4c65d31fed2c","datavalue":{"value":{"time":"+2023-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6426291$6CB6EFEF-3DE0-49C7-A12D-59039D4251AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0fe0a7fa80a03dbe218a5c976959a59a29e24d","datavalue":{"value":{"entity-type":"item","numeric-id":312256,"id":"Q312256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6426291$A80E55F2-9D4D-4760-89AB-F696652E9ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6426291$E17589E3-A18A-4E70-8665-D831AE83DAF6","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":"Q6426291$8418AF1D-8DA9-42B9-A9CC-425B5FAE6160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746e2a61742eb11dd23c6fed9979431e7e2c1d59","datavalue":{"value":{"entity-type":"item","numeric-id":1704572,"id":"Q1704572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6426291$20DF3076-B35F-474C-85C1-AA6CAA96D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5302b48d82eac44081d15b48583a3fafba169c6","datavalue":{"value":{"entity-type":"item","numeric-id":1656562,"id":"Q1656562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6426291$A93597F5-CBB4-4AEA-98E3-EF9F5F5D2FD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6426291$16AFFF0E-1FC2-432D-9A9F-A831FC5814B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa4b0e5c6227b966f57c37f8b955ea2ec1c2cb56","datavalue":{"value":"900579882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6426291$EA9EF35B-BF56-4F50-A08D-6816206E88CC","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":"Q6426291$CC781377-368F-49CB-A114-F0D99162DFB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Unsatisfiability with Hitting Formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_Unsatisfiability_with_Hitting_Formulas"}}}}}