{"entities":{"Q3113771":{"pageid":3124487,"ns":120,"title":"Item:Q3113771","lastrevid":45468073,"modified":"2025-12-08T23:23:21Z","type":"item","id":"Q3113771","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999718"}},"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":"Q3113771$67AE4B26-3A15-4383-985F-0C57C658EB3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"876a42f329e4468ac1474814eea8b4a18659f397","datavalue":{"value":"1230.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$24F9297C-3502-4D24-B52E-B058B0F7B5B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113771$7DF79EB9-489E-46E5-97EA-AAB6B1D64515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113771$EFD20366-DB18-4BC0-B37A-CA3759255EA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113771$67D1501C-7490-40B7-A42F-69095FC538D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47c831fe20bf173a501410c0fb27d3135b7429b3","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_db17.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113771$638B369A-963C-427D-A78F-D91BC83BE9F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$E2F22738-F7BB-4C0D-9F85-B3DDE472ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$B0A1F257-4E12-48E4-BA0D-FFDBF9C0F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$22F02EE4-DBA0-4DC0-B6B3-C1CE9EC88928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$EA469931-B5E2-4622-A65F-6B9E82AABC3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2116fbb5bff145200da2ff20bf343a2b9ea53784","datavalue":{"value":"5999718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$C41F1B7E-0D13-4F80-9434-FCDE364EAF6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113771$BFBA11B4-1C9E-4A49-AB6C-D3AEC0312723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc00012563a75ed0c7975e9c32d5f2d16f0982e3","datavalue":{"value":"optimal algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113771$8CBE039D-1A6C-417E-BA8D-C3BBAB07003A","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":"Q3113771$B5FEA709-1AA8-4EE2-8869-B857AA26CF80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8cf6b891b22883f532973811cfb3c56609a75ff","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113771$0DEE0AEE-3E37-4360-88B5-8B9424B1D988","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd68d4c74e9d0444c76da885581008541b58b180","datavalue":{"value":{"entity-type":"item","numeric-id":2934878,"id":"Q2934878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c90e31313d8bf9b3550d8d393b1263f8b0a0d75","datavalue":{"value":{"amount":"+0.8919619","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":"Q3113771$BEF4BDC9-29C2-4B72-8827-BEEF987F18DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d955fbc5bcfe0ee80161e68de4db1cb7457cc7","datavalue":{"value":{"entity-type":"item","numeric-id":5201302,"id":"Q5201302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c935aa6acea126ccace6387e0f76ee22c3a66149","datavalue":{"value":{"amount":"+0.8834979","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":"Q3113771$B8660639-9305-444C-AA68-7D4386E3D735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1018e4305d1f7805c1760e3db7749c14f5f93e","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23162a16133c2d8d4fca20aadfdcbb172f31ca9","datavalue":{"value":{"amount":"+0.8807236","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":"Q3113771$77556F62-6CFB-412D-B93A-F34AAA330130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7eedb9b53f6ec53c1bba88a2b0dde158b7cb80","datavalue":{"value":{"entity-type":"item","numeric-id":3104640,"id":"Q3104640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10120caacb92dc6b741110cb7127bd1b3ff46ea","datavalue":{"value":{"amount":"+0.8718277","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":"Q3113771$F4DC61AA-AA5C-44F6-8E5D-4A60A02EBBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec02f470ec5869f60f8b7b20ca63162245b22477","datavalue":{"value":{"entity-type":"item","numeric-id":4205241,"id":"Q4205241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d2e4cc9d6185207388e398f5b6ff5c3411cf0f","datavalue":{"value":{"amount":"+0.87116337","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":"Q3113771$4B33431C-7814-49EF-8CBD-09400A683DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19240ba3eb280e2e7b7e897f0a0fd9ab3c975d95","datavalue":{"value":{"entity-type":"item","numeric-id":1361073,"id":"Q1361073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750bb3b4803d7e57a9e733312aaa6980f84bd174","datavalue":{"value":{"amount":"+0.86702394","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":"Q3113771$FD841D81-6583-4A3D-A206-037B7FA988FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71a9c4b35d7b6a68bd039dbc67d0e2884e37718","datavalue":{"value":{"entity-type":"item","numeric-id":1344618,"id":"Q1344618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6e093bfd15abebd609df97b88979aab4456d9f","datavalue":{"value":{"amount":"+0.86645234","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":"Q3113771$0BD1165C-E215-4E8B-BEA7-350BB201316E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e39d8f35d9f7579acaabe43c224551ec6b6bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1260656,"id":"Q1260656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee6afea35222e9c6be75bb3d99218f0e38e752c","datavalue":{"value":{"amount":"+0.86613417","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":"Q3113771$F3FBC0BA-BF0E-4999-9B25-D8148B7DCE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaca03ab4be50289954d5cb84e57100972ca3a3","datavalue":{"value":{"entity-type":"item","numeric-id":2483198,"id":"Q2483198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68496dd15701bce4c5f43090023445567a69eab7","datavalue":{"value":{"amount":"+0.8656762","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":"Q3113771$D060F790-A9F7-419D-BFFE-11E46BA4B66C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3113771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3113771"}}}}}