{"entities":{"Q4204102":{"pageid":6233703,"ns":120,"title":"Item:Q4204102","lastrevid":81538880,"modified":"2026-05-06T18:45:16Z","type":"item","id":"Q4204102","labels":{"en":{"language":"en","value":"Remarks on soundness of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123669"}},"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":"Q4204102$5B65D8DD-0680-46D2-9C21-6A9EC6DB2F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4358f0691d67585e0d389f9b84b4fecd0b96e78","datavalue":{"value":{"text":"Remarks on soundness of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4204102$8A379696-E61F-4A2F-962B-22D5EC0E7C13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba01f851edff1a4326664c265593a72777c824a2","datavalue":{"value":"0685.94005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204102$04EC36A7-C693-4D7D-BA69-50D30EC7DDED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f6348b997f8133ec7fd3d5689cdeabc3230384dd","datavalue":{"value":{"entity-type":"item","numeric-id":138814,"id":"Q138814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4204102$D872BD06-5B58-41F5-91EA-0A1BA8641475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4204102$E9A2E67B-197A-46AE-AE05-3D5FA20B4CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204102$F372BF5D-8B1B-499F-86DB-78661B6BCAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a149694ad51537bffda01a70528ce294c0f4b7b8","datavalue":{"value":"4123669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204102$0D032890-18F9-4BE7-966A-84C2FEAABCA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d7119e6b7e494d2b0d07493d0ab8fcf29cfaea","datavalue":{"value":"proof-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204102$FF9EF913-685E-40C5-A526-69FE300500F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d97c9d74a7974164bd27bc3725f50a6bd71c8","datavalue":{"value":"cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204102$406B1E27-340D-42D4-8D63-E2326902F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"213999b03d35687d1cc940487e61fa3d2e33ecdd","datavalue":{"value":"zero-knowledge schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204102$8E0C788C-18CD-4CE8-8A46-FC3B44CE55B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a47f3a4188dbbb6096a8ac1ff23bcc3e5ae4cec","datavalue":{"value":{"entity-type":"item","numeric-id":2395274,"id":"Q2395274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4204102$0E131A13-8329-4C6E-B969-2BEE7C5FBE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6cca593e8324bc790a7e7a281eb4c298facd653","datavalue":{"value":{"entity-type":"item","numeric-id":1304978,"id":"Q1304978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4204102$4F32DDDC-6643-47B8-B89F-5672183EB6EB","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":"Q4204102$01E2B721-97F7-4490-9B80-DB8F1D582696","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0896e34467ca9c64a8f68bca6cce9e398d1216d4","datavalue":{"value":"https://doi.org/10.1049/el:19891013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4204102$4AD3A5C8-DC8A-4E38-A9D2-FAE0A9214834","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa0a5a24c5656e5db2fe56aa6a2c7511a932748","datavalue":{"value":"W62934344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204102$75409426-F1E1-458E-BBEE-1829191D6287","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ac880d5b8ff91bbe54a27c48d2fbe73a62b6de3","datavalue":{"value":"10.1049/EL:19891013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204102$9324326E-EF56-4F35-B152-FEF34B9F01DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on soundness of proofs","badges":[]}}}}}