{"entities":{"Q3194805":{"pageid":3205513,"ns":120,"title":"Item:Q3194805","lastrevid":52370786,"modified":"2026-01-22T11:58:59Z","type":"item","id":"Q3194805","labels":{"en":{"language":"en","value":"Satisfiability-based set membership filters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496941"}},"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":"Q3194805$5CD83757-5600-4CA0-B7CE-A5208473E712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"310fbbf8d0a73973128ec83360c3d6839330175a","datavalue":{"value":"1322.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194805$453A07E6-CB3A-4774-9973-ACA685A61E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"139fa708085ecae430cee8c4bc8bba579c83f9f1","datavalue":{"value":{"entity-type":"item","numeric-id":3194803,"id":"Q3194803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194805$7D9AE269-FF75-4943-9A35-2B843B23A4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa509026a1079701e64996cb67dc433f4eaa04cd","datavalue":{"value":{"entity-type":"item","numeric-id":3194804,"id":"Q3194804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194805$67532D69-6047-442D-B967-E90A990431EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194805$95460116-2DED-458F-97E3-8E54B8661672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431b1611f2e5e81e5d63b759666796e171b6b4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1193485,"id":"Q1193485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194805$58CA8D32-4446-4A88-A4E4-20DDB2831A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0883cb554ee9e3166f21635ce97f1a4ece1171","datavalue":{"value":{"entity-type":"item","numeric-id":351711,"id":"Q351711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194805$1D95CFF8-DE89-4246-B503-6D0414A2A4BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194805$4F3BBE95-4335-443D-94C8-06054EDE967B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194805$BF6BA186-635D-4FDE-93C5-2B273E2C0D41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51cebbc4577202ab195339f469c84ceb783f854b","datavalue":{"value":"6496941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194805$B94F15B5-BDA1-4B7B-81B0-6D1E82C0373C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194805$F8FB84D3-D2B4-4D71-BEDA-FB237A22B464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5786805e49078524b4db24a4c962aee9d28045ab","datavalue":{"value":"set membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194805$69F73384-851F-4174-ADB1-74CF6F23FE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194805$AF08A6F5-7CAF-4AA6-BD6C-59F32E020AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9161657d5fba10184ab322fd0fcb2b7c61ba9274","datavalue":{"value":"random \\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194805$37D3BE45-0632-4EFE-8ACB-BDEE2043ECB3","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":"Q3194805$5ACA4272-D2C0-406C-9EAB-675818610A48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301bdadd6b4792b002a5a8bc881f25462ec0b8af","datavalue":{"value":{"entity-type":"item","numeric-id":1656598,"id":"Q1656598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1f07e583d39786e94557b0325a7ef35b41f8c7","datavalue":{"value":{"amount":"+0.8788051009178162","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":"Q3194805$78F630EB-5B02-48DF-B63C-971DA6B3707B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2dbf2d394555c810bf8f32ee64f30dbacca0141","datavalue":{"value":{"entity-type":"item","numeric-id":3453216,"id":"Q3453216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf0e16702071778cc69649a89df3fad96519be1","datavalue":{"value":{"amount":"+0.7626352310180664","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":"Q3194805$A3AF62C1-1C46-4AC5-9E17-35D21FE14E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08e41cf1f2bb904fa94852cc5960a58e5261182","datavalue":{"value":{"amount":"+0.7538869380950928","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":"Q3194805$CBB7DBCD-16C5-4106-9168-31B081CC0D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96eb8f072717d19473c837b158fb191f5df6109","datavalue":{"value":{"amount":"+0.744212806224823","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":"Q3194805$0C22F0EA-CD69-439A-8B78-33A0FEF8B2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee55250847282785471c2adcb2da5d7de2f3136","datavalue":{"value":{"amount":"+0.7418593168258667","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":"Q3194805$735A2277-8ADC-4F5A-8FF5-498EDFA7FDA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3194805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3194805"}}}}}