{"entities":{"Q3381991":{"pageid":3392694,"ns":120,"title":"Item:Q3381991","lastrevid":58154001,"modified":"2026-04-04T00:53:40Z","type":"item","id":"Q3381991","labels":{"en":{"language":"en","value":"Back-propagation through signal temporal logic specifications: infusing logical structure into gradient-based methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7397403"}},"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":"Q3381991$8C83A605-0F90-4A32-BD2D-351E3F736293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5907bf6054a8431c72985edc42682a1111bc461a","datavalue":{"value":{"text":"Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3381991$EA30B670-0EBB-41C1-BDFD-B7448AEBEDD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c937145036f7b630cb1519ae9baf7f02cea9d991","datavalue":{"value":"1469.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$2CC8C026-6F79-4A29-B803-78B4317BF06A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7a66567651f9e3a0d92e79e827e950054df1f02","datavalue":{"value":"10.1007/978-3-030-66723-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$7A7E94DC-9D6E-4FCC-A725-D062A22AEE08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c806bdc32bd362437098aa1d18c316c056e193fe","datavalue":{"value":{"entity-type":"item","numeric-id":3381943,"id":"Q3381943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3381991$62469EEF-A234-4767-842B-9D202268B362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"596b4c87ea0f7e3618f192a27775e0f383bf77ea","datavalue":{"value":{"time":"+2021-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3381991$A664D7AE-2416-4884-BF8D-9092C5BA5FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4e45a5760b32b86d6fabfdd1506808d70d0590b","datavalue":{"value":"https://arxiv.org/abs/2008.00097","type":"string"},"datatype":"url"},"type":"statement","id":"Q3381991$05C316E6-284D-4CEA-ABA6-C290AF3185F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$7993B3D3-9ECD-4142-9718-443EEF1C95F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$06CC090B-AEC2-40DE-B428-484AA734B079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$816ED2FB-1E00-4974-867D-BAF72C14300C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94117807f29b1177c29fe28ad72042138fcd3816","datavalue":{"value":"7397403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$28B836A6-54F8-48B3-B449-7765B6511E12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3381991$601D7967-ECC8-46FD-8FA0-34232CF2AAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3381991$7DEE66EE-D230-4761-AE7F-4515A5600FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a59ef35ca72f95ab626b6dac5c71a6e364e53","datavalue":{"value":"computation graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3381991$F9F0018D-7EE6-4571-AB1E-A94AA7BA4D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ba7ec1ebc470b5275164dcb4bfee37854e147d9","datavalue":{"value":"back-propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3381991$AB048D75-8B09-4FFC-B3F2-80ED27CE61BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8ea21cf1043ad00382a112f88954b4cc064c7","datavalue":{"value":"logical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3381991$593E2E66-A59C-41F6-A223-8203F551FC17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28c49518b2391a3c9e2da3891679e04c0308e5d","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3381991$76AC3356-015D-4077-A61D-232DDE354981","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":"Q3381991$CA04F1FF-CDA4-4961-BDE3-D7EFA07DCF9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e67ad0101ed48fcf819e53e0a23aea9f8e91f83b","datavalue":{"value":"W3164776375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3381991$88101CCB-5B4D-47F2-805E-CFB69EDC5508","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3381991$E6939B58-744D-46B4-8CAD-9D900E6CCCE7","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":"Q3381991$1F6798F7-81A6-49AA-950F-75AD2642B586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78a4896916ff608d4f072584a41db00eb35c697","datavalue":{"value":{"entity-type":"item","numeric-id":1737745,"id":"Q1737745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01720231e4652572c20dbc1a1a27614846de548","datavalue":{"value":{"amount":"+0.7516802549362183","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":"Q3381991$8A713ECE-D939-4845-B590-3BC3E6F3803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfea692762b61d0088ffe9ec7661f2382e5991ff","datavalue":{"value":{"entity-type":"item","numeric-id":2677109,"id":"Q2677109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db61d3233810f14561804e3fc63d7c87b898da1e","datavalue":{"value":{"amount":"+0.721699595451355","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":"Q3381991$0CBD9EB4-0091-4E1A-9313-C940631529A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7c09edcb49850caf43a32b68bccac3dd13fc0f","datavalue":{"value":{"entity-type":"item","numeric-id":2008282,"id":"Q2008282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d3e748b708bdd89838db3e5405430c7e00fcd4","datavalue":{"value":{"amount":"+0.6884286999702454","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":"Q3381991$A18C02B6-F3E3-4E3B-841E-14F5B30A5584","rank":"normal"},{"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":"ec230fde555dc54cf14e53c9c8e201eaea41a449","datavalue":{"value":{"amount":"+0.6845353245735168","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":"Q3381991$E876CF32-492F-4F22-B9C3-A42F1EFE268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1c81809ee9cfccafc4a087d552d45e1db5412","datavalue":{"value":{"entity-type":"item","numeric-id":889006,"id":"Q889006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6ed05ebba586a9ef187b826922a7a0302b4c2e","datavalue":{"value":{"amount":"+0.6836029291152954","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":"Q3381991$EABD8D4E-B107-412A-BE4E-78E8C4436D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3381991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3381991"}}}}}