{"entities":{"Q7361901":{"pageid":31521242,"ns":120,"title":"Item:Q7361901","lastrevid":105370277,"modified":"2026-10-07T13:39:08Z","type":"item","id":"Q7361901","labels":{"en":{"language":"en","value":"Muntac: A Verified Certificate Checker for Timed Automata"}},"descriptions":{"en":{"language":"en","value":"AFP entry Munta_Certificate_Checker"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95a124d8b2f063d1e3893a88c48d138ab369eef4","datavalue":{"value":"https://isa-afp.org/entries/Munta_Certificate_Checker.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361901$6B9A4DE1-2BAD-4A2D-A312-AF32C7FE354B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2914f4ae4ad39f7f76f7d642dcbf8c205af5d1f","datavalue":{"value":{"time":"+2025-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361901$18412F20-6115-422F-B87A-280E9DDE0942","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361901$928E5AFC-DAD6-494F-BFB6-DCBF1CB19619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9379442764bf5181613622281d00ec75ac009a1","datavalue":{"value":{"text":"Muntac: A Verified Certificate Checker for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361901$9ECF979C-16C5-4217-9E2F-BC37216FDAFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56f0129ae083c18ac77c4e31854e89848b29286a","datavalue":{"value":"Munta is a verified model checker for timed automata. This entry presents Muntac, an extension of Munta that can check certificates for B\u00fcchi and reachability properties generated by other model checkers. This work has been described in detail in a PhD thesis [2] and conference publications [3,4]. This entry supersedes earlier versions of Muntac hosted on GitHub.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361901$4E313511-56CD-4B06-8C4E-432D75CC7501","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c51a0e7698d5c431a6acfb9a15f6606a13782","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361901$55525384-DB19-448B-83CE-BEF775CDAC07","rank":"normal"},{"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":"Q7361901$BB6E4443-9EA8-475B-8053-3834611187F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218c16b466b9d2dc18c5c9ba2984130a225db4af","datavalue":{"value":{"entity-type":"item","numeric-id":1996011,"id":"Q1996011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361901$D2F6A7C3-A6D6-4095-8368-1A2D5B5F5E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b78c7ff3c9d5b5bcab2f9e3516deb752d78217","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361901$DE2235B8-6960-443C-B8F1-E9FC046E7BAD","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":"Q7361901$539E133C-A365-427A-9AA4-DB019953F914","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b999678a517221bed9bd614caca8006ebca3a529","datavalue":{"value":{"entity-type":"item","numeric-id":7361796,"id":"Q7361796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361901$DBEF2B50-9C42-4655-A340-A17A4A49FAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"7de450ef14dc4e9589313ad28dc551a1d9732807","datavalue":{"value":{"entity-type":"item","numeric-id":7361545,"id":"Q7361545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361901$F734E7F4-A028-48F7-8AF9-0CA1AF5DF559","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":"Q7361901$4B31D243-52CF-40C8-A0BF-D25D99A3906B","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":"Q7361901$FD38986A-5309-48C4-8FE9-5AA9AD478FF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Muntac: A Verified Certificate Checker for Timed Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Muntac:_A_Verified_Certificate_Checker_for_Timed_Automata"}}}}}