{"entities":{"Q2988922":{"pageid":2999646,"ns":120,"title":"Item:Q2988922","lastrevid":52812059,"modified":"2026-01-23T13:37:55Z","type":"item","id":"Q2988922","labels":{"en":{"language":"en","value":"Closed loop analysis of control command software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721617"}},"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":"Q2988922$8D858D18-2809-4D49-AE9C-A246A22C17CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a85488310fffef245de0734326f7fc1dff3a4dbf","datavalue":{"value":{"text":"Closed loop analysis of control command software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988922$303B1DE0-EE68-47C1-8BEB-FE2762215C32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72821df8e1f509bf03c61103abfa5d5406c01450","datavalue":{"value":"1364.93504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$704E2EB4-725E-4A60-A280-848B1E1C935A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8a58c71160b6403eeb6c0903e6b4d15d85dcfdb","datavalue":{"value":"10.1145/2728606.2728623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$BE22E29E-C45C-43C4-A39A-28BEC281ECAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5979152cca5de810ef5e74808ba838cbede6b12","datavalue":{"value":{"entity-type":"item","numeric-id":888468,"id":"Q888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$97D07905-16E0-42B4-BF57-EF15575A1E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a89298df4fb395c8a2896b55cb50484348a5481","datavalue":{"value":{"entity-type":"item","numeric-id":2358080,"id":"Q2358080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$BA28BB55-9127-4719-B4FF-E75811CEB102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$B8845A57-B788-45AD-A2B8-4A506F21DFDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$91BF9905-F47C-4281-AD43-5E97CCBCF9AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988922$FF2B593A-E32D-46D8-9570-4E42C18F6B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$CAD5971C-62CB-4F28-8B6B-B069BC27A00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$551B4712-B79B-4098-B2FA-50F3A3710117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$40243F4E-0834-4143-8BD8-8CFE5D8DA488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"406c80d213b264ba577b5aab979b8ac352491ba7","datavalue":{"value":"93D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$2A37764F-2CF0-44E3-B459-320A094B0DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd4fe3b083e95d4d69cf64282c3f65c339ead487","datavalue":{"value":"6721617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$FC704AF2-4535-4E11-BD75-79F9654DB233","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b76c58ce8247d8af715fc16c75b686c3e23952","datavalue":{"value":"automatic invariant synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$436FF493-1500-4550-B236-2C3FEE547795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cda55fb2ebe2a559b2e0b2300ea4f0bcf23a84a","datavalue":{"value":"closed-loop stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$6014B3A4-B59F-47B6-91E0-2DFB06EAF96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6778e32e7071c48bfa2456ce09dc7f03d2960503","datavalue":{"value":"floating-point rounding errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$3227C0E8-250A-496F-B5C7-BE5F18D913E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69bb6a1df0c741ca35d57ec517218a58b5cca268","datavalue":{"value":"quadratic invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$C9038575-896C-4BA0-B1AA-0019DF6B9479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8542ffbb99fcd6f7ecd4ee38dd74a456e09c7a8","datavalue":{"value":"software analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$C4779CD9-95AE-46A4-A56F-0BEC20579F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$10131BDA-EC0C-4C98-9D55-6ACC2166B7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a225475f547c4477dfff0598417cceed00b89f9a","datavalue":{"value":"unbounded time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988922$AA9161C3-9F50-4734-953B-2A52B02477A2","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":"Q2988922$8CF1C82D-1725-45B5-9A73-9E27B5282657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"312b36b5f64f2cba23b2a2ff55bb0158ef7c8569","datavalue":{"value":"https://doi.org/10.1145/2728606.2728623","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988922$CF235921-0E4E-40E8-9B6D-21234814693E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d24bc484129585196f02d511042dc634093688b2","datavalue":{"value":"W1976043036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988922$4107C6CE-4EBA-4EDD-99B6-9832CE936F44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$5945484B-9DCD-4260-B646-6107CFD66DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$AB1ADD05-8BE5-421B-B0D0-E670505A8CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$09E12362-E456-4A62-8C1E-F5C03CD1E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$A5FDEF89-2E46-4C9C-AD89-CDDEF6458DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$CBE91B3E-EC82-44AA-8755-3AE12227C9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988922$0650784A-CDDD-4C21-8959-1A72E40158DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb38f85b3209f42c0dcd4057d6a4ecda8a778ff","datavalue":{"value":{"entity-type":"item","numeric-id":2988972,"id":"Q2988972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0906c42d754eea764d30ccc1906d4f7bd035b4","datavalue":{"value":{"amount":"+0.772071361541748","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":"Q2988922$72A8AC04-A2AB-41CF-A99F-2C9EF07630F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9fd65356539c1131f2189c1773b2a19ff562f2","datavalue":{"value":{"entity-type":"item","numeric-id":2988970,"id":"Q2988970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789940a351000f27f484462a4e528d5023ab0026","datavalue":{"value":{"amount":"+0.7432742118835449","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":"Q2988922$5AA97131-64E7-448C-821C-550063A5784D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062b4d0f1d85ac0932ba924065863be450c6830c","datavalue":{"value":{"entity-type":"item","numeric-id":2986757,"id":"Q2986757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b559048bad972855c3c5765e63b3764de45f09","datavalue":{"value":{"amount":"+0.7139555215835571","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":"Q2988922$7C5F73E0-FCC1-40F3-B4F6-A8EB16E5264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551b772d5571323c466ea3df07a77cd74b736649","datavalue":{"value":{"entity-type":"item","numeric-id":5172637,"id":"Q5172637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8d27627cf73575b4433b0eddba37981187317c","datavalue":{"value":{"amount":"+0.7085376977920532","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":"Q2988922$3450654B-6CC2-4140-A22C-75D9CFFD6026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb851ae53349bf48e0ccbddeb90a88f218a3580","datavalue":{"value":{"entity-type":"item","numeric-id":681342,"id":"Q681342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01221d791a8784b22bb9afff8622076cb69d0ef3","datavalue":{"value":{"amount":"+0.7027994990348816","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":"Q2988922$03931AC5-5C7A-485C-8FF6-5AA3F5FCF47B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988922"}}}}}