{"entities":{"Q2503042":{"pageid":2513785,"ns":120,"title":"Item:Q2503042","lastrevid":78759173,"modified":"2026-05-06T12:22:24Z","type":"item","id":"Q2503042","labels":{"en":{"language":"en","value":"Model checking restricted sets of timed paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053903"}},"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":"Q2503042$9A6449FF-D1AD-4273-B646-2DEF50952B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6984bc779f83fbfb0a6b81dda28e0f7abb2dd7","datavalue":{"value":{"text":"Model checking restricted sets of timed paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503042$A3E71DB8-2C01-46A7-8888-CE8ACC940A48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b05b36b98b2c3cc440ef6c8c4268af69ee0b3cf","datavalue":{"value":"1097.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503042$B9E26DC1-CEC1-4C40-ABE2-4CC9F464A1CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$005FC46F-F358-40C7-BBB2-6AF026B3C2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$2A13D8DE-86AC-4535-A33B-3506BC9733A4","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":"Q2503042$463DCE14-1383-4FF1-ACA4-78E2CD664208","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"975464aca491bff66c9003ab5613515ddc5a7594","datavalue":{"value":{"time":"+2006-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503042$7B56B9FD-789B-4CA1-A736-B4EB62E7FA1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503042$22904713-F26C-4470-ABE8-C5B4C0AE0F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503042$E5984BE1-34F0-4B04-B8C4-35525C81F488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7470e3068057c6de311ed4bf4519b58c07a74a40","datavalue":{"value":"5053903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503042$114D3782-71DF-48F0-83CC-7C71C80F08E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503042$6E11E5A1-A12D-497B-9681-7342B9D87563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50da89844c838af899fe07c500bf69ab9dd6cfe2","datavalue":{"value":"path checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503042$132C6112-70CF-4F6F-922A-EA0C2333C3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503042$25B3AA0F-36A8-4C03-AAAD-4AAD568FCCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1538653c064650b9fd2ecdf9d03591f1c9e59cf6","datavalue":{"value":"timed path","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503042$75FE4D95-D6F0-425E-81A2-A36D01F4F896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789a3eacfea2ec6b959a66bc7918c73c13af5d25","datavalue":{"value":"clock region","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503042$640B5196-0DDD-45C2-9BBD-7B1B9163C7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb89efb8713f1cbd8a785d4722d904dc76930680","datavalue":{"value":"timed temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503042$490EA146-9C4A-4F00-A370-B87B6A9B672A","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":"Q2503042$0A6693BE-8942-4F49-A5DF-2B8241C44409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4481d5a762e38739bb9875c2f4b5e8e1890b9d55","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503042$A913F816-210B-4CE5-A670-7C81703F982A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bdba27efc5a708f8ef64e42c83f89abb06f9618","datavalue":{"value":"W2052379249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503042$A35829B8-2657-4E7F-8556-3AA7225D8938","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$C3089FCA-4BF1-4758-99CE-BC2911482216","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":"Q2503042$7CF62C85-B54B-42B4-95D4-F14574817A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$81613BB2-AB72-4FBF-A79D-3AAB7530F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$A0A06CDD-377A-41BB-B792-3231646AC37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e62b3432f6378d8505d7da38451e078f13b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2266987,"id":"Q2266987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$CC168A8B-0679-4E75-9C80-F42390E3807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271962d85602043f4192c764dbe7df02ec403d76","datavalue":{"value":{"entity-type":"item","numeric-id":4418693,"id":"Q4418693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$23F6D399-0736-4053-A703-C2F8C85DB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$5A735B43-7999-4192-A122-207C49FFF396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$649C011A-CF42-4DE9-BC0C-B06D8A929ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb546abd67bf6e86ebd0867fded79221f1363869","datavalue":{"value":{"entity-type":"item","numeric-id":690305,"id":"Q690305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$7A31C59E-FF7D-45B9-AE00-0DBDDF55DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503042$A7B16317-C3DE-4B55-9EB7-FDBCF3D2D26C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2583cd94cc5b9ba127a844349c26af35d3c648c","datavalue":{"value":"10.1016/J.TCS.2006.01.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503042$708B0D92-C158-402F-98EB-20B33793EC3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb2ca4dd437d69fa0567503e2a90c149abab972","datavalue":{"value":{"entity-type":"item","numeric-id":5311490,"id":"Q5311490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8130c298f47905296ee0da4bb1b764b6561e8e3c","datavalue":{"value":{"amount":"+0.9784506559371948","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":"Q2503042$3CC8A709-FB5C-4D8D-85B5-B9D64B3053A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea6fc2560991501461deecf7f47391b58bc3592","datavalue":{"value":{"amount":"+0.8333812952041626","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":"Q2503042$CE752A1B-80E1-4409-9FB5-12CB6C65C2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc79e562b1d90485616ed17fd8c273b677f4d16","datavalue":{"value":{"amount":"+0.8246143460273743","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":"Q2503042$2B91C7D0-8262-4318-8F0C-E4F929042292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc292c2426970037a5266ed454cffa0dcf734e3","datavalue":{"value":{"amount":"+0.8209925293922424","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":"Q2503042$183E2BD8-E12A-4E94-8FAB-440CEFAEDD99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking restricted sets of timed paths","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_restricted_sets_of_timed_paths"}}}}}