{"entities":{"Q7268686":{"pageid":31057349,"ns":120,"title":"Item:Q7268686","lastrevid":104298710,"modified":"2026-06-30T09:09:18Z","type":"item","id":"Q7268686","labels":{"en":{"language":"en","value":"Verification of time-bounded multiset rewriting properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8213220"}},"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":"Q7268686$125EE3E7-8AE8-4AB3-BFE3-8DD571D7BF2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1a96b72f45095311a82f1e008f89e87f143a159","datavalue":{"value":{"text":"Verification of time-bounded multiset rewriting properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7268686$F89089E5-888E-4D54-9239-0A50D676E6C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c8d684331a9e4539669ea1f6e180cc8aa05301","datavalue":{"value":"10.1016/J.JLAMP.2026.101124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7268686$AC1654F6-B1CC-4D7F-9B48-A21E17127279","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"6226070e8c396bfccf09ff8aa673d270f11f6735","datavalue":{"value":"Tajana Ban Kirigin","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$3A52CF84-E910-47A7-9861-F3F5F58B3C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"d5d400d0f741569706451d765d1fbf12539311a9","datavalue":{"value":"Jesse Comer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$2E032A0A-EB23-48C5-9C96-926A3486BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"584cf5da60d6d5f01aeda69af5420bf41b84372f","datavalue":{"value":"Max Kanovich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$0FCF78D3-33B5-405E-B3E6-2C20A33E23A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"ab0d5b35981ae0c6461aa31966432d95434cd97c","datavalue":{"value":"Andre Scedrov","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$A151986D-B6A2-430F-A085-4DDC2ECD5611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"6bac502c526184bf5bc5909e7b5c095a5748f38b","datavalue":{"value":"Carolyn Talcott","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$853C3287-1EF6-46AD-87CA-AD4EAE570089","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$32275876-931F-4D59-90C0-F51B5678EDE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faa70dc1dd1eefd99c18cb498eadac6141581513","datavalue":{"value":{"time":"+2026-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7268686$27D0C14A-80E8-4CB2-A0EB-79DA48A821E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7268686$879B5E2A-5873-4BE1-8F48-80B785000C85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a022651ca94c952f6a354209334524baba5b34e7","datavalue":{"value":"8213220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7268686$A4479E15-17CC-4BCA-9443-7D3913B8038A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef1625684ee1906c78ea5e52376065e793cb680f","datavalue":{"value":"resilience","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$8D6FDBDF-FD50-4AE9-8B32-F48C2E98B2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff847663cd95b6a04821d35d3944252870a61bd","datavalue":{"value":"multiset rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$D2F093E7-17E7-4315-B4B4-1A33EB2BC793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$24C05E0D-2DD9-4547-AED8-1BFD4F322473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q7268686$9B16782C-C022-4FCD-B292-9B7030E5C4D3","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":"Q7268686$6FD8C943-2E5D-43D6-974D-03FF3BC23721","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5feed6996952e325ef9890b646a68965ff9fc3a4","datavalue":{"value":{"entity-type":"item","numeric-id":513272,"id":"Q513272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$F87A8786-EF05-44F1-82A3-EAE7D0E901EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f959742a9919d1dd316f224d698a08c063ac7f4","datavalue":{"value":{"entity-type":"item","numeric-id":6164468,"id":"Q6164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$BEB92FFE-DD7F-42F1-85C5-81449893D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c25fd1b72ea8ffa2a6dc5876723fb14055d640","datavalue":{"value":{"entity-type":"item","numeric-id":2973251,"id":"Q2973251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$6E0BC17B-3A29-47BD-A73D-8F21FB5B0F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fb34619389cd390d477bbfdab1478676c4081c","datavalue":{"value":{"entity-type":"item","numeric-id":2154017,"id":"Q2154017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$D948092C-E378-408D-A01B-B42422D24627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843e4a660458855b603a3f5430ce989da98b91a8","datavalue":{"value":{"entity-type":"item","numeric-id":4603575,"id":"Q4603575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$333F1E12-A7D7-4794-B777-A8B42625A66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fcb5a82bb605c4775cadf1497349f0b8cc26c71","datavalue":{"value":{"entity-type":"item","numeric-id":6613996,"id":"Q6613996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$CA43BE03-765C-45CE-A83F-7ADA9D4858FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b821973f36627dbcd19a33a1f36fee0750ba8523","datavalue":{"value":{"entity-type":"item","numeric-id":2112110,"id":"Q2112110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$F0E5ADC5-BD6F-40D4-AE2A-79125259FC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c612cc53b48d1d096efc2543ca6d9b9da775b8b","datavalue":{"value":{"entity-type":"item","numeric-id":6187047,"id":"Q6187047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$3A7B13D6-05FC-4743-B25F-569E88C2BA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6abf250d84c86fccbc86b3c5e8b387b618113ef","datavalue":{"value":{"entity-type":"item","numeric-id":4960413,"id":"Q4960413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$57A273AC-5B84-4355-ADED-7900CF713F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e19bd8fa21a9ca134f7bbcae159b1edf3ab375e","datavalue":{"value":{"entity-type":"item","numeric-id":540688,"id":"Q540688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$8B8C9931-11A8-4F6B-BE29-AC6F9067BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$2E0365C1-4DA7-4476-AD28-A6BEA1426372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$6142221B-B90D-4820-9BDF-E4D62508D01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$B6B346B3-D64A-4D0A-9B29-69E9885D496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$DFF8C95B-6148-40C0-B1CC-A5279D40F4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becf5f4cc735947b117fb82f7aabc6a54df59ef2","datavalue":{"value":{"entity-type":"item","numeric-id":1099615,"id":"Q1099615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$2ABF0F41-EA71-4468-8067-B08DB56A76BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9fc617a75bbc645ab34f65e69e8e28dbe32bef","datavalue":{"value":{"entity-type":"item","numeric-id":4725766,"id":"Q4725766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$0E8B7216-0005-4340-A9BF-33D4B0AC6B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$413DD9EB-E9A6-44D1-A7EC-40781E8FBC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$E6431945-0559-4783-B35E-14BD0D9B536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7268686$F63487FF-20A4-4617-8D84-FD478E1A71F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of time-bounded multiset rewriting properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_time-bounded_multiset_rewriting_properties"}}}}}