{"entities":{"Q4228441":{"pageid":6258042,"ns":120,"title":"Item:Q4228441","lastrevid":41258187,"modified":"2025-04-25T13:43:51Z","type":"item","id":"Q4228441","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1256705"}},"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":"Q4228441$57586D6C-529C-4F13-9350-E30EFF9D16E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b3a01dbfaf88cf4207b01ce34567fff5b5616e2","datavalue":{"value":"0925.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228441$1159B274-15A7-48B6-B3F7-C588A48C674B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa9a170b566faa650496c61eaa134019d05c6a23","datavalue":{"value":{"entity-type":"item","numeric-id":203960,"id":"Q203960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228441$C414EBA3-74DF-4822-8936-64A3688379F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"feb07495fa8de76912d587852b3aa20404b344f1","datavalue":{"value":{"entity-type":"item","numeric-id":163019,"id":"Q163019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228441$5262C4DA-1624-499B-9380-F92BBFCD5D87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c4ed94ad9b6377ad1d5884517abdb77a636e205","datavalue":{"value":{"time":"+1999-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4228441$E4C666DF-1519-4970-8485-C188A88558E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228441$3E441290-C29F-4661-BD39-E558C7C0064D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228441$6500C57E-A186-4F56-AAB7-0F7042116CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228441$0759C895-F618-441D-9BA4-D9D17FBECA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228441$31C147FA-1A10-4306-8B49-CF5F17F59964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2d529b0ebbaffe689ca430119dc9f428548dadf","datavalue":{"value":"1256705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228441$6278FD4F-4CB4-41DE-B711-80549A844C47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228441$B97BDE11-3335-4B4D-AB92-8B8164BD7E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25954f00d54571148357aa94a9ba0f5432bcb033","datavalue":{"value":"integer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228441$76A064F1-2584-4E04-A80A-A27726DEE356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001223a6be5c86400255139a7b2035b254737602","datavalue":{"value":"balanced sets of clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228441$9B4224F6-D120-4087-B558-9FACCC9C20DA","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":"Q4228441$2A1E6242-78EE-47C4-A508-273AB3AE2D20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e0152219527f8655138b2999ee64756270bc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4369892,"id":"Q4369892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$7FC0303A-2525-46EB-B374-41E310B3C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4422e0cfddc96cfe35c460c64e4e8dd11d47ea","datavalue":{"value":{"entity-type":"item","numeric-id":2540177,"id":"Q2540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab833bad5c9182317ef5689822307dc46f16019","datavalue":{"value":{"amount":"+0.9086189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$2F2A258D-AE15-4367-AB6C-86356E7A853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f821daa41982a3f2fb31765318058542d5833fe","datavalue":{"value":{"amount":"+0.8909768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$D6B8BCEC-2ACB-4EE0-B30D-AE0B08F39DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5181653640d40c17597bbc5114109377a3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1278588,"id":"Q1278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1240c09c8e2f3e1d607f8efed033aec04af11183","datavalue":{"value":{"amount":"+0.8858422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$B34733E8-E5D4-480B-88A0-1A4734B03963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd2d2305741807fcd957c6d5ff9562d76a47fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1193860,"id":"Q1193860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1959c92e332cb3633abd89f8662ca11ec5029e5a","datavalue":{"value":{"amount":"+0.88281083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$0179AF95-E00A-4400-ADF0-A9EA0FF76AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5182dd650ac83bd21ea8c81116628ca9581f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":999171,"id":"Q999171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fc68eea2efe3c91446f2f4b17c69b7bf3240e1","datavalue":{"value":{"amount":"+0.8792046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$61709283-FFDC-4A77-B428-460F2A2565D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73637c67d9491905ee748d51bc481e4bc8066af4","datavalue":{"value":{"entity-type":"item","numeric-id":5504702,"id":"Q5504702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ee44b6e1e5340c731f3ebd0699230afb51ba40","datavalue":{"value":{"amount":"+0.8776822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$7AA444C3-D453-4909-B033-782E5F5AD20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c667834e78b5c36a5fcb85623af15d281dfdafe2","datavalue":{"value":{"entity-type":"item","numeric-id":4634397,"id":"Q4634397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dae1a29124c28efe25a7aa549777c4a6e1a361","datavalue":{"value":{"amount":"+0.87695575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$B9D3C4A3-EA83-4F44-A438-8FAA517CC3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2904a442e56ed89ed8982dc35fb388ac19d2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1119469,"id":"Q1119469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bc6045bae1210d1a32187ef5c82c64b56d3921","datavalue":{"value":{"amount":"+0.876318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4228441$D328C4F7-9804-42EA-B576-8041FB1A24A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4228441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4228441"}}}}}