{"entities":{"Q5361961":{"pageid":7391535,"ns":120,"title":"Item:Q5361961","lastrevid":52915556,"modified":"2026-01-23T19:29:56Z","type":"item","id":"Q5361961","labels":{"en":{"language":"en","value":"How proofs are prepared at Camelot (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6784199"}},"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":"Q5361961$CC19F9F4-91B1-4226-A3FA-05790B5090CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72f0d57772685abb2b4c11fe2b49de7b2736a9a8","datavalue":{"value":{"text":"How Proofs are Prepared at Camelot","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361961$77EB918B-B8E9-4A5A-B40C-3F3D49EDCF2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4f9229e74ce9b51e9b7cfdc34c8ff3e8beabac2","datavalue":{"value":"1375.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$437E8966-E02C-4DC7-9D10-5FB90C16D94C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe3e1e323d42796bafc11d04e795a506605d076","datavalue":{"value":"10.1145/2933057.2933101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$1E69594A-625B-4D3A-B950-69564D2AF893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb92d1b15474002ff446bc52edade981c79cd53","datavalue":{"value":{"entity-type":"item","numeric-id":262279,"id":"Q262279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361961$533CE9A2-0C5D-4514-8885-8031F50FF885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9292ff12e4171a5091c022d8ddfe9a9a84e01eef","datavalue":{"value":{"entity-type":"item","numeric-id":262280,"id":"Q262280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361961$43A55FE5-63BC-488A-8713-0996D8344487","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a144f60a976d9adee5b526bc3e03607b9cb8ec26","datavalue":{"value":{"entity-type":"item","numeric-id":5361908,"id":"Q5361908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361961$4B5F5C7C-46E1-4BB9-83E3-9402D5DFB0F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361961$0427C22A-A833-48B0-AAA3-C774FFEFE44F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$6DBFC46B-81A7-4D09-8661-4A4805AE0117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"26ba4f06ff5c7e92bd3a85f32aa625ae214ffe0f","datavalue":{"value":"05C31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$2EC2CE47-0A16-4BDB-BE79-77865D4D2296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$E00C0120-85F7-4767-A67E-C5050B467992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$B88FED7F-431D-4601-8DB5-3BA4A79C9DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$574D0422-C514-4B2A-A425-65D7FF367517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52773a9b4f7cb897233085c7a47327a714f2774","datavalue":{"value":"6784199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$53DC6275-EDE4-4E72-A933-9986B433722F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888199333b38cb652d73f2ab790ab2c733eef9d0","datavalue":{"value":"batch evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361961$DA5AA0B4-E087-4B16-9AC3-E8E1D7D4DBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cde592cd7ea17c6e79aff269892029678e9192d","datavalue":{"value":"noninteractive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361961$C742A646-1E9B-46AF-8C4F-FBA2FB96779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bb1c301c295c3151e9a5074406a050301b4314b","datavalue":{"value":"parameterized clique","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361961$92744AD3-0241-4E9F-96C3-AD78AE3D22B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ffe75c96e66f8228575d15d69ac252dea3220cb","datavalue":{"value":"Reed-Solomon","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361961$BDA7AAB0-7089-42DC-8FE8-154E8EFFDAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966b8b344d67b61e3bb846659bd98febd9d1c945","datavalue":{"value":"vector parallel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361961$BB241B14-4E8B-4B4D-8000-251C9A36F24E","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":"Q5361961$837437A4-4639-4670-8873-C9811437AFCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb57d4f104e9b8bbf1703a0432237e921ef1f960","datavalue":{"value":"https://doi.org/10.1145/2933057.2933101","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361961$77F75E7C-8633-4FF6-92C0-F0D8C0F6F4E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cdc70a94b0b3625fc57bdd55964d83b9ab17dbb","datavalue":{"value":"W2273528466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361961$44FE6900-3B2A-4E0A-A824-41ED538E79BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d51a44056561647607d5810925591d527483cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5146838,"id":"Q5146838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0152cf26cfe77426a28b82920c6ed0c69ea1bc9","datavalue":{"value":{"amount":"+0.7303071022033691","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":"Q5361961$C264A518-E88C-40D8-BB9A-3F4BBEE65C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff6f7cf951be869b10c646d19d44130822a672f","datavalue":{"value":{"entity-type":"item","numeric-id":3179347,"id":"Q3179347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fd107ada49c33d9fafc4135afe1d568cea546f","datavalue":{"value":{"amount":"+0.7240149974822998","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":"Q5361961$636FE29A-4655-4A26-9E3D-22383381F756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29cb8639f98b2d0e12a94815fa6867ce540357b","datavalue":{"value":{"entity-type":"item","numeric-id":2943393,"id":"Q2943393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d63fee144b46fa282484e1594c04fd7d3ffc681","datavalue":{"value":{"amount":"+0.7186981439590454","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":"Q5361961$E6EB9F3C-C5A1-43A1-8C55-423C03F2A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d05cd66b60a4402590caf725b282aa5892c63f","datavalue":{"value":{"entity-type":"item","numeric-id":5368736,"id":"Q5368736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc743319976d53e37352f0f393c10c780727a54","datavalue":{"value":{"amount":"+0.7168911099433899","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":"Q5361961$E36421D8-8FA6-4C36-8A9D-B7C7FD9C7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cf3c8293175e627005dd101ffb4c03a3b6480b","datavalue":{"value":{"entity-type":"item","numeric-id":5232737,"id":"Q5232737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f225c26345bec9c49a74b07e181bd152185b23","datavalue":{"value":{"amount":"+0.7101340293884277","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":"Q5361961$518D4710-1130-47B9-80C7-E87DFFCDBEFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361961"}}}}}