{"entities":{"Q5875713":{"pageid":7905264,"ns":120,"title":"Item:Q5875713","lastrevid":41139431,"modified":"2025-04-18T11:34:02Z","type":"item","id":"Q5875713","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650367"}},"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":"Q5875713$A4DE9110-7A1C-4E71-823B-0213192E4A73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ad939de1e2bbfd37050decb2e7da2bf3f7bf2c","datavalue":{"value":{"entity-type":"item","numeric-id":2029774,"id":"Q2029774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875713$E556361E-7C39-463D-915C-F34245A05169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875713$7089EE00-D077-47B5-8AFC-165A5CB82C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875713$C5A7C691-A9C0-46B0-BD1E-1CDC90307F04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875713$442E534B-D6E3-40E3-B8A2-74F25D8EFE73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5f0286d7deae2b664af9f7f4d2b7cc43c4088e","datavalue":{"value":"7650367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875713$8A5F3ECB-579D-452B-895D-1391B4EEA08F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875713$4148BF47-C898-492E-9F94-EF09BBB50CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128754c31d4ea4098dcbe9e59c42b30654b99041","datavalue":{"value":"concrete lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875713$C9FBE1AA-C2B8-451F-8A37-D4A717B84C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875713$57221F5B-A287-4160-B3F4-06AB4DAC6D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875713$BDCE7720-5326-43F2-9AB2-C8C332EA8486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875713$AB10E114-9A89-4D19-81A9-A39042974E93","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":"Q5875713$CA60B6D8-7326-47F0-AB75-1B2E97450CCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4968d1f6bd4b3a9f39943a50d04dafd958cc3fea","datavalue":{"value":"10.4230/LIPICS.ITCS.2020.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875713$9627D819-B120-4A5D-83FE-262B43972118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267d6c8c457b8b4dd623d5e4775f96b5f45a6096","datavalue":{"value":{"entity-type":"item","numeric-id":2029775,"id":"Q2029775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","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":"Q5875713$A1B1B0E6-83AB-40D3-946A-485A75239E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70943fc0e01de2a98c788a47048ccd383baf6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2996160,"id":"Q2996160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549553f7c81a0776792af54e3f5c4a6a64450753","datavalue":{"value":{"amount":"+0.8631153","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":"Q5875713$ACC3F20E-D72B-4254-8515-1D47FA50B54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d69756fc09f459650ace83cf1b6a22986849f9","datavalue":{"value":{"entity-type":"item","numeric-id":2386352,"id":"Q2386352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2517740d25ddba2311e147902d4171fa5c1143","datavalue":{"value":{"amount":"+0.8562063","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":"Q5875713$A2B1AD54-CB03-4A8A-85E3-98CFF7A98B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33796a6906fd66794fcaa18e20c9ae9d4a4cf4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4699289,"id":"Q4699289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0164914a5d201e18c55c5caaa313c3dc8e5e3bf9","datavalue":{"value":{"amount":"+0.8532811","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":"Q5875713$18BB0F69-DB21-4FD0-993B-B8997638A013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ce4b0cdbdbeda11765527c05f2fa4cffbc2c92","datavalue":{"value":{"entity-type":"item","numeric-id":915457,"id":"Q915457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88331fb20a9f805181bb93c4c81d7d38403ddb1","datavalue":{"value":{"amount":"+0.8488146","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":"Q5875713$827845EC-7B46-4347-AE62-876342B98F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80adba55132ad81c69da414cbebaa257ccfb28de","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89fc10530058535f35438c1840d4e12d1542a0fc","datavalue":{"value":{"amount":"+0.84810245","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":"Q5875713$BC1C82DD-D3F9-4743-B081-AB9FBE159E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59752da88145c75c4fd226da5fdcd4020cd3008","datavalue":{"value":{"entity-type":"item","numeric-id":5015597,"id":"Q5015597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f149563d5a3c6b335c93e5a39ff6beb16f8fa3ba","datavalue":{"value":{"amount":"+0.8456049","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":"Q5875713$0F3CC80D-9ED6-4152-898A-76F78D194066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5458e81dd6d4bff6ccf391af71e98274ecaa7080","datavalue":{"value":{"entity-type":"item","numeric-id":436623,"id":"Q436623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b197e1410a9bdcee5b823332bdb33a2d4d93d990","datavalue":{"value":{"amount":"+0.84449637","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":"Q5875713$EF75EFCE-017C-41D1-A173-0C943D188000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228cdb1129359a07bee9efe732fbc38f86d1d646","datavalue":{"value":{"entity-type":"item","numeric-id":1885907,"id":"Q1885907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4fde1be6cf7a56718560853396ecc0e2345a6e","datavalue":{"value":{"amount":"+0.84205604","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":"Q5875713$580B1B03-0D44-497D-8809-2E0A865D0CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c460ab9452cab48d0b8b3d1092c71e9ba657a1","datavalue":{"value":{"entity-type":"item","numeric-id":4708587,"id":"Q4708587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73199da2723f892094eea97488255b985261d98d","datavalue":{"value":{"amount":"+0.84057534","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":"Q5875713$C2A77BDE-92A7-4248-9767-7C66999EEF4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875713"}}}}}