{"entities":{"Q3604537":{"pageid":5634443,"ns":120,"title":"Item:Q3604537","lastrevid":49659685,"modified":"2026-01-08T19:17:19Z","type":"item","id":"Q3604537","labels":{"en":{"language":"en","value":"Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5516778"}},"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":"Q3604537$63B57DE7-1968-4066-BA35-FD27C7D801C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0173a09e6195861cae512993935fa20a4210355a","datavalue":{"value":{"text":"Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3604537$09F48BD2-7A4C-46B1-A1C2-07F34E04F800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3178d858b26632667a801ace8f20a9090e730032","datavalue":{"value":"1328.94095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$F2215ED6-4E1F-40E2-B2A3-D5D099127CF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39192fa1b222537a520214dc0629779bfe922b95","datavalue":{"value":"10.1109/TIT.2008.917695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$1657F05A-05B8-4A59-BC93-965D6A1EFB87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85afbb5afa4b23d2d8bda0ed0e98a51a05854dd3","datavalue":{"value":{"entity-type":"item","numeric-id":1038213,"id":"Q1038213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604537$C9352966-0511-4CF4-98DD-FFA2247F4C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604537$BE94797B-B38B-4BCD-9C06-E2BE2B46FD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f465f1c9e5b661a2fce7033c17b245b95b9bedff","datavalue":{"value":{"entity-type":"item","numeric-id":3515553,"id":"Q3515553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604537$ED0D4007-D638-4930-B955-EFD1769A8085","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"90c5240c9cd9e181a1b77d3501d191b6631d1861","datavalue":{"value":{"entity-type":"item","numeric-id":97723,"id":"Q97723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604537$E28246E5-7FEB-4FB8-A759-5A7727AAEDB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3604537$D8FA5A24-4D6F-450C-A6A7-86EA3B0C2F0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c3cdafa68da1cd8441c02cae1d4f7b344a92c14","datavalue":{"value":"94B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$63DF264A-7A15-423B-8701-94FF51F16B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$899FE9BD-E31F-49E8-872F-07A83E1A68E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c36ac05b37e9e07bbdfbc5e28d5ccbd2d172d195","datavalue":{"value":"5516778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$B341546D-9605-470A-BAD2-010AF46970AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dfa7441443c39ca8f2eed4d677450f9f341d92f0","datavalue":{"value":"Q63549362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$ABD8BF65-4F3F-46CF-8273-AEB5ADF9E225","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":"Q3604537$B22F5F42-0F91-45F0-8DC1-FBCA1AB069C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad0e41ba68c00ee82070d85c7914bb833e6bdc3a","datavalue":{"value":"https://doi.org/10.1109/tit.2008.917695","type":"string"},"datatype":"url"},"type":"statement","id":"Q3604537$EAA7E4AB-8851-4BB3-9579-03450700D26D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"080da18e8c18c5630e44e11076fff059127449d5","datavalue":{"value":"W2160361593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$310EDD75-FBDF-47F3-AB47-A650A5B8E8DE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"28ca494c9830c28d00c6f89e5e177ba6f8d1a1db","datavalue":{"value":"journals/tit/ZinovikKC08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604537$19B1EAFF-08B8-4E8F-AF1A-8AE05E6124A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3604537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3604537"}}}}}