{"entities":{"Q5902259":{"pageid":8011184,"ns":120,"title":"Item:Q5902259","lastrevid":50837660,"modified":"2026-01-15T08:47:34Z","type":"item","id":"Q5902259","labels":{"en":{"language":"en","value":"A practical approach to verification of mobile systems using net unfolding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640654"}},"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":"Q5902259$2B73569E-F60C-4522-9FEF-4E0B169BF47B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75abb6aff53420f4033191c880ada20ffb71937c","datavalue":{"value":{"text":"A Practical Approach to Verification of Mobile Systems Using Net Unfoldings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902259$14E270D8-E7C2-407E-A96F-1EFAE5CAA57B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b842dea8d12834de55bdef0af3b8c6589fe3cdb6","datavalue":{"value":"1183.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902259$0D632F1E-78DD-4F0A-8154-C4C89C05633D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c602a487691ef1dc4c178fce84bb5b86418fd3","datavalue":{"value":"10.3233/FI-2009-138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902259$BC2CCB25-A90A-42DD-B93C-21089D8B89A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902259$0EF6637D-0148-486B-8FFF-3838167069DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8e94683a4b6c58358f4dd8e3a0aa19dc8c360e","datavalue":{"value":{"entity-type":"item","numeric-id":403019,"id":"Q403019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902259$808AFB90-C506-43D3-8F59-C6364BBB989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f3292248875e61696ab1a0f786644080310432d","datavalue":{"value":{"entity-type":"item","numeric-id":3510875,"id":"Q3510875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902259$4107654E-F517-481D-9361-0F9AD85BFB73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902259$45574953-534F-4F62-ABEA-DEC2C8E65776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902259$C5C6226B-4279-4598-B80F-3CBAFDDE5ED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902259$1AE85398-C836-43F8-848B-6CA65BF3AB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902259$A71D4A3A-5920-40F9-9DDB-1B97FE70526F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69dd8189dc9befa29cc4376f7642a9b30a4075e5","datavalue":{"value":"5640654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902259$01345D2B-64B8-4C96-9D34-BC310ED2F68A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d0264ab36b9012f95beb86fff3237ce17f8aad","datavalue":{"value":"finite control processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902259$4284B44F-4AC7-4E02-A0BF-992D82CE3591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae66c79db5504c9f3094483f1996921eb16576a0","datavalue":{"value":"safe processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902259$F763C820-1FB9-472B-9FBE-C23949D51253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902259$16AADD32-C372-4727-923F-ED3B5E0A18C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625c57ff732728ea6d2a60df9656e6c5c470c086","datavalue":{"value":"mobile systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902259$9493F4F1-0E22-4304-95FD-18A0B44F395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902259$5BD8E3D6-16E1-4296-9A80-7EB515E57129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d53d340be4a9e964830097808f913c19864d07d","datavalue":{"value":"Petri net unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902259$A1B3E64A-9906-4E0E-B01D-6C7AB288D954","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"966f5e8a97ea12124cd8285b1340644dc996b569","datavalue":{"value":{"entity-type":"item","numeric-id":16570,"id":"Q16570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902259$E25296DA-1870-4990-BFBD-61471E84A841","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":"Q5902259$B4B73F2D-E288-4C9E-863E-5DB3DC807867","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db57cb082a70ab7f58503cc2ca152f13a5a93fdb","datavalue":{"value":"https://doi.org/10.3233/fi-2009-138","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902259$EF293E86-AFC2-4A49-825D-C48802722CED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb7f8841facd9e0d738ccc349a2e58cea2378dc","datavalue":{"value":"W2109613468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902259$4130D3F6-E891-484D-9167-9310F941ED01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3e678780ad710d31435e7d8ebe47c58963a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":5900141,"id":"Q5900141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc47eba39004b4b5af342e2c27e1efdea571ab0","datavalue":{"value":{"amount":"+0.9799184203147888","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":"Q5902259$D1372D77-8AFA-477C-8FB0-0C2E87E10AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7bee2d99d6f673d553af47b6ee87cdfe7fa03f","datavalue":{"value":{"amount":"+0.7675236463546753","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":"Q5902259$9A481A1D-C37F-44F1-967F-F6B1F9F3F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cb038993672d4bd0ea87fe1a76b7b4bd4d69df","datavalue":{"value":{"amount":"+0.7644158601760864","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":"Q5902259$090E68ED-9555-4EE7-A65B-954F073927FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88546406218c0ada73912c9c9f4f776bf009e166","datavalue":{"value":{"entity-type":"item","numeric-id":2912696,"id":"Q2912696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31e04632e35105ebe7caa4e59fff98afa87724b","datavalue":{"value":{"amount":"+0.7418051958084106","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":"Q5902259$2CA9EB32-F8C8-44BE-BCCF-63B0D65525C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee8a46f5ca181e619f2f95557a9f57198dccc70","datavalue":{"value":{"entity-type":"item","numeric-id":878111,"id":"Q878111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3701c9ebe9b340ae50ef3da57fe150dbab3a30ee","datavalue":{"value":{"amount":"+0.7413599491119385","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":"Q5902259$2BE1AB67-74B3-4D8E-8D06-55F70F9D650E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902259"}}}}}