{"entities":{"Q3811764":{"pageid":5841670,"ns":120,"title":"Item:Q3811764","lastrevid":53522543,"modified":"2026-01-25T03:49:22Z","type":"item","id":"Q3811764","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080977"}},"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":"Q3811764$D2B38F41-0007-4392-BCBF-6BB67F88C5F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f62afb8dea9905363736c264b767223b85d3f03","datavalue":{"value":"0661.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811764$8E6576FF-7266-4DFD-8D42-21643BB21EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3811764$6A03D98F-E064-4261-9B36-2463B51F319A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3811764$F582FB85-4CC7-4473-B094-ACE8D5AC3967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811764$B691CD95-4F83-4776-A04E-7D24AD453DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811764$9D62BDAB-A85B-4830-B960-4E11805EBD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811764$BA58D671-72A7-4D5C-B106-746C26BF3FBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef8800a4a6dee85cc92c8a774c29cfd08a658388","datavalue":{"value":"4080977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811764$F7AFD256-34AE-4F1E-B9C3-18E8705119EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de6e6ec99e87a64046813cb3b5f6f74ec4a4a7b2","datavalue":{"value":"average case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811764$C8005FAE-8120-4885-B7CD-76AF92028AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2abd59abfe2f3fbfcc51a693b68d731ff9a3a7d","datavalue":{"value":"exact-satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811764$D5049854-2E85-4338-98AB-D2D1A79C3F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811764$7E53F15B-D736-4815-9490-EEE73DF064BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684755b4c45bda91313085922be6a018560c9e61","datavalue":{"value":"truth assignments of Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811764$1F8A9976-3567-4EBB-949E-0C672387AC16","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":"Q3811764$E157BCE3-B591-47EB-9FCF-4DB25BFC5502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9ed3817391ed127aeeef9050aefe00be5314d9","datavalue":{"value":{"entity-type":"item","numeric-id":3795286,"id":"Q3795286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c361913d66de420d3ff3e2cda5e47572f979468","datavalue":{"value":{"amount":"+0.9505634307861328","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":"Q3811764$C3920D29-0430-4B04-8FED-827C41B3922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5514c1045fecbb3f24737cb4073c498b7dd9555","datavalue":{"value":{"entity-type":"item","numeric-id":1353993,"id":"Q1353993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254d2df6b03d62045f6b91f1b84ed5184374aac7","datavalue":{"value":{"amount":"+0.8735988140106201","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":"Q3811764$827F629C-AADA-4060-9598-67ED4665750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aafbe3f9054cc81488d5ac45512a2495ea184892","datavalue":{"value":{"entity-type":"item","numeric-id":4032940,"id":"Q4032940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fefa4f3c44edb91a026626f9c547be9fdebe8a0","datavalue":{"value":{"amount":"+0.8631510734558105","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":"Q3811764$B7100454-783F-47E1-B104-58E1EC3306A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dada3eef8c632035401437669faee29616d82b3","datavalue":{"value":{"amount":"+0.8136476874351501","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":"Q3811764$B5CFCE82-5CF7-4FCB-8E84-C9C8805A13A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ed15806f50a8fdb798295e695993e28a1d9295","datavalue":{"value":{"entity-type":"item","numeric-id":1095678,"id":"Q1095678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b21b5f81ad631907ffa24de78a752700628b29","datavalue":{"value":{"amount":"+0.8109263181686401","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":"Q3811764$094DEC86-0791-4513-A466-7A85CB9D49FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3811764","badges":[]}}}}}