{"entities":{"Q3646167":{"pageid":5676073,"ns":120,"title":"Item:Q3646167","lastrevid":80889893,"modified":"2026-05-06T17:14:03Z","type":"item","id":"Q3646167","labels":{"en":{"language":"en","value":"AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5635983"}},"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":"Q3646167$B3049AF6-714B-4929-8CCC-0FEF0FA1F9A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b33222ca3f2766f13ca4d3764f42407ac9d357d","datavalue":{"value":{"text":"AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3646167$31DAE25A-CE36-453B-8A91-CD52DD0AA175","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f61a6f55b737d1e31591516ca0e6883be3c519cd","datavalue":{"value":"1187.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646167$C32FF6CB-3444-4C9F-93C6-3394CAEDA2F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16557cb272806dbe74082154853a0580a4e7dfc0","datavalue":{"value":"10.1142/S0129054109006905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646167$C73DC127-23D5-4F9F-8D4E-BEAD7179F362","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$AF2C12BA-4F04-436F-A245-7B56BB450C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$DA060652-18A9-4E5B-8639-CC538BD47B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f759669d539657dcada680a49f2df44f03d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":453475,"id":"Q453475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$D9AA7626-2A30-49FA-BD51-EE8111BB589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$175CAE21-ACEB-4EF9-890B-7DCC07AA8CF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$749F6929-AAE3-4CF1-8A7B-EF5B49F227A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d14626f47760914b9a71c7f4ee295065574aa","datavalue":{"value":{"time":"+2009-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646167$E35EB091-F734-4AC4-8B01-62EB5B3E4EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646167$0032C2CC-17B7-4D34-9064-77C632368B7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43026317e562c90d3181f9a34e5ef9219fdf2140","datavalue":{"value":"5635983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646167$81622717-700A-4149-93F2-BE3E302BDFF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646167$886EE186-C633-4BE1-A9D1-9F88E45EF9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646167$1047F103-BFF4-4A66-A527-ABD00E455C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57f90138267017bd5848e941be6a440f26a45e3","datavalue":{"value":"time-abstract equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646167$59A9B2F0-F515-49DF-A5C2-A8191AD7F2CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a688e68ad9837af6ba5052320c75a18e89949be","datavalue":{"value":{"entity-type":"item","numeric-id":14122,"id":"Q14122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$861DB523-7DEE-4523-AC4F-D59D9C52E98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$94AF5C60-C835-4209-809A-9DB7EF211155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$5D61B559-B240-4B03-A16D-578B6F64DA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$B857E898-16E4-45A6-A82F-4D4545BA8BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$2A641AE1-E939-452A-AC69-56AA86663381","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":"Q3646167$E5A012AA-EE0D-415F-A405-2D9255B21E06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$5DC930A9-12D5-4524-A901-AA346B4031C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d814eb51c145cd1775fd8beceba2511519ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$7CCB6F70-E6D3-448A-A02B-4DD51FA0F04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973233cbf5471499bbc4e7563bb47bc64878219b","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$E81256AA-40BD-43E2-9D78-050BFFD0BF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb26fb1846b6f18c02035a5f88554afa02bb81bb","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$727D90AC-F14F-42C9-BAB7-C77B21E50376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$F66BDF70-43E5-4EDA-82E7-DD86C071602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646167$D6469C51-8BEC-4F61-8D2A-9F5BB119C1E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ad73ea1ef57d80b7e4ee91312a997b85f752f3","datavalue":{"value":"https://doi.org/10.1142/s0129054109006905","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646167$039A7AED-E532-44E2-9F28-44DD1F3B1313","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"414217a7ff25483a95c486627d246792b7e78b42","datavalue":{"value":"W2098166444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646167$70C064B6-3405-40B5-9EEC-AE9E7DE8597B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a083ae7da9b9dd6e7c69613a4208b6d1596d","datavalue":{"value":{"entity-type":"item","numeric-id":4982084,"id":"Q4982084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$FB745A23-0714-4D68-8863-B3485E2208AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1eb60b224758ea028efe2a5bf57da98b0e2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a539364e4931dfc634d33c272cd828a49744a845","datavalue":{"value":{"amount":"+0.92230093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$E97FAFC4-6770-4331-85F4-5DE77584ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb7a190db72c074afb5a691181916be1181b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4603554,"id":"Q4603554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f70ae77d87814dd34875de0f964994f3b27aa8","datavalue":{"value":{"amount":"+0.885968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$1B5703F5-807A-4E38-B029-8D13338EE4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a5f11007940aaf7c4d9462e46a9dae6b9bebe","datavalue":{"value":{"entity-type":"item","numeric-id":2848435,"id":"Q2848435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71aa6bb11fdeb14070ff5da3b47b168da2b8e932","datavalue":{"value":{"amount":"+0.87568384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$59EC7EE6-4129-4B26-8741-8B9B62A416DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e189a35dbf61f9c265c084d4ed7f7d08b0f1320","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a2ac57b990e6741c5ca7ff6fce4be0fb3dc849","datavalue":{"value":{"amount":"+0.8753245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$DD3E965D-9F02-4F05-91D8-42C608692ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9ed431dd83bd2ba4f743344db38e6c9c456930","datavalue":{"value":{"entity-type":"item","numeric-id":5045378,"id":"Q5045378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23de97e160f33e967296fca29b5167bfd5475fb","datavalue":{"value":{"amount":"+0.86900306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$3C7AECC8-BE23-40E5-8CC0-1748A9A3F584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3525b396911526382ca172344274aba8bfce0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5f82984fce32be67a8955e451fe96faf60c65b","datavalue":{"value":{"amount":"+0.8686587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$F7EB5C6B-3AA3-4C04-A949-45D622BDEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2d982106843a8b4ba7853259db5420467b5f35","datavalue":{"value":{"entity-type":"item","numeric-id":2851066,"id":"Q2851066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec73460d3954160f48c689a2dbd96816db2de6ee","datavalue":{"value":{"amount":"+0.86778283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$353A55FA-456D-4053-86BB-50C83E83A5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e4c50280b7ca24e7c41a221b387028cf2d75be","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25c6ee817d8339a4e05aaa535b3b45cbbdb87a0","datavalue":{"value":{"amount":"+0.8676241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646167$C592F9A0-0DDB-4995-9F1F-6851DA739BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AN_INVERSE_METHOD_FOR_PARAMETRIC_TIMED_AUTOMATA"}}}}}