{"entities":{"Q4286227":{"pageid":6315828,"ns":120,"title":"Item:Q4286227","lastrevid":41257092,"modified":"2025-04-25T10:38:59Z","type":"item","id":"Q4286227","labels":{"en":{"language":"en","value":"A Complexity Index for Satisfiability Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540345"}},"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":"Q4286227$DC31F46F-7F74-43A5-BCD0-A27085C48F5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8be23fa23cc358fc8429ea6f0c293791de53e4d7","datavalue":{"value":{"text":"A Complexity Index for Satisfiability Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286227$3A8EE1DC-655E-422A-97F1-D1023EAEF44C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"363179f8070b891a186780c686854752eccf24c6","datavalue":{"value":"0793.90038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$5AE013C1-D696-4271-9E15-BC3DD391677B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1fda0a44208e7f1ee4a40d1405d94b6658b2ed7","datavalue":{"value":"10.1137/S0097539792228629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$9DF4079E-7CFB-4C05-9734-B68585E13A35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286227$D3E969B3-1834-46AB-A660-225477DC6CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286227$2AD757B7-28A3-4CB0-BFFA-1E585E6CD928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f0097808e0ebdfd3bc5250e1c6d60df9ca6cc","datavalue":{"value":{"entity-type":"item","numeric-id":1278721,"id":"Q1278721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286227$2D1E071F-452B-4E26-9D8D-09F7E825BA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f09421b6aff8e8d7720ab7e9d35f10a9deb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":1112076,"id":"Q1112076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286227$7069D17C-49A6-473D-9E1C-658F46C24D53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286227$D6A42A43-B9D9-411A-80BB-F88B3C93C76B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64a5597878452508c38f77062c2f388a61f673bf","datavalue":{"value":{"time":"+1994-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4286227$D55ED9F3-E806-478A-87A8-1E857056444B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$BD232910-55CC-4586-85D9-00C9A366221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$E3D8523F-F9AC-4833-83FF-171CEF9BE80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$40DAE60A-02D6-46BC-A38D-6475B80DEE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$C3915ED7-A506-4C2E-A262-EA9DC53E276E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc923591b14f559cb2f1864063b609b6997b568","datavalue":{"value":"540345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$1AE9DBA9-E64E-4E7D-884A-7E0B3CB42874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d19d4c43b54c850c0e7b873f523866d352b6c","datavalue":{"value":"polynomial algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286227$41B7F5C3-BAAE-4FD7-937C-09FEA5E0C874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2084cc29e670eea4c95dc6235db08eceb1eb8c","datavalue":{"value":"NP completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286227$EB5B973B-E768-49F0-BA28-703BC1B7CEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286227$FF043A3C-FF9A-4F45-874F-769CADC696B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286227$249B8FFA-2559-4414-9F79-3C560172FF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286227$0EA93E75-2361-4E3E-9231-B60B4406781C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"511742cebf072705a64f39dd826df06400ac77cf","datavalue":{"value":"Q59560955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$1A198DD6-72DB-4B7A-83FD-A36AB0ACF950","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":"Q4286227$0364A8BA-35E1-465A-AA91-7206D859A47D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e7d834ca2b496ecdd46845371a51be5d59c4e6f","datavalue":{"value":"https://doi.org/10.1137/s0097539792228629","type":"string"},"datatype":"url"},"type":"statement","id":"Q4286227$AC9C8638-1595-40FA-BE11-4E8E6257E198","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"969a33201455b726693d57a776b353ad579bce69","datavalue":{"value":"W1965913970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286227$FD61ED12-74B9-417A-9383-B377898E9259","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abf1f40da200fb68e14bdb452ffe6f7ca3349b5","datavalue":{"value":{"amount":"+0.93602884","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":"Q4286227$C9AA04D6-9CC9-4A8C-93F3-0BA4B271D56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a09c459d96a7565520e3756dc6fab8c65113996","datavalue":{"value":{"entity-type":"item","numeric-id":2675271,"id":"Q2675271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ae9f3ceb6962b8eca904aa809028b7950d5b9c","datavalue":{"value":{"amount":"+0.8982766","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":"Q4286227$E578AAF0-DD46-4F01-8304-60FC1412A7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc2f8f9083d48dd0d065da9b9a732f9d5eeb965","datavalue":{"value":{"entity-type":"item","numeric-id":5425380,"id":"Q5425380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b75acb525bc8cb51fe9858ed6801c8768494de","datavalue":{"value":{"amount":"+0.896853","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":"Q4286227$120842C9-4EC4-4581-B5C6-C67B279F8421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca811bd079d4bfe6c8aae75f90cf6eba538d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c28305b4be8050d069a7593eebdb68ea482184d","datavalue":{"value":{"amount":"+0.8966433","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":"Q4286227$61B73464-5D05-49D1-9D27-983B98CBD49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4539bb494f60cbf36517b28cd66a6beed54a2878","datavalue":{"value":{"amount":"+0.89610136","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":"Q4286227$F05764C7-C6E1-4F9B-BB5F-DEFDD46A6D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fda2a6f8fe8b744fa34dcb1c77a9ba67ecd8067","datavalue":{"value":{"entity-type":"item","numeric-id":2762521,"id":"Q2762521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4539bb494f60cbf36517b28cd66a6beed54a2878","datavalue":{"value":{"amount":"+0.89610136","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":"Q4286227$808862F3-B6F8-4AAA-9297-41484E2ABCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67297e391cbc9eb9061939eb6c621316d9c35a44","datavalue":{"value":{"entity-type":"item","numeric-id":5492848,"id":"Q5492848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deec945f69b4a14eabbb0ea37de44ff3d1c895cd","datavalue":{"value":{"amount":"+0.89474285","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":"Q4286227$78C7829E-1DB9-438D-8DEE-A33A2C780913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4309a469efbeabd756e15f7b68c54262bdaab7ef","datavalue":{"value":{"entity-type":"item","numeric-id":1015812,"id":"Q1015812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deec945f69b4a14eabbb0ea37de44ff3d1c895cd","datavalue":{"value":{"amount":"+0.89474285","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":"Q4286227$8DD3A0F1-B796-44BE-9AC2-3826CA028D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ecd180d3ecfe2479f28bacb1691fc838b4b97e","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d423e564512d1f483780de7da2562ccf41565d6c","datavalue":{"value":{"amount":"+0.89152294","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":"Q4286227$7D15C8B6-6A72-49D8-AB44-858DAA27EFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781f56dc9b9b2320d5e3e0abea9800680e601f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5309685,"id":"Q5309685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66bce90c804fa5d6696527085e04a0ef3db8bbb","datavalue":{"value":{"amount":"+0.88831276","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":"Q4286227$E8944F3D-C176-4777-BF7B-6C31F3497D27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4286227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4286227"}}}}}