{"entities":{"Q5260704":{"pageid":7290272,"ns":120,"title":"Item:Q5260704","lastrevid":94654166,"modified":"2026-06-05T07:22:20Z","type":"item","id":"Q5260704","labels":{"en":{"language":"en","value":"Model checking real-time systems within unified approach of timed interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6454032"}},"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":"Q5260704$E325BF95-461C-4F8D-A134-456A52E5E01C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4cb49c18925a75c5f33e36527ed195d0fd819bb","datavalue":{"value":"1324.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260704$23D89CBE-6951-471A-9878-3EB47E90DA05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b382c8b24b5e9397a02fe6530f458cad801d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3631630,"id":"Q3631630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260704$DDDF264A-A56B-4C43-9DC3-A80DF2113418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"036b0aa8d2375f179bf81681695e289fd25083f8","datavalue":{"value":{"entity-type":"item","numeric-id":474445,"id":"Q474445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260704$2FD9D75F-F7B7-4F4D-BFE4-9E27CB92CD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3dd03ee097f5d3ea2147247a1aa6b356888396a","datavalue":{"value":{"entity-type":"item","numeric-id":259133,"id":"Q259133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260704$9613A738-05B7-4E16-8174-2AD06886B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"375d61e6e57db7a54fe0c769e106bc7c3b879d9d","datavalue":{"value":{"entity-type":"item","numeric-id":1030459,"id":"Q1030459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260704$6F78B2D8-917B-4335-91A0-2E613529C83D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5260704$4C325F73-B935-4D32-BD2A-85915E33DF18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260704$13701F94-962D-4D1A-A4D4-02E7E31A74E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260704$265CEEDD-C89C-4487-9013-D094F31D238E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260704$8EF280B5-9CDC-4454-A392-9F577ED3AE39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825a185a19ec4b811f7865c056ade0bccb2593aa","datavalue":{"value":"6454032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260704$0E57F0C1-8F7A-4B04-94CB-0DD6180E4384","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c50c486cb4c4f02685781f439a355edb5062586","datavalue":{"value":"model checking within a unified logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260704$725CE155-8189-4537-A8E6-0E22A8A964AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260704$7B2078FA-AFFC-4DD5-92E0-B99330422625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260704$329C89CA-CAA7-4495-BE4A-78E42351FD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a8ec9e83dd0e846c18f77cbdbe47996b0b6356a","datavalue":{"value":"timed interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260704$6D5A23EA-721A-4B02-9BDD-18CBA1211D8C","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":"Q5260704$6E1FCD6C-F793-40A5-B091-1F576DA943BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"962befba8b0a7f8ff9ff3c63f4fe870bf03f786b","datavalue":{"value":"10.3969/J.ISSN.1001-0548.2014.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260704$60D1F65F-656A-4807-BFC8-8D47382C0D6F","rank":"normal"}],"P1643":[{"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":"89bd23c40f2d3df42162d7980f235509a317de88","datavalue":{"value":{"amount":"+0.8285213112831116","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":"Q5260704$09165F3B-1442-4BD1-BCD0-DF3410D8E14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37ff10d4b94dc4508a17fae9d8dbb24bf4c34c5","datavalue":{"value":{"amount":"+0.7928181886672974","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":"Q5260704$E43F39A9-5B51-4EB1-95D7-EAC8B722CD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dd645f05cab62b53027bb6780f6a5f1c94cc3c","datavalue":{"value":{"amount":"+0.7926360964775085","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":"Q5260704$E6E4B67A-675D-4A89-814A-D4BEB931E286","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":"f9b8f054e2b07d1a0be289f586a09e86c17ec00e","datavalue":{"value":{"amount":"+0.7878367900848389","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":"Q5260704$9B437F79-EF9E-47CD-85ED-D1683D0BD164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c3b959750cdc67cd76b7457f88a5bd2fdb8658","datavalue":{"value":{"amount":"+0.7878347039222717","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":"Q5260704$4619386A-F7CC-4901-9348-BDDC86F269CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking real-time systems within unified approach of timed interval temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_real-time_systems_within_unified_approach_of_timed_interval_temporal_logic"}}}}}