{"entities":{"Q3384161":{"pageid":3394864,"ns":120,"title":"Item:Q3384161","lastrevid":58148811,"modified":"2026-04-04T00:23:22Z","type":"item","id":"Q3384161","labels":{"en":{"language":"en","value":"On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445156"}},"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":"Q3384161$636E2B07-61EF-4D68-94B8-9D996981C657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e7c4f23d63e8c0b5bc62400ba945c935e769f8a","datavalue":{"value":"1483.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384161$AB1756B6-60EA-46E3-90FD-77373BB285C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$617E216F-6ED7-41AD-AD26-30B1FE61CCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ec1ab06cf3c87d739d2f1f8ed8faec056605f3","datavalue":{"value":{"entity-type":"item","numeric-id":329411,"id":"Q329411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$B4578718-2992-4B2F-A94C-1E51BD38792B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$2A87A242-1373-48D8-950A-BA5B906B9B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$C193B645-D249-4F24-8E6E-B2E1778320DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384161$BB471D38-57AF-43FC-9BDA-336038188C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff6b3250e3e6252a95222d8c0eaf6a146b9bd923","datavalue":{"value":"https://arxiv.org/abs/1709.02094","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384161$C8019F3E-DADE-471D-8942-AED9863DBB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e03f8e7af11c2d3ea509979a42058b440f4fe640","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384161$3E0B7D6D-F4DF-4979-93E4-FB3E155B2ECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384161$33D034E8-9A31-41E2-8DA1-1271AC714CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384161$E200953B-A0F1-499A-8B16-973E569E1C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384161$D44BA53D-A4EC-43CE-A842-4B563882A995","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac20d8cafb14a943a2ee6977601ffdcdbd5ffb2b","datavalue":{"value":"7445156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384161$F40AAD1F-B151-4BE5-95A4-D6F85E53E48B","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":"Q3384161$45108CB0-5EB7-4407-9168-B3C953857A11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$2FFAC8FC-7BA9-4BA6-8325-C556FD627153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f4eeb20dd25bd5028e5a8d2fb2ef4f1c487a8","datavalue":{"value":{"entity-type":"item","numeric-id":744988,"id":"Q744988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$09B23E7D-225C-47F4-90FE-EA9123A131EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d45e8085b7d0858ad32808d6d0c26d843e36212","datavalue":{"value":{"entity-type":"item","numeric-id":5194653,"id":"Q5194653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$ED98DA16-28D1-4BEB-97A2-7EB7FF8A2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bcfc56e0f670d9b8633e4f3bce38e40e833e60","datavalue":{"value":{"entity-type":"item","numeric-id":3384161,"id":"Q3384161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$565EC54B-104C-4299-A7B9-F3A1BE0AE2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd289996724945ac225222590845e90f04b25895","datavalue":{"value":{"entity-type":"item","numeric-id":2817939,"id":"Q2817939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$77E71C6A-7372-458C-B4E4-4DF5DC85E22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef97f1b93808d420e9e1a0538f96468d2b59a73","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$4DAA232D-F550-4BDA-940B-0D1C73B416E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57921a430d806fe833bfcb267aec30b54e693c5","datavalue":{"value":{"entity-type":"item","numeric-id":5015270,"id":"Q5015270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$FF7EBDFE-7E55-4AE6-AD94-77629863ECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc07634c7d450ca123bf8a16f27c1326c37690","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$7C488803-1DC5-40BE-A618-6E33D239F97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$5468B53B-C32E-4144-A0B5-7EB46501CDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$19B108D5-02C5-4042-BE9B-ADABF1ACADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$72D8F9A1-55CD-4194-9B8A-4C2D4DC5BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$F03FB7F4-7E34-479C-939C-4C9111D114F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3050a3587c03dd44d90e4a116fc946fdc7846c45","datavalue":{"value":{"entity-type":"item","numeric-id":5283018,"id":"Q5283018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$6C320837-2A51-4E17-BEB8-ECB76F44A385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fbd66149fd08e4a526bd2134903eb938c55ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3433724,"id":"Q3433724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$99CFD9D9-C232-4EDB-946B-9F0DE5AF5D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff6fd33d36bffa412395aec8b3a7f99a71188c0","datavalue":{"value":{"entity-type":"item","numeric-id":5415296,"id":"Q5415296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$21F76236-C8A1-4B95-BC48-62D9355FCE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc656128e1ac390210af1a2fb3c2796ba53b67a1","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$50CB3374-DF7B-4678-8FB5-536DDB682823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb56387b666553d42e5e3be28b2a246f5cc680e","datavalue":{"value":{"entity-type":"item","numeric-id":5351958,"id":"Q5351958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$F45D8F04-9CB1-49C0-8D22-306386BD8CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270debc58a83d27d2f963b637f5e7485684a1270","datavalue":{"value":{"entity-type":"item","numeric-id":2457655,"id":"Q2457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$00AB2DE5-EA2A-46C2-BEAD-63EF42207C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a611178c9514d07b0c91d8e5c3480708a2f42617","datavalue":{"value":{"entity-type":"item","numeric-id":1147692,"id":"Q1147692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$C1978036-927D-4B52-B8C6-A34C5A7ACBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384161$AEB43CE2-2A9F-4E08-8520-15BE3A6D998A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02c0a5863625dc970677b7344e517885fcfe94b","datavalue":{"value":{"entity-type":"item","numeric-id":2182727,"id":"Q2182727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d1421c11ff99e2c21eec820ef76871146ddb22","datavalue":{"value":{"amount":"+0.953722357749939","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":"Q3384161$B2EC9018-E4E4-418F-899E-D4D51DD70AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b73e54052f31c72bd22927b8e8d974dc841f4e","datavalue":{"value":{"entity-type":"item","numeric-id":1784961,"id":"Q1784961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc31dccb69c3a6eeed37729d15d3fdd24444cfff","datavalue":{"value":{"amount":"+0.8831576704978943","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":"Q3384161$30BC082B-02D0-484D-8431-035EEB344DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f698ce49aee4dabccce62f10a50f4439e3c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5194653,"id":"Q5194653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9c7bfcb0017f20aeb6d180c4b5a6699005e0ea","datavalue":{"value":{"amount":"+0.8713172078132629","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":"Q3384161$77945B58-D3E7-494D-8B9B-78F513C642E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b455f32705f33a0f35944be282f7b1e451b5d32","datavalue":{"value":{"entity-type":"item","numeric-id":2817939,"id":"Q2817939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7413e867a25ee46dc39c9ea237b8abdf9107d60","datavalue":{"value":{"amount":"+0.8549758195877075","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":"Q3384161$D08AF686-D904-43F5-93CC-8ACBA3228BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce1ff02b70c6adac741d876a12b423c42b19f2","datavalue":{"value":{"entity-type":"item","numeric-id":821561,"id":"Q821561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb86771e50f5b8bdbd345087a5900011dc720735","datavalue":{"value":{"amount":"+0.8498581051826477","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":"Q3384161$C72B4DF2-89CC-4EBC-93FC-0ABBD3BADD91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384161"}}}}}