{"entities":{"Q5194653":{"pageid":7224225,"ns":120,"title":"Item:Q5194653","lastrevid":53532155,"modified":"2026-01-25T04:46:10Z","type":"item","id":"Q5194653","labels":{"en":{"language":"en","value":"An in-depth investigation of interval temporal logic model checking with regular expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105596"}},"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":"Q5194653$C826A125-08BB-4995-A790-80EB4CD09137","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b868a89910503ac2d27bdc0ba82829918517628","datavalue":{"value":{"text":"An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194653$EA322266-47A6-4CF6-9C21-F6C0F807C5D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53aaa718943e30588178ee2504e9fb5c5273ee00","datavalue":{"value":"1420.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194653$F63FDC54-E468-4AAC-B644-E14F4C3612E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e5d688f16a0794f1da7f78b6de6d8e12d948961","datavalue":{"value":"10.1007/978-3-319-66197-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194653$66A0B79A-D2F7-42FA-86F0-1623DA09093F","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":"Q5194653$BA2C3822-1939-48A9-8310-B96E07F19140","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":"Q5194653$CCF39977-7541-40F7-89A5-D6531E377E6F","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":"Q5194653$5B41E55D-C5E4-4278-B2BC-227424FC7CC2","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":"Q5194653$BA3F1404-D433-4AAC-8285-AC4487DAF81E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194653$C88D77E9-6050-43BD-923D-1A07D8DE32C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194653$00535962-FAAA-40F2-B7E4-E5D2F5FD3AAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a2b75329bf34274ce4c31e24cb4a789f783bec9","datavalue":{"value":"http://hdl.handle.net/11390/1120030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194653$74056F5B-80F6-456A-9522-AE7A741650AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194653$407621B2-C77B-42C2-A6D9-465BEAFE11B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194653$B4706E70-6A38-40A3-A491-98CE864EDF64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd312a15eb8960d5e9660be8349e849583ef5fc5","datavalue":{"value":"7105596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194653$41BB9FD5-C603-4C85-A81C-B82B6F716037","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":"Q5194653$C6202511-A67E-45D7-A09D-9EB9D4009A14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f01e2ee0d435f6cd4f696cf249c06b475dffc87","datavalue":{"value":"W2742286859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194653$9AA23FA7-F7F1-4E79-BF20-C349B876B460","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":"0a6f67bdfc0c5a960cbe408466aab4f71234ae6e","datavalue":{"value":{"amount":"+0.9153685569763184","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":"Q5194653$8484E919-0530-4B36-BEB5-F4AD5BD2F2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c196ad88dd02c980fc70c0cdea8343064cac6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3384161,"id":"Q3384161"},"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":"Q5194653$2233E8F5-7E7A-4912-AF3A-1850DBE06CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005f834f6fdfac0f5389685d02a9f09dab15d884","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25a0638ec293d5534fb6399c1670b164f1f9a07","datavalue":{"value":{"amount":"+0.8501874208450317","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":"Q5194653$D14E1169-1EDA-4FD5-AE91-2386BDF93F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f87fc005881390bd8d383bea10621652d7fc6dc","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02746b22b4fe33fbaa18af803e8b43adc11bee89","datavalue":{"value":{"amount":"+0.8387702703475952","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":"Q5194653$3BE0C189-905F-46EE-917C-4B637E5F6CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc80cc4ba0748e9146adc17b4b6d0f5819c47ad","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7d7901aa67d6834d873e88cf94e1a79db172f6","datavalue":{"value":{"amount":"+0.8325879573822021","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":"Q5194653$07909026-1979-4DA3-8B84-D5CD55F5AF9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194653","badges":[]}}}}}