{"entities":{"Q3522928":{"pageid":5552832,"ns":120,"title":"Item:Q3522928","lastrevid":50446061,"modified":"2026-01-14T01:59:43Z","type":"item","id":"Q3522928","labels":{"en":{"language":"en","value":"Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321079"}},"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":"Q3522928$BBC54DE6-2020-4646-B972-4594D31E2413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d41d2c8c807582e6dff2dc1ca9abca96b0cfe3e","datavalue":{"value":{"text":"Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522928$C2F9525B-9250-46BB-A8C3-FE56B8E5BA6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c12d5592c1e49a4abaf4c3004d68f97a9bea644a","datavalue":{"value":"1161.68628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$C30ECAD3-242D-4AE6-A7C8-C2615BE23BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6e3cb3c84a6b10fd9ff62c63fbb1b99612208da","datavalue":{"value":"10.1007/11901914_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$8F2D1C83-4329-4829-89BA-FF7F10DA962F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af934de01236ff6769f9de152ad7c0dc72bd9980","datavalue":{"value":{"entity-type":"item","numeric-id":529042,"id":"Q529042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522928$544A8829-18DB-4BC1-8D2F-8C7DD933B8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522928$06B4664F-228A-4FB5-91C6-7B9736E24F30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522928$80FDB857-2AEE-4215-A771-B553581D1093","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-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":"Q3522928$B9451490-AA9D-4F9A-B5DB-964D35CCD4D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$AA884AAB-9BC0-4FEE-9474-D2B11B208E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$E2319616-5B1A-4787-BB00-AFCF4FE81D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$DAEBA79C-D8AD-4C1D-AE85-DA0156464C29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de8127372d151b0bd69f02946c1299a7b032d996","datavalue":{"value":"5321079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$BA7DB52A-272D-43E5-BBDB-EFAA29379E22","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":"Q3522928$65EF2453-6E91-4188-8794-9291D1118260","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe645c58d334e6ae7117d1d05d730b1cd3a6536c","datavalue":{"value":"https://doi.org/10.1007/11901914_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522928$7A93C795-9614-405C-A1C1-914A1370AF79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a42efc15b807e5de1fe2a71b713ce2886bfbc50d","datavalue":{"value":"W2157004650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522928$487DF135-A256-4D04-A290-19A34A7FC5FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d78190873b7f9c85fd1fc9ceffe2fd3a95fede","datavalue":{"value":{"entity-type":"item","numeric-id":2864393,"id":"Q2864393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a0c22528a7b51bb06063694d847d1140cb4ee5","datavalue":{"value":{"amount":"+0.8154247999191284","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":"Q3522928$EC461314-2C28-433C-BCA5-8A7E652AF420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea05ebca35919122de4ba48223636d51596a73f","datavalue":{"value":{"entity-type":"item","numeric-id":2864520,"id":"Q2864520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10c7403c055502b17e1a1f916c0285443c5836d","datavalue":{"value":{"amount":"+0.7823178172111511","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":"Q3522928$817ED41A-5E29-4D55-A8C4-0AE567CB8BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cd2d022ad2a3e75b210eb66f1c6e41bc5eca8d","datavalue":{"value":{"entity-type":"item","numeric-id":3655764,"id":"Q3655764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cce1f45b10696e824e72cf6228f25156950fc9","datavalue":{"value":{"amount":"+0.7421601414680481","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":"Q3522928$AEAF91FC-E943-4838-A982-47111AB81BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751f1647c944c77c68a7f213a80826679ee6cdcc","datavalue":{"value":{"entity-type":"item","numeric-id":2852064,"id":"Q2852064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c1bd289751034918baa6930ce45e7b0bde83b9","datavalue":{"value":{"amount":"+0.7206130027770996","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":"Q3522928$0C352D93-7229-4D79-B8F5-1362FE96163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d3b86e1f68967787a4fe12947674ba22d04fca0","datavalue":{"value":{"entity-type":"item","numeric-id":3510858,"id":"Q3510858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889d52977fb3cffc259c3eed9068a49f8b8752f3","datavalue":{"value":{"amount":"+0.7187420129776001","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":"Q3522928$EE0F2770-29FD-4706-863A-D414241D4C48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522928"}}}}}