{"entities":{"Q6144225":{"pageid":13278532,"ns":120,"title":"Item:Q6144225","lastrevid":98720429,"modified":"2026-06-05T18:19:32Z","type":"item","id":"Q6144225","labels":{"en":{"language":"en","value":"Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7796235"}},"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":"Q6144225$B9C0E693-E525-4CE9-97C6-63EF7B2455A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7274f5ddc878056fa7413fb3a08499f82c057dec","datavalue":{"value":{"text":"Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6144225$B855A795-6190-4AD1-986C-8CF7C91C4188","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a339eb9dafd43624bfdd31fe1f4c2516ad7038","datavalue":{"value":"10.1007/978-3-030-21571-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144225$810C5611-A31A-4EEA-A2BC-684FDD2BE83A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$832640D9-F9B1-4480-85F9-D9C06DD27159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$C4764B73-6325-461D-B062-309CE8397AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a35121ba4dbad677e7caba547927d9db477e820c","datavalue":{"value":{"entity-type":"item","numeric-id":1683437,"id":"Q1683437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$58678DB3-6064-4A01-9605-A636B0C82693","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$E0B41EC2-B638-42FF-B3CB-17E7D35EAD2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c788422623dc13be5c58b3af34b36d9b5d5b260","datavalue":{"value":{"time":"+2024-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6144225$19179F5C-58C0-49F3-9357-185F7BFA1F13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144225$1FF69B66-5951-479C-B74E-762332AF0D20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b73d68b6ea8be5913d247d1e527b8cee38c2588","datavalue":{"value":"7796235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144225$891E65CF-9933-44F2-BB86-C97A4B2B55DB","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":"Q6144225$BD69B576-4006-48C7-84CA-8E99B9B0006F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba8a2245a21ffeb554b1f7f46a5773c818f0b080","datavalue":{"value":"https://doi.org/10.1007/978-3-030-21571-2_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q6144225$BA1097C8-A968-4136-B933-BE9F81754E0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bfce6e1779bfe87a2759cfaa54d1ac2d740a032","datavalue":{"value":"W2950986955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144225$B83B6E7B-2F77-495F-89F7-E5812F955F83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e44f0c5984e0dd1221a0a9b295b7396bd7a2532","datavalue":{"value":{"entity-type":"item","numeric-id":2865063,"id":"Q2865063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$7FFC1311-E74E-4725-8A14-20D6232CA168","rank":"normal"},{"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":"Q6144225$895A06B0-BFE2-4D84-AB80-826B73C16463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$E6FDD320-633A-45D8-9EB7-3DCADC97C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$34D2BE79-2DFD-4A81-ADD3-A8A374D4A833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a281af5b84bde118d7a3e20b9b4305b683ed6ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2576576,"id":"Q2576576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$7152362B-D0FE-4110-8F1D-40D4F2E8581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f0d6ada37797a5d6ddf742df5b9197955aa08c","datavalue":{"value":{"entity-type":"item","numeric-id":1683438,"id":"Q1683438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$E39B4C18-4234-4645-A32D-D880B570D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$4AE841D8-8BAF-4659-B2B4-EFA71E20D469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$9C04C828-C96A-4FF5-9943-22B29C3E2670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$58E948CB-F22A-435A-BBEB-CF8A6FDAEA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$4E06F3D1-8EF5-48C3-B2CD-FF2841A07A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$EA54ABCF-A4BB-4F16-A5A0-11945BA65335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$A2A80CD7-E9BA-480A-A959-1DE9A1A588C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2eca8222b6ee4cf2f834e22b9f57835fb1bb56","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144225$421D5234-D94D-4FFB-8BE7-D698332C556E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f73eb5f4b5f9de5f0213efb65d5e3eb01910f2","datavalue":{"value":{"entity-type":"item","numeric-id":5025060,"id":"Q5025060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d302273900ac2bbcbe285f0dcecf6ee68a81edfc","datavalue":{"value":{"amount":"+0.9732889533042908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6144225$B109CD85-63E0-412E-B045-9CB5ABF37B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffd32b795a4f6c9cbef040acd54d7bddcd14fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1683438,"id":"Q1683438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a8122681f23bfc78d68fe519b35c3a7c820d2c","datavalue":{"value":{"amount":"+0.8451852798461914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6144225$89B0129A-B23A-4847-B644-FD5F81472D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5e52505032d2463f6abd2a6fbc3ac5ebaaea4c","datavalue":{"value":{"entity-type":"item","numeric-id":3388706,"id":"Q3388706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f252519153b3e3fc2957a4bf6929a9523ee74360","datavalue":{"value":{"amount":"+0.8139602541923523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6144225$CACA8984-184D-4FA2-8099-AB0E308A5BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fe42f25a96e6dc826a17c6780bea7e98dc17cd","datavalue":{"value":{"entity-type":"item","numeric-id":6535202,"id":"Q6535202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98100e0cdd22becd82d5f885c72d62c18f08fd3b","datavalue":{"value":{"amount":"+0.8011670112609863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6144225$B0789153-6D44-4308-99FC-416121F3B48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989dacadda237f9c21f4d4d53cbc3c7abb889b29","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95ef82c94f1b00a1013ae35dc8490cf1bdd08bc","datavalue":{"value":{"amount":"+0.8005327582359314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6144225$54FF228E-6140-44C5-A8D8-0717E62BA254","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets","badges":[]}}}}}