{"entities":{"Q5974622":{"pageid":12562267,"ns":120,"title":"Item:Q5974622","lastrevid":56468496,"modified":"2026-03-13T06:42:36Z","type":"item","id":"Q5974622","labels":{"en":{"language":"en","value":"SAMC"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"348fd4761193f5c8391ab0b31a30c771f73e8d8a","datavalue":{"value":"44345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974622$E224EB52-2F38-4160-BF29-766FCBD0AAB5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$C1C7E1C5-FF7E-4C09-9A1B-20CD992E63FB","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2e8d6419ef4463611c7c5e85375d49ff13db78ea","datavalue":{"value":"https://sadraskol.com/posts/reading-notes-samc-semantic-aware-model-checking/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5974622$E6A4333F-980F-4D60-8E2F-1BAA62A519D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974622$613FD978-5743-40D6-8745-81372CBBAA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974622$96C673AC-62B9-4141-BB9B-950C3B9E91E7","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3fff7dbee19fb5ad47fad51d1875fa09f0353a90","datavalue":{"value":{"entity-type":"item","numeric-id":24963,"id":"Q24963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$6D03C800-E724-433B-B480-A294CB9E2041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$9F736AEB-DDF0-4058-892E-7A8B0722D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6227644bea4081c5bc9233d56dedc0f3bcf356e2","datavalue":{"value":{"entity-type":"item","numeric-id":5974862,"id":"Q5974862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$7C35D0E3-6845-4B79-A5C9-434E19294D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"13917fb5b61825e5852c271fa77f142bfa2eff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5973234,"id":"Q5973234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$78FC426D-F557-4CC6-AC1F-8ACBA787EA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e828229d071046faf26b44df0b1a010c689082e3","datavalue":{"value":{"entity-type":"item","numeric-id":1349612,"id":"Q1349612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$0B8A1D8A-5144-49A4-AC2E-FBBA9CDB53EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1682e4f3c5b07f98f0ac9d21e07e98858926fb0","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$B9E487E1-F571-4683-BCE2-6781D0B1BA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"87d98058e8cc7fb8233adf7bb228fe8c44ded737","datavalue":{"value":{"entity-type":"item","numeric-id":5972339,"id":"Q5972339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$DC29C4DC-78BA-483E-93D5-68798D251A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"272a4c70b14375734f03d9e91ab521e0e88b505b","datavalue":{"value":{"entity-type":"item","numeric-id":54921,"id":"Q54921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$4B751B7F-C9F9-4C7D-9CEF-9E4403CEC714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09f7d6e2a6f5898bb79619f8faf340bfa5f7eeb0","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$A7F160F0-6235-494A-8F43-5334E3F7DF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0784317cd38b2e05cfc50456290313f818a5bf3","datavalue":{"value":{"entity-type":"item","numeric-id":34848,"id":"Q34848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$DC136E87-C1BD-40BF-98DE-BC38FC4D6080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2a64f45dadec90e8682b3330698e6b396077c632","datavalue":{"value":{"entity-type":"item","numeric-id":5973296,"id":"Q5973296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$81814B5F-474C-43C4-A826-5781655A82F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5090312278e8ee18776ce88715a6707890792467","datavalue":{"value":{"entity-type":"item","numeric-id":1349608,"id":"Q1349608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$32F513D6-51E2-41D5-B515-33EA4663EB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bbb0571cf971938c283f0b688df947b81be3f6eb","datavalue":{"value":{"entity-type":"item","numeric-id":5972542,"id":"Q5972542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$7BC58D86-077D-4320-B4E1-93B317525401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d885794288fed5566cd9eee6f3fa4ad6666b3bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1349610,"id":"Q1349610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$2A724F82-74D0-4529-8031-B9FDBC4BCFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2889e7f283da8ffc914756763c50705f18dd3e87","datavalue":{"value":{"entity-type":"item","numeric-id":5974569,"id":"Q5974569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$6F86360D-384E-4320-842B-5366C74C00F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"79839541d019f9f128e9d2e5e0b4f56613e2901e","datavalue":{"value":{"entity-type":"item","numeric-id":5973504,"id":"Q5973504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$437EED01-EA21-4135-91D6-B4A1A077B077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fc18083fad89a7e61b30ce230a4f562aeb30df2","datavalue":{"value":{"entity-type":"item","numeric-id":1349611,"id":"Q1349611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$29994482-A5EB-4E15-908A-5FE8D5E32118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dbf7e784a9b9d4e830ffe6ecb1c1e1172e80d271","datavalue":{"value":{"entity-type":"item","numeric-id":5972610,"id":"Q5972610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$D701153E-B0C1-4EBF-A01E-954148CD83A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d19939c14a3391cdf05747bb3218b392957444dd","datavalue":{"value":{"entity-type":"item","numeric-id":23714,"id":"Q23714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$DA9A2890-A740-4137-95D4-B5FFA187ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f99acba93bbff049657fdde11c04f21beb92b719","datavalue":{"value":{"entity-type":"item","numeric-id":20490,"id":"Q20490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974622$FB434836-CECE-45D2-BAD7-84665B850B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAMC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAMC"}}}}}