{"entities":{"Q831949":{"pageid":833797,"ns":120,"title":"Item:Q831949","lastrevid":64783914,"modified":"2026-04-11T22:12:03Z","type":"item","id":"Q831949","labels":{"en":{"language":"en","value":"Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497926"}},"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":"Q831949$B91EC6E9-0EBC-4DBC-AD57-1355FC61E4B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b651f5becb3107008c88ad146700f50afc139ae9","datavalue":{"value":{"text":"Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831949$396CB672-A653-4FBC-A015-2A609D4D1141","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b80b155714a1b56ac6d9d72e77fad96d82228312","datavalue":{"value":"10.1007/978-3-030-86205-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831949$45842A8F-9D13-43B3-8F1C-EB5982E7031E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19f22880441832c1cbe5bccc835bfadba3b4fd22","datavalue":{"value":{"entity-type":"item","numeric-id":437035,"id":"Q437035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$AA4D6ECF-1F46-4844-B493-102EC6417A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$680CF64A-3443-43EE-9F9F-88B5D7B4A79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1817945597db5f66bb78adeb001d86c0c57c8612","datavalue":{"value":{"entity-type":"item","numeric-id":831917,"id":"Q831917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$120DC076-15CA-4933-9105-9F68A9D37FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$49AB77EC-A1C4-4E6C-999D-CBC452590A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$1BBD1F57-B1AF-47C2-A3F6-0CA12F2E06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b992a420d38b967e31662cc51a35ecf67b697354","datavalue":{"value":{"entity-type":"item","numeric-id":831947,"id":"Q831947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$2AE15079-F59F-4EEB-99AA-53234D708AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70924375920eca6a99585e7e41b42022434cc9dd","datavalue":{"value":{"entity-type":"item","numeric-id":831948,"id":"Q831948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$4ECF1797-E290-48B0-BAAF-8AED9D18881C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831949$8168ABE6-4644-4FAC-9D35-9A4607D8F1EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831949$DFCBD780-4844-489D-AF9C-D5EB7059C7DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f3ab8bf00a0f42b924448fd750963a7b08420a","datavalue":{"value":"7497926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831949$B18806EF-61EF-45F5-81F2-20305763F1F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0993c734dceb761bd02109e7bbc9f8589db3fcdc","datavalue":{"value":"cryptographic modes of operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q831949$BFEF3400-9E56-42A1-AB8F-BE2EA450AC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d721dbd66f8db840c7b1623159c532eadd1611e","datavalue":{"value":"symbolic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q831949$5B87BE99-001B-4818-8B34-B475CE38204A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q831949$FD5CF766-74F4-4D86-870A-D1D102F08823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q831949$9D5EF0A2-102E-4E99-8156-DA48169929F8","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":"Q831949$A9C78CD9-6797-4BF2-987C-EE816B25A4AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95380770ff9ce426da22ca27243749fd8e419a1a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86205-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q831949$5B5F6E54-8153-4A11-968E-8025DE20F0D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42ac196867b3d56c3690c6efed865bf470079865","datavalue":{"value":"W3197956099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831949$224CEB95-3BD7-4C37-A317-63606E7EB911","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$D7B76878-8FC4-4B82-837C-A74E96273F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$47726BCC-D2A9-4BB2-8CCF-46262E232226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a31964b9480c48b4c5cd1826e5e88480ef30f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2852062,"id":"Q2852062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$EA9822BE-1F35-491E-B9B9-657114C47509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d237b438472627ad8a082743a273cbe3b3b23a","datavalue":{"value":{"entity-type":"item","numeric-id":2829955,"id":"Q2829955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$278570E4-DB48-416C-89ED-D2F77B7C7CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b16d71cf3a6c73efb8d2b2073a45309304762be","datavalue":{"value":{"entity-type":"item","numeric-id":4409106,"id":"Q4409106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$0813AFD2-F4C1-43A8-8A14-DA9EBC6D029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450a8b0c92c9dce6fc14bc9b012b549a36d4a792","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$3F2A29E6-066B-411A-98AF-B5C45AFE77D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27273a1ffebc32bcc91cd9e107ecb0411e74a30c","datavalue":{"value":{"entity-type":"item","numeric-id":2175923,"id":"Q2175923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$15584ACF-12B5-409D-8844-BBE2EEEC1051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979e1cd454a64838b52166c9375a0450712dbcdd","datavalue":{"value":{"entity-type":"item","numeric-id":5713917,"id":"Q5713917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831949$E2D0CCEF-941A-40E0-B8A8-B52D54A6E54B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_problems_in_the_symbolic_approach_to_the_verification_of_automatically_synthesized_cryptosystems"}}}}}