{"entities":{"Q2988945":{"pageid":2999669,"ns":120,"title":"Item:Q2988945","lastrevid":52812095,"modified":"2026-01-23T13:37:58Z","type":"item","id":"Q2988945","labels":{"en":{"language":"en","value":"Reactive synthesis from signal temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721632"}},"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":"Q2988945$C8EE0310-A7F1-4272-A330-905762821AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d9b2f26197959289b95606a26915099416f84cc","datavalue":{"value":{"text":"Reactive synthesis from signal temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988945$A57BE770-B898-468D-9D60-39E5214C60E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dec98d96b5c6c43a7efdd9b781fa40f52391e0d7","datavalue":{"value":"1366.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$173D2861-5D89-4DBF-BCE6-1321262AF83D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"390f11c5b2fb390fe4b58dde5b0fa7c30568ff58","datavalue":{"value":"10.1145/2728606.2728628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$1DCD57B7-7911-4A37-B9A7-80CDD7A61760","rank":"normal"}],"P16":[{"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":"Q2988945$DB80C0D0-A85D-4482-B931-182949840B49","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":"Q2988945$5DD48CFF-D9A3-4B73-9888-59D616B2D0D4","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":"Q2988945$B10EC688-EC50-4F29-BC14-25B947581C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06fcb8f66ff658a4df0218645c977cbe1d9d0eff","datavalue":{"value":{"entity-type":"item","numeric-id":490563,"id":"Q490563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988945$D4D4BE39-7259-4C95-96A7-EA4F36955B84","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":"Q2988945$DD25FC7A-A083-4CFD-832C-7A5A49AC3BC6","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":"Q2988945$3DDB49B0-25BB-4C91-B075-DB48139CCD8E","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":"Q2988945$1E6B2D31-DB36-477D-96A3-92BB6BB11876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e89f0dd65a7a8106a2422eebdb6c9033922c855","datavalue":{"value":"https://authors.library.caltech.edu/57535/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988945$BDB5AE4F-5C25-4D9E-B047-4F71B06894DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$DC6779E6-C169-4CD9-AC9A-75B84DD2CAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$34CA2A13-800A-4D74-8DDE-6ECC1D6208EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$6AA67458-159F-4BAB-9D24-2E8DBD24A4B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d68c4662cdb2a209c30001e152240be50bb18005","datavalue":{"value":"6721632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$B7C52037-DC5D-4445-B554-2A7371FC097A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cddf88e48b284e0607da6f725c3fca85f949939","datavalue":{"value":"Q59813843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$A6880115-0BAF-4E41-8F21-58472C1FE7DA","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":"Q2988945$5A5CC851-9FC7-4EF1-92D0-A3F65FB1BEC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1125f0b4aaf72f5e3d1a8b2b9d70480e0432f3cd","datavalue":{"value":"W2095274657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$BFDE8EEE-1B81-42B9-BB22-3ACB8890EC79","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":"Q2988945$5BA105A4-2A38-4389-BA2B-23B77FA62759","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":"Q2988945$0F532879-74DB-4014-95E7-E6D8C33A3178","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":"Q2988945$C12901EE-E2BC-495F-8329-D0393ADC37C5","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":"Q2988945$339B8E01-AAA4-478A-B48D-8CDDA88346D7","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":"Q2988945$9594534C-A4CB-41D6-B0B9-AB1BA0712577","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":"Q2988945$10EFB265-AB3F-4433-94DC-E39CF0BE5B82","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2c4d9f52ed13d82073963a24f2ad0aef1adbfd82","datavalue":{"value":"conf/hybrid/RamanDSMS15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988945$1BAF2517-F004-4659-9515-D5FF597B3A67","rank":"normal"}],"P1643":[{"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":"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":"Q2988945$D3C818F1-BF9C-432D-A348-A71C3A5F3CBB","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":"de6f5a6ffa16aac8047c452483703b1de1209017","datavalue":{"value":{"amount":"+0.822758674621582","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":"Q2988945$CC50D61C-DC95-45EE-AED9-456800D45BF5","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":"2a21f9dc72f6875d894472d3477e76064c1dece6","datavalue":{"value":{"amount":"+0.802288830280304","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":"Q2988945$F92B40EE-8E47-425E-838B-528FF3C9E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cf4502dc91ffbddb18340679fabee068fd703","datavalue":{"value":{"entity-type":"item","numeric-id":2988986,"id":"Q2988986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2eefb07687f9abcdb551297b3ee40cae306692","datavalue":{"value":{"amount":"+0.7982078790664673","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":"Q2988945$EB5E2467-F4CA-4617-A8A2-B69922AFE401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91afdef5f86e28345974e672e2dec8bebda1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":2986938,"id":"Q2986938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70de788b558a774f72c7d6f7e8d570bc97e0c56","datavalue":{"value":{"amount":"+0.7973667979240417","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":"Q2988945$18AFCF2A-3935-4C9A-9C95-A6EC9CF333CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988945"}}}}}