{"entities":{"Q4914307":{"pageid":6943886,"ns":120,"title":"Item:Q4914307","lastrevid":51696521,"modified":"2026-01-19T13:04:58Z","type":"item","id":"Q4914307","labels":{"en":{"language":"en","value":"A translation of the existential model checking problem from MITL to HLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155496"}},"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":"Q4914307$3321B4E2-9AD1-4B05-A51E-556D1BBF7F6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52da9f30940448de574283d65536d369d8a15826","datavalue":{"value":{"text":"A Translation of the Existential Model Checking Problem from MITL to HLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914307$55F66AF3-091B-4013-93CF-E0C738FDE78B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16b37f4f57212149ff5b6870059939fd20a5ce88","datavalue":{"value":"1283.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$2873D543-0A9F-4B0A-A8AF-55AAED80E788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c482f3769f8c1201c88c35352b1d640002de01b","datavalue":{"value":"10.3233/FI-2013-795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$02DD01EC-EEAE-4218-8D47-9D0DCB0EC630","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70320fcc24032cc2326ada00967df5fb708d7b3d","datavalue":{"value":{"entity-type":"item","numeric-id":310080,"id":"Q310080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914307$B1A31839-E02B-4362-9BAA-6C1528483D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914307$423119BD-6121-4D5F-A651-C3A1798AD98A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914307$9B961AEF-9B60-46CC-976B-7F9BC421162A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc7e66db6101b78e3ea7c15b1ab0503a867fd99a","datavalue":{"value":{"time":"+2013-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914307$DF4C1FD9-24B7-410E-9D79-AA74665EE735","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$633C0D62-C643-4ADC-8D69-7C6326F3E06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$F3C95963-4F88-4521-9A37-B7AD3E6A212F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$9A786386-D8D9-49B3-9304-CC5D4D73DD0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d69dd3ce75c3e99bf4074ccaac4eca69fb7fe28","datavalue":{"value":"6155496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$83EC67DC-339B-4019-A8BE-E19816C6D5E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d809ff8d37cf1cbf1d0c8dff41fdbfc5089594d8","datavalue":{"value":"metric interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914307$1A3AA1AD-B8C4-43FD-8C71-61B8F992566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914307$F594CB6A-AAE5-4442-B5AF-E234830162B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914307$A60121F3-44B4-45F9-AAF9-5946C3930D70","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":"Q4914307$1CF301D7-47EB-486F-9D0E-A27D965AE9BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1927cf23106ee0a6ebc05a53a1e03f919a0464b","datavalue":{"value":"https://doi.org/10.3233/fi-2013-795","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914307$5A6AB82F-DA79-439D-9EB5-3BC4345C107B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e867216818ed9cb24d7da3d9647c3697b23433d","datavalue":{"value":"W1499804039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914307$3CD7B014-0F4F-41D4-A32E-2E4C9175D70C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea6cef1071023ec3c7c09641c7c2f0dd9d30998","datavalue":{"value":{"entity-type":"item","numeric-id":3296347,"id":"Q3296347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b88113f11fb3abecb5ecde935363219458df0a6","datavalue":{"value":{"amount":"+0.7675341367721558","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":"Q4914307$208BD6ED-D8D6-4DEC-AC0F-A1A8FC6D02F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967c5d7880f93b77be4e1b42b7a1a5ab344706ab","datavalue":{"value":{"entity-type":"item","numeric-id":2842659,"id":"Q2842659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb734b4aa7abbf173905393110f67f4d6dcaa018","datavalue":{"value":{"amount":"+0.7386971116065979","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":"Q4914307$BC907F18-BE49-4A9D-98AE-E878B3BB351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499d83672eef72549ec05edfef13897632bea8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4992508,"id":"Q4992508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5c5cc2a19ea89125b06f3d62a9b2d5640db926","datavalue":{"value":{"amount":"+0.7255744338035583","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":"Q4914307$C9D92F2C-9EFD-4E7F-8851-B90E78A9740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3856074a9bd496b22da1758dfb57dc9edae9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2151264,"id":"Q2151264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7232aaa7c39557b7fa02b034b96a6d680175716","datavalue":{"value":{"amount":"+0.7233375906944275","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":"Q4914307$59227CC7-9052-4C76-832A-A9AFC238D57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb779ccc963de8068a88efc75cd4415f48b3bf68","datavalue":{"value":{"entity-type":"item","numeric-id":5121277,"id":"Q5121277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9fb76468590288c0f498e2339fe70e8c59302c3","datavalue":{"value":{"amount":"+0.7200109362602234","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":"Q4914307$351A3C3C-4CA7-4662-B6E2-8F4CAFAEC7C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914307"}}}}}