{"entities":{"Q3172853":{"pageid":3183563,"ns":120,"title":"Item:Q3172853","lastrevid":51341819,"modified":"2026-01-17T20:25:25Z","type":"item","id":"Q3172853","labels":{"en":{"language":"en","value":"On construction of safety signal automata for \\(\\mathrm{MITL}[\\mathcal{U},\\mathcal{S}]\\) using temporal projections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954729"}},"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":"Q3172853$AEFB6248-CB05-445A-8C88-5A49F4D9BA47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fb6c5e1c4439cbeb163c5db8826b6c3fea145c0","datavalue":{"value":{"text":"On Construction of Safety Signal Automata for $MITL[\\:\\mathcal{U},\\:\\mathcal{S}]$ Using Temporal Projections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172853$4665303B-5FD2-46A8-9E05-F8A041057F3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43aad5ce8d61b9cd0b1a0c6ae8f2ae187fe18653","datavalue":{"value":"1348.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172853$F95D532C-B785-4598-B615-574E3C1A7155","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"552baa8e88fea5d1861ac3a3b13ffbde259171e3","datavalue":{"value":"10.1007/978-3-642-24310-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172853$8D330733-4D97-4DCC-82D1-9288EC1BD91F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22ec18d9efb86144ed2dcb2f2b20408f6214470a","datavalue":{"value":{"entity-type":"item","numeric-id":2272911,"id":"Q2272911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$5B96A7F5-173A-4616-B29B-6D977DD14BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$2F1BC324-9BFE-4941-8FE8-82375ABD24AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$EDE05CCB-A453-4B2D-ACD0-ED1458B6684F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$C275DC60-9820-4D3B-86F2-10B20D4EC738","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172853$D898B02C-96E3-4101-AA61-502CB359DE52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172853$F97264BA-C552-4B3C-A3B4-A17572A42233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172853$6E9DF779-723C-4607-AF80-900604711385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b133945a7a9ea7b7a773688785f1482af9466765","datavalue":{"value":"5954729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172853$FC06BE38-85F7-462E-9CB3-C3860FE6DC01","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":"Q3172853$EFC3D01A-53EA-4474-BCBE-6433066DB975","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"364e55bb9b939c49bf96e0d3891e3bbda9ead66b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172853$BAEF689F-13D9-4A20-981D-52CB5DC2078B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23ab0dacf783e0f095e8f10dba94e824664f0d17","datavalue":{"value":"W138580033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172853$1C927DC4-1EB4-4CD3-A89A-F49B4C538D26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$5AB5282A-76A8-417F-90AB-82EC4C71E858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce826ad7ab58e297a6ac4ccfc171dc2026cc3f32","datavalue":{"value":{"entity-type":"item","numeric-id":5190775,"id":"Q5190775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$2D7BAEA9-83A9-48C6-8315-22E0CC89B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$4481EA37-8079-45A6-9B58-8F42E67F4554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8628d6f30157cef228eea43aff9d3666f3d15e4","datavalue":{"value":{"entity-type":"item","numeric-id":5429317,"id":"Q5429317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$84227B6F-0EE5-455F-9C83-8027E4C94C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361822c87392929af70c641b2108b93c5c18727d","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$09368882-1898-4322-99F3-F2220C5A79CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$F6192106-A81E-4130-A753-41C1DC7FCF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4be9a9b506cb0041ae2198ca04e29b2e4bef29","datavalue":{"value":{"entity-type":"item","numeric-id":3511245,"id":"Q3511245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172853$414EA8BC-7909-4A2F-9131-D3A837524D15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5351f76613009586d8c261899586b94ca721cf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bb046a3401d4755982a3cb78be667659e1140a","datavalue":{"value":{"amount":"+0.7880958914756775","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":"Q3172853$E0D870BD-4D3B-4263-9369-ACCA6A7CCB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508294dca7614f1b0d8d321056f1846834406cc0","datavalue":{"value":{"entity-type":"item","numeric-id":6486425,"id":"Q6486425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24a8fd869e5c2badd4eef074f43d9332f502cb9","datavalue":{"value":{"amount":"+0.7839518785476685","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":"Q3172853$32AD0115-9BD5-4A0D-9EAF-A5A0717A655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525f0d2b3db5740300fc7980fc8138c857d2365b","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc74130551ced7152b008bfa46b0d4441393211","datavalue":{"value":{"amount":"+0.7785704731941223","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":"Q3172853$FC132BB1-8815-4FE7-A411-0124EBF23C63","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":"901b242b75bd774fbb23d99fce0bbe050a24cbdc","datavalue":{"value":{"amount":"+0.7677409648895264","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":"Q3172853$A8BA526B-0F47-471B-B060-1F0339314E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e244c0177497a29fc0de320a03965e35c6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d4baa2751852a64715e0a02d8fb8c811deae68","datavalue":{"value":{"amount":"+0.7647340893745422","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":"Q3172853$CB149BB7-C75C-462E-879A-F8212CB4FD8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172853","badges":[]}}}}}