{"entities":{"Q2139184":{"pageid":2149927,"ns":120,"title":"Item:Q2139184","lastrevid":73484346,"modified":"2026-04-14T16:10:28Z","type":"item","id":"Q2139184","labels":{"en":{"language":"en","value":"An automated system repair framework with signal temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7528109"}},"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":"Q2139184$BACA7DDA-B41C-4D2F-9338-ACDB11E2F437","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a54d97323f7a7573384b51eaf6ed43bf6582912","datavalue":{"value":{"text":"An automated system repair framework with signal temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2139184$B11D0C33-6CEC-4044-8B04-AE28A877971E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9398122be92b2a0c99b788864b0e077bf988ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2139182,"id":"Q2139182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$38FE1999-8CF7-4E69-8774-A029B84D1FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fb81995f42430dfd33ad1c90b216378bc4e6bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2139183,"id":"Q2139183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$26906520-BB62-447E-BBEC-526C651D058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"931831a3ed1a298c970ccdda8fbf5e7cb412d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":889005,"id":"Q889005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$6C76422D-F5B3-4DD0-833C-2411328D00E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$377B8235-B790-4116-AD57-DD177ADDC6DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a56af58cfd4d3b017f8833425a5cd2b6e7283d16","datavalue":{"value":{"time":"+2022-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2139184$226F5E75-5917-4591-B1D6-1EA34CFB7F57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139184$A8CDCF04-BD3B-4E2C-BF35-D13E54393B3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7361d326713e5a0a0b8186e7795dec5d8e2ff2bc","datavalue":{"value":"7528109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139184$4A35E0B5-FDDB-478F-A1CC-677C8139A248","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$B8FAAF65-D0FD-4CAD-AD8C-F4E7A5846A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$35691C9B-89A8-4CB7-BE80-BED15E677DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$5D02551A-0183-4014-B1E7-8512032C94A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e6285a57fe7db7429c9f09d37319cb172729add3","datavalue":{"value":{"entity-type":"item","numeric-id":29308,"id":"Q29308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$211A5CC0-8EDA-4A48-9A7B-E7D4DB1287F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973e4e98989cc20aa3f9a53733b88c423fc6424f","datavalue":{"value":{"entity-type":"item","numeric-id":52782,"id":"Q52782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$6BC2FCA1-3244-4F41-A7D4-426CA50EB655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$C29B4E11-6CB3-4FBD-A124-C79539BB6932","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":"Q2139184$872B6D31-C778-407F-B4A4-BC5A78275E65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595bedec53ec9853454744e3318e289e9d588ae5","datavalue":{"value":"https://doi.org/10.1007/s00236-021-00403-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2139184$E0F847CB-5ED2-428A-AA9D-50A6915E5A4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a5337757d9a77e9386f25a79717f8ecb73e899b","datavalue":{"value":"W3175524290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139184$270F0A8C-3354-47B3-BA0B-DDBEED5987B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$F4737F2E-0871-4867-A8AE-F2975503427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$F0863B99-5832-40D5-8174-C7A6331A91F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a7155d87f105032bd8ace323fc3b00a98ef37","datavalue":{"value":{"entity-type":"item","numeric-id":5358494,"id":"Q5358494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$3033AE38-3797-410E-B7C0-E4C71D5EBABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$D9565EBF-9CD6-461F-8F0A-9BE577E08DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f551c3f6556312c22ec3abb5a687eb52f6f69221","datavalue":{"value":{"entity-type":"item","numeric-id":3460567,"id":"Q3460567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$F8EBFE77-3A66-4756-B590-4DD67DBAC9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bad9b7d0335baa8a7c5745c7b50f23899e285ee","datavalue":{"value":{"entity-type":"item","numeric-id":3190141,"id":"Q3190141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$AD983692-DE6D-4AE3-8604-A9978244CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1d8ee2c5a20f4bbb771b0d86edcaf1d78bae7","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$10BD6818-77A0-4203-ABCE-0DF898740FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1001a77beca93984d764624db5a02a1b015a50b8","datavalue":{"value":{"entity-type":"item","numeric-id":2008282,"id":"Q2008282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$AF3F2BD1-363F-49F3-BBD9-91AC472C7EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb50b727b7ecb6eb3c385472e0597073285e7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5146371,"id":"Q5146371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$4D42975F-FF17-4A4C-BC6E-87F63BE160CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$FAEDBE5F-FFD6-4A06-A41B-AFEB91B0B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6101bbd1e1b228feaf21a9880573b6d5cceb3787","datavalue":{"value":{"entity-type":"item","numeric-id":2151258,"id":"Q2151258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$48BC3623-1B33-46F3-B791-FCC9B511C6A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b235052862e3088b715634aa4cf41264d861294","datavalue":{"value":"10.1007/S00236-021-00403-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139184$AED77F17-4DB6-4FA9-8257-56AE19E51152","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde6054e5a4c7b5d8449ae157fa316ef1138bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":6108434,"id":"Q6108434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf43d737a5055ffde3f2f52078b050c92881541","datavalue":{"value":{"amount":"+0.7838981747627258","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":"Q2139184$D7DAF5C4-FA16-4B6E-BAC3-3879FC629165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0b83924983025957b603f7ccbc6fc5b8811cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2988959,"id":"Q2988959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f024c4b423d940702036ae6b0bb652820bec1f","datavalue":{"value":{"amount":"+0.7724840641021729","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":"Q2139184$28CB3C71-09E1-4BF4-865E-D170156F9C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94ef7d45f078bb0658e66a82e0ac732a18234aa","datavalue":{"value":{"entity-type":"item","numeric-id":6154576,"id":"Q6154576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b44d9a1dcaa61ed4fa6f230229544b7bec271e1","datavalue":{"value":{"amount":"+0.7473880648612976","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":"Q2139184$3D586FB9-428D-4575-9219-53EB8B35D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d228bb926d91885991466472accd6e04388c3596","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bd1a40605833551e5a72e6349d5a202847695b","datavalue":{"value":{"amount":"+0.7337932586669922","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":"Q2139184$917904C3-05A1-4BC1-9555-AA37AC537C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21612985c64a43e327582a87489076c35ef069","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ce7dee893da8c7d05edb055892f216620e5d47","datavalue":{"value":{"amount":"+0.718162477016449","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":"Q2139184$A05C4884-DA24-4E6B-AEEB-1FDA0DDBF579","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139184$1D918BD2-9CFA-4EAC-9348-9427FEE72E8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automated system repair framework with signal temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_automated_system_repair_framework_with_signal_temporal_logic"}}}}}