{"entities":{"Q2988959":{"pageid":2999683,"ns":120,"title":"Item:Q2988959","lastrevid":58097901,"modified":"2026-04-03T19:18:35Z","type":"item","id":"Q2988959","labels":{"en":{"language":"en","value":"Diagnosis and repair for synthesis from signal temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721650"}},"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":"Q2988959$31D50C6D-9961-4EA6-A112-12DD64B7FCC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90599f815206edf454a256ab67b9c43dfc887a89","datavalue":{"value":{"text":"Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988959$B61F9A58-51A3-4BFA-93AD-BD2B491CBED9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e93d63bb2fe54d03f72ca46ed619c9efe43b838","datavalue":{"value":"1366.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$60469B25-7BCB-4379-85E6-7CF0B97FCDA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75ceb33e2d8cf6598190e3c35f22f70395420b67","datavalue":{"value":"10.1145/2883817.2883847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$2705FAC0-E0B3-4E6B-8E62-57AAAE0D0000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9384f62631fc2eddcb832fef444627708f2ff5ad","datavalue":{"value":{"entity-type":"item","numeric-id":2402546,"id":"Q2402546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$D8EEAEB2-6D47-4C1C-8F04-63D9767676A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d1ce5b8d969e763186a546c30482290e3a81d2b","datavalue":{"value":{"entity-type":"item","numeric-id":682356,"id":"Q682356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$F078B5B6-5CAD-480A-A098-5B4A817D680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7e41210c61d44ba846caed46d46d70bf2ee66fd","datavalue":{"value":{"entity-type":"item","numeric-id":2988958,"id":"Q2988958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$59D119E9-1FEE-4FA3-9AA4-0880E49FCBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e273e7c768859f16af2bba682228c9ff2ae8584b","datavalue":{"value":{"entity-type":"item","numeric-id":682355,"id":"Q682355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$8F2856D9-6770-4F91-B976-C71BBD94526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2421cbdcf69fc46f7e1ab053bd39b93ffdc36187","datavalue":{"value":{"entity-type":"item","numeric-id":243963,"id":"Q243963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$2FABEFE9-9F08-41AD-8846-18A133A047C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$3DEDE7ED-9904-4450-A6F9-FFA7F9BAD95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$729B1600-E845-4FC3-8B4A-6C448E8CC220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8134bd9ea4e4d6df5dbd1848da32e0607fcb7e10","datavalue":{"value":{"entity-type":"item","numeric-id":962199,"id":"Q962199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$BA0FC11B-2AB1-4557-BDF2-F94787B1DECE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988959$9D52FBA0-AE15-4736-A39C-71D3A200CB6B","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":"Q2988959$C6EF58DF-3C4F-4A21-8E87-EA1377335350","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b97e53574134fe86a048988dbe2fc54dd15fd5c9","datavalue":{"value":"https://arxiv.org/abs/1602.01883","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988959$7CE7C9DF-4AAB-42FB-A0E4-9354CA56A6FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$9774404D-BA96-44CE-9A08-9E65621F2D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$51787A99-0840-4680-BA29-664DC22BF7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$4F2B9414-8408-44E2-9677-FA910090988B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a3b70830a95c4e6030cb3770349ad9cbffd6f5f","datavalue":{"value":"6721650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$FB2A252F-D46F-4414-9BD9-C055E7B68892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e8251378e6e40b9e946d030aeb94b41e173c61","datavalue":{"value":"diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988959$CAC8B6AD-083A-457F-949B-59D33B8F8F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988959$15E4BA81-D011-4B30-BF82-A9236765061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716cc778341943467f456c26b476856ce866ab8d","datavalue":{"value":"repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988959$2A72E42C-A2ED-40EE-920B-FA59ED7EC6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988959$78AC0EEE-A06E-4A7D-954B-A350A35A3725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988959$055AE31E-3DEC-4D4D-98A2-4B2B53A8DBDC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4b8a5c6aa3376ad3e79a528ef0b0f85fcb159905","datavalue":{"value":"Q57380127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$E5097AC6-4190-4BED-AD80-1E44AE059D84","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":"Q2988959$BBF11C96-16F8-45EF-BC8E-EB480A046A16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c232d49032acf7c61b0cef2ed44398abad98ba07","datavalue":{"value":"W2256658272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$BFBEDE9B-E4DF-4D86-B7BB-9A87CD4FCB3E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"94ef3117d3a52b957beecf519d593aefd7922a8d","datavalue":{"value":"conf/hybrid/GhoshSNRDSSS16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988959$04100012-B17A-4307-A8C8-9FEBB070E8C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f2fe3633f6bb3ec43d1db1b2ffca7d1fd60602","datavalue":{"value":{"amount":"+0.832834005355835","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":"Q2988959$DD54F892-EFBC-4059-92B9-23915143AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08efc1caa2377a150d0ad8101eb6cf5e821215e","datavalue":{"value":{"entity-type":"item","numeric-id":1631235,"id":"Q1631235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58379a761dcc857d4de2a54f457ebc6b4c1155d","datavalue":{"value":{"amount":"+0.7492005825042725","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":"Q2988959$48A873EC-88A1-49B1-9169-79CDECF573D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9874c8b0a91f9c04bd66929fbb7856895e014e","datavalue":{"value":{"entity-type":"item","numeric-id":2303876,"id":"Q2303876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e88a26eadce23c852dd84e6f3062803e9028e0","datavalue":{"value":{"amount":"+0.7406448721885681","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":"Q2988959$636FF89B-06AF-4FB5-ADB1-3452D26AF223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100f990fbd0f4b1c2d21fa0d026beb39723c8444","datavalue":{"value":{"entity-type":"item","numeric-id":2665407,"id":"Q2665407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcfd0743209d01649194f97cc7eddd7db0ed84e","datavalue":{"value":{"amount":"+0.7392793893814087","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":"Q2988959$31D866EB-61DF-4554-B436-76AC7BBDC351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fc9975402712ebf1197a9ba0ea7ce2e9abb385","datavalue":{"value":{"entity-type":"item","numeric-id":2116657,"id":"Q2116657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4360d3e050dd20a3052c497e486441855f1b1e7","datavalue":{"value":{"amount":"+0.735585629940033","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":"Q2988959$D465DE08-EE8F-4078-9F3C-AE305CC8818A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988959"}}}}}