{"entities":{"Q2063102":{"pageid":2073844,"ns":120,"title":"Item:Q2063102","lastrevid":78155024,"modified":"2026-05-06T10:55:06Z","type":"item","id":"Q2063102","labels":{"en":{"language":"en","value":"Formal specification and verification of decentralized self-adaptive systems using symmetric nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7454791"}},"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":"Q2063102$06DF6898-DC35-495F-95AC-DB638087B5E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b886a9c3e22f036c6c5611664fbbdea604a289bc","datavalue":{"value":{"text":"Formal specification and verification of decentralized self-adaptive systems using symmetric nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2063102$1E00F4E8-16FE-44E0-8576-355727FB3633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f588c6c32c7d15c64d32380ae87013a037139dd","datavalue":{"value":"1480.93259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$8B1EA168-933B-4536-AB50-4125DAC6D140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97941d49ce1e12e1055e003840bf5b1ac3abe870","datavalue":{"value":{"entity-type":"item","numeric-id":2063101,"id":"Q2063101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$F27A967E-89A8-401A-A0CA-74D03BF1B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"631357320e065970e73e78338cd1447cc10eb69f","datavalue":{"value":{"entity-type":"item","numeric-id":2035651,"id":"Q2035651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$288A22B5-5250-44C1-AAE5-C61D292000BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$7F99D25C-F274-4B57-BA78-58DC11B7309C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff63f60b6d44658f55871ef5632b30ddbe917cdb","datavalue":{"value":{"time":"+2022-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2063102$0EE007E4-1B6D-421B-98C7-B5EA53507C9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$D72C67F8-7643-4333-B775-818C6C32278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$CE18DA41-06AC-40E2-A0FF-E6E9FA9FAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd9a801a526fc4d8fad4b9db030b9cb0c67a3fce","datavalue":{"value":"93C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$C91537E2-7713-4230-B1B0-825A242634FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20d47ad5a28e0adddab316faeb6b0864f4e0471","datavalue":{"value":"7454791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$77853B0B-242B-4B38-843F-31642A314E2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a427491a66aa3f6fd6f8e227f3e5d2c69fc91ea","datavalue":{"value":"self-adaptive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2063102$41CA06AF-D295-4DBA-9239-A287FDE71F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc71eafe6e6c5b245841bee8b6da0d3b95a5c4da","datavalue":{"value":"self-healing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2063102$16C00E5C-9479-46DB-AE1E-F405F8CFD9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9615fd361e4de80428516933ddb1efc3950660","datavalue":{"value":"distributed discrete-events systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2063102$840C26ED-6677-4750-88C0-86CD4083B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2063102$F09E2800-2E04-4E4A-9C6B-67A2E1558409","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89fb12d844f0ad33355e58c257e09445a80837b2","datavalue":{"value":{"entity-type":"item","numeric-id":16563,"id":"Q16563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$34D9AE90-FF30-40AB-939D-DA96984CD7EC","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":"Q2063102$F0D47BA6-8DA5-45E9-8F6E-E717BB42D96A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f42850f4b6582bb8c3c142040c57bc95ba4d1b9","datavalue":{"value":"https://doi.org/10.1007/s10626-021-00343-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2063102$1470CE35-4592-40F1-AE3F-B4329E282580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0e477d7ffda47832156a919f6fcd8b92874cc42","datavalue":{"value":"W3191583928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$882C4C5B-6E23-4F6A-95C7-274BEAAB47FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"785df0fb579fa2debc9035d8ab1f15c0b622a0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4547765,"id":"Q4547765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$3120DA97-40F2-4193-89E5-19A90C6355F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0d20d438194fab97846402d15a7794db2ffe27","datavalue":{"value":{"entity-type":"item","numeric-id":5713499,"id":"Q5713499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$3A8182EE-1E91-448A-84AD-25A9B96D50E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3e969a254040be43566540c10bf7fd67a7a157","datavalue":{"value":{"entity-type":"item","numeric-id":2400911,"id":"Q2400911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$075DB381-00BB-4BDF-88A0-89D8CF67034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126405334a1b0ad21e8399f34dcd1c5308b05419","datavalue":{"value":{"entity-type":"item","numeric-id":5713500,"id":"Q5713500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$89F29257-4E69-433D-B44E-CA74289F28D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b17c976a7d3f22cc5103d732778bb33f9d8252","datavalue":{"value":{"entity-type":"item","numeric-id":5366868,"id":"Q5366868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$4D4974BD-49FA-4ADA-A305-92E4400D85A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3171cc2d64eac85f0ce885a0f10fe64ad407fc56","datavalue":{"value":{"entity-type":"item","numeric-id":3817573,"id":"Q3817573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$972BEB32-0B0A-46F9-9601-A1F8F2407479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca28a05d613fe3f574490834502bb0bf4b6b699","datavalue":{"value":{"entity-type":"item","numeric-id":5900825,"id":"Q5900825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$C210F589-920D-4A6A-A8DB-CE723889F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1426da5e84c59007da32316b5b58fd4bf20ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5713506,"id":"Q5713506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$433CDDBD-4CCC-4CDE-B7EA-4BBB58345705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$3DCFF5C6-9E95-4448-9779-B2506FD852FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f41f62ab565395a8253c460cb33b095b15e3000","datavalue":{"value":{"entity-type":"item","numeric-id":3636848,"id":"Q3636848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$CF729753-0784-47D5-9F9B-7204F94F5530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$80473818-E1C9-4304-A599-D599A74F7B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c69726f68d9bfc2fd098a35047b7394854c18e2","datavalue":{"value":{"entity-type":"item","numeric-id":804305,"id":"Q804305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$C7529EF0-A351-4601-BEB4-F157909E3B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced99b794cd9aaff55225dff3508ba9f79132ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5055702,"id":"Q5055702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$0F091CBB-BB19-43DE-914E-7FBD9F67E34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2935748a8d161b0e9ab93caa51b86d61e4ff3bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5712293,"id":"Q5712293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$307D2F9B-EAD0-4432-B8CC-973315373B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1066239dcc88a3a8313de81624fdd86a2b606062","datavalue":{"value":"10.1007/S10626-021-00343-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063102$777E919F-19F0-44F2-9BBB-C8359D5BCCD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a0c5c93a3d9210049307dd4b22d6d0f1d52c14","datavalue":{"value":{"entity-type":"item","numeric-id":2024379,"id":"Q2024379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8dc66b3a27fe63c0e6b50c4de86e97d7392608","datavalue":{"value":{"amount":"+0.7357853055000305","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":"Q2063102$6F3A4A63-C3D3-454B-9648-F1157A16A187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5a7315dbe87a3c989da9bbff55354e8350cbcc","datavalue":{"value":{"entity-type":"item","numeric-id":2917404,"id":"Q2917404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8363f13d0ce3912e3144edc438000bec44ae5463","datavalue":{"value":{"amount":"+0.7187740802764893","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":"Q2063102$56AD5CF4-48C9-4D82-A5D6-EB3882D448C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b79e2d4d649d5df6204a49d713c2efd29acf47","datavalue":{"value":{"entity-type":"item","numeric-id":4640959,"id":"Q4640959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d53d0649c1dc7f648e288c6d74fd6fa60cc4a5","datavalue":{"value":{"amount":"+0.695953905582428","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":"Q2063102$A28B4873-11D9-4ECF-A1CD-0CEC6752C645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce4cab8a6d3968aee4d11d3ab7f53b327db8b85","datavalue":{"value":{"entity-type":"item","numeric-id":4951656,"id":"Q4951656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62ed636a6a1988819849c8e38b93d44e25dfec4","datavalue":{"value":{"amount":"+0.6955629587173462","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":"Q2063102$3BDDFE66-7726-4488-B8D1-B84DC444367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1672fd6162cc790eac517ca18da771c952edebaa","datavalue":{"value":{"entity-type":"item","numeric-id":5881446,"id":"Q5881446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14787aee47eb8b55c879fcc99dcfa3b91bd7b85a","datavalue":{"value":{"amount":"+0.6900670528411865","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":"Q2063102$C4D406F2-B8E1-4087-A23D-571D90F2CA07","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063102$31A59399-961D-477A-BC16-CABC96617B77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal specification and verification of decentralized self-adaptive systems using symmetric nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_specification_and_verification_of_decentralized_self-adaptive_systems_using_symmetric_nets"}}}}}