{"entities":{"Q3781729":{"pageid":5811635,"ns":120,"title":"Item:Q3781729","lastrevid":52507298,"modified":"2026-01-22T20:18:30Z","type":"item","id":"Q3781729","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043809"}},"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":"Q3781729$BDD6E8D1-649B-459F-BE22-F0D572583CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"137e73eaa502bb87bf4b330e7486d4a3dc3f8cac","datavalue":{"value":"0641.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781729$AC2D68DD-5235-4728-A79E-B6FA13E04CC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71caeb54bf51d31ee185a2efd9ae818ad74b605a","datavalue":{"value":{"entity-type":"item","numeric-id":3781728,"id":"Q3781728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781729$4ECBBDA1-E2BF-4C52-A1AF-F59F35A1F29F","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":"Q3781729$FC496E6A-437F-48DB-8219-27EC9AD06308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781729$B3778F77-4FD6-411B-B985-D6A0902A293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781729$F0CD7739-E107-4F6F-9037-75E48FF87CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781729$C1EF70C2-7857-44B2-BDFC-5F30238C0170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"745118bfa5e3f14cd4f5dcfca43a07999626d883","datavalue":{"value":"4043809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781729$CD3A4CE2-4317-4590-BDD1-562967A15C00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f82ed2626d61b6cfc49abb239f76db96a729744","datavalue":{"value":"Maslov's iterative method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781729$3564D36B-FA6E-4D9C-A567-E0EBD83BF211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aaf3e75ce331ee4c76f73828f85958d287de116","datavalue":{"value":"satisfying valuations of Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781729$9BB90966-274E-44D5-8E3D-996875C8F599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d253139cfaceeca181204e63ee87667f77775b","datavalue":{"value":"2- conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781729$7BEE3955-68B1-4A2B-9FD4-E1F0D00730F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"956b5338cafa302061b4a95b98cd1e6d97dcef0d","datavalue":{"value":"convergence rate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781729$8E955F90-1D62-4CC9-B99F-BF6F94670F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"365f80fd1da1a45cd0da5bb092e160ffa41d09e8","datavalue":{"value":"Horn 3-conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781729$D798D64D-D375-44CB-ABD3-202D8F1153EC","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":"Q3781729$689AEA27-608D-4C9C-BD32-AD12644E4A8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05903242d34f63c5be64338e2a34d8afd1d5e33","datavalue":{"value":{"entity-type":"item","numeric-id":3781726,"id":"Q3781726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ff11662e6f8c3be3c07cf7ba1b3f1c06b77c2d","datavalue":{"value":{"amount":"+0.856745719909668","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":"Q3781729$3C676B7B-BF17-426B-8C45-A85B8030FD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d6aa5ae83aebc9464e936f78ab867c4c6a7b22","datavalue":{"value":{"entity-type":"item","numeric-id":3781727,"id":"Q3781727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781befbd6877e9817b74447e72ea0c1b369002bb","datavalue":{"value":{"amount":"+0.8215800523757935","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":"Q3781729$186F7822-657E-405D-B7B5-9663E0A9BFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d01848f1e206840e7b6d19bc75df2afa0bdcb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4209096,"id":"Q4209096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8715b9c412601c0ae28682b18c8407b1f191ab23","datavalue":{"value":{"amount":"+0.7934901714324951","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":"Q3781729$E0FB3EF6-1AD0-48AE-838A-0B01DB7CCCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e9ef8302e2f7805ba8d7f70bbbf4b5dc248e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4263163,"id":"Q4263163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c3f44b99cfee1d3124d120e7e515608fcb6e5e","datavalue":{"value":{"amount":"+0.7899348139762878","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":"Q3781729$BB324773-B5BA-43BE-A07D-7ABDD5AA73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bdb2b5dcfb6c3e00fa92e272484fe347ac0ed","datavalue":{"value":{"entity-type":"item","numeric-id":4209084,"id":"Q4209084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ac31d7f9b1f08a6b8ad3c43c64a560a7c1df4d","datavalue":{"value":{"amount":"+0.7049281001091003","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":"Q3781729$D1CB46FE-F9B6-4540-9ECE-FEA17F55471D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3781729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3781729"}}}}}