{"entities":{"Q5859682":{"pageid":7889233,"ns":120,"title":"Item:Q5859682","lastrevid":93528182,"modified":"2026-06-05T04:33:06Z","type":"item","id":"Q5859682","labels":{"en":{"language":"en","value":"Timed bounded verification of inclusion based on timed bounded discretized language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7334854"}},"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":"Q5859682$20B61C84-D5F5-47AE-ABA5-0C73B64185D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ecb31783e63c470235d2e927e1bca6942fa6831","datavalue":{"value":{"text":"Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5859682$7DBA17A4-34E8-4B5F-B664-76697E49386F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb22e65ad7d6e4b082721fe9302be19ef7adc7b9","datavalue":{"value":"1458.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859682$EF9D290D-C855-4334-B3CA-7C5F500657B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94952e011911a2313231834a90d2e2103b7a58e9","datavalue":{"value":"10.1142/S0129054121500106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859682$3F4F12D3-803B-4278-9E71-0E160CF4C8D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af5eec6ddfea532a9c5048969e190247ffb39698","datavalue":{"value":{"entity-type":"item","numeric-id":5859680,"id":"Q5859680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$9E88C938-E768-4AFF-BA77-41FCFBD2FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41e0f2f4617d39b4bf091d0ed18c7ba74d9fa34a","datavalue":{"value":{"entity-type":"item","numeric-id":5859681,"id":"Q5859681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$7DF3F2B6-0AB8-499C-BD08-E7408AD61807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9995dc0696d46324258e188750b3d0db25c305c4","datavalue":{"value":{"entity-type":"item","numeric-id":4974709,"id":"Q4974709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$AF9BBFCD-70EE-413B-B8A2-6DCCBC603714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39b091dc6674e0b947c35795e09051c8bb42a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1269917,"id":"Q1269917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$CAF10757-5D48-4F1C-A7F7-5069EBF22B5C","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":"Q5859682$503EBECE-FBD9-4CE6-8E71-900B320D4D9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a75ecc8651000ecb4ff9566ba97a118200de08","datavalue":{"value":{"time":"+2021-04-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":"Q5859682$3448CEA7-6B3B-4618-8660-CFF4C6933BA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859682$7ECABBC9-2B2C-482C-9AE5-3C123249B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859682$9157A950-0958-4E06-A7C3-A8CB4B616979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e362627a4442996b9cf395bccff0ba412bcbe6c9","datavalue":{"value":"7334854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859682$2711B62B-799C-4191-8994-BC1B3121F269","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859682$1C83266C-2814-47E9-ABCF-34A61C21F002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b85306063b6ab2e005929ed9423b8d7823ff63d","datavalue":{"value":"timed bounded discretized language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859682$80686B48-5420-4785-A328-45C58503BA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc3a4dc16ac5b49afad3577971a00999025c400b","datavalue":{"value":"discrete timed word","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859682$2D277A11-752C-4A28-850F-8ED917C82E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b386b71d4add62acf9fa06936791e8c8c9e5db4c","datavalue":{"value":"minimum and maximum execution times","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859682$C440A941-988D-4B43-A8FF-4BC43B0B2977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767dee406e0008fc921f08585246e9bf24c04142","datavalue":{"value":"bounded inclusion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859682$06530022-24D2-4109-ADD5-4690DAFBD02E","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":"Q5859682$DCF72005-18EC-4AA4-9A5A-B0FC8E57F6A9","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":"Q5859682$09C5DEB2-63DC-45A7-9C48-5D750C3236C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dd7a0ac47757fc0c679cd85b00743d85f9a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$71484C21-AF47-4D6C-B154-0786E37F3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9520458f67f4130a2c5c66a91fece0dc3b636b21","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$BCA50EA4-4580-4627-A503-B0ECE8F01F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672bdbb01aff9fc0f6974c08be2c1db4dcb25d53","datavalue":{"value":{"entity-type":"item","numeric-id":3006716,"id":"Q3006716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$E08E4F7F-5337-470B-8CCF-5B94BDFBFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e58c6d2488ee18c9e6a43c82adc7e4bc4a30c15","datavalue":{"value":{"entity-type":"item","numeric-id":3508519,"id":"Q3508519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$3DAE6D19-8192-4216-BED9-639586C8FE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f945648eb4af6145e42c6c0f25e4999d1bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$F597A0D1-1079-4B04-86DB-6E9C6D9A3994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$D41CCA8D-E93C-48D4-B862-33EF6667B85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$6B32CDDE-E0C5-427C-B148-7FBD068C00A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9f0ec80ec6d7cbcb87923302232ebdad5d185d","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859682$F40F1DF4-04FC-483A-BAD8-F46917988321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15a3edd2cfb1170b8ae6d69c85de04e63291e690","datavalue":{"value":"https://doi.org/10.1142/s0129054121500106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5859682$90B08274-67B7-4C03-84CD-656E2066C60D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c6229b09a4bcabbde39f0460d9c45fb75ff2d1b","datavalue":{"value":"W3120557648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859682$2B3C5873-E7AF-493F-8CD7-F3AF579E6269","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60ed81f9c6fc7742726b821cd7636ec9c52a30d","datavalue":{"value":{"entity-type":"item","numeric-id":2176705,"id":"Q2176705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f706a1c58ff4d9a4accae5498dd03239d3739a65","datavalue":{"value":{"amount":"+0.7928289175033569","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":"Q5859682$503FC993-3F7A-4B4E-BD87-216A1579343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ad0d77aa2ff75e4f234583be0d095382d6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7c014d9b236a8945f8654cb0e06683c20ee8d1","datavalue":{"value":{"amount":"+0.7771362662315369","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":"Q5859682$0138546B-93E2-4E67-894C-9648B26F3D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e499e48c151e4fd7a131047a9bb83c549bd16a17","datavalue":{"value":{"entity-type":"item","numeric-id":3190139,"id":"Q3190139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26fd9e4c726768faaf49c6f3c9f903367baecf8","datavalue":{"value":{"amount":"+0.776005208492279","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":"Q5859682$397B32EA-C792-4CCD-AF36-CB2E5B0B3A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddacc1abe0470b62a15418eaad57094dbb425d6","datavalue":{"value":{"entity-type":"item","numeric-id":3196352,"id":"Q3196352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affdac5fdfa2d8370bcd507642dcd2cf0ee46a2d","datavalue":{"value":{"amount":"+0.7760051488876343","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":"Q5859682$B3B92211-B7D3-49A4-AC18-8F043067DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa7f45a7e07c4c7d5963b2274685fc7ce4b531b","datavalue":{"value":{"entity-type":"item","numeric-id":5898979,"id":"Q5898979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcfaecf461b0f64cb4462eeadf2d20b274ded98","datavalue":{"value":{"amount":"+0.7703283429145813","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":"Q5859682$EA9959C2-516F-484E-9178-A5213A2358C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed bounded verification of inclusion based on timed bounded discretized language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_bounded_verification_of_inclusion_based_on_timed_bounded_discretized_language"}}}}}