{"entities":{"Q6665769":{"pageid":14276926,"ns":120,"title":"Item:Q6665769","lastrevid":95700365,"modified":"2026-06-05T09:36:56Z","type":"item","id":"Q6665769","labels":{"en":{"language":"en","value":"Rado numbers and SAT computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7969802"}},"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":"Q6665769$85611D09-5FEC-4224-BA14-B15BEF7DE7F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0f65ce856fafec8fbd8ddc4d5a1ae70b714cf4d","datavalue":{"value":{"text":"Rado numbers and SAT computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6665769$E7816F9A-09FF-46EF-97A5-A1865C05AC41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cf46e643036d525a6fc4ee864e7e8adea29c7bd","datavalue":{"value":"10.1145/3476446.3535494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665769$C34EF31B-D634-41D4-9E53-5411CA2AAE4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"def5eaee425c3adea54cdaa89a1d1845d13c7c26","datavalue":{"value":{"entity-type":"item","numeric-id":390026,"id":"Q390026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665769$7078C88C-430B-45B4-88FD-DFFDA3D94FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f56664005bef798eb418e66c3fe4b98048d64ce1","datavalue":{"value":{"entity-type":"item","numeric-id":277207,"id":"Q277207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665769$71353A60-9CA6-4EFD-A739-0921A6C56EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3eb7e922bb462f0060e86ef156cc0ff7655ba70","datavalue":{"value":{"entity-type":"item","numeric-id":6412184,"id":"Q6412184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665769$2CCE7DCB-4462-4DB7-9896-A0C39A972E54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17000f49c0f2609c4683a82c4aacd7701ef13ce6","datavalue":{"value":{"time":"+2025-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6665769$FDAAA397-450E-48D0-8DCE-C80233E4D18F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665769$81DAF1C5-E7F2-4BC5-A446-2FD3411F4D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9aa6771446bea454d5960ba05103339c41f2a05","datavalue":{"value":"7969802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665769$656514E7-B4EE-40B3-B447-32848F6FBF56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ae6353a870efe02ea7396ee240f856809fd231","datavalue":{"value":"Rado numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665769$59E0D5DD-9971-4136-AB67-56E76028C1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665769$E609742F-EE9F-4C15-A385-99D20167C312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665769$0F6B6BB7-1049-4438-9E09-C07348101A05","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":"Q6665769$03D078D3-200D-4F8A-952A-3C59DCC372FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rado numbers and SAT computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rado_numbers_and_SAT_computations"}}}}}