{"entities":{"Q2118334":{"pageid":2129077,"ns":120,"title":"Item:Q2118334","lastrevid":43521119,"modified":"2025-07-30T13:45:49Z","type":"item","id":"Q2118334","labels":{"en":{"language":"en","value":"A fast algorithm for SAT in terms of formula length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495590"}},"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":"Q2118334$91707C31-BDA9-4FCD-B31B-CEFB7B9A34AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63ff76e1eb002ee4ca8b7dcf068a9a71acabb12a","datavalue":{"value":{"text":"A fast algorithm for SAT in terms of formula length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118334$81E5C4CA-27B6-4705-A20D-7A1A342E443F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2657795c35465b4c8da0f13d699b31cc2aff2592","datavalue":{"value":"10.1007/978-3-030-80223-3_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118334$9FFE054D-D8C6-459A-84D2-00EDAA2E3D5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e4da71e4a0619adf9dedba339a5fe0c67cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":2118333,"id":"Q2118333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$AA2D8D05-FB4E-4AB2-B94B-14F31433EBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bb48d97aa42377c51cb11f373ef4c652a1af855","datavalue":{"value":{"entity-type":"item","numeric-id":255261,"id":"Q255261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$36C68763-88EC-456A-88D9-6AC30DCCB2EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118334$F0146388-B460-4C8E-B495-37F825F49A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1bba789c10dc86504bc7c8b017661eb5d7aa270","datavalue":{"value":"https://arxiv.org/abs/2105.06131","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118334$59796FCD-CF49-42AB-914C-DBE78C881DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118334$2401203A-EE15-41F0-8675-FA1426607901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118334$D355CDDD-314C-4431-96BA-D165FD4AAE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118334$2A283CFD-9627-4AB7-A94D-50120DF85360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6e4074f790c002406d877b76082faa42ffce208","datavalue":{"value":"7495590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118334$1E6DD3AA-A7B4-4387-8DC6-7C60F2055489","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118334$88108472-A7CC-4DF0-97E5-CBBC6ABFD812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118334$7C69A043-2380-4EF2-AA22-D72462A8028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6e7912c08173e2382e2d36fc1989bc3e0dfa0b","datavalue":{"value":"measure-and-conquer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118334$A9BA0CDA-1DDD-47D8-A9C6-31F614F87595","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":"Q2118334$04564FCC-F498-442B-ADEC-5350A43CD541","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78558fc74c760fddc6e480fe7645ae51980c4067","datavalue":{"value":"W3185616850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118334$6824435B-543E-41C2-AD4A-EABFBF96E48B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$2C1EABB2-0F35-4F01-8ABE-4F4AF7FFAEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26883597f5cc59fde00e70f0a417ff221d6135f3","datavalue":{"value":{"entity-type":"item","numeric-id":3183448,"id":"Q3183448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$6FD63178-9343-411C-A354-E7AD010C0205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$A872AA4C-571E-4261-A10E-88E03480B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$3AED057B-EE9C-48DA-B103-9FCC1A1A5095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$BABB16AA-9C83-44D2-BDF4-DAB7C7334FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f77347970e953e82d8dddf1fddbdb2c14d24ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3452221,"id":"Q3452221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$B6FCC47D-0705-44EC-B4DD-EE8795BF04EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08679e1302d53c12ee04f803b2320a1e4c7b1a0b","datavalue":{"value":{"entity-type":"item","numeric-id":606873,"id":"Q606873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$08F359D0-C353-4DFE-AFAB-49992B252CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00018817f9b68b5533d20e05f9bca37aee54a0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4250220,"id":"Q4250220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$9035D15E-EA35-4D3F-B761-D82EE6438AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d4bb2b62b8aa43b4cfd703130090b24b20a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$9B43BB4A-8C51-4C99-8278-1A1278237B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$9FAF7DB3-1F1F-4E1F-B129-1574A37A16F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff58086026b63cb707de521d08763e10ede09877","datavalue":{"value":{"entity-type":"item","numeric-id":5002768,"id":"Q5002768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$33DB2435-B1AE-49DD-9CE6-E0D37BF4B97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c16314d571ac552ffc4dba48f547b3438465b","datavalue":{"value":{"entity-type":"item","numeric-id":4747916,"id":"Q4747916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$A39B3D6D-0A43-4FBE-BABE-3738AEF05C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8621ce0ae1e8c21956cfec192d952dd4054223f","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$B40C30BC-308D-4CA2-A6B0-6DB03BAAFD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3194984f10d1bd6b3034671e1f13a64006941dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$8ECD5FA5-8C7E-4334-8CFF-578071CDD184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7eeb4ea2f04585306669bc0f76745ba7ff9f85","datavalue":{"value":{"entity-type":"item","numeric-id":5713721,"id":"Q5713721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$4100212B-0ABD-428B-94F2-07EE43C920BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f65d150098c90690739990f8f34adb6e2d24c36","datavalue":{"value":{"entity-type":"item","numeric-id":5897897,"id":"Q5897897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118334$58569DA0-2246-46A9-BB63-9261A999206D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118334"}}}}}