{"entities":{"Q4375757":{"pageid":6405356,"ns":120,"title":"Item:Q4375757","lastrevid":47000703,"modified":"2025-12-26T00:48:31Z","type":"item","id":"Q4375757","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1113992"}},"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":"Q4375757$E5B9A366-99BB-435B-82D8-59D2F3D1F265","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"269e4c25265167a13094e14507136d81c0716056","datavalue":{"value":"0945.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$0CE87171-E11E-48C5-80DB-C1AB4E1173D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"673d424cd32a8922373044d7504d72be64f351fa","datavalue":{"value":{"entity-type":"item","numeric-id":192391,"id":"Q192391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$E718C74D-937B-4C4B-A9EF-488ED76FEA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ee08d0becda9e1f06a72179bfc8bc9b783d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1095676,"id":"Q1095676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$09D22367-D410-42F6-9B98-12ABC81CE8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$FBA3158D-778B-4525-9D51-BD56FBB6CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dd938ef4693752d42ef6313d94bd33a02dcd6b","datavalue":{"value":{"entity-type":"item","numeric-id":1310958,"id":"Q1310958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$FCAAB4DF-F7F9-4889-AF7E-DC0815E1C439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41bd464af959f1d39dcdde9372100cb844fa6305","datavalue":{"value":{"time":"+1998-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375757$D0FC92B3-2625-4A44-A135-1024F3D0DFFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$F85712F7-F030-40B9-B48F-859859CCEBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$6497A7DA-1A78-4F19-98C1-596CBFDAD6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$01E43B2F-73CD-49DC-9FE6-75F4C9F0BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$270AE189-BE40-4AE0-8DD2-5D9B3E9F9AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$CE22D0C9-E6EE-4BE0-83AB-0C758795BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$F6C3EE1D-6DE0-4660-BEAD-654F95BCA875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$5E297FD1-2AB2-4A8C-A5F7-C0F053AD57F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$EAB597F0-244A-40E0-B521-4EF7EDFFAC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$B8F8D244-8CCD-494A-BEE7-EB13074217AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$18F93847-344A-4DD9-9371-184FC4761F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$0B529586-A276-471A-8736-B89ADE31224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$307091FB-EEC3-4C3E-8F6C-448EAC7C7C22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f015b0ca8cb9d878df019d5046eddf4a6529e67a","datavalue":{"value":"1113992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375757$B370A08F-6E41-42EB-A737-94DDAFB511BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375757$608B4523-6885-4B06-916C-CD48093FD961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375757$51539774-4FCF-4BF0-8ED5-CAF39DE138C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"695684f750db206d65145b75cf4dc96ce0896c94","datavalue":{"value":"algorithm space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375757$754D70E9-29B7-466E-8D3F-D04FCA70571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93075c113c514ec5cfef089f598511d50a0c8524","datavalue":{"value":"SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375757$C4FB3BAC-79F4-4E76-B17C-3C1E001E308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375757$0ECB15B7-5DC7-4664-9BB0-AE9F803C3B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f592d7bed518f99840d79c67ef61c94a1b34758","datavalue":{"value":"practical applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375757$E86AFF24-E28A-44F4-AFB0-73FF1C8B47F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d77388685dafeb3e1aecced428ed52d145d6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":16875,"id":"Q16875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$0453CA63-7E7B-48A9-A49B-4F82EF91198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$94A2B373-94A5-4382-890C-30378B062B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c842cca836f9f4a528cf39cb8927d0b61177e41","datavalue":{"value":{"entity-type":"item","numeric-id":17235,"id":"Q17235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375757$9B92E38B-AF73-471B-A39A-73F280E27F2F","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":"Q4375757$B76AB7E0-A17B-4FD9-8D77-99ECF686290C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a71ce650c3de325715671655c3150efe35c207","datavalue":{"value":{"amount":"+0.8638458847999573","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":"Q4375757$B9A36F85-8E4D-4351-AFDC-2CDD62D5C956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ed52fe6ddba933346ec54825813cd95560d8c6","datavalue":{"value":{"amount":"+0.8628677129745483","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":"Q4375757$B4B63694-E39A-4700-9A7D-7CC21280ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e86275cb310befcc18de5991c3b223f3099a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c282267be0a0071657b5370413fe0feefe9864","datavalue":{"value":{"amount":"+0.8373595476150513","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":"Q4375757$0A977923-33AB-421F-8E8B-0D4B15F623B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d595d09144344bedea9a710fdc0e0305834b593","datavalue":{"value":{"amount":"+0.8120331764221191","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":"Q4375757$4F4109B1-3DC0-4497-BE85-BD6BE02E87B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2d2408e892f534f2a42a98cf382c67117bc90b","datavalue":{"value":{"amount":"+0.8031160831451416","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":"Q4375757$081AAFB1-953C-4F94-900C-66FC28F0B1B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375757"}}}}}