{"entities":{"Q2889614":{"pageid":2900339,"ns":120,"title":"Item:Q2889614","lastrevid":84003302,"modified":"2026-05-07T18:28:17Z","type":"item","id":"Q2889614","labels":{"en":{"language":"en","value":"Bounded Model Checking for Parametric Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6043679"}},"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":"Q2889614$D975B112-9329-4777-BBE6-2ECE8E2608EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8e6bcaf4f8f88df01cbf5fe4535d21a195640ca","datavalue":{"value":{"text":"Bounded Model Checking for Parametric Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2889614$592665AA-27EF-4D19-902C-8AD7D20B5ABB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c72ac01b2cd716a34aefc1ca2681959fbbf2adf","datavalue":{"value":"1350.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$E2FDBBFA-FE1B-43DA-A292-929CCDEAE3F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3053fd87fff0c634f611c11e079e0499cddb8c8","datavalue":{"value":"10.1007/978-3-642-29072-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$271DE74C-8876-4330-A2C4-F50AE3F9CE8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"942e6351fcb9630a548540fc6661344716fbfd3b","datavalue":{"value":{"entity-type":"item","numeric-id":2032912,"id":"Q2032912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889614$962B0843-FFAD-4C58-87F7-EA0CB4A16E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889614$2C8D1B0D-0FF8-42D8-A333-C79205F02A0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889614$7C715BAB-1F0A-4F2B-BDD7-C2B223F8478E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2889614$113BF40B-ACEA-42A8-B562-732F401F4738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$2467218C-8D45-4A3A-BD8E-153D85CF99D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$F372552F-5CA5-4319-86FC-989D03A10604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$523DCAA3-B201-41D2-8849-39D3DC999611","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3b35b7c019394207d28c0fc1ab647c717e2f9d9","datavalue":{"value":"6043679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$166F47E3-FA69-413F-99F7-B831C586D3D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572b8e2a0e3d116b76938aacadb5c46cfdc1ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":14134,"id":"Q14134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889614$B515C7B9-E8D3-4FAF-993E-27897BA75913","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":"Q2889614$B3734E3C-B63F-49F1-9957-8428330563DF","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":"Q2889614$914F90CC-2321-4698-BF72-DEEDCC8A0527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0e2a06782423d5a16c7d3d6aff79bb855f122fe","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29072-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2889614$D13D84BF-E0A6-4CCA-B989-50CE24018D27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d3a37efa6c9679b50a72cebeaf6c86c6a29ee3c","datavalue":{"value":"W11326594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889614$0C0C7F8E-B754-45AC-8161-1D86542E6219","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca546ddcc3383389a40cc796a1fa8e7c82617a18","datavalue":{"value":{"amount":"+0.9797512","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":"Q2889614$0CF01EC9-FCCC-4A71-905B-1EBE68E8EEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f5faa83e91161fc345a0f0c0404b95236adeee","datavalue":{"value":{"amount":"+0.9638289","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":"Q2889614$6D09F38B-C755-4813-A199-B63B5C15CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8186a12bab447c11fd2e30f81d62a3384c64907","datavalue":{"value":{"entity-type":"item","numeric-id":5277801,"id":"Q5277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643a05cfff034990586a0b977f8835896086f62a","datavalue":{"value":{"amount":"+0.9284058","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":"Q2889614$BDD7598D-C5DF-4100-BDE8-6E56659DB41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5c0ae4fccc72259fe4ec22856a3fa4f96537ae","datavalue":{"value":{"amount":"+0.92752683","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":"Q2889614$F6549349-134D-4064-A651-E673958F1C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5c0ae4fccc72259fe4ec22856a3fa4f96537ae","datavalue":{"value":{"amount":"+0.92752683","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":"Q2889614$F99A9724-86D9-424F-A5B0-77DECFF192E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73543fc92806a459b8ab0a8e48626de52aaa37","datavalue":{"value":{"entity-type":"item","numeric-id":3557090,"id":"Q3557090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d30fe6fcecce39b90514785ccc013e8626f4393","datavalue":{"value":{"amount":"+0.9273509","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":"Q2889614$0562B8C5-76AC-4A38-81D6-860274D7697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb77eba078308e85dd0decdeeedc534e763a5ae","datavalue":{"value":{"amount":"+0.9269143","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":"Q2889614$2F891A2E-58D4-45FF-A62D-C80651990BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad38e91a940616d714a9cda6655944baac3915f","datavalue":{"value":{"entity-type":"item","numeric-id":5717499,"id":"Q5717499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5211741b7f7477cbb77c55256e05ae6ba03bcde6","datavalue":{"value":{"amount":"+0.9245821","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":"Q2889614$4FC6893A-797B-40AC-8CBD-7C786C8140F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1454116014189fc4bece50c7a54141fd441d32c7","datavalue":{"value":{"entity-type":"item","numeric-id":5259307,"id":"Q5259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fed05edbb809468c3423d8f2b2c539bd8d1a35e","datavalue":{"value":{"amount":"+0.9215746","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":"Q2889614$2021F80A-5CE9-4F9F-A7D3-F35C8E34F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e8ba95b3cf65e677e30c4bd3d5f10b6520b67","datavalue":{"value":{"entity-type":"item","numeric-id":4576245,"id":"Q4576245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b4200b6e87a440735ceb6541aab03a433f8a59","datavalue":{"value":{"amount":"+0.9212625","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":"Q2889614$98CA5AAA-6581-43D4-81B9-0EE18714BF8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded Model Checking for Parametric Timed Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_Model_Checking_for_Parametric_Timed_Automata"}}}}}