{"entities":{"Q3549124":{"pageid":5579028,"ns":120,"title":"Item:Q3549124","lastrevid":50530655,"modified":"2026-01-14T07:40:24Z","type":"item","id":"Q3549124","labels":{"en":{"language":"en","value":"Parametric temporal logic for \u201cmodel measuring\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5456460"}},"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":"Q3549124$A456B6B9-AA79-4CA8-ADD9-B0D141CFBAED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22f1dffb6366377f13e9f3c0d7382d99efb2fed1","datavalue":{"value":{"text":"Parametric temporal logic for \u201cmodel measuring\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3549124$A6910C88-33E5-47BC-85AA-72D321C04C81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad7eb7ceffc2d35da79e87e8f9afd5de2b7af89c","datavalue":{"value":"1171.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549124$FF5EEACE-B7A6-4FA8-BB21-7F064E29C312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6cdb2cf20b22c39b5fdc537cc8370bc5e41885b","datavalue":{"value":"10.1145/377978.377990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549124$56EC4AC2-7725-41D7-A1F2-A4AF981846C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549124$B97E9F0B-D6DE-4A18-907D-33974BE2AED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549124$EC264797-2A40-4551-816A-EDAB57B5FFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549124$3AA6B0CA-5499-4C64-B3F8-4C069D3B5EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549124$537901F1-7617-4C42-8CB6-C70DBE210994","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549124$078DF86C-22EE-462D-B3B6-50AC95FC0B6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-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":"Q3549124$5A28A38D-D0E8-47E9-AF99-278A3C8589C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549124$1C4B597D-F6E4-4954-9AB6-4012EC65AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549124$53D13152-CD61-42A8-9BB5-B83710ECAE77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c14ef8a4e8a1659301348de606c0a789f643092c","datavalue":{"value":"5456460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549124$0CD82FF4-9720-4366-9EBF-AF3ACC75CF0D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549124$4EC09A2B-588D-450A-8077-34CF01B118DC","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":"Q3549124$6776513F-1A71-4495-9001-D56FF5634F83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aa53dec03d5a1ab44aa5fb921a606641dbba56b","datavalue":{"value":"https://doi.org/10.1145/377978.377990","type":"string"},"datatype":"url"},"type":"statement","id":"Q3549124$0F7E2C71-1110-46F4-848D-98C0C2883F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea7a44933c886d6958ce7e9d38a9131dac2d578d","datavalue":{"value":"W2048780543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549124$2F53E73B-1C57-408D-BA5D-4507D676EF1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c70bb0656c4dee6bb06692c5cc6fe9e08fc1f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4938622,"id":"Q4938622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4500f94936065292b787418a497c9779cbf76cde","datavalue":{"value":{"amount":"+0.998095691204071","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":"Q3549124$A75B1528-BE11-4373-92C9-9A4705EBF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84465612bc8f78e9cb4ca52776f8e24da83531","datavalue":{"value":{"entity-type":"item","numeric-id":1944185,"id":"Q1944185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ddc90d3daeb94ccad149368df6b64150bbbda3","datavalue":{"value":{"amount":"+0.8502519130706787","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":"Q3549124$AE71487E-726F-428B-BE81-9C80495B5959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b1ea8e9e18582c65211733f1f7513c7253ac3c","datavalue":{"value":{"entity-type":"item","numeric-id":4995359,"id":"Q4995359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bd2546635c2c933bea63fada2fc464d4224464","datavalue":{"value":{"amount":"+0.8408985137939453","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":"Q3549124$03592898-7DD8-48AE-92F1-8EF52F059D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd65ad7bfd187efe13f162e56ad527a4902516bd","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b0c02c1ae66c90b99853fe51a69b9e534733a5","datavalue":{"value":{"amount":"+0.8408438563346863","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":"Q3549124$164BCABB-F58B-49CB-A3B6-521ECB2A125D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840dda3bb951aefa986a164e604ba0ccf782c70b","datavalue":{"value":{"entity-type":"item","numeric-id":2938076,"id":"Q2938076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837c1739a87c3ce43cabb7e71dcb6b76d16dc180","datavalue":{"value":{"amount":"+0.8373380899429321","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":"Q3549124$A7206ED2-DB4C-4FC3-BD2A-EA67AE09B289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3549124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3549124"}}}}}