{"entities":{"Q3785962":{"pageid":5815868,"ns":120,"title":"Item:Q3785962","lastrevid":52542830,"modified":"2026-01-22T22:25:22Z","type":"item","id":"Q3785962","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049072"}},"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":"Q3785962$CFC37F27-0122-4497-B19A-F73E0121A7FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2880f78456f3a5d075f1b70b8b98f981b7906b2e","datavalue":{"value":"0643.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785962$06DCEFD1-7CC5-4795-9BC0-451C5C446E1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3785962$553AEBB8-AF9E-4818-9FF7-B7E2DA259009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785962$86F9EFBF-2BCC-4F91-BF4F-4CD14DC4474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785962$3256F246-FC27-42A4-AC3D-1F925953B5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785962$AD0CFBEC-586E-4B10-8A74-2407AFC22D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785962$8ED094AF-0719-4E74-8C75-37EA38A7D872","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4feac37a2023541a306cfc18727bf41f4049cca","datavalue":{"value":"4049072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785962$530127C7-EDC2-4112-AA35-D3DBF2F8CF72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785962$CD21BA2B-1385-4BFA-BB51-03357A776B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a13a84693a4c61cc859f6921b1d6b84ccfc6724f","datavalue":{"value":"CNF Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785962$2188C0CA-F256-4AB2-B6B6-7F83402CD01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785962$BCFF0332-F235-476C-90BC-3D61CF9391EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785962$5C4DF1E2-BAE5-4444-8446-80EC22B8BAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785962$0D2070BE-E3A7-4399-8DAA-6ED0613A052E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a21800a31795763583b54b40324d17bf6c6658","datavalue":{"value":{"entity-type":"item","numeric-id":261377,"id":"Q261377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785962$C0B8A28E-24DA-4428-AA60-C65D194D5CB5","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":"Q3785962$35F52C19-0142-4208-B736-BC458A3F28A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19cd0537ada4fa42e2bdd7d601b6dd90a0afc84","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439330949a7859be218230f502ef73a1910b720a","datavalue":{"value":{"amount":"+0.7924557328224182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3785962$018D4F2D-94F4-43B9-B8CF-A9C2C5B977ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8088552b87510fe2acef410d0e0f6472e7310dc","datavalue":{"value":{"amount":"+0.7641128301620483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3785962$D8B56594-CFAD-48F1-BEE5-7B01D5FB983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68eb549478e330037cdc38e8233efba2c9840afa","datavalue":{"value":{"entity-type":"item","numeric-id":2749860,"id":"Q2749860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60afc174082018a2d4e49d62fa2dd6f9988d714","datavalue":{"value":{"amount":"+0.7624564170837402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3785962$0E6030C0-CEA4-4F50-A431-A85DC5BC7BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5ae6243e6aa47481ebe76a21d9558d7cccf278","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbd9833e7d7dca65a5d9e796ac45c66f1d43f7f","datavalue":{"value":{"amount":"+0.7521172165870667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3785962$CB7A57EF-24D4-4635-B715-D619D0BF08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d851202d6da31bb5b9a6d042321431933b6a0d","datavalue":{"value":{"entity-type":"item","numeric-id":1744433,"id":"Q1744433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155800adec99e8ec343c8e3e2acbc938db5d5e70","datavalue":{"value":{"amount":"+0.7451496124267578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3785962$B96CABA6-0D53-4B00-BD1C-7BAF470E153E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3785962","badges":[]}}}}}