{"entities":{"Q1941912":{"pageid":1952654,"ns":120,"title":"Item:Q1941912","lastrevid":51679112,"modified":"2026-01-19T10:55:52Z","type":"item","id":"Q1941912","labels":{"en":{"language":"en","value":"Verification of a technical system model with linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148371"}},"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":"Q1941912$711DFD27-F867-47C3-AB9A-9C05DDA96139","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6663f7a1a473c76118758be749aee5e56e0ebb12","datavalue":{"value":{"text":"Verification of a technical system model with linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941912$1DDCA463-FD30-4D9F-B4CA-7A437C9FD20F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24cdad4a9dbb043c9babb5944d3997157f8651b1","datavalue":{"value":"1258.93019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941912$C9E8FBF2-CA9A-4BB1-9A03-1FC5F7038931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97ed66a1de316af15b74fbc4fa0f307f3c2edc02","datavalue":{"value":"10.1134/S0005117912090081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941912$C8FEC399-93AD-454F-844D-B615B01370F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941912$09A86A4E-308C-465B-9295-A320E3FD3648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941912$73FBA402-2250-4D34-952A-367E57209792","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941912$B367569A-19EC-47C8-A710-FB1A62BCAC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941912$08C42563-F9AE-4B87-9253-1BF834D83935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941912$EBC3FA84-4433-4779-ABF5-90B7B12D2BFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fffdca69232c90bb97be8cb32da87c608f031ac1","datavalue":{"value":"6148371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941912$AD4F96F4-747A-4DD1-819B-F8FD9F2C532F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2494cbd436a5b215827d20b8dc3646549e53692a","datavalue":{"value":"verification problem for an electromechanical device","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941912$0BEAA0A6-9D80-40E0-8CC6-971A7C566651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366d78b0b633db581e0ff2ccae7d22d261108041","datavalue":{"value":"modal logic, linear temporal logic (LTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941912$CCC5C8F9-B7B3-4FA7-A69E-EB8124B81B99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"885a7528d3623f63403aa11c82695b7177950b15","datavalue":{"value":{"entity-type":"item","numeric-id":739637,"id":"Q739637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941912$A0FB2978-5736-4E92-A0B0-CC835B7B0396","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":"Q1941912$0479DE2E-43DF-45C7-94D5-A4A1751BBE49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941912$E7C85AE1-DB2B-464E-8963-15932D896369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941912$268A784D-48F5-4996-9FF1-58BE3812CC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941912$772F8242-9617-4235-9167-2C2E786700AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78569e30449952b5011038d452bdc51ff8ea089","datavalue":{"value":{"entity-type":"item","numeric-id":2922712,"id":"Q2922712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a877dd7a496dfe05cb69308f3738b44fbe7d325","datavalue":{"value":{"amount":"+0.766944944858551","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":"Q1941912$936A1B55-77FB-421D-94B7-1C5FE208BAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad122a128d91c647493471f262df6334ba08e369","datavalue":{"value":{"amount":"+0.7651327252388","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":"Q1941912$0AE07E5C-5BE5-40D4-A83A-70BC5FFC8BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5621a3f0409526b9b81ac8b30a3b482603acf6","datavalue":{"value":{"amount":"+0.7596430778503418","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":"Q1941912$25E02B6E-E517-485E-ADB1-03D09CB29A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1819f92b1f9e38f1886c80499440136f4c123a","datavalue":{"value":{"amount":"+0.7578989863395691","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":"Q1941912$9E184F49-8922-41B2-B825-089593445B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13283b631bafe9ac7c763373768536b5b01ce8a","datavalue":{"value":{"amount":"+0.7568931579589844","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":"Q1941912$B21E4246-60DF-443B-AD6E-3C8537D572D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941912"}}}}}