{"entities":{"Q6461871":{"pageid":13594870,"ns":120,"title":"Item:Q6461871","lastrevid":59204298,"modified":"2026-04-07T19:59:21Z","type":"item","id":"Q6461871","labels":{"en":{"language":"en","value":"On SAT Solvers and Ramsey-type Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 902376535"}},"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":"Q6461871$F3F16672-612D-42DE-9F3D-6D4C2AFE12BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7b8fa1f1118f284828a8e40972bc56fa868a11","datavalue":{"value":{"time":"+2023-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6461871$70835CF5-280C-4090-A24A-4B643ACCDD6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d63ef84f8d44c42261def73b67717fe176785a4a","datavalue":{"value":{"entity-type":"item","numeric-id":6461868,"id":"Q6461868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6461871$15534E36-D909-4924-8551-1A28DF7186C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"092dd5621771b7a2679244768fed0d2015f219f4","datavalue":{"value":{"entity-type":"item","numeric-id":6057490,"id":"Q6057490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6461871$D9744D7E-DB60-4275-B033-050122CB5F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bbd745ea4ac044d1cb9869dff759e5fe8e72d15","datavalue":{"value":{"entity-type":"item","numeric-id":6461869,"id":"Q6461869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6461871$E9D0BCE1-CC23-4FB9-908F-9991E87AE0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d63fb644043f68eec80a16990f4f5c12af2bb809","datavalue":{"value":{"entity-type":"item","numeric-id":811135,"id":"Q811135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6461871$EFFF059A-01C0-4BBE-BB79-4DB84563688F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5aacb46fddd1d897055e0e34fb3660fd4d3df6","datavalue":{"value":{"entity-type":"item","numeric-id":6461870,"id":"Q6461870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6461871$803B0E25-A3E6-4593-A996-DBB6C4225F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87fba9c2a1d6d5aa157892b62fb99317cbd14a2","datavalue":{"value":{"entity-type":"item","numeric-id":5221628,"id":"Q5221628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6461871$BD1F551D-0364-472F-A2FC-864B88474361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aa76666b2de3b9e6676a9d1375be80a96376126","datavalue":{"value":"902376535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6461871$0231C2E0-61C9-43F4-AF33-DDD1D576A116","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":"Q6461871$82E1277A-53BE-46A6-8C5C-44EBF3283264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6461871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6461871"}}}}}