{"entities":{"Q2817946":{"pageid":2828684,"ns":120,"title":"Item:Q2817946","lastrevid":79745816,"modified":"2026-05-06T14:37:05Z","type":"item","id":"Q2817946","labels":{"en":{"language":"en","value":"Model checking parameterised multi-token systems via the composition method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623282"}},"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":"Q2817946$BC3CE17D-496D-406C-89A7-242C7E4243AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d345716a997d8f8bdc2bc1b6c99958266c40d50e","datavalue":{"value":{"text":"Model Checking Parameterised Multi-token Systems via the Composition Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817946$037097BB-3925-4F8D-817C-6A085C75947B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b09884368534c3135ed602ef1fefde4dec1854cc","datavalue":{"value":"1476.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817946$3A383AFC-04DF-48DE-9280-B77FAAE31ABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1148590d92f40ef4ea85b50fa4cd44c4f69a9946","datavalue":{"value":"10.1007/978-3-319-40229-1_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817946$ABC709AC-CBC6-44AE-8ED3-BEACDCCBB512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$817955D1-8443-48FC-8893-FC06E5654282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$D66DA664-AC62-42B8-982D-79905035D069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$83B9353D-A457-4100-958C-5EC2CA69BD52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817946$CDF31051-4395-484A-A691-CEC66869A396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bba0d2c912f692b94e8322bd77d68e07b0cabda0","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3798","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817946$4445A27A-7ED9-47D8-9E0F-C7525400ECD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817946$799504D0-E8BE-4C7F-A66C-B7C54B790AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d54584a8492c5ef3c6e5bfb8c067aa3bd4b3bf6","datavalue":{"value":"6623282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817946$0A34AA85-26AF-4E5B-A60E-C50D8B63DA42","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":"Q2817946$445341A1-F781-4F08-A70A-3213D2652774","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95b51a083f3fb07d3d1a836464e0a2760fc1e61b","datavalue":{"value":"W2478478319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817946$F01BB116-3F5D-4FE0-957F-74CD0307287E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb1cd7b26c2aad03b1739ec12d7fe628f2c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3172855,"id":"Q3172855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$8222DA06-7188-43A3-BBDA-B47E38D57EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4bc1e19c37922a639da1a9ec5564fb5110b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$D9EC7F8B-2149-4501-A718-0F7094931CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8018e4b2238d1fb6a944b40d6c56807562f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$71D6AFBD-6900-463E-A70E-FB30E4BE6C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e2df2560abb1b0a937ec4034acc585fd958ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3449490,"id":"Q3449490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$9541323B-AA9B-4C07-B2E7-964F89A1061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd52f0bdf51c4026c5646e2b31e83cf14521bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3460063,"id":"Q3460063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$C127F0C1-7CA9-42BB-ACCF-E9B899A8F812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$989D1821-1F4A-40ED-AEB4-8685B4B0D8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$79A8E64F-438C-4F6D-BF76-B30CC36AFC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$AC698183-80AE-4479-B3CE-A827E1898DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$F4916F2F-7734-4A2D-8CED-45E3EF8A6245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5669971b07d7188fed699068dfe496a50bb4fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4584899,"id":"Q4584899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$F9D1D8F7-1EF1-447B-B580-D6423AF2EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$F573EB9B-639D-429B-9575-70B44ABF32CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51c2da2c014cfa431e58ae6c8b9f43c46f565c3","datavalue":{"value":{"entity-type":"item","numeric-id":4417919,"id":"Q4417919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$87616423-4681-4073-8826-6DA3527A2259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$9FAA8562-E1EF-4751-9F71-9FA2DB5F7526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$90E1AA3E-70D9-4EAC-82A9-C60680916506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$C3E7AA1E-0215-43BE-B3E3-587AA8061789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470b378741f28bdecd3dba78fc1f965ca175562","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$5B731A02-4BCB-4EB1-B0E8-FACF0FDD95AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932e1658ba5f2c3c316d94219b79648def27b84c","datavalue":{"value":{"entity-type":"item","numeric-id":911752,"id":"Q911752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$18E87FCF-6083-4059-B09A-D344BCF93E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1548cb3c88cb78e09d1e21df11b259c1b6b89fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$FCD7D891-D60F-487B-8DD8-6FDFE25848A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514e972478f9e9ddc03ee1542aae46bbdecc23bd","datavalue":{"value":{"entity-type":"item","numeric-id":4917027,"id":"Q4917027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$BA516C85-0783-4D24-B48A-15FCB1EA0C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$FE1EE7E7-7F71-489E-ACF5-00447749EE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817946$5E381355-82F0-4CB1-9FA3-09D918EBDD27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed890a10157a83ba5968310a3c7f10b631ef0733","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa46110cb5dfe1d301e44e5ea456fb00bd805b4","datavalue":{"value":{"amount":"+0.8327049016952515","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":"Q2817946$8CDB6B32-04E0-4171-BE22-CDD8C3CF40EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9235e13af86ee9bd613c30708474e8a08f0024b6","datavalue":{"value":{"amount":"+0.8107419610023499","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":"Q2817946$3C8DA454-DC39-43F5-B888-1CC633001F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a1679851b25e04099141d3158a9af7b045f268","datavalue":{"value":{"entity-type":"item","numeric-id":1635829,"id":"Q1635829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69cecc1ed8b3067e203d1140c7db68aaa77f7f4","datavalue":{"value":{"amount":"+0.7936376929283142","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":"Q2817946$B2E3F887-ED2B-4053-B6AF-AFDE4E743858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82527b14d149aaa0d5929b733d923fa2a9fe5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5380b5d2ea3ccf6159c91b507e5d54b137be1f14","datavalue":{"value":{"amount":"+0.7929834723472595","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":"Q2817946$9F85675D-3389-48FC-9116-843BD5E0A81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85fb2f67a2f7c58dc3bea40d13f31f6037990cc","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91c5b2d805bac0f3b3ba42cbd486d7384d3ef65","datavalue":{"value":{"amount":"+0.789572536945343","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":"Q2817946$90D218EA-7CE5-45C8-B601-8C8082B25F0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking parameterised multi-token systems via the composition method","badges":[]}}}}}