{"entities":{"Q6965217":{"pageid":21294369,"ns":120,"title":"Item:Q6965217","lastrevid":84058874,"modified":"2026-05-09T01:13:01Z","type":"item","id":"Q6965217","labels":{"en":{"language":"en","value":"MuxProofs: succinct arguments for machine computation from vector lookups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8058672"}},"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":"Q6965217$30C3F52C-5715-4312-A2D7-8F18E89DD783","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f41bb87c177aa48dc16f42b2402e6d61375ad4c1","datavalue":{"value":{"text":"MuxProofs: succinct arguments for machine computation from vector lookups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6965217$B293A953-0E7D-4876-9B5C-37946E585F99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3366fb353a70ee92ac924dbd6dde39616fbb96b5","datavalue":{"value":"10.1007/978-981-96-0935-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965217$1955780E-E718-4A74-B751-15B40986D094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f491a156c8e1f4ff4628e18fe16cfc24246f366d","datavalue":{"value":{"entity-type":"item","numeric-id":6070759,"id":"Q6070759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$48DC2A18-6CFC-4822-A3D4-6252C855EB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54c7fc39f72f8864271f04f39711d0d222301ca6","datavalue":{"value":{"entity-type":"item","numeric-id":6965216,"id":"Q6965216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$FAE2760C-D1DE-4E77-B0DD-2495826721A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6d7399488158132081384f8d159273aedd4cb73","datavalue":{"value":{"entity-type":"item","numeric-id":6660302,"id":"Q6660302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$47FCE0B2-F10D-45E4-8679-EB249B3A57B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a483d9bcaa2b392590837cf6d08f21bb290f3abe","datavalue":{"value":{"entity-type":"item","numeric-id":2096474,"id":"Q2096474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$C315912B-0DDF-4A7D-A155-7BC9C99F4C19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"671cc9a8897220c29aa2140c9b303a08b52630db","datavalue":{"value":{"time":"+2025-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6965217$311B6996-90A3-4765-9751-F5D4CE82C449","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe40fcf552f648da9b3501bddf3fa89460e33129","datavalue":{"value":"https://infoscience.epfl.ch/handle/20.500.14299/242693","type":"string"},"datatype":"url"},"type":"statement","id":"Q6965217$353ADA1A-7B07-4DC5-A05F-8336B9126592","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2228b49ae9e84afeb7cf68ebb52b8e2f965d100a","datavalue":{"value":"68Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965217$41430B74-2820-4D05-9EA3-D5FEC0B37994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965217$D1512A66-FCFB-450D-9954-14F22E43789A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c376bbfdb890b58b40e85d0de1f1c9970656a684","datavalue":{"value":"8058672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965217$D6F24B01-F1DC-49A3-9183-1C437696C05D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a72d1c726cabab8d82c5bcf212bd12e8b120a29","datavalue":{"value":"zero-knowledge proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965217$755C178D-4F36-48CB-B1B1-5A2351BAFC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d62f40d2d5b8cf74189779db82daa28077eec2","datavalue":{"value":"machine computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965217$3BC3A958-E96E-41D8-BA84-76B437F3F4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9129158e26e00b59b8cfaa2a1d36edb19b356a1","datavalue":{"value":"vector lookups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965217$EE04C2BA-25A7-4D6F-BA05-FA92B1BEF2EA","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":"Q6965217$743716EE-3A27-476C-93D7-3A2B6DC70C0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18c5f422054b9264aa9d46d0a49d3e38d4eab8f","datavalue":{"value":{"entity-type":"item","numeric-id":4412812,"id":"Q4412812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$DAA64EF0-8918-4187-9709-67B445319BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac1af6e9114acf96bc9dbe4867a33ee88d674a9","datavalue":{"value":{"entity-type":"item","numeric-id":2139628,"id":"Q2139628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$F6A0C31A-5DA8-446F-AFD0-623A75BFA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebfc91ebfe41d6cfe85c032c6c518ff16c378a83","datavalue":{"value":{"entity-type":"item","numeric-id":2139630,"id":"Q2139630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$CF15069D-A05C-47F6-92DE-D3DAFC72FEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969c6a30a19febb41d427bbde7501d6acfdf6db2","datavalue":{"value":{"entity-type":"item","numeric-id":2849388,"id":"Q2849388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$12964AE7-B395-44F5-ABE0-7ED7E348B488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fb068de73c3faedf52f04f5015ad5e49f897fa","datavalue":{"value":{"entity-type":"item","numeric-id":2175951,"id":"Q2175951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$ACC076B9-6BDF-4315-8575-78A3617367D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805bd0d6717ab4a76003b9d43f1475baf034a20a","datavalue":{"value":{"entity-type":"item","numeric-id":2874542,"id":"Q2874542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$CE6573E4-1CD4-4456-84BB-19441C463071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7c441652f70a46c724b3b3b9cac0011c5b0658","datavalue":{"value":{"entity-type":"item","numeric-id":2826067,"id":"Q2826067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$23AB634B-F8E7-4279-A93E-CEA781592B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7ca46691d93b7a00e5d42edfa86aefd1787c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5495781,"id":"Q5495781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$AE6E462B-EF37-45CC-AE11-9D5E94A553F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26fbe2a00d1ca6364a966a8b3d9cd13eb4172b80","datavalue":{"value":{"entity-type":"item","numeric-id":2120097,"id":"Q2120097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$9A5F2750-73FE-4BAB-AA9A-0B8A9BE60A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857413eb29b458d218b204c9636f02256cc60121","datavalue":{"value":{"entity-type":"item","numeric-id":1633476,"id":"Q1633476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$0AF1F5BD-5DA2-4786-956B-E1C0CF44E7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d087f64900413639e10625016ac83c0a493528","datavalue":{"value":{"entity-type":"item","numeric-id":6562560,"id":"Q6562560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$5240F605-280B-4E8A-B4B2-C6EF4D2D34C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86a37360ebcfe4528aab72a76c21b243786760a","datavalue":{"value":{"entity-type":"item","numeric-id":2120099,"id":"Q2120099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$DDD8EF73-4382-4DD5-984A-458961EC6DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff2afde088362b5f9050d2a29df64c87b845b40","datavalue":{"value":{"entity-type":"item","numeric-id":2119035,"id":"Q2119035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$9BB36473-D097-42B7-A360-017DEF375FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c10ca531831957d8dee29d1aa13d81d1421ec19","datavalue":{"value":{"entity-type":"item","numeric-id":2055634,"id":"Q2055634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$C81C7906-C229-42BD-A2BE-ED13F0B16EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b5750377d8549aa8758266d041d3b8ae2ea25d","datavalue":{"value":{"entity-type":"item","numeric-id":6061371,"id":"Q6061371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$7D0DD666-735C-44EF-A2AA-39E3C3F7D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6929be28dadfc2d7a065ce16f1ffc50f77112774","datavalue":{"value":{"entity-type":"item","numeric-id":6061366,"id":"Q6061366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$D69E2B2D-F508-451D-8135-EC5C125C84A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b7697489ca2164f8ca5ec357d96dfe22506ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2170051,"id":"Q2170051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$37AE21F1-EA26-49E0-A63D-FDBB929B245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a392816566ea396bd9a2f21a3571a115ceed6f","datavalue":{"value":{"entity-type":"item","numeric-id":2055641,"id":"Q2055641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$142A1746-4143-4EDE-9368-81E98BFA4634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3653bdf945e5cf807e39be8817272b1129a927f4","datavalue":{"value":{"entity-type":"item","numeric-id":4940695,"id":"Q4940695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$546B80E1-33FD-4C6E-BF85-02FD5650ED54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2f6c65e5bd63271e258d598be91b63e918eb41","datavalue":{"value":{"entity-type":"item","numeric-id":5419079,"id":"Q5419079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$6E39788D-377B-4D7A-9EE8-6EE658669EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc13db92c664fcf359c740d4c3f93a30a3857c96","datavalue":{"value":{"entity-type":"item","numeric-id":2170057,"id":"Q2170057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$4D77EED9-5568-4950-B913-3D1C18CBE73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a86e8f99b3655e5655e549f7a65cefc0e39be9","datavalue":{"value":{"entity-type":"item","numeric-id":6145784,"id":"Q6145784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$BA1F42ED-6A27-45A2-B35E-1F5EE9A7DB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce19c33a0718247514d29ee75c6ff80972fbe3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2948385,"id":"Q2948385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$E620241C-4E49-41B2-ADA2-213F15F2FAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb13e2fe18181cf9c39ae821eec387f7cad497","datavalue":{"value":{"entity-type":"item","numeric-id":2055668,"id":"Q2055668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$4F3EE9AA-B36E-4EAC-A1BC-CF07165A1213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96d128c90b6e18f0cbf616ceb41d863e36be9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3058656,"id":"Q3058656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$C03E5C8E-B2AA-4689-A5AA-71AD8223D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c381a63622e0d1991c39102b70fd8d9b4ff1a5a","datavalue":{"value":{"entity-type":"item","numeric-id":6166957,"id":"Q6166957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$F0D685B6-C12A-46F2-85BA-EBED512D7B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc25bc6ddeb4fef28927db93d392a886040f2","datavalue":{"value":{"entity-type":"item","numeric-id":4302792,"id":"Q4302792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$3D857946-4163-435C-A61D-68B282CF8B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61290e412010c0089dad0faad7c07b8198da17fe","datavalue":{"value":{"entity-type":"item","numeric-id":2104239,"id":"Q2104239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$3AE21CDB-219C-4965-8615-6144E7DFCB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295ccbcc18285d2b9ea1360717c18ccffe606bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5445495,"id":"Q5445495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$A3A359FC-59DC-4505-AD84-05A28A164337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65409cd39b1c2a951738f9eedb0dfc1d1670059b","datavalue":{"value":{"entity-type":"item","numeric-id":6166953,"id":"Q6166953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965217$63665054-3D7B-410B-B681-3C69C3C31062","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MuxProofs: succinct arguments for machine computation from vector lookups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MuxProofs:_succinct_arguments_for_machine_computation_from_vector_lookups"}}}}}