{"entities":{"Q1425331":{"pageid":1436071,"ns":120,"title":"Item:Q1425331","lastrevid":48256327,"modified":"2026-01-04T03:32:43Z","type":"item","id":"Q1425331","labels":{"en":{"language":"en","value":"Some variants of SAT and their properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2058135"}},"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":"Q1425331$78864C7D-9E50-4B6A-99D9-A2C33B1FB275","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"effff357ab78e5a405e0b60e603775d7d17ba7a1","datavalue":{"value":{"text":"Some variants of SAT and their properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1425331$01286BFD-CFA2-41E1-82AD-89C3BF2F0824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff2f395a5de6676b259813563808560042adada7","datavalue":{"value":"1070.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425331$A0C7629F-2187-4BC5-B45F-5F919297A3D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4968910fbe7fb43c109cef9c3a95c46d64d9c8","datavalue":{"value":{"entity-type":"item","numeric-id":271591,"id":"Q271591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425331$A7351468-5368-48C0-B68A-6DC942C4022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"562fd1ac726e6d7b200e56d2ebb49ca5c2702596","datavalue":{"value":{"entity-type":"item","numeric-id":214617,"id":"Q214617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425331$DB26ECD7-96EB-4E81-9201-532AC7BB36CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5cca04c8ee62fe50f03a25f0a32af477a0360c7b","datavalue":{"value":{"entity-type":"item","numeric-id":815650,"id":"Q815650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425331$14C6357A-5EE8-4A61-83E9-EA1C0EA722A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ccf36ca74fb1d72f815bc33a355c05e104e31fb","datavalue":{"value":{"time":"+2004-03-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":"Q1425331$6F67356D-E6F7-4E49-A3D3-403897F1C4AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425331$CC890BE4-7B5D-4B91-80C3-C20D6275FF4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fdaae5410fadc82d807e0a676215d2a766a33ec","datavalue":{"value":"2058135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425331$0CE1AB75-D7C1-4985-8161-D639265D4FE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a11d9b5960dab1a8ba1a16c75d5b309089d1d64","datavalue":{"value":"Karp-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425331$1835B7DB-098B-4CD8-B22C-7DECA448637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c53aaeaea0cee441dd61db509c7705ea541ae1a","datavalue":{"value":"exponential-time hpothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425331$E2638F89-F392-4DB2-91E4-28AAFA099F06","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":"Q1425331$A4365523-FBC4-4C74-B34C-557FB1AF0B84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c524f5cbf13e41ffe998e992d9da8b8e9cfc9e","datavalue":{"value":{"entity-type":"item","numeric-id":4808619,"id":"Q4808619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa225e17444d03877dccdf48ff2905d36598ae2","datavalue":{"value":{"amount":"+0.8195711970329285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425331$9476BABF-8212-4691-86A1-97CAE79E7115","rank":"normal"},{"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":"813d21bdc1d4849080827468ae825a51cd6ff109","datavalue":{"value":{"amount":"+0.7599683403968811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425331$57D02970-8797-4292-BCFD-CD71E65903FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e815337ee241e1019d954c5fdc457e3e340954f","datavalue":{"value":{"entity-type":"item","numeric-id":4669592,"id":"Q4669592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29dd5004401e772de9392a96a61cdacee4f4e202","datavalue":{"value":{"amount":"+0.7488951086997986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425331$0EA4DD6C-18D0-4863-9C19-B58F0E5663E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8856d1c6f16e9a2723e202741471bdba20e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":5475258,"id":"Q5475258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515db2f6bd1d9b60e7e4e718e7b9d50945549c76","datavalue":{"value":{"amount":"+0.7451429963111877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425331$EC71FACE-0059-4604-92CF-0393466334C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80496bad8073f52aff66e1fc28de7e0dc6f6325","datavalue":{"value":{"entity-type":"item","numeric-id":1587336,"id":"Q1587336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0badee6a31583a94b273da8856b0c1fbec4ad1","datavalue":{"value":{"amount":"+0.7377780675888062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1425331$9B5EF25B-7959-4AFD-989C-C330CE1A419D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1425331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1425331"}}}}}