{"entities":{"Q3827800":{"pageid":5857706,"ns":120,"title":"Item:Q3827800","lastrevid":54462911,"modified":"2026-01-26T22:34:16Z","type":"item","id":"Q3827800","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4102824"}},"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":"Q3827800$F4814E01-9CE8-4327-8025-E8F8B5D1E912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f42a26ca8536430ac4d3398d99fa9f35683bea14","datavalue":{"value":"0673.90074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827800$3665A632-0C5B-4BC0-90FF-69551E2DB069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3827800$067AFA05-CC17-4984-B221-5E3D06C0593C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827800$A2208865-2B4A-4500-80F7-180DD4EC2F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827800$DF287322-B0FA-4250-B56C-605ADDCA6712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827800$DB85627C-521E-497B-8FED-B9DB2B0F19B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f7ddabbbd31aef26549fe605fcc565bd0b49c9e","datavalue":{"value":"4102824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3827800$5EACC708-4485-4109-8457-114FF8213351","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f5be192625e7ec06f60848bf5fa4300b42d88bc","datavalue":{"value":"average complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$DA1624C8-7AEF-4F77-AD68-A9B73CA935E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad797fe37fd18d629ec6c89d82554ea45753f4b","datavalue":{"value":"pure literal heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$7B326966-3E5D-42DF-804A-5A962E51C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4c23ee9323cc5007fffca3f350f0c99c491297","datavalue":{"value":"Davis-Putnam","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$B995EDF6-E4C0-4041-A75B-8256C46D0CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63711ef1039359d995d6eded4d4d9162d3b87fc","datavalue":{"value":"procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$284A01D6-D43F-4541-B28E-18520116761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$B2DEF924-8E0F-45AF-A322-225A0468A227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$733360FF-FC6F-4784-BA8E-C8158E39B534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3827800$F05E8BEF-E2F0-4AB5-A0D3-B8994C002870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3827800$EE062A56-B1C5-4A6D-BD6E-CE718F15287C","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":"Q3827800$2605C865-86AA-4DDC-8A96-DC2BC87A1A60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad63011551ad564818ebee4bd77fc87bc707a34a","datavalue":{"value":{"amount":"+0.9143243432044984","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":"Q3827800$96E1DBD3-DA6A-483F-9FD2-903C1BF0BFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5b4347d711ac59d6b334b7fc872e5974d956a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b035b53ddc2ededcf41660c9be2c0be9f8c27d3c","datavalue":{"value":{"amount":"+0.8864617347717285","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":"Q3827800$803AC1BB-FFCF-4B10-9A51-E36DC8927471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2f0d759626dd671d8e961165b77fa1b98dba8b","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617668ed09aff6512a386f778f2a512959f4c0f6","datavalue":{"value":{"amount":"+0.8809950351715088","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":"Q3827800$1FA3441C-3C35-484B-A635-F92AB2451B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c162836baf851f2f8a69bb0e213f071fa612f335","datavalue":{"value":{"entity-type":"item","numeric-id":4700097,"id":"Q4700097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a00779cebe1f259ffe74e6b6b27580e180c985","datavalue":{"value":{"amount":"+0.876439094543457","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":"Q3827800$DE9824D9-ABFA-4028-B97D-0E2B59DDFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bc8c95cb65fffb94f8ebe1a88bc95da2e10d30","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999a4ced7d7eb39c0a29a295807760f2c9b6fabd","datavalue":{"value":{"amount":"+0.8381542563438416","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":"Q3827800$E96EC3F0-8474-4735-9D7E-BDA82BBA8BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3827800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3827800"}}}}}