{"entities":{"Q4400641":{"pageid":6430240,"ns":120,"title":"Item:Q4400641","lastrevid":40795284,"modified":"2025-04-04T18:00:31Z","type":"item","id":"Q4400641","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1182571"}},"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":"Q4400641$2397B618-E7C3-4028-89EA-1F1D53EE0E5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b645ad22cb2966edd620a9f9037d3f04a014691","datavalue":{"value":"0902.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$4D15F89C-164B-47DC-9743-B7CF6173E060","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":"Q4400641$222B28A6-DD23-4828-BECD-C87E130163CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d54e0210f32623b7fe1b28b048e86bc18ae9da5c","datavalue":{"value":{"time":"+1998-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4400641$E2A8C8C7-65DB-4F47-B447-44BF0D5A4E8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$438DB218-8B0F-4C0B-9A18-BB4C5FD3FBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$21D5F97A-1352-470E-88C7-1D27F514738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484a53c33fe728f641ff4837f23bb0a746ae21a1","datavalue":{"value":"91B06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$F1CADFC6-0A1F-4E7F-B81C-0C94F59CC96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$D59B385F-F6C6-41E9-A4DD-819DBAD5BA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$C0C266E1-EC53-4C40-8479-4750ED6CAA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30d6d0de101c6ff200d712a6d7e331bcba20c783","datavalue":{"value":"90B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$46F22176-67D2-43C0-9CC2-4062D9D29D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$7EF13211-8423-4C2C-A920-3A7318083506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$65085F8C-7614-4902-90E2-73BBF9E28AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$454CEFE1-2CFD-40D0-93A5-DB5B319A67CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$772E5055-663F-495C-BE2F-22BE87B9D0BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deb1c63565c40415024717bc9b1401b7c413279a","datavalue":{"value":"1182571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400641$46A4D8F1-871B-49F2-912A-2EF160675387","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400641$499228A3-DC00-4CEF-803F-D48109404D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400641$CBE4856D-382B-4B21-A7D3-2EFB05202E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400641$B95F89CF-162C-4690-88A1-07C5F7255118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d6971e005b6f4d22e5d988538f584446aa6da","datavalue":{"value":"satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400641$F8143BFE-0912-4B09-8E7B-E21B3A7B1B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e41ced4bca16387dc98e353f80c14fa8a5dff3","datavalue":{"value":"cluster computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400641$CE0F4819-12F8-42C5-8471-30BED4D78C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ee809271879d14872ff30ab7dddd7feab963af","datavalue":{"value":"efficient software tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400641$044A8871-D889-4DD8-B668-30675FF9804F","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":"Q4400641$A3ECEA1D-F778-4995-BB38-8F44C7DA0B8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdb66b8b7279614db584a247f7287b2a6f9eab2","datavalue":{"value":{"entity-type":"item","numeric-id":1961449,"id":"Q1961449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb04690d5d33a68189e22ae85e17baea04e2c1cb","datavalue":{"value":{"amount":"+0.98360026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$E871A7E3-94E7-4D57-8A86-38D562E647BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a6fcdbe59d6e1ee0f96c152bb2c22aa0866fd1","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6005dbe5910b2cf8ba9cb273b33fc5e69b2b7f43","datavalue":{"value":{"amount":"+0.8867358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$1C09ACBB-410A-422E-9552-357D52C88CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e4368b9a00e01cd5df71a108b573b0ce4cd0df","datavalue":{"value":{"entity-type":"item","numeric-id":750165,"id":"Q750165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457faa845a7c5d4bffde688b2efdc3eb7ecde30a","datavalue":{"value":{"amount":"+0.8865702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$0323BE55-7A55-4C64-9A12-3BBAC4CE8CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1f63b928faa2a3069ebe2e3a8ba479fbb41189","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aea4c5501cd44f4ff3f8fe20a738fa1c3f27054","datavalue":{"value":{"amount":"+0.88357925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$2CFC4F6F-E7A3-44B4-A854-D2018C3E4360","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":"a8dd1cedb7fa87b1da3a70f953c53d369e72e322","datavalue":{"value":{"amount":"+0.8734765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$B72D01A4-23B8-4C6B-BF7F-8F4628FF2D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267852268ef92e7f3e3d9e8057a1589c67641d67","datavalue":{"value":{"entity-type":"item","numeric-id":4263798,"id":"Q4263798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998d7181e8c9b1b06441214419b1ef05adcce33c","datavalue":{"value":{"amount":"+0.86934644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$8D96AD46-A4D6-48B1-BF73-EC9A4710D60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6400c26e578958bb95c35e04a72a8bbf6c9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4375768,"id":"Q4375768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9430a7321d719a4fdc85b4b9da2994cf8a9702c8","datavalue":{"value":{"amount":"+0.86903334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$363C312C-5AB7-4242-87CD-2AA4EE98C037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e2d69121d2f15f6ed4ffe1858482cc331a96c0","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d04fff006b3c0a02d5694f598e1ff607f92162","datavalue":{"value":{"amount":"+0.86885965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$812194D8-AD92-4AAF-B1F8-C6A18210C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb99da77c4cad897c30658ec35cd00f2752b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2487388,"id":"Q2487388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18469eb894b288e5f2158b589c7fbea82fc6c77","datavalue":{"value":{"amount":"+0.8642206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4400641$C04E0C4C-AD9A-493F-9BD2-844182C0866B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4400641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4400641"}}}}}