{"entities":{"Q5146734":{"pageid":7176305,"ns":120,"title":"Item:Q5146734","lastrevid":53917664,"modified":"2026-01-25T22:33:24Z","type":"item","id":"Q5146734","labels":{"en":{"language":"en","value":"Using temporary logics and model checkers for dynamic control abnormal deviations of the system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301713"}},"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":"Q5146734$95D5AA7E-4A33-4E7E-9348-F1451489A2A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2082a80b3b3a453c9cd3a365f6b7dd6f6b29e0","datavalue":{"value":"1472.93114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$7E152443-D5EC-4C1E-B336-12C9BB0978FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ab2f6b7ab41f54c310ebd0c30bbed95298a479","datavalue":{"value":{"entity-type":"item","numeric-id":2123760,"id":"Q2123760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146734$DB0952D1-378B-47D2-AF16-CDAC2C414A43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146734$75781AAF-DB78-4427-BF33-9C18E15F8503","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6d4a1b8dfa6c07484eee89606ae8de78ebb3213","datavalue":{"value":"http://mathnet.ru/eng/pdm165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146734$871065EC-845E-4B11-BDD8-BC6906AA3542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$C7E44B21-38CC-48C3-911F-CECAAC3E1D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$B9288D27-5859-4E66-AF7E-EA37C10A05F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$A45DC9C8-A0B4-4C8C-982D-F23F9B5BDA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$69D64996-5853-40DC-AE3C-970219EE691B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$997328A2-8003-4AF5-942D-BDB5E61D7BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d60660d6971a7bb2ffe9473f8fc5043625f90ac4","datavalue":{"value":"7301713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146734$BABFA0F1-5EE5-41FA-AE56-623F10064FCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146734$A558F004-55F4-41F1-BF71-9933B98C2B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f933c71ed78ea64de1ceee6800e66328d9c265b","datavalue":{"value":"model checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146734$AD39C6C5-E00B-4DCA-96B1-6A896962F4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f77c363bb9679d472eed6f14c8890c33395d1a7","datavalue":{"value":"control of system deviations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146734$61096E5A-1EB6-49C8-AC1A-AD8FC143636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a224a580deae6221038a761691039faf4aa13a","datavalue":{"value":"blind search of regularities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146734$A2E9FB03-4DCB-4AC9-89FA-E27D033811DF","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":"Q5146734$1D65EE34-B7F9-4404-842E-FF2248024D80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d9f5947914d64639b82598004fbabd212390f4","datavalue":{"value":{"amount":"+0.713532567024231","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":"Q5146734$7CAA5FF5-12ED-4EDD-BCD9-5F7185D907E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac78ecccd26c38e677e20369416fa2557b160e0","datavalue":{"value":{"amount":"+0.6951680183410645","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":"Q5146734$514EB194-81CE-43C7-B8F3-5959BF71027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a198c50b69a06da8122ebef0eed68220a4fa36","datavalue":{"value":{"entity-type":"item","numeric-id":4374110,"id":"Q4374110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373a966a31b1b69c8134b8b619d53df4c3da3f6d","datavalue":{"value":{"amount":"+0.6895825266838074","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":"Q5146734$4C821F93-E65D-4565-977D-9CE2D9B72E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9ee2dde90376b1f421d83870974fbd9e146b7","datavalue":{"value":{"entity-type":"item","numeric-id":1335699,"id":"Q1335699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b628817eb827fbae3ef126b63a0bd58ca0574bb3","datavalue":{"value":{"amount":"+0.6853241324424744","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":"Q5146734$11F70D8B-92E3-467A-B966-0B18E3A2DD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86b125854e41a90a1723241003a3f90f1730ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4733389,"id":"Q4733389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8e29bc22c2e5ea90518d9f7f30cd4d5fa45484","datavalue":{"value":{"amount":"+0.680014967918396","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":"Q5146734$E052FB1C-3D75-478E-9B51-EDC7CB94FE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146734"}}}}}