{"entities":{"Q5900141":{"pageid":8005317,"ns":120,"title":"Item:Q5900141","lastrevid":50400245,"modified":"2026-01-13T23:35:09Z","type":"item","id":"Q5900141","labels":{"en":{"language":"en","value":"A Practical Approach to Verification of Mobile Systems Using Net Unfoldings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297111"}},"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":"Q5900141$D5CF931C-C553-4317-BCFC-D1E5D77D7F44","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":"Q5900141$6E5E8021-BEA1-452B-8567-2D8F96EC9F4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22252613c428fe6eb7c9e8a9750ecc446f252bee","datavalue":{"value":"1143.68460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900141$CD3E34C6-3DDF-4A39-B3A9-B79D72842895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47408a0e07d4e4828ed23783983e5ddf56dd30f6","datavalue":{"value":"10.1007/978-3-540-68746-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900141$CA1DE7C5-29A9-4069-BFA4-889754FDDBE3","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":"Q5900141$595D9651-6369-4512-93DC-305DDB4CE498","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":"Q5900141$E0808547-56FB-4678-B435-8BD09E06EFEB","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":"Q5900141$8CE2C7A3-8A7B-4391-8E22-4B3AAD631833","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$6B7248AF-7692-433E-9030-884936335BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900141$758BC7E6-941F-4BD9-BADD-9E4653F27E0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900141$824D6463-881B-40FC-A2F6-664F67AA44E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900141$415D550C-4C9B-442C-B1FB-10FA12C3E3EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18683c05aa4ce2637586558e1e292efaa1215e1b","datavalue":{"value":"5297111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900141$74776B08-648C-4402-9713-A99E9A3DCF64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d0264ab36b9012f95beb86fff3237ce17f8aad","datavalue":{"value":"finite control processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900141$D9D15EEC-4E16-44FB-B66D-CFAF172AE9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae66c79db5504c9f3094483f1996921eb16576a0","datavalue":{"value":"safe processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900141$758727F4-7AE9-4815-85CE-9E8DB52FFEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a169e12a5dce215d49463b5cb9858dd0152c23de","datavalue":{"value":"\\(\\pi \\)-Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900141$CE4B6C7D-2F5A-42CF-A0DA-EB17095A6BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625c57ff732728ea6d2a60df9656e6c5c470c086","datavalue":{"value":"mobile systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900141$782D852A-47DF-4E0A-AD0B-897EBB61B693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900141$39C3DAA7-E0DC-4B13-B061-0F32DB5967FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d53d340be4a9e964830097808f913c19864d07d","datavalue":{"value":"Petri net unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900141$436BBF46-8EA6-421B-8DD5-018E4F93529B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$B010FA10-C411-422F-BFD2-4A5FAB2447F3","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":"Q5900141$31712D83-59BC-4234-B6B2-D9B1758C58C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d69281bd9d5e1924306c7dbed176a13bbcc955ee","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68746-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900141$BEA31637-F455-4FF1-8207-31739112376F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5be5d34889857b4edb476fb243167e477de0a212","datavalue":{"value":"W2172719063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900141$D7B94B8F-07B9-4974-92D4-0B8F24D0B2B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$9B2A959E-24FA-438D-9785-EB7DA642B5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b51c779cb8c410e34cefcfe7146c74f9d8ea23f","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$E99421FA-511E-474C-A245-65FE0AA4F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$F60A4B58-C54E-470A-A28A-E1ECF1780694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$8F7B5BBB-2462-4EE0-BC18-E28E01D64168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$64F8D2AF-2827-4826-B7A1-9A5F386F0FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9cf150a6fcb511510e358888d96eb0a938bbc0","datavalue":{"value":{"entity-type":"item","numeric-id":4824481,"id":"Q4824481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$D4C5D8A3-D153-427A-A2E8-1AA6749FB563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$E22862BE-2BC4-4771-8582-399A1404B789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6470e5c46fbf1619a56cd84924637618de9ae4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5900141,"id":"Q5900141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$79A7CA5E-2768-41EF-A82B-5655E477FA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3718c6bf57f5371aee2d246b8d5205c2c477cec","datavalue":{"value":{"entity-type":"item","numeric-id":1205185,"id":"Q1205185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$4A2BA881-17F2-40EE-A879-82FEF57F3962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$DFCA1A5E-430F-4A21-AA5C-0B662A3E110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af915488af489df7f09b16bdb60f05e12a8b839","datavalue":{"value":{"entity-type":"item","numeric-id":1273576,"id":"Q1273576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900141$D282F0D9-A3AD-4991-8949-4125736DD436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030b7a3dbb0713d50670f22f078971f261fe20ac","datavalue":{"value":{"entity-type":"item","numeric-id":5902259,"id":"Q5902259"},"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":"Q5900141$295DE95C-61FE-4BF4-BD27-600532DB1AD1","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":"9e9997aed88b234aaf5ef1899909fe8cfae9aefa","datavalue":{"value":{"amount":"+0.7968143820762634","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":"Q5900141$50609089-B859-4451-9D4B-4754F0081E8C","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":"70d12f05eeb0f3c629a750394e7c2ee031b8d8b2","datavalue":{"value":{"amount":"+0.7674784660339355","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":"Q5900141$A86D96BE-8E93-4B6C-B5AC-A561BB9AE869","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":"6f17008932f18116009fad7de6a5854e42a92ba2","datavalue":{"value":{"amount":"+0.7612419724464417","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":"Q5900141$7D46E746-C011-4ED6-A0FC-37FBDCC00C4A","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":"ebdd76c11b5272c6e279457f2f83c1c8b125a34e","datavalue":{"value":{"amount":"+0.755974531173706","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":"Q5900141$5CCA0326-E979-4253-B809-A6D7D4B0AB99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900141"}}}}}