{"entities":{"Q6145783":{"pageid":13280090,"ns":120,"title":"Item:Q6145783","lastrevid":102528065,"modified":"2026-06-06T04:40:55Z","type":"item","id":"Q6145783","labels":{"en":{"language":"en","value":"Succinct arguments for RAM programs via projection codes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7799221"}},"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":"Q6145783$9F6DDE65-BC1D-4774-B8D1-B62939A7BACF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4373b468a1c83688fabe48a85bc87be5b0df10cc","datavalue":{"value":{"text":"Succinct arguments for RAM programs via projection codes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145783$B8BFE681-C8CE-47E3-9E4F-6990BBCCDCC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f48d50abf6f3d0830b9e71cb8ca518215e955e75","datavalue":{"value":"10.1007/978-3-031-38545-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145783$28DC0CFF-8CD1-4316-A94B-265EE778396A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2361077620d599010e0bd5bcb539cabee5f9308c","datavalue":{"value":{"entity-type":"item","numeric-id":166364,"id":"Q166364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$B2C2C2C6-43D1-481D-9AF3-3BEF4F74CDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c3b92b7aee9dd4537205e8fdb4af94ad0e2094a","datavalue":{"value":{"entity-type":"item","numeric-id":166365,"id":"Q166365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$AF97A043-210E-4514-BB53-3E21826E4456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3d7dd8de32602c7df30b96f381120ab4ad33bc","datavalue":{"value":{"entity-type":"item","numeric-id":2169990,"id":"Q2169990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$9F52622E-4868-495A-BF1F-A705BEE32805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"07adcda10f12d8c0850957810f824f79a00c33cd","datavalue":{"value":{"entity-type":"item","numeric-id":6145781,"id":"Q6145781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$0027D859-6D45-4AE2-ADA7-0EF2E36293CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf1fba24e920aa6baf40d2b3b21f6509cc5627fb","datavalue":{"value":{"time":"+2024-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145783$6CE96E1F-7615-4C71-8231-636D089088C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe28304394cc648024f51a2902b7ed3fdf44d25","datavalue":{"value":"94Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145783$9D8314E2-84AA-4FF3-8AC7-B4E9DE2F99D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145783$D5EA6AB8-EFFD-48D8-898F-A9941D5E6D5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7fa1ee218d6a4a39e7d7106fb1a318aa186ba56","datavalue":{"value":"7799221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145783$E6E40E8E-3835-45C9-A6B5-CD510266D82E","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":"Q6145783$D9279922-84B8-4B3A-84B7-626F07E62777","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$CACF5A0A-FED5-470A-B984-20F1CCAC290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed97d9cb381fa44bbd6ac9207fd7e4aa47354791","datavalue":{"value":{"entity-type":"item","numeric-id":3158513,"id":"Q3158513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$389A4B51-9960-4DDE-AD85-9EF37A6C4E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3a5a6ef5b4dad2d6e7e841bea784191d0a73c","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$E497DFD9-F8AB-4CD8-BE4B-0BF5F5A9336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1df034b9bd091e76486ca44c7e9341b4151ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3642859,"id":"Q3642859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$20CB1B82-52FC-4A8A-BEE1-FA3531DC239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe1e75da4f5efac441681b84aa3dfaeb3de0620","datavalue":{"value":{"entity-type":"item","numeric-id":3359734,"id":"Q3359734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$BC79DCC3-9D4D-4BFC-82A8-5528B53D573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c22ca62cb39bd7394c37e34af6185a22f249424","datavalue":{"value":{"entity-type":"item","numeric-id":2986889,"id":"Q2986889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$BE62DF7D-FAFF-406D-8305-03B22AACDEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95778829e225e41a7554e43fa6227c35eb13df8a","datavalue":{"value":{"entity-type":"item","numeric-id":5495829,"id":"Q5495829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$E641398E-0C43-4530-B913-66EB7F6674F1","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":"Q6145783$3A60580E-B1BE-43D1-9B94-1B06EBE2B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3820353b7787c17d4f99270884bf8793668490fa","datavalue":{"value":{"entity-type":"item","numeric-id":3181021,"id":"Q3181021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$AC2745BE-EB21-4A12-A754-87361D4A13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed04d79666eea642df7dfc0dfa9b9ab70ff5eeec","datavalue":{"value":{"entity-type":"item","numeric-id":5757455,"id":"Q5757455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$B44C98E6-6EE3-47FE-AF80-B11E5A12DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1428e5f6bca28ad1e2009e37cdffb35d42a97d","datavalue":{"value":{"entity-type":"item","numeric-id":1698394,"id":"Q1698394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$D40167EB-0EA2-497D-A0E3-5602A4428526","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":"Q6145783$2D429119-C482-466B-AA1F-D3C88593BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a4400cc7b50da2991bdc67572a265af16c1b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4910285,"id":"Q4910285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$A423E867-9717-448F-9B0A-9D23F7D78394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e323ac101ae03a0692cb5fcc87c3630db88ed014","datavalue":{"value":{"entity-type":"item","numeric-id":1701451,"id":"Q1701451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$72497C66-B164-48BD-9D8F-F2D5944FC204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d20102be252ffac0fc4108869f93fefbda78a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2170049,"id":"Q2170049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$CA3B1442-0816-4108-9C94-BDAC0919BD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40251c6f910c99941b788990a45f85a6c6a997c","datavalue":{"value":{"entity-type":"item","numeric-id":5385743,"id":"Q5385743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$5C685B2D-7847-4BF6-A160-F755D0024C86","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":"Q6145783$50660038-2B7D-41EC-9D32-1894DC6E8539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029cc321a5f75c9ae4b0da02bdbdbab61de283bf","datavalue":{"value":{"entity-type":"item","numeric-id":3611778,"id":"Q3611778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$CA914C59-D4CC-4701-908B-254630B5FB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52b3391b2ed46962439887c1d8ad2179204eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":5211598,"id":"Q5211598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$C85DD02E-970A-4750-AD0D-AF1AD3928DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bffd9f871929e3b6e7e5e7248d8fb5d7d3cec2","datavalue":{"value":{"entity-type":"item","numeric-id":5451037,"id":"Q5451037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$7B375317-D0A5-4163-9062-44288A7D2231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f25caf0d568455ad6ef71b82c3f9d319be07cb","datavalue":{"value":{"entity-type":"item","numeric-id":5900521,"id":"Q5900521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$2F96E4F8-7112-454B-A736-D8E706C569DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cd33df58b889a1d52dd29efa8b537172deb749","datavalue":{"value":{"entity-type":"item","numeric-id":1895702,"id":"Q1895702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$67ECD978-EF67-44F5-99B3-57B0F3B1A265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47da611a1f3e7567cde8b0cb27db8d8cc5142bda","datavalue":{"value":{"entity-type":"item","numeric-id":1678363,"id":"Q1678363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$9AC60B4C-EEC8-469E-92A8-FA1BD854A08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8497a42a29fe0be31799d2a4554333e2e9be2336","datavalue":{"value":{"entity-type":"item","numeric-id":4924436,"id":"Q4924436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$332918AC-512B-4BE5-8D71-BFCE2E791449","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":"Q6145783$30B1CC8B-A221-40E5-9424-09601E665079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80cb98f1e056ffe4b9ba9965fce8eb8e28aa175","datavalue":{"value":{"entity-type":"item","numeric-id":4371676,"id":"Q4371676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$6C7DF09E-B65A-485B-A724-555F99708970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2028931ed91d512bb776a9ec3128068a669767e2","datavalue":{"value":{"entity-type":"item","numeric-id":5419140,"id":"Q5419140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$F3756E6B-166D-4080-BDCC-12D7B928A683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900cd2e40fdc1b2d080cead8f0ec1522288193cd","datavalue":{"value":{"entity-type":"item","numeric-id":5259587,"id":"Q5259587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$1249D91B-F9E3-4352-8A9E-3906AC1A3CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a63c1dfa9ee73ac85b1de6200c37da1465cc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3058664,"id":"Q3058664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$44D6B735-FCD2-4359-98C5-9E0F4E651789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f76fc772cff6fbc449fc872e9ec9538951bfbc","datavalue":{"value":{"entity-type":"item","numeric-id":1118572,"id":"Q1118572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$30328DCF-7342-4EB4-ACEF-20370531C32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b42be58c2672a5a44b7579bdece771f9edc6d19","datavalue":{"value":{"entity-type":"item","numeric-id":3020005,"id":"Q3020005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$124BEE3A-5087-4778-BFED-A5A2F1D3E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91673d76a7a7d01746e31257f4c8938b49e19f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2292872,"id":"Q2292872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$FA61CD4E-205E-4360-A37F-F7FFA8A376EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289aa02c215c6b51983c1294cec7b07095722507","datavalue":{"value":{"entity-type":"item","numeric-id":3457064,"id":"Q3457064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$E116B240-3F6A-4E5F-8FA3-F7CE81FAB3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc7011541eb40f3b99dec115b280cff4b62e0db","datavalue":{"value":{"entity-type":"item","numeric-id":2128561,"id":"Q2128561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$E6D0002C-D406-415C-B846-16988EFE90E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13a877b5b921392bf7b23a072493acf0b751110","datavalue":{"value":{"entity-type":"item","numeric-id":5310362,"id":"Q5310362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$E9F27ADE-89E3-4027-AFC5-B7E1ED0863C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f5c253e96e0b903e190787884f41de5e7b8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3191974,"id":"Q3191974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$A1779754-D973-4B8A-B158-13B9431B884D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce15ca3377fcf2c96753c351b6fe59f0c787937","datavalue":{"value":{"entity-type":"item","numeric-id":3355236,"id":"Q3355236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$BB228549-9556-4082-813B-23CC2DA8D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102f7521e416c3bc2b278a5dd918a701c1897919","datavalue":{"value":{"entity-type":"item","numeric-id":5738888,"id":"Q5738888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$5850F35A-8F1A-432A-9EFE-DA41E64FB404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703f5d342100dcdc7af89f3db691a4d8c7d8edb7","datavalue":{"value":{"entity-type":"item","numeric-id":5466536,"id":"Q5466536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$2FD089CC-E981-4E4A-9D22-6FCC673266A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41832310795e45427897ea512f21c0b942b1395a","datavalue":{"value":{"entity-type":"item","numeric-id":4910298,"id":"Q4910298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$AFDBEFBC-4CE4-4D06-89CA-A53B93AB3A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d79b1364cbcbe67cc3454de4f76db521caa3ae6","datavalue":{"value":{"entity-type":"item","numeric-id":3611779,"id":"Q3611779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$EF4D5957-AF00-4259-9500-B0F797614D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894f82842355cb490cbcf1c0aa26d360c2726dac","datavalue":{"value":{"entity-type":"item","numeric-id":6083591,"id":"Q6083591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$47D08EC7-43C0-4D97-83DB-EDE56DA550E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af9c400472b33809e98a7c72843fa27c42a11de","datavalue":{"value":{"entity-type":"item","numeric-id":4877517,"id":"Q4877517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$906A89A6-5C84-412E-983A-9BC3AD1C8E8D","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":"Q6145783$150913AC-3180-4031-B54A-BF70B654CA80","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":"Q6145783$3D6A85E0-0BAB-496F-AA99-CABD312C4036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3f76727ec84cb37794614083af4d7340c22334","datavalue":{"value":{"entity-type":"item","numeric-id":5891400,"id":"Q5891400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145783$7442D4AA-D733-4EEB-9636-2E00044076C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3df071c6113a2fc64a111ef931865b7b2da90","datavalue":{"value":{"entity-type":"item","numeric-id":5738888,"id":"Q5738888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf81c7827c080d74d60b1a73255fba858f2e4113","datavalue":{"value":{"amount":"+0.7740293741226196","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":"Q6145783$9B56D4A4-3D77-4123-9147-C358EF60BDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45179fd5363da252a643a902dc39ebf38d276e4e","datavalue":{"value":{"entity-type":"item","numeric-id":2986889,"id":"Q2986889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843b3bf9f0419551b20c056122b0e0ae20bed960","datavalue":{"value":{"amount":"+0.7400684952735901","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":"Q6145783$225AD482-5E6E-42D8-9CFD-E6C5B7C580A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba070111c3efccfb56793082de5fd03606a2328","datavalue":{"value":{"entity-type":"item","numeric-id":6083591,"id":"Q6083591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de075ef276a714d64a59b76847a0675b78134a47","datavalue":{"value":{"amount":"+0.7078583836555481","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":"Q6145783$6C393D45-2A5E-486B-9DE8-68244A47CFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2fe502609db35c70aa51c8ee0d64ef302405fb","datavalue":{"value":{"entity-type":"item","numeric-id":6637522,"id":"Q6637522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3870c40da3374a584c3062d855e10943340172cb","datavalue":{"value":{"amount":"+0.6988370418548584","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":"Q6145783$74087080-9C47-4AED-889B-F46C10FD4381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550049a890a2b9c3c27652d23f5e9b1e141a834b","datavalue":{"value":{"entity-type":"item","numeric-id":2800563,"id":"Q2800563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d954d947ee6a2f5dae7f0b5aec3c5532c829c122","datavalue":{"value":{"amount":"+0.6951430439949036","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":"Q6145783$5709BF51-D9A9-4694-949D-C7CBBA438A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Succinct arguments for RAM programs via projection codes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Succinct_arguments_for_RAM_programs_via_projection_codes"}}}}}