{"entities":{"Q2568979":{"pageid":2579722,"ns":120,"title":"Item:Q2568979","lastrevid":48569731,"modified":"2026-01-05T06:11:23Z","type":"item","id":"Q2568979","labels":{"en":{"language":"en","value":"Analyzing a \\(\\chi\\) model of a turntable system using Spin, CADP and Uppaal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2214848"}},"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":"Q2568979$08A7CD03-8F32-4A29-AB97-DF40DE63B599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b61559e177c8c5e81d8ecd005f2c73a229a9161","datavalue":{"value":{"text":"Analyzing a \\(\\chi\\) model of a turntable system using Spin, CADP and Uppaal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568979$E4641912-FC8F-4847-B16B-DA91196306CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f409881454c1d243a0e0b4b47a3f9fe1964f328","datavalue":{"value":"1088.68523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$2BB4DDC1-F27B-478D-99C5-9E8F2B6FD101","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b3f8b36e07aa02fc357d5e6858e8217375d8654","datavalue":{"value":{"entity-type":"item","numeric-id":2568977,"id":"Q2568977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$5EDC2264-E178-4879-93B3-41E29AD28DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$11A4167C-CE86-479E-A789-D9441703A230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$E5B6CDB8-CA88-46C7-8584-DD0C15D63762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97af0bea1dd049a1bb7e9c6cda37ad2cac011bda","datavalue":{"value":{"entity-type":"item","numeric-id":351741,"id":"Q351741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$C8224EB0-2AD9-413A-AA21-C4C6BE11EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7682ec469886f24d2f5d573d128a429f22c994ac","datavalue":{"value":{"entity-type":"item","numeric-id":764288,"id":"Q764288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$EF50E3B9-8FD3-4A59-8DB1-67FC80DAD0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$DF046275-361B-462E-B845-82337FFC4242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$2ABB7921-D9C3-4CB7-81C7-4312E9FD8598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c0b8eda5df87fed1e881da856836b7c0f8feed","datavalue":{"value":{"entity-type":"item","numeric-id":351742,"id":"Q351742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$B4B460BB-03C1-4FF2-A276-1D615B3A04C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$EF3FCC65-09E1-40EB-B776-4C5546E3BD45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6698617e61f89b4d4677c4cc7db9b87162fd5e","datavalue":{"value":{"time":"+2005-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568979$C7202010-40A6-422F-8606-884456F6DC94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$C6ABF903-CB1B-444A-B81A-7FF2D931783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$EFA6943D-8ABC-4224-BF85-BBAEA1B9B525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$42EC8828-D86B-4F6D-BC8F-4A6A7070C215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c00cf414e2fb6e3cde534280c6b3a8cd32482c","datavalue":{"value":"2214848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$77EC7FB6-AD67-4CBA-BE06-1CC1097AAF2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$156FE3FE-6F09-4485-9D43-FC7275D6D7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$4E5B5EE5-68BC-4FDF-9D42-D2A4FCC49635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$66382F83-CEC5-494E-BDB7-FC5E2304396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$2618D2F0-2947-4522-9A05-9F5507E525F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$8427DE8C-F6BD-4FC6-87C4-9AA185F4BE23","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":"Q2568979$C087593C-0CC6-4AF7-9B7D-8C27C94B3B07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbf9bdcfd1a793713a889ff5d969f585b79e6def","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2005.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568979$33DC616A-04ED-4508-AEF3-16FC67DCAA87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16292a3621329edaf08f1f0e08c2bbf7e6f2da76","datavalue":{"value":"W2132602141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$841C328C-8F6A-4B8B-98AF-8016FA696E2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$CBB94C71-FCAE-4141-8C4B-DE3343E7ED2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$A80D30F3-9524-4AAF-9D4B-AA147FEBFF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$8D62B2E6-85AC-4FD7-BC85-CAF6C442F99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75f11361218ae773ab4b9dcbacb18b596e0c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$34C7F9B6-F9F9-4A3E-BB3F-771D5025B518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$EB5437B8-0DB1-496D-BFF7-685709B75750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$A56EC328-D772-47C0-B7F3-3408F3C185E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$48F8F9B3-8D7C-4884-BBD9-D77FAF742D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541911022e3d0c5636b28b80dad3e9c5388a29dc","datavalue":{"value":{"entity-type":"item","numeric-id":5312977,"id":"Q5312977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$63A10C0D-112B-43FD-9EE9-AFDCCE85BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63c971eac7cf124c57ecd9fae7d6afa8bbfef14","datavalue":{"value":{"entity-type":"item","numeric-id":4808842,"id":"Q4808842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$87C58E7A-1D1F-43C2-8C2C-63A9683A6897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$4D946D9A-59E7-4BE3-A9CA-047C4001A7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$72AE076B-4F4F-4F4F-8D7A-4977DFFCB610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec29c1dfc5cae67c33df774e871b7b5be9d2dedb","datavalue":{"value":{"entity-type":"item","numeric-id":4356436,"id":"Q4356436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$6F19F48F-C12D-4B06-9F0A-FD07C98704DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$38280AC0-D67F-479F-9337-1BCB93EE89D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60252cabfde8e6408e8ce460012d0830ce7daca","datavalue":{"value":{"entity-type":"item","numeric-id":5953452,"id":"Q5953452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$E9203C62-805A-491C-AB96-DC2B9265E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$409DD4B0-F6E3-4F49-9A40-60232F42CB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$C0BC324C-30E3-4EBC-A362-85F1506FF745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$772F70A4-8B26-46F8-B46A-24FC359BBA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b695a21a3286308c9abf94d4f6fe2f2ff1c6db","datavalue":{"value":{"entity-type":"item","numeric-id":1347990,"id":"Q1347990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568979$75A51CEE-D0F9-4FEA-B37E-8ECBA78A27D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9102b85e3722d633848410309ecb0f45dd9b78f1","datavalue":{"value":"10.1016/J.JLAP.2005.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568979$4DD3A996-84E0-45A2-BABF-441C88C63707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bede1af43b52bdc3bcd27baefd81a92cdc7fa05e","datavalue":{"value":{"entity-type":"item","numeric-id":1870212,"id":"Q1870212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa70fde96c6adb5793abed2522c8566a1762d286","datavalue":{"value":{"amount":"+0.7400347590446472","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":"Q2568979$2A65B10B-49C6-48A5-BDF7-E44047ACAB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a61080887e5ddefa3cfc7a6c8f3c67b76d38ad9","datavalue":{"value":{"entity-type":"item","numeric-id":4808842,"id":"Q4808842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945e100a574c1898586b812c19a56f7d9c8c5dc1","datavalue":{"value":{"amount":"+0.7062210440635681","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":"Q2568979$5A56A582-372A-4950-81D9-8CBB1716868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c93592b4f9f00517e4ad46255d27dee4a8a3df","datavalue":{"value":{"entity-type":"item","numeric-id":2970246,"id":"Q2970246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743092e9c341a36a2b65bab93098f53496b613a8","datavalue":{"value":{"amount":"+0.7054540514945984","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":"Q2568979$59256CB3-C4B7-4535-B451-C65B2B887D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3961aa2b93132e43ce471f4012f819708f017c33","datavalue":{"value":{"entity-type":"item","numeric-id":3184630,"id":"Q3184630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a31d97eeea092abb35df8bdca0a4fbcbcb43fa","datavalue":{"value":{"amount":"+0.689879834651947","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":"Q2568979$15A1C637-5E05-446C-ACF4-250D1FB8051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0432cc6bbca305856891f47a866052527d66b1bf","datavalue":{"value":{"entity-type":"item","numeric-id":4356445,"id":"Q4356445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c9570aa6244dfc3a3f2a6b66078b9055e70ce1","datavalue":{"value":{"amount":"+0.6854789853096008","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":"Q2568979$D33EB730-2143-41AF-B2BB-DC28B53854E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568979"}}}}}