{"entities":{"Q6653668":{"pageid":14264825,"ns":120,"title":"Item:Q6653668","lastrevid":57347775,"modified":"2026-03-30T14:30:04Z","type":"item","id":"Q6653668","labels":{"en":{"language":"en","value":"SAT solving using XOR-OR-AND normal forms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7958986"}},"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":"Q6653668$36EC48A2-839F-4CF5-997E-70056849BB3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2296eb8ad3f64baf34b23f2a9b1df79a060bb968","datavalue":{"value":{"text":"SAT solving using XOR-OR-AND normal forms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653668$D50F15C5-2010-495B-8D4E-18D7B3AF3C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95558b23b666be9768edd1ba4c8efcd95d0e5f42","datavalue":{"value":{"entity-type":"item","numeric-id":6457686,"id":"Q6457686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$2F5DD631-67CA-42E7-8B07-C019891EB356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"268f2602954d555576311ca4280ec88d74af4ce7","datavalue":{"value":{"entity-type":"item","numeric-id":6132747,"id":"Q6132747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$7AD856E8-36D3-414A-86D8-0DC3CF7841B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c2a8fd59ff2aea42f2828ebd43ce4734ce1b7c","datavalue":{"value":{"entity-type":"item","numeric-id":515722,"id":"Q515722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$E02BDDE7-2A5C-4E45-867B-7A36564797B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$D7D54E6A-9564-4E5E-957A-C1243FBF872F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-12-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":"Q6653668$E87DE965-4EE8-45E0-916F-FCA1D04FF790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653668$6770F8D7-B2EC-41AB-99DC-58A44FAC6AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653668$46CFF2EE-EB70-4518-BF16-749A7A76ACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653668$37FC1F5F-2417-45B5-B536-836E79CF3927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653668$71F8C6D6-B853-4AFE-96D0-3993858E1156","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7102077f17e253b05535b6a65699225e31a8a73","datavalue":{"value":"7958986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653668$BDBC3909-C69E-4080-8FDC-158A854B19E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653668$98BF0773-23E8-4901-BCA5-0E5041BCACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4f383d0717252475c59bf6f531514992eb2c23","datavalue":{"value":"XOR constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653668$F7D2A826-99D4-404C-B01E-93AA3A8A158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc9e8fb9e184a2698485610924cc03f6ff4d1b3","datavalue":{"value":"algebraic normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653668$9061C779-300D-4321-A496-21730B19797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c850b5604638748e47db6d2307bbc4739cdcc10","datavalue":{"value":"implication graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653668$FF708EB8-3CEC-4F65-AB02-282B6CA7CBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeb0179ac78320ddc212edaf0a3ff3e4ef1cf9d0","datavalue":{"value":"cryptographic attack","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653668$35CD4DD5-9E97-464E-B18B-A122BEBE60E1","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":"Q6653668$E538866E-FC9B-46B9-9983-4524B03F9BA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c911893d0cd92cb55cf93ebb56609cc6032513de","datavalue":{"value":{"entity-type":"item","numeric-id":3587345,"id":"Q3587345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$8FFEB3F5-C4D4-453D-BDB6-A91ABA1ABD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c33a3edf717501b3c23adb0eba6a3cb6822abb","datavalue":{"value":{"entity-type":"item","numeric-id":2178862,"id":"Q2178862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$C3EC8A2C-A60A-4820-A6F4-CAB09ADFD7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$7D004646-0DFC-4707-A5B5-E7107F99CAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c137915dbaf8c181012593e4a5e4694efe25b4","datavalue":{"value":{"entity-type":"item","numeric-id":4931177,"id":"Q4931177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$5516E094-5138-4EBF-B17D-79C662889DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649b7e74dfebe3b487b5b0875a58be0db4fc8916","datavalue":{"value":{"entity-type":"item","numeric-id":1030264,"id":"Q1030264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$650BF71A-A709-43DB-AD8B-B704B8BDE42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545f28007157cc78cbe4574839bdae439351e1f7","datavalue":{"value":{"entity-type":"item","numeric-id":6083671,"id":"Q6083671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$DCF6E8F3-67B2-4545-950F-AB3070055B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc2fd6c93711239531be31839b4c1f464f86c80","datavalue":{"value":{"entity-type":"item","numeric-id":3374924,"id":"Q3374924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$BA2ED3C2-66B9-4520-9750-2B1C38860C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fad552e55de70265d3bdc01c53db7893ebb28c","datavalue":{"value":{"entity-type":"item","numeric-id":4899712,"id":"Q4899712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$53D658BE-ABF0-46B3-823A-E5D59D4B1CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63376a2201aa8e2c5d6486ca7583e1582bb133c2","datavalue":{"value":{"entity-type":"item","numeric-id":391971,"id":"Q391971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$F3CBC61F-83F2-4C05-9A6E-B4B6E71D06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$7C6BF113-7F7F-406B-9988-91732EFBD245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b59610e6ed7b20cfaa0af01a8e008b433bae930","datavalue":{"value":{"entity-type":"item","numeric-id":6635697,"id":"Q6635697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$D5883B26-1665-4438-96D2-9E430A1C3712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d151748803065a196de464de0f7c0aa1168e66","datavalue":{"value":{"entity-type":"item","numeric-id":6643087,"id":"Q6643087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$BC44116F-F7DC-4A59-B5EC-882572D2410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f7b663c911314ada274d10a53096762f3a7281","datavalue":{"value":{"entity-type":"item","numeric-id":4922905,"id":"Q4922905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$B5414127-9C27-4299-80B9-170BBBE1BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f936c6f9f2f5a2d15258d35a9ef657ac6aff1e60","datavalue":{"value":{"entity-type":"item","numeric-id":2307626,"id":"Q2307626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$3BE607A1-FA8E-41B3-BF2B-288A1C7C35EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7eb96f1719451d07a3b9625c6ea5659c14a625","datavalue":{"value":{"entity-type":"item","numeric-id":3085997,"id":"Q3085997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$A239E131-FD03-4318-B07F-81504ABABE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$5E34A03D-8597-4D55-89BB-7E5CFF7B08BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f67132c3e325bb455340c376f8022a97c3bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5015592,"id":"Q5015592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$67B1D207-58EE-49BF-95E3-2F4572D7D1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7064a22c90415e520d3e52fdecf6e8d313046b36","datavalue":{"value":{"entity-type":"item","numeric-id":2843342,"id":"Q2843342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$21675920-EDC3-4CEC-BF53-F8889AB9153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$D0E24B54-8D94-4BE0-A5C5-A9D8803C18FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28095059fd39fc38fafd86d02976e84180b8593f","datavalue":{"value":{"entity-type":"item","numeric-id":2118332,"id":"Q2118332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$2589DEDC-8FB3-41D2-A676-B4F0E5C079EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ab79554c0ac8a4b417aad372ff9378ed98075c","datavalue":{"value":{"entity-type":"item","numeric-id":2303246,"id":"Q2303246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$7516FB57-BE30-4D73-8076-2B8611B16B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$7DEF0AED-59B4-4C63-9D40-CCBA1E02F6FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"354b702604aa3bb0c0d122d59d1758f8c1b43821","datavalue":{"value":"10.1007/S11786-024-00594-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653668$CE707E65-0C31-478F-AE95-CD27F3D071A9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653668$DE4E5131-192B-4E65-A710-D20A7865992E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6653668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6653668"}}}}}