{"entities":{"Q821561":{"pageid":823409,"ns":120,"title":"Item:Q821561","lastrevid":54092372,"modified":"2026-01-26T05:57:03Z","type":"item","id":"Q821561","labels":{"en":{"language":"en","value":"Complexity analysis of a unifying algorithm for model checking interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398016"}},"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":"Q821561$D0CC3279-C5EB-4B93-B01A-C7413C838878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c76f03dd7bb7edcd1b3631a6bc2bea2ce2a6b85","datavalue":{"value":{"text":"Complexity analysis of a unifying algorithm for model checking interval temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q821561$AE5D2D0A-B3D0-476C-A9D5-E84C540E9B33","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":"Q821561$F2ACB558-E550-42EF-AA4C-1EE7236F9E6F","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":"Q821561$A4668851-A59D-4707-A9BD-2DBA6267BF8A","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":"Q821561$ACD925CC-250D-4735-935E-F01FFC6FCFB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$17800369-2FA1-4668-BC06-DD5F9C07F004","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44db5dcbe50c77f3e5897b0f25a44315c74b126a","datavalue":{"value":{"time":"+2021-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q821561$53147EAF-2AA2-4800-BAC2-5EF6C6642340","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c2779c5b191824187725b4e88066d7db306669","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/11376/","type":"string"},"datatype":"url"},"type":"statement","id":"Q821561$30FE2038-9004-43E8-B139-C2D9D218CBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821561$7D1026B3-EF17-43D1-8DE7-C1100B98955D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b4ed716584d37528e0163e6f6fe3664d0bdb38","datavalue":{"value":"7398016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821561$FC49BDF6-2DD1-48B4-8519-05942B326CF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q821561$7640A12A-28F1-4AF0-A7D0-AB3EB6244578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q821561$6F748F3B-9910-47B0-88FE-28BFCCA519CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q821561$352C36DA-B526-4932-AB8C-5C7E378AE510","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":"Q821561$E407D0E6-11B4-4285-823F-8B866CC7FE21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e669198c5920a9dcda544edeadb03080a586e0a5","datavalue":{"value":"W3097184372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821561$72158746-8EA4-4C00-BDD4-72F1A5BC99CC","rank":"normal"}],"P223":[{"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":"Q821561$0A694219-120A-4CD1-AC82-A981CBFC705D","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":"Q821561$57577357-C206-4FAD-8563-7685AE6022A0","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":"Q821561$F39415D4-EE43-4746-95D2-87BC2839274B","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":"Q821561$E8207DC8-DA52-4D7F-A432-EF5358550069","rank":"normal"},{"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":"Q821561$B2630D83-9034-4658-865E-A71440ABD178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5460c3122a60e19dfac3629843b1e29e7830029b","datavalue":{"value":{"entity-type":"item","numeric-id":3406687,"id":"Q3406687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$F90FF28E-C379-413B-9D31-A26B0C148FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$B2EF2FDE-F02E-421C-A4D9-8FB87A247C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2484280a35dbd747a0eb1ee52d83808bf46e12","datavalue":{"value":{"entity-type":"item","numeric-id":3460410,"id":"Q3460410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$B7B31D7A-0A9C-43A0-BA15-63785805987D","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":"Q821561$A3B92EB4-FCFF-4DAB-9DDF-299E2E2F2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$E1DCED9C-76A3-415A-BC44-BB717ED1553C","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":"Q821561$2C10ED7A-8699-4A5B-AA0B-EF1B41C7AFB4","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":"Q821561$D7A94F1D-01B0-4615-AA0B-466E9BFC6201","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":"Q821561$FF2DED7A-A425-4ABA-88F0-A37961BDF86E","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":"Q821561$46F7930D-1BC1-4B19-8555-F937264B75EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149988f7ca0d8583b77a2f13538ee1b073e4d707","datavalue":{"value":{"entity-type":"item","numeric-id":4617981,"id":"Q4617981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$78A8D587-3CC3-433B-9EB2-55A4DF2186DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb3d14b6afe0728d6a04d01ed4189dbbaaab451","datavalue":{"value":{"entity-type":"item","numeric-id":1784961,"id":"Q1784961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$19172925-A9F2-41F2-91F3-B1FA614ED4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5cb380f735c75ce64260bcd928e362e755addc","datavalue":{"value":{"entity-type":"item","numeric-id":5111452,"id":"Q5111452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$8A3CDA12-29AA-46DF-BC7C-4DA75D9CF0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25dc7343f283fb874751ef1891cb9f6b6a0a8a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$8627227F-B3ED-4068-9483-CEB3721926C5","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":"Q821561$64F741D4-44FA-4646-A022-B5C694E4EE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebb4f001980250b259d813bf24727dfdba74f91","datavalue":{"value":{"entity-type":"item","numeric-id":2182727,"id":"Q2182727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821561$5473AAEB-544D-4C11-B691-72E754C9E2E6","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":"Q821561$39901389-EF34-42E3-B68A-BA6181EB3A75","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":"Q821561$A203BFBF-5C68-466E-AF25-2DEF78386A4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"874fe7623b473fefb07ba6e05867ff7106b28f80","datavalue":{"value":"10.1016/J.IC.2020.104640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821561$CB3010D9-CC8D-42AB-8C55-F642245EBCBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0986571c8d0ebdfe508d38d3d991960870fefdf","datavalue":{"value":{"entity-type":"item","numeric-id":6487561,"id":"Q6487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938c19ab5f68f6db771f0f5439ecab068d50489d","datavalue":{"value":{"amount":"+0.9859704375267028","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":"Q821561$70D736DA-E5A5-4DC6-ADCB-C2C89F80777C","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":"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":"Q821561$F98B1D3C-BD4E-4BCF-98F2-35186653308A","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":"f747f991625b99c989a6005e9a5e9cc92b7d99b6","datavalue":{"value":{"amount":"+0.8406401872634888","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":"Q821561$66F31B26-70DE-45A2-8EDF-B0115F93E6F9","rank":"normal"},{"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":"ccc15320dee7f64b6c5b5b6b9fb76aa94798b416","datavalue":{"value":{"amount":"+0.8396730422973633","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":"Q821561$1E386326-4D78-4499-A621-C85D159E68EB","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":"2ca097c8398b0290a2d00fbb4bf33d8f93e658fb","datavalue":{"value":{"amount":"+0.8304135203361511","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":"Q821561$165331DC-F090-4D47-9650-5DA65DC66CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:821561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:821561"}}}}}