{"entities":{"Q6977539":{"pageid":21368280,"ns":120,"title":"Item:Q6977539","lastrevid":84033455,"modified":"2026-05-08T10:25:02Z","type":"item","id":"Q6977539","labels":{"en":{"language":"en","value":"A proof-producing compiler for blockchain applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8047131"}},"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":"Q6977539$AA89DE7D-7BE6-44A7-8CFF-C523F5F0B825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed25b91ffbe610ceedd525ea72ecf38414a0278","datavalue":{"value":{"text":"A proof-producing compiler for blockchain applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6977539$8209D9F3-778E-4568-B4CD-8AE2DC4153B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"712d96768c0abefe65331dd866f785b40f4dfc2d","datavalue":{"value":"1566.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$869AE52E-E39F-42DE-9577-392AED745A9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79cfc11d17371286223a86af4b0dcbe76a0a0376","datavalue":{"value":"10.1007/S10817-025-09723-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$B9DDA746-1DAF-4DA7-B43B-46FF6EB1A03E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$7AF4EDC1-DD89-433F-9000-32531E8014B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b10b899b8e1f81ddb39fec3fe13adcf1c47bbd15","datavalue":{"value":{"entity-type":"item","numeric-id":1744752,"id":"Q1744752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$26E37112-E246-4EC5-B940-D6385F204E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda147a1f714920a99955c5b321e2d46b4cb33ca","datavalue":{"value":{"entity-type":"item","numeric-id":6169367,"id":"Q6169367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$192D1357-8A86-4E60-A743-3EFE485C0F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02c0264b5e02b1388e29ce7b25643d3f555baf7","datavalue":{"value":{"entity-type":"item","numeric-id":4440399,"id":"Q4440399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$B9560E59-A4D8-4BFC-B002-A879CB24935B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8eaff52d775e294717995908ebf99fe6ec0f4e","datavalue":{"value":{"entity-type":"item","numeric-id":6642980,"id":"Q6642980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$D1A8DA07-2CE1-4DA6-8991-DB962A87EBEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$1763F586-FD1B-46C1-858A-415574ECB2A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eb77964536dcb4fb09a32a6a5500eecfabed084","datavalue":{"value":{"time":"+2025-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6977539$2E33F62E-53D5-4F3D-82A8-A271C2C0F1CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$5EFF23A1-638A-4344-A659-46DC056E38A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$6AD8D8E6-3A49-4F0D-B232-A86D178283B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$80D86911-49C0-4239-8EFA-AD7D0FE18B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$EE771324-ED46-40E0-83F9-975487EE6065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$A4DA7736-7FFF-4FBF-A446-51932D218B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94f7f235ae329e750956686864e2a07ba5f56ff4","datavalue":{"value":"8047131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977539$1418839A-3A71-4B54-9470-9F1AF57D4574","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$228D3E2C-3B0A-4FE6-BA74-B5C720491655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977539$453C1459-B19A-48E0-A00B-7543EADE2CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab1003dbaaaedecca41124d836f9f94d310f4e1","datavalue":{"value":"smart contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977539$7D2BD14B-399D-4C62-908C-217153A3376C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92ce3b2611047d0ca250e0a8d430817e1648d56","datavalue":{"value":"interactive proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977539$20690EDB-4A82-45E5-AAAB-6E75EE4501CC","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":"Q6977539$FA265034-968A-4688-A46A-DAA321CF3874","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"967f62bb611922786597b809e2544b21014e772a","datavalue":{"value":{"entity-type":"item","numeric-id":2208292,"id":"Q2208292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$4CF5F6E6-57B9-4FBA-BBD6-30616E880BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017024655eece3d1dfaadd1daab89ddb6f0e7942","datavalue":{"value":{"entity-type":"item","numeric-id":6642979,"id":"Q6642979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$03C9A279-CABF-434D-9975-6375D50C1B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99eb0267c894d94c353d6ba2e0faf42813a2bc84","datavalue":{"value":{"entity-type":"item","numeric-id":6642981,"id":"Q6642981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$C5BFC950-3B48-4CA6-9DEB-55EA3FCBFF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3b0ff24df3d779a2373d345e4557c5d3496988","datavalue":{"value":{"entity-type":"item","numeric-id":2879245,"id":"Q2879245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$6661EE88-624A-4823-88CC-17F80E12FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1689dae40df2cd1bdc239cd12cf0ee26dcff3698","datavalue":{"value":{"entity-type":"item","numeric-id":2219381,"id":"Q2219381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$85EF3D06-4184-4C8B-B1BF-9975B1A595A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$746A1F8E-9E81-4405-9CD3-6A1A0CF09265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$89CAF395-00CD-4DC0-B901-B1526947AD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6589392e68303ede18af209da15da0d7ab282c","datavalue":{"value":{"entity-type":"item","numeric-id":5049006,"id":"Q5049006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$EBD7D4E4-8342-4E4D-A26C-F856DEBDE35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$54D211DB-EB20-441E-940D-B4D54428CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$5D72ED2C-52F1-47EA-A3E3-6A5DA06C48AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$409E70B7-1E4F-4A68-8EAB-2718EF2DCD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$54422BCE-5FAC-4BD0-8D5A-62F1D4035CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275936cfd6130214e9d1021873d4a644d84981c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977539$90D219C6-F492-4338-85DC-52ADBF953B38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-producing compiler for blockchain applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-producing_compiler_for_blockchain_applications"}}}}}