{"entities":{"Q3498465":{"pageid":5528368,"ns":120,"title":"Item:Q3498465","lastrevid":50357873,"modified":"2026-01-13T21:32:43Z","type":"item","id":"Q3498465","labels":{"en":{"language":"en","value":"Verifying Cryptographic Protocols with Subterms Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275843"}},"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":"Q3498465$5005094E-F7B9-47C8-9296-5C02C67FD53B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b682ff1a4589c47560013d58248908bb2d5e1f58","datavalue":{"value":{"text":"Verifying Cryptographic Protocols with Subterms Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498465$799D4079-B215-4DF1-8F0E-C7A13ABFE61C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"939a836966a0f0615eff830ad07c679dab935172","datavalue":{"value":"1137.94341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498465$FEBE7563-2443-4ECE-BAC3-01A0DB016E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0f91ab6ec316bb0a0b713c8985513c880c23a3c","datavalue":{"value":"10.1007/978-3-540-75560-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498465$C0A124A2-8AA9-489D-92CA-0B9A405BBA3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$120DEC62-169F-4219-86CB-6161DD6121FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$E4AD4C3A-6F0B-4AF2-8AA5-4D527EE8925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$C54D72D8-3743-46BC-BCB7-6129F846E7AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$CF92E224-6190-40E2-A91B-DD7BF208C384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498465$6D917DC6-0C7E-4ACD-ADE2-9C21621E4F50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498465$C9AF8F29-C2CA-4F1F-8E3D-1D16A5F3206E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498465$64801A7D-D89B-4C92-B857-73D4889A4123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea3d85dd37c2444a87588143c453bf5ef5eaff89","datavalue":{"value":"5275843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498465$128641FC-292C-4D49-BB1E-F0E5D070E17C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8fb53407b96a81b3fa8b98b393a2f05650897d8","datavalue":{"value":{"entity-type":"item","numeric-id":13730,"id":"Q13730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$347B0C13-A202-42BF-9F17-8475DEBD13A6","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":"Q3498465$5C54A272-DC3E-438B-BA70-7693D3710433","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3bd5e80d20f85c8084568128fba04b8867014f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498465$1168B67D-AB18-4706-91DD-81C9FD29E06E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f625b66edcddebca24f90cd428635e3f13dd4839","datavalue":{"value":"W1813607262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498465$B47519AE-28FB-46E8-B262-822527C3CA07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$0D208DED-97D8-4234-9EFC-9F24DEABF817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84966107fca2169af4dd79fd21e74843926117ec","datavalue":{"value":{"entity-type":"item","numeric-id":4422080,"id":"Q4422080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$CE31946F-8046-4234-B726-54487C72306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8514b32237b2217006c8699247d6e7859d630804","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$10F9F541-3439-44D6-917A-188EA9DD2891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$AB128972-FCCC-4644-8F50-DBC36691D9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$B9A69BD2-EC33-42C2-B858-2F95BD0AA63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97bcaad1f9971e901cb852b97c0be928d4bf13b","datavalue":{"value":{"entity-type":"item","numeric-id":5311305,"id":"Q5311305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$5A0FF597-C960-42F6-8C0F-64FD5B35AD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af29989f00065f2dd09718e62c32eb6b73a6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5387901,"id":"Q5387901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$848DBED9-9E01-400A-A962-777568F325E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$8505ACA4-D909-4DD5-B432-68F387E25E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$54FD40E4-5848-4779-ACB3-663C592D950F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d374ee62130191cd9cba61d826c49f1ee6ee4107","datavalue":{"value":{"entity-type":"item","numeric-id":2852371,"id":"Q2852371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$817C9719-F07A-41EC-B3CF-EED99BDBE0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6668db57bb0152828329198a0e28c75cbeba99e8","datavalue":{"value":{"entity-type":"item","numeric-id":2848034,"id":"Q2848034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$7EAF1125-3530-4313-956B-E4E0318ED323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$ABBD8E42-6DCA-4A5C-81E4-1A65BA090E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498465$D9449792-783F-4185-B31C-71A3FF4E935E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1aa291452c85b39faeaba8fc2670b8973ef3706","datavalue":{"value":{"entity-type":"item","numeric-id":3525006,"id":"Q3525006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe0ef71236777d87fd0f9298408d809c3ec2cd4","datavalue":{"value":{"amount":"+0.7909988164901733","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":"Q3498465$75F3C112-E322-4BCE-80E4-FCE26478F90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b411fd1bad62179680754d72224adf838ef59be","datavalue":{"value":{"entity-type":"item","numeric-id":4484508,"id":"Q4484508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9318800b5503018c3e1dc0f9e4589a3620f6952","datavalue":{"value":{"amount":"+0.79010409116745","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":"Q3498465$33A3B9A1-75F2-4A60-BE25-AB16EBB67752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d7528f47c1c71f7c1e08f5fdba01e781c38b10","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698c44af5b7ff5484685d3404210f3edfedbcaa6","datavalue":{"value":{"amount":"+0.7766974568367004","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":"Q3498465$8423B8AF-5773-47AB-8EA7-36AC3AE40095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63fa9eb9081b8fdd7f12029e0efee7ce3f5006","datavalue":{"value":{"entity-type":"item","numeric-id":4673388,"id":"Q4673388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b498a36bb4c5fcde04dd764101f7bb9d3d308539","datavalue":{"value":{"amount":"+0.7766095995903015","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":"Q3498465$39D8D29B-628F-4C10-887F-F7349992BB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c529d17715516fadaf9fd5d0cad7e434ec27d857","datavalue":{"value":{"entity-type":"item","numeric-id":2464141,"id":"Q2464141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3eba83bc792cba3ab1f06ee08d8cdff4e14a23","datavalue":{"value":{"amount":"+0.7742829918861389","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":"Q3498465$26692099-F242-4691-BBB1-70C755F613AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498465"}}}}}