{"entities":{"Q6981700":{"pageid":21393234,"ns":120,"title":"Item:Q6981700","lastrevid":76286568,"modified":"2026-04-23T13:03:29Z","type":"item","id":"Q6981700","labels":{"en":{"language":"en","value":"Nondeterministic direct product reductions and the success probability of SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8042938"}},"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":"Q6981700$6B4274DA-013F-4306-82B7-0A15F26FE553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef891be87d36f9cf8fa57611b500fe56b86188b","datavalue":{"value":{"text":"Nondeterministic direct product reductions and the success probability of SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6981700$1E7D3158-2C6D-413F-AC3D-F0F51342CC4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34ea192b615678367c60e987d873ead8f4a5c7d6","datavalue":{"value":"10.1109/FOCS.2013.84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6981700$7EDEE70F-D2D9-41EF-A348-723C0E1F0ABB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49aa71632562333951158d1bda6bcfea6b2e85d5","datavalue":{"value":{"entity-type":"item","numeric-id":693001,"id":"Q693001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6981700$BAF36E12-3C67-407D-AEF5-CB8296285D1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"342bd61e9fcf23d926d4bf6a2d1af5fb769b039c","datavalue":{"value":{"time":"+2025-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6981700$B2F64FCD-1DAE-44A4-902A-1A085F54BAFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6981700$6D337EDC-93DA-415D-BBB3-2ADC314F5D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57f167c32409cd84dad7e725a6344d78daf6bdb3","datavalue":{"value":"05-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6981700$87D095AE-7395-4E80-8948-D30A29910540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53aeb1fcbd2f0d31715f68f8c0d9430ea394bc21","datavalue":{"value":"94-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6981700$766B17CC-BFE2-41C4-9D39-812F71897045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d060ce561b4d68bc1dcfdc12986dedd2c2979af","datavalue":{"value":"8042938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6981700$2E16166E-39FB-4DF0-BC22-C4614286C2C0","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":"Q6981700$9E472F90-D581-4ACF-9B93-66C736A8CE10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic direct product reductions and the success probability of SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_direct_product_reductions_and_the_success_probability_of_SAT_solvers"}}}}}