{"entities":{"Q5239220":{"pageid":7268788,"ns":120,"title":"Item:Q5239220","lastrevid":55373632,"modified":"2026-02-17T14:43:46Z","type":"item","id":"Q5239220","labels":{"en":{"language":"en","value":"Interface-aware signal temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120141"}},"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":"Q5239220$1BBC2909-47FD-40A3-9BE6-079271A04608","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17aca5d6540e9ebb6787e6e230ec594b72af7cb0","datavalue":{"value":{"text":"Interface-aware signal temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239220$61705489-646D-4F3D-9433-A47D5C183A49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9487606aae92fd198ef741ea81008218a5d231f","datavalue":{"value":"10.1145/3302504.3311800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$9B1455BE-2419-4DD9-9326-82B5EE1C14C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"977e174cb8146ad76f44fc78b878c961ace863e8","datavalue":{"value":{"entity-type":"item","numeric-id":832023,"id":"Q832023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239220$3C20F05C-F98C-47E0-AE93-F4F0AE12E4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be9bad6f26c208a2f156ea79bb5762b69ca2ba4","datavalue":{"value":{"entity-type":"item","numeric-id":243970,"id":"Q243970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239220$CDCEDFD0-ED36-47F4-AED9-8829AF10A0AA","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":"Q5239220$05E91536-A59A-4B85-9B3D-E22D90F5E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f3ec27b8c0711d70c6a0f17c980dcc93fd6a20","datavalue":{"value":{"entity-type":"item","numeric-id":3384433,"id":"Q3384433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239220$0DF3743F-75B8-41FB-A263-12F7D6FF6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"774e88330d96134fd26d25fa13fa3bee8fe38771","datavalue":{"value":{"entity-type":"item","numeric-id":2520673,"id":"Q2520673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239220$59E77484-64CB-42CB-9A9C-B90C65BF6424","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239220$8386E464-A56B-4266-A73B-314C3CC63CCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239220$13990881-69AE-4882-B703-C3FBC4C3474F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$D96AA107-CA7E-4B9D-AF66-F51E5CD3C3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$75B3499E-E802-41D8-90BB-A7B869DE11BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$1B42F7C8-5AA1-4E0E-9767-4BB29C6A80D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abff478c707481dc71e2ae3d7af4ef133d5ea35e","datavalue":{"value":"7120141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$F4D29A90-6021-4E12-B737-1238DE8BD92C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25cedda999936f44d44ac51171b44e2847e880eb","datavalue":{"value":"fault explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239220$44DC6473-41AF-44A7-9F0C-587153AED722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239220$BDA0625A-0A57-468C-9BDC-B9B299C53DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239220$BCDFD6D3-260B-4FE2-8F13-6DA17E7F752C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239220$8C1837C8-2F60-4322-9BB1-A283659B288D","rank":"normal"}],"P1463":[{"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":"Q5239220$CD884749-CEFA-40EF-AD81-20206A5E01E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239220$9E6850E5-BA42-4EBF-AC09-A5F05898EEA1","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":"Q5239220$A49CA2F5-5A3B-4381-B7BE-31202355C452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0923621cf30d4aa1c564dc489369894ef684d8c","datavalue":{"value":"https://doi.org/10.1145/3302504.3311800","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239220$5A2D2499-0644-4259-984B-BE6E7BA720B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7e0c29c78721c672810a1032c28ad3e9481699f","datavalue":{"value":"W2938564214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$97931461-ED45-4347-B86A-8D4E5AB497C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db62ccf71574a1aa7bdce4bdf3e112d1ed5d2b13","datavalue":{"value":"Q130845883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239220$3F6B11B6-7A06-4FFD-8949-9782F744F4B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40de3591138230ff6823f5e749dd65622a513b9b","datavalue":{"value":{"amount":"+0.8131405711174011","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":"Q5239220$FEF14056-59FE-45E9-A377-2ACF541D057B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0315e461298bf88b5bebb49b252ee6be9eaf69","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7458cdf62638194e8f847099705d6aea42269805","datavalue":{"value":{"amount":"+0.7577757835388184","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":"Q5239220$F2183272-BA1F-4198-BC33-4304DA95EE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e4c08c8ecd4bccb8b9b21d40d2dbaec9fe4893","datavalue":{"value":{"entity-type":"item","numeric-id":2176697,"id":"Q2176697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6263476cbd7962adc5b94eb750dde947776a9d3a","datavalue":{"value":{"amount":"+0.7562901377677917","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":"Q5239220$77303AE8-E6C9-4F3F-8045-BCFD657F763C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de16ac5db0b5418ed8c6a3a7c3f52071371110a","datavalue":{"value":{"amount":"+0.7469709515571594","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":"Q5239220$76CE1602-6CA5-4348-97DD-1FCDE1E6817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325d08f0efe5b4aa3c48bc6a7d8db0c61832141","datavalue":{"value":{"entity-type":"item","numeric-id":6091405,"id":"Q6091405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a74f761c6badd056683eeef5b45bb15d0d80f17","datavalue":{"value":{"amount":"+0.7467053532600403","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":"Q5239220$B720C7B9-CB29-46D7-8DCB-32D36F88A24E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239220"}}}}}