{"entities":{"Q5915639":{"pageid":8031647,"ns":120,"title":"Item:Q5915639","lastrevid":41186442,"modified":"2025-04-18T20:45:50Z","type":"item","id":"Q5915639","labels":{"en":{"language":"en","value":"An improvement of the algorithm of Hertli for the unique 3SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889922"}},"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":"Q5915639$72634160-249C-4781-8E24-4D55B7BEBA3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0815b1ba307b6f8c1f29c539cbdf57d11052a79","datavalue":{"value":{"text":"An improvement of the algorithm of Hertli for the unique 3SAT problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915639$78E437D1-2E9E-44E5-BCE3-A6FD3BF63391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fad5fa776e7d487337a2b7f05806ed7c3538e76b","datavalue":{"value":"1436.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$C1636B33-16F8-4ABD-A431-A83465F7CD51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"670e8a7b3c22865a7296094ae91b72aa398e1f7c","datavalue":{"value":"10.1007/978-3-319-75172-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$5B865FC2-F592-4FDD-8586-E3C1B6929DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d58c4265cb5692bd6dad5a92f3ecc1a54ee019d","datavalue":{"value":{"entity-type":"item","numeric-id":1641102,"id":"Q1641102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915639$4E15DF65-6240-4DAC-8C14-EE581A46BA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9977966a206c32ef4456e9d3d93668d79c9cf98","datavalue":{"value":{"entity-type":"item","numeric-id":354651,"id":"Q354651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915639$37F768FB-DF5B-44FC-9713-5C27966877E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"118620394eb650c0e6d85ac23085596c66fbf70a","datavalue":{"value":{"entity-type":"item","numeric-id":2803802,"id":"Q2803802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915639$1B2C463F-544E-4121-AE4F-69293E46C3D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16a246fdb3971248251b165b2ca17532d275c71d","datavalue":{"value":{"time":"+2018-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5915639$F7441503-49DA-4B75-8958-30C1C00C9BFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$609A367E-1EAC-42C3-AD3B-459462499ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$5BDEBBE9-DEF8-480E-A2E0-DBEA762B5497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$715019C2-AF53-40B1-9244-46E4A2063A68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb91838c12fbc8880c29b5924fa272b8de52e880","datavalue":{"value":"6889922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$C2063165-0809-432F-A203-02ED721D162C","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":"Q5915639$5D2DBC42-7E81-497B-AAAB-5D68848C7504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b799ed367421a180a1c144717d650de6d099b35","datavalue":{"value":"https://doi.org/10.1007/978-3-319-75172-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915639$30386DFA-74C1-4A3B-83CA-91E5324770A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aceafc6b02e8fff09990d2f776b7d9ec51ca522","datavalue":{"value":"W2999699336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915639$94C76F3A-57E2-4F41-9EC5-57A864B1B037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93beffee86f062f8cd71cca3e20cb1f0b29afbe9","datavalue":{"value":{"entity-type":"item","numeric-id":5919321,"id":"Q5919321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5915639$CC3665CC-3156-4164-A1A7-4B1011F9C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f5c710ed220ce32ff4ad2f00e20e5ef562e37","datavalue":{"value":{"entity-type":"item","numeric-id":3060723,"id":"Q3060723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9959dc02e3a994b88248f6f6caf924cd65f42cec","datavalue":{"value":{"amount":"+0.88773084","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":"Q5915639$AE9322D9-E826-4F1A-8163-C94D218E56E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fc0cac9ab2cdce4575e1e06cc6d66a21e2bc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82fc205952db87d1e033d1fd613c0863a8bad5d","datavalue":{"value":{"amount":"+0.88439184","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":"Q5915639$4D3B9818-F9C7-44CC-B70B-A08C0B668BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae55f03e91faa89c1513c51814ace5855e4afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c33fd220ebd680942541f29c7f92ac2dcc2f52d","datavalue":{"value":{"amount":"+0.8809786","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":"Q5915639$067302DD-D3C0-48D9-8DFE-6C556EDEEE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afd6883ea2bbb41e8bdd68b4a7fde30afcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd49fb778db950f8befc1aa0de8940aac9cfbfe","datavalue":{"value":{"amount":"+0.87473565","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":"Q5915639$33E10552-97B8-4698-9090-50BBE6B43349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276280e9d02017497fc2a9cb730164179a1a87f6","datavalue":{"value":{"entity-type":"item","numeric-id":2888310,"id":"Q2888310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc847034ed3be21966b701dbad149f9571fb25b3","datavalue":{"value":{"amount":"+0.8737142","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":"Q5915639$3B07BDDA-6251-49EA-BB8B-6765819B0ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6aaf19db5c42eb69da9ed998b7759e3b73df2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4914454,"id":"Q4914454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578a1c41a0ede93c8945aaccf1c1a4484600dfcb","datavalue":{"value":{"amount":"+0.8728177","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":"Q5915639$FEF1A721-B589-43A6-9C27-700F5F1CB0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73171f12d22dc48dfe4b0d93a7293e3c63b62650","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312565ae94e953f1712fe7ec17d6180165d1f71b","datavalue":{"value":{"amount":"+0.87158954","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":"Q5915639$AC56A6CB-09F8-4BB8-8182-A426CF734A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2338e0ea811058f2ddf97b5b954f98da12ef6f74","datavalue":{"value":{"entity-type":"item","numeric-id":3439130,"id":"Q3439130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9946e00e400636af72d1c98379b76424fb34a36f","datavalue":{"value":{"amount":"+0.8704035","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":"Q5915639$553310B0-474D-45CA-9A77-C2CEC9637A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb54a6a1764ebcc837f3b419cf9ac3d223eda8e","datavalue":{"value":{"entity-type":"item","numeric-id":2749863,"id":"Q2749863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f966649f7ac6da2cb24083104c2dcf5953f2debb","datavalue":{"value":{"amount":"+0.8647529","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":"Q5915639$63BD1B81-E7A0-4FAA-8EAD-CC56488B8DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5915639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5915639"}}}}}