{"entities":{"Q4598148":{"pageid":6627733,"ns":120,"title":"Item:Q4598148","lastrevid":82456106,"modified":"2026-05-06T20:56:58Z","type":"item","id":"Q4598148","labels":{"en":{"language":"en","value":"Linear time algorithm for quantum 2SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820204"}},"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":"Q4598148$DA14E185-A2E6-41D4-9AF5-BEBF375F6F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec59b11dc7542b2a5854c8055d4a2f1be2eaf0dc","datavalue":{"value":"1388.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598148$7F78BC04-4581-47D2-97A2-00ACD6558244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f6431a76f75000d316b2cd634bd6b2cbc952","datavalue":{"value":{"entity-type":"item","numeric-id":2149070,"id":"Q2149070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598148$904D2BF1-4C37-4554-9FC9-0F08A6C4760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"195a11023b9fa51026b0ae4c10238ff0a353371b","datavalue":{"value":{"entity-type":"item","numeric-id":407593,"id":"Q407593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598148$F210189B-9889-4598-8BB7-9B06CA5FA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc53eb2ea755f34b7c7373f8a8587233591ccdb","datavalue":{"value":{"entity-type":"item","numeric-id":1678167,"id":"Q1678167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598148$734EFD60-FCEB-471C-A7DD-C59A1E280663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71cc9c31d63659d2a0be47fa8206a760572b719a","datavalue":{"value":{"entity-type":"item","numeric-id":496890,"id":"Q496890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598148$3C29FEEE-4AEB-40A0-B9D9-D483B6ACBAD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598148$24750BD2-5340-4782-B47C-F10D390195E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f3d54f742ff72fc00bd30234ca6c72a00fb00a3","datavalue":{"value":"https://arxiv.org/abs/1508.06340","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598148$8FD4CE31-64AC-4DAA-A892-C683A03E1281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598148$8359B8EF-4A3E-41ED-ADEB-BAE7E4812E1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6f3896363dbf85e8da0a12841e9c30f5b7ba06f","datavalue":{"value":"6820204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598148$56BB8566-43FC-4046-9D1F-EFE826CB20D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d7a2f8e5e1a2128e16ff156925f11fdb277460","datavalue":{"value":"quantum SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598148$600987B6-D184-4E5D-ADAE-997244CA5C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598148$D3E7B673-751B-40A6-B327-0C867C9749B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5186fd99999e6921db65766363ee98e6a615dadc","datavalue":{"value":"linear-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598148$CD60303E-74D0-4900-81F6-54E932137DCF","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":"Q4598148$37B67C57-E473-41BC-8FBB-A0414D5885BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96df57a36ed36887bad00063205466ca65e5cc36","datavalue":{"value":"W2887977568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598148$FC50B8DE-42AD-476A-9860-E8227B4786CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6167b23adfbee067e4caf832006d4e6b56a628c6","datavalue":{"value":{"text":"Linear Time Algorithm for Quantum 2SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598148$E288FC91-0448-4FB2-853B-5F57FB9C59E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5490bdd1af1c90f5cb9020bb45172d49857ca5f2","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598148$B6475120-5DEA-4446-8286-2F9BD1460FAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9534105739ca2588298fe8ef05fdd385df6fcb","datavalue":{"value":{"entity-type":"item","numeric-id":4568109,"id":"Q4568109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150ef1192b16410a06c96d6d0db4b6e4423da7b8","datavalue":{"value":{"amount":"+0.9764399528503418","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":"Q4598148$124F8DF3-51BA-40BF-9F88-BA6572E80FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ccfebe991ecdc4e6022f1d3b6487bf8cabe83a","datavalue":{"value":{"entity-type":"item","numeric-id":5368761,"id":"Q5368761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c49e79750db067ba0e03c82e68dc7c6cb3640b7","datavalue":{"value":{"amount":"+0.9176118969917296","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":"Q4598148$FF30F78F-6CF4-44E2-A13C-B88111D4B11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e5ec2ff5a397b6290394e3400bf71c3412294b","datavalue":{"value":{"entity-type":"item","numeric-id":3001461,"id":"Q3001461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef667d8d6c8404c3039c160667fe32c056f72f6","datavalue":{"value":{"amount":"+0.8837983012199402","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":"Q4598148$C1D69727-4247-4F01-BFE3-7292C2D1D113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286d90d8f6175419aabecd8d7df5ac0b493d886e","datavalue":{"value":{"entity-type":"item","numeric-id":2816302,"id":"Q2816302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3ba330ac91ad5c2872a1b35cd292e2028755ef","datavalue":{"value":{"amount":"+0.811221718788147","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":"Q4598148$86D6E291-1245-4E20-B21B-EF195305E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564820884ca63cce285cb43d1105d8c84c8f4b80","datavalue":{"value":{"entity-type":"item","numeric-id":2223725,"id":"Q2223725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ca5b3840090749a66d38fdcb87fc6a7fdaa63e","datavalue":{"value":{"amount":"+0.772731602191925","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":"Q4598148$D6058388-5680-4951-8639-3D8BEE3441C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear time algorithm for quantum 2SAT","badges":[]}}}}}