{"entities":{"Q1041815":{"pageid":1043663,"ns":120,"title":"Item:Q1041815","lastrevid":50841638,"modified":"2026-01-15T09:16:01Z","type":"item","id":"Q1041815","labels":{"en":{"language":"en","value":"Security protocols: from linear to classical logic by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5642384"}},"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":"Q1041815$C9308585-6F16-47BA-BE97-149A4EA51CB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4993f946456bb9201df8822c2debab2bdaff3833","datavalue":{"value":{"text":"Security protocols: from linear to classical logic by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041815$D8D0C7D9-EC18-411E-8DBB-21627AA6AFE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89e76c0c4082ad5715d44668dc1c34a0e033bf5b","datavalue":{"value":"1185.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041815$7E73CBB1-A581-4A25-83A9-DCF800A1D29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041815$60D56569-4666-42F4-ABFD-8296645F5F4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041815$C81EE4CA-99DC-40E9-B233-2493945FDE8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e067d02fef1a1d1eabc0ca53437d57c4cd48bc0","datavalue":{"value":{"time":"+2009-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041815$D148AD8F-EDC2-4A09-9B14-0FD33A02B3A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041815$DB60C1C0-A039-463D-81C5-CD68E1BFE279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041815$0663F0B2-4E5F-4BD4-BB84-5817E1EF5D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7943e4f83a7919d2b22251d652d86ec8215222f","datavalue":{"value":"5642384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041815$015A0EC2-DD05-40F1-8877-9EFD17933D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041815$BFF250BB-991F-47DE-94C2-CC1A53A6183A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041815$B5253115-12CD-4F6A-992B-415572DDCA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041815$07E5CC83-973C-4EA0-9B2D-DBC86C4A5729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041815$0D226417-4DF3-4C62-AB47-EA2227DD2F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041815$01CE3BEF-4D55-4C52-BD4D-5F022091ED44","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":"Q1041815$925FABC6-B7CC-42F7-ABC0-902A8CC7B582","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"602e9d75556314c4b0924562f68922392ef1711d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.05.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041815$A8718465-37B2-47E9-A3CE-489B2A11FEE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"392a5850be7022c354cc6fb13681ada378efc27f","datavalue":{"value":"W2006805613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041815$7042FF14-6C6A-45CD-86D3-5DCCB638D370","rank":"normal"}],"P223":[{"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":"Q1041815$8593B83A-5227-43FA-9A75-B3267EFF8CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ab828076764dd3c1c3bcd0118a6663e784bb9b","datavalue":{"value":{"entity-type":"item","numeric-id":1071491,"id":"Q1071491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041815$7A3036C0-073D-43DB-BE66-A87309A8F3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041815$E2A3B3BF-1701-4E23-B7CB-C8691357F800","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":"Q1041815$81B17B88-07B7-4E40-886C-4DF1EA6890ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c14f5fcd1da669c4ee858cf62950d550d30eeca8","datavalue":{"value":"10.1016/J.IPL.2005.05.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041815$CC32EC87-D5FF-43F1-8802-131EF41D2BF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a97c6a884f0372e80a52bdf53c1f8ab918e7962","datavalue":{"value":{"entity-type":"item","numeric-id":4924525,"id":"Q4924525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bf532b8423516a4bce7a62c8f95c5901ba4759","datavalue":{"value":{"amount":"+0.7893880009651184","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":"Q1041815$C2C439B4-E506-4839-AF46-C6BDFA37B8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4951398019e9eeed9347b5c5298809a103c61b","datavalue":{"value":{"entity-type":"item","numeric-id":4418591,"id":"Q4418591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2b0383826da6a0ff858060896d7b9e2fe88b7f","datavalue":{"value":{"amount":"+0.78316330909729","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":"Q1041815$5DFC964F-9D3D-41AA-A89E-32902DD739A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373e43d326c0a1dd714b55a7939821e5a00b12a0","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18af6fe4a79266482b1241ec51009015419167c1","datavalue":{"value":{"amount":"+0.7688063979148865","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":"Q1041815$5054087E-A67E-455C-B15A-CB9DA8B4EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e2d03c1c49fe8ad05b688f92ac3bee45eba57","datavalue":{"value":{"entity-type":"item","numeric-id":5178896,"id":"Q5178896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f4b8cf6d8125f50491ef101ebc4266f520cd6e","datavalue":{"value":{"amount":"+0.761645495891571","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":"Q1041815$2174FECC-9023-4434-9A11-D6E577DD8DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4979dc32471f3fdc42d8854dae12d8611a512c","datavalue":{"value":{"entity-type":"item","numeric-id":2841216,"id":"Q2841216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ffcb0f95c8621602de904b5eae6f09563241c6","datavalue":{"value":{"amount":"+0.757107675075531","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":"Q1041815$1E111A5B-C5A8-4795-8EFE-4ACF9FF30B53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1041815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1041815"}}}}}