{"entities":{"Q947796":{"pageid":949644,"ns":120,"title":"Item:Q947796","lastrevid":65554518,"modified":"2026-04-12T03:23:52Z","type":"item","id":"Q947796","labels":{"en":{"language":"en","value":"Automatic generation of path conditions for concurrent timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349281"}},"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":"Q947796$BF972BBD-A575-43FD-90DA-F2839B1F8840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cf6eeab1a05238f45151986b78a3475865a0965","datavalue":{"value":{"text":"Automatic generation of path conditions for concurrent timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q947796$1671661A-CE77-49EC-9FDD-45D7D42648E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3527a033671f4516356662efa9d97ef4e0f1a0af","datavalue":{"value":"1293.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947796$77C96C5C-68C9-45BE-A5B4-00ABAB28FD5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$93D8E31F-BF8B-4675-8C43-98FBA267E952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$B5F68343-9D28-4C3E-9FEB-A3363959ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$32BBB70A-6A07-4A24-A23E-2A6E66830BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$960B5014-88C9-4BB4-B8A7-17C6FDCF26DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$FE716C62-64F1-4778-A7CD-2FB9E4888E24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66744bbe42ddef7006bfac5321d344ef281b5b79","datavalue":{"value":{"time":"+2008-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q947796$3449251D-8F3E-4CA0-9631-D728C5B26B7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947796$FB5EBA2B-67B3-4914-B9EC-A040DCA45C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947796$2B90D4AB-9515-4B94-8C90-B7867F298083","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26871ba56de85cdb79b1440b7657aa0efc31142","datavalue":{"value":"5349281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947796$ED9B2CFB-AE00-483B-AB23-0D87E57E75E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"221b42193e0c7a6d1a0d13036b71b15ba32b955c","datavalue":{"value":"path condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q947796$0C0C091E-9FDB-45D5-AFA6-4990919FED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c19ff417073984a06723dff5697a3fec374c8039","datavalue":{"value":"test case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q947796$C123FABF-A266-47BD-99CC-34780CA15BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bd603a626a1ffc91825b1c17a9a7c1dc33721","datavalue":{"value":"timed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q947796$3469DB2C-0DCF-41E2-90C7-EC3DA23EA20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222d7a8d745452ce5fa92cd61cc3a3d02b000bb0","datavalue":{"value":"extended timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q947796$C004D3C8-C4E5-48C4-ADAC-DAE4A6D4054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q947796$CAB8EC40-2711-4E15-8562-2FC126A0CCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81a2006157ddbaf414fdb758cfdc8c72d146753","datavalue":{"value":"difference-bound matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q947796$7ADC12A5-723F-4330-B236-FA0D571DFEE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$34D12508-BDC6-483F-B00A-595F484F74B7","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":"Q947796$456A8E28-1975-4FAE-805E-8B0924CC848B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"740d4be35838d092cf3e8dfe23690382db8d781a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.03.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q947796$67C4A816-5557-448C-88FC-26B8BAB16A92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec8e57e3223804563fd956a6bd38b290b7d8db1","datavalue":{"value":"W2104257809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947796$892EF8CA-B69E-4D75-A1AE-A0C4F25F97B5","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":"Q947796$3BC18F1D-47A1-46F1-95B2-21B8D44079C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061885fa573451da1302a78a271f913f69225f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3249327,"id":"Q3249327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$6442CB1C-CA4F-4A0E-9963-5D57597BCB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$6D5ED0B2-2BF5-4D7C-AFEC-A37E6A4F5EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3544ff5c3325f5ac1e5dcd2fd92020bf1b6189fb","datavalue":{"value":{"entity-type":"item","numeric-id":3292914,"id":"Q3292914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$99E5A321-79A5-4CE6-9694-D6BC9ED0811F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"628c8eaa045c0989d0ffcca14f971ae655426f85","datavalue":{"value":{"entity-type":"item","numeric-id":5305656,"id":"Q5305656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$28351FA3-9AE8-4391-BE98-393C81B0E5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062de6d59242e677221752cacb7611c297bffc82","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$0AC0BBCF-B82B-4768-8A54-145D338038CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$4A939F17-976F-442E-A889-83637BBED8DB","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":"Q947796$1359F666-32E0-49A1-B6CF-986077DE724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8106f36a563a9b5130f50bbc27e481115556adc6","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$ADDF53D1-2CA7-4273-AF6F-F46F1446F972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7c13dab0f2d311a0faf57c4f2c5df8edc60ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1195491,"id":"Q1195491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$F4593E1B-A86A-4FB4-817A-1F1077087A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6315d9cda93162c2aba33a1d3e5ec00f12fd74a","datavalue":{"value":{"entity-type":"item","numeric-id":5729523,"id":"Q5729523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947796$B07CFC64-7A23-4CA4-BCAC-2B75A86BFCA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fda0aaf39dfbd3a3540b36fa25e2459d086b8415","datavalue":{"value":"10.1016/J.TCS.2008.03.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947796$4B3A6E4F-88C2-4DCD-AF7C-55891D32AD8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899252c4863d4233a527800f00b692587d53d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":5429305,"id":"Q5429305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275d5124d2ecf4f410a6e10aaa3e76c5245db8c7","datavalue":{"value":{"amount":"+0.9532831311225892","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":"Q947796$E924A3C3-8F76-449C-BB2F-BAC564165D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961852abc07230f8e902b53827379133ea2e386f","datavalue":{"value":{"amount":"+0.7430663704872131","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":"Q947796$730C08EC-1AF9-4288-8669-179DD4E95DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddeee5661d26a48bfedff67049ec8c6c6064fb4b","datavalue":{"value":{"entity-type":"item","numeric-id":5902014,"id":"Q5902014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b90800f7d59a3d542aa6aba5fbe398d2ff0fed9","datavalue":{"value":{"amount":"+0.7410891056060791","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":"Q947796$219A96EC-1235-49C4-8D81-9A129F79DD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7b2fcb3956ae82d75aec5d6f32fcbb9e48c01d","datavalue":{"value":{"entity-type":"item","numeric-id":2769597,"id":"Q2769597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd15aee3ad57bda65fc9fa215367bc62acdfc34","datavalue":{"value":{"amount":"+0.7346150875091553","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":"Q947796$FE838F5A-6DDF-4A5F-848D-2260DBA1EA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06eadf5cece38f4be57d9e92b1ba825d1238e999","datavalue":{"value":{"entity-type":"item","numeric-id":3431097,"id":"Q3431097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54940c8ec9ac69a3cbc472a95422625917276f84","datavalue":{"value":{"amount":"+0.7327535152435303","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":"Q947796$5124E4FE-191B-4367-BEAD-BAACECA6AB79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic generation of path conditions for concurrent timed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_generation_of_path_conditions_for_concurrent_timed_systems"}}}}}