{"entities":{"Q6967323":{"pageid":21307002,"ns":120,"title":"Item:Q6967323","lastrevid":84054332,"modified":"2026-05-08T22:53:47Z","type":"item","id":"Q6967323","labels":{"en":{"language":"en","value":"Model-checking parametric lock-sharing systems against regular constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056641"}},"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":"Q6967323$C447E5C2-0349-47CC-AE3C-8D7155C47138","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"671051db7264a812168848f13239ad1813ea7d10","datavalue":{"value":{"text":"Model-checking parametric lock-sharing systems against regular constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967323$F755F5CF-1081-48DA-A033-0BECA51DC683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb19d3417660d29880d30dc609df81965928c9e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967323$152982C8-232A-416B-B8D6-7FE4FC2A7C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6d8d97ad12726aa3c87b741913b0d48c9222df","datavalue":{"value":{"entity-type":"item","numeric-id":4992843,"id":"Q4992843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$4BAF3F78-0D9E-4699-8D29-8F6D6EBFED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$BEB95D46-CB0F-467B-82ED-9AB1AE410ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$9A37C328-7963-4DE0-AF96-C008F51EC9A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967323$D2B183D4-07F0-49FF-B1FA-BE7C9EC9E3F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967323$6426A9A5-194C-4998-9390-FE9F32924936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83ec178e71a1945eb0c4a374d26f71b5ac39b6f8","datavalue":{"value":"8056641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967323$EC826A08-89C5-4BA4-8B9C-1A8CA3BCE5FD","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":"Q6967323$4035B374-292E-4B6E-8502-0AA42C05FF22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fac0cc2cfb52d84e5fc5c5bd4b8870e42110bdd","datavalue":{"value":"parametric systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967323$B134481A-BCE6-4AD3-BFAE-3D1BFADCE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91223fb9ee6329853aed0b592e87de930b069583","datavalue":{"value":"locks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967323$20B3435B-5652-4B7C-B238-00CC32B93213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967323$92C46893-34A4-4A7B-8D48-E4A6099668BF","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":"Q6967323$A7421DEB-8183-4E9C-8DC2-AA77489B54B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b44f26d8bf5f5303221a9b0cfa8f0cda1ed08e","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$6D4A5849-5FEF-4853-95FA-57613A4590C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d344aae9bcab431ea98a15f445f815746633c9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5039520,"id":"Q5039520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$8812A8B7-E99E-4F13-8E13-E3149521C7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f8eb5c74788cbb15c1979eb4246bed61eb307c","datavalue":{"value":{"entity-type":"item","numeric-id":6842459,"id":"Q6842459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$36FD0096-7603-4F0E-94D4-765B5565BF73","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":"Q6967323$86AF6933-5B4D-4104-B4A7-0DC76743DE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$A10692F5-3FC7-4B58-843C-C7E19B908E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$F23DA485-B485-4B39-BF01-3D95AB8CE4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa684edaa54edaf798f2694399ab6ea7d4af27b","datavalue":{"value":{"entity-type":"item","numeric-id":5096084,"id":"Q5096084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$E06B2B87-2BB1-4FA7-8613-F5FA450FF55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b4fc90a450d898ef2b017a9eafada8e5ce647a","datavalue":{"value":{"entity-type":"item","numeric-id":3177767,"id":"Q3177767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$AA0AAF85-204D-4EFE-8F29-C30ABBC8D34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67d32e2526a0951c6dbbf20a98951c02007a95e","datavalue":{"value":{"entity-type":"item","numeric-id":2164219,"id":"Q2164219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$573C5BA6-041E-44C8-B0D9-AF0571449D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4697f44823f8beda22de7e4e1d26f72ba958363a","datavalue":{"value":{"entity-type":"item","numeric-id":3075482,"id":"Q3075482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$2BD3CC24-B40C-4A17-A91F-07421FD1010E","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":"Q6967323$3970302A-7BDD-48BB-A07D-91E405C7EE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1579353b78c6aab8c838c97a5749840903528a93","datavalue":{"value":{"entity-type":"item","numeric-id":2911646,"id":"Q2911646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$48CD068B-528B-455C-BB31-F6228C421FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$7EA13EF9-AC93-42DA-8ACA-AB9B2164C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dfc8b30501a61f17deba59b87321539209aa4c","datavalue":{"value":{"entity-type":"item","numeric-id":6039304,"id":"Q6039304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$AE854EED-0987-44B6-9DB2-DE4A92B1D041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ced8c38baef113b32e01b72e87cf753eabeb19f","datavalue":{"value":{"entity-type":"item","numeric-id":3172801,"id":"Q3172801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$D9010F02-A89F-4FDD-A9D0-637B12F41349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0217be03b76b871fb6fb4de6b49fb9c0bd33eb66","datavalue":{"value":{"entity-type":"item","numeric-id":3636879,"id":"Q3636879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$CF218380-BC8E-439E-BABF-02E8A35B4677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced9b2ec5fdb3d4628c0ddf761b51a28c17192a3","datavalue":{"value":{"entity-type":"item","numeric-id":2961580,"id":"Q2961580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$C5896E39-7F3B-4A0D-9CA2-B9A27D98488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$089D034C-8459-4FD2-AB83-9FC8715F40BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f38abb783fa3ec9eba69b867c97673b818f230e6","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$47684BC3-32F7-448D-B376-8BA286FA1DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f3aef28e9ef3f4964c0ac81df964d243c2348a","datavalue":{"value":{"entity-type":"item","numeric-id":3179302,"id":"Q3179302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967323$A45E3A3E-08B8-4844-B58E-B4C68B1DBF68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking parametric lock-sharing systems against regular constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_parametric_lock-sharing_systems_against_regular_constraints"}}}}}