{"entities":{"Q2848039":{"pageid":2858759,"ns":120,"title":"Item:Q2848039","lastrevid":83764517,"modified":"2026-05-07T10:53:30Z","type":"item","id":"Q2848039","labels":{"en":{"language":"en","value":"Satisfiability of Dolev-Yao constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211397"}},"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":"Q2848039$B094B513-2A2C-430D-8D5E-7EDE23BC91E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc5cbceba09e53fee01af270d1b6aa89a29f18a2","datavalue":{"value":"1272.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848039$049E13F0-5712-4F32-A16F-68ABEF226B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0186bc7dd1d1b4a4788ea11c9251ab62aea699b5","datavalue":{"value":{"entity-type":"item","numeric-id":2848038,"id":"Q2848038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848039$F3C8EC2C-889A-47D9-85C6-671C774F1C97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848039$A8DE22BA-DCC3-43C7-8F3B-5A58AD005AD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f83ae286065d1b011e03b881a9879a7367ffa19","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000770","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848039$0D5D27FF-8672-49EA-B38F-14AE2A021B30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848039$76CB2D06-32E8-4545-8753-00D3451852D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848039$A3CB0A39-7B58-458B-81CB-8BA601899112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68b4a1299e1b9a106144c5d1ff343176c9d3ead4","datavalue":{"value":"6211397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848039$135C6DB3-C2A1-49F0-B467-66D43E626D49","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":"Q2848039$76D374E1-C2B4-4033-8F6E-0878E4009A80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1faf8eef0457c8ec7a6c26fcb6906d77d36d00a8","datavalue":{"value":{"text":"Satisfiability of Dolev-Yao constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848039$4F531F20-6F30-4DC1-A0DE-11250B19D53F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0202efa54f18a9a53ff37dad2f5d332542ef786","datavalue":{"value":{"entity-type":"item","numeric-id":507349,"id":"Q507349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d950812d21a2a31ff883e7c03ce24a3514d051","datavalue":{"value":{"amount":"+0.7676234245300293","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":"Q2848039$ED7B88C8-9B1B-4C0B-93EC-217F26153122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0dc97a7aa2c14a656f1307c103ef3c2d811bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3789477,"id":"Q3789477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6966cdc621747c861c76ff6d6b1884e4fad0129c","datavalue":{"value":{"amount":"+0.710908055305481","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":"Q2848039$E1E3BADC-CE8F-4220-9EBA-433055542AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ead2653a18e8dff372ed7fb36ab30b86bc95cc","datavalue":{"value":{"entity-type":"item","numeric-id":3590970,"id":"Q3590970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a153a78d22d94fe288ed3ae1106569eff00b006","datavalue":{"value":{"amount":"+0.7099160552024841","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":"Q2848039$174E1DD5-A043-4E3B-B6B3-FB10A5BC5403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27fc3f00b21b92964dbaf37e2ad8cdc64eda95fe","datavalue":{"value":{"entity-type":"item","numeric-id":3656839,"id":"Q3656839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c784133f892ef45577243ed67ff03be2ea7270be","datavalue":{"value":{"amount":"+0.7058890461921692","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":"Q2848039$B6648B8C-875A-48E0-8E3A-0BA4DB734DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07223c21ed5a6479ec2aa0b7699d91b8b47d335","datavalue":{"value":{"entity-type":"item","numeric-id":2852062,"id":"Q2852062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec39011b0ce1589e9b8d97e76b42d5e18affce3f","datavalue":{"value":{"amount":"+0.6972706317901611","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":"Q2848039$25061E0A-B262-4DAF-8C89-944FDD0896E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of Dolev-Yao constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_of_Dolev-Yao_constraints"}}}}}