{"entities":{"Q7361545":{"pageid":31520174,"ns":120,"title":"Item:Q7361545","lastrevid":105368198,"modified":"2026-10-07T13:37:21Z","type":"item","id":"Q7361545","labels":{"en":{"language":"en","value":"Munta: A Verified Model Checker for Timed Automata"}},"descriptions":{"en":{"language":"en","value":"AFP entry Munta_Model_Checker"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"859550e59d69082716df582d26e5792c0ca8a0aa","datavalue":{"value":"https://isa-afp.org/entries/Munta_Model_Checker.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361545$329E41FD-E543-4789-8272-3F5F2E97BB89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f43f92df33d134f2f24c6f068e21b4621e55122","datavalue":{"value":{"time":"+2025-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361545$3C752FC7-EAD1-47CA-8B26-8679E65B80CF","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361545$0F6E5F3C-B75B-4400-A0A9-E46DC19935F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8165d96a20884ac623b3b43e94c797e29090723","datavalue":{"value":{"text":"Munta: A Verified Model Checker for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361545$2464CBD6-3933-4D2C-B7D0-DBB8645EF06C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0dd829c3e351625b7552bf19381a4bfd5080716","datavalue":{"value":"Munta is a verified model checker for timed automata. It has been described in detail in a PhD thesis [3] and conference publications [4, 2]. This entry supersedes earlier versions of Munta hosted on GitHub.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361545$80E9DDC2-143C-4537-8937-DC62D683B4B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abc4c653f1a49315933e87e0214c05e6687fccf","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$E64ADABC-0AFE-46CA-A987-13172F54793E","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$9101D895-91B4-4EBB-80D4-D8CE3112D6DF","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"176885ed17619e40ce37ad7f92d838d456b16a88","datavalue":{"value":{"entity-type":"item","numeric-id":7361547,"id":"Q7361547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$876550E9-F10F-47C2-B3B9-1F40F0CD35B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"2df63eaed94b8a24c8331bb134612d6bfc9cb1c0","datavalue":{"value":{"entity-type":"item","numeric-id":7361479,"id":"Q7361479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$796BA122-C165-46D7-9A5E-51C85B0E04C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c6381c3139ee5dae1881d28867a7925513419337","datavalue":{"value":{"entity-type":"item","numeric-id":7361667,"id":"Q7361667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$236D55C7-0E38-42F7-BBA6-0B45DAC436BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fd79867ce10ec25799473c4691ec619caa547136","datavalue":{"value":{"entity-type":"item","numeric-id":7361723,"id":"Q7361723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$91F5C2CF-1116-421A-9AC6-287B827C4AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"9e33242aea77aad9d1193517b38b2c56cf571010","datavalue":{"value":{"entity-type":"item","numeric-id":7361191,"id":"Q7361191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$D081BE0D-CDE2-483E-8D3E-4D893934A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$ECC6780B-5538-4F08-B81D-96E74773391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"9bce15c57a54167ceb407410171a7c91cd7dc88f","datavalue":{"value":{"entity-type":"item","numeric-id":7361863,"id":"Q7361863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$918B08E0-7EA3-424D-BD13-C703D8DFF399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"4571af89e2882a45bee5f9e442723910fbf0c144","datavalue":{"value":{"entity-type":"item","numeric-id":7361382,"id":"Q7361382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$7DCC75B5-C883-43F9-964E-74C7FA2D6E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"d5f5fa22905861da30917a0c35864fc349f42c9b","datavalue":{"value":{"entity-type":"item","numeric-id":7361335,"id":"Q7361335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$CCF556EB-F7AD-42A7-B9E4-0C37622B4511","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361545$C6FFDF8B-E995-459D-A222-EC29D2B7EF9A","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":"Q7361545$D4223900-41FA-44A8-B816-BEB45915CE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Munta: A Verified Model Checker for Timed Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Munta:_A_Verified_Model_Checker_for_Timed_Automata"}}}}}