{"entities":{"Q6581256":{"pageid":14192411,"ns":120,"title":"Item:Q6581256","lastrevid":55716937,"modified":"2026-02-17T21:35:37Z","type":"item","id":"Q6581256","labels":{"en":{"language":"en","value":"Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7889314"}},"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":"Q6581256$4B724F07-713E-4E84-B135-7BBD7DFC9AC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c063d4dafcd37526d9a07ac55929c77c1b118e7","datavalue":{"value":{"text":"Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6581256$CA098DF3-C405-4C20-AE3B-D72A5D3C5FA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b482e1de3cc327d1b355d6dfb2289b66c24da938","datavalue":{"value":"1544.93552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$10DAE742-9049-4A53-AC5D-D24D0FB87C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c27e4631b2c9b13c752eefec6794fe8a11e84f","datavalue":{"value":{"entity-type":"item","numeric-id":2116656,"id":"Q2116656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$56681097-75A5-40D2-B320-3AA3390269C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$0AE6D733-D7CA-42C0-AE51-B30CC5EFC994","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$058BDA5A-B15B-4A0B-9B6A-31634253600C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c782275f7973be1626b55680bd65ab6cf2c9404","datavalue":{"value":{"time":"+2024-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6581256$F88144C1-D00C-43F6-82DA-02F97D5A2C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$F9F169E1-703A-4D5A-8FCB-CF0D09F3B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$56BDD741-762D-448B-9D62-4256D900431D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$EB842A86-676E-4902-9EE1-316A3E1D2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$DF9F92E5-E1DA-4332-B5C0-0504EDF91B21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1f88d4d7723f2c1a437124d64edb3fbc71bf958","datavalue":{"value":"7889314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$D840B6D2-C3A9-4B69-90BE-E03340055DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581256$6B69AA05-6E47-4412-AF03-18B3142677B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581256$2AE856B1-A77F-4994-BA99-089E13F68C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581256$16BE035B-5058-4B58-A834-BE69073CC49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581256$C526F5DC-4B2F-4D46-82E9-402866414CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581256$D60EF889-8637-480C-9C6E-5A05361C9521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581256$384028E0-0A0E-44B4-AC02-FDAA97D07732","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":"Q6581256$4300B84F-83EB-4EE2-922E-FF3707D8D321","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87863a643e8396f8751c636ea34398dcd9698234","datavalue":{"value":{"entity-type":"item","numeric-id":6199955,"id":"Q6199955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$0E53DFDC-69F8-4F79-9AA1-49EC703CB78C","rank":"normal"},{"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":"Q6581256$802E0568-E0B7-40A1-AD60-B9C1F3AFA59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b5731d8665a1f402aa8ba470cd1f3967c3e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2996923,"id":"Q2996923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$5671445F-F0DD-4D4A-BD33-D441DA9AE624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$BD797C43-92EF-4D72-BBF8-442B64DBE228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3f42fcca75a7a8c6467aed91331be1686e2ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$9324E4E8-A26C-495E-9A8A-829FB0384C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38685204a6d52ca3bb8e7b5bb3dfdb661bd3656a","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$ED37F4DC-9A82-4937-89CF-FAF9280BD215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae01cfa0ab64c4de4fde1296e11ac8f3d23e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":1939637,"id":"Q1939637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$75D578A8-DEFA-4B7D-BE44-7BFDFC436DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9bb2c544d7c8a24e1b47b518c0e4627cb36ab5","datavalue":{"value":{"entity-type":"item","numeric-id":6077088,"id":"Q6077088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$2659E399-E35E-47E4-8EA5-EE017A649198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784189294e81874fa9d2380e5da09a4d09a5f97","datavalue":{"value":{"entity-type":"item","numeric-id":5274100,"id":"Q5274100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$54363868-D766-4EB8-B2FF-836D8BEC1606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c91fe8a80f6182bf82cf8c569e8bbd2b51d93d0","datavalue":{"value":{"entity-type":"item","numeric-id":5146360,"id":"Q5146360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$D0803056-5FBE-4A4A-8145-44874FB0D32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$7187AEB0-762E-4B03-B1DC-B3BEF294DE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a234a6460b2c5fb4d70a82b7e2055eb052a82145","datavalue":{"value":{"entity-type":"item","numeric-id":286264,"id":"Q286264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$A4B02BB1-F79E-4CDC-8659-1D0337E68BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70cfcb54c85e6f186892f2d0b45a2a0d2e849f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2986751,"id":"Q2986751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$3ACE6160-F188-4354-B925-64D8B56DE310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06683ab1b1dbb7cadf9ed69d1b90724a009544fe","datavalue":{"value":{"entity-type":"item","numeric-id":6120656,"id":"Q6120656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$516C27BE-08D5-4CF2-AB3F-650A13A92D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8967b41cee834110af61a78cae027299233470b","datavalue":{"value":{"entity-type":"item","numeric-id":4957696,"id":"Q4957696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$DF2A0465-7C62-4319-94C5-BBDDCED31E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a78f667d09f0e0848ba4ce74c8504dc5739dff","datavalue":{"value":{"entity-type":"item","numeric-id":2250087,"id":"Q2250087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581256$2D8244F8-E652-477D-8EB5-298AC4276BA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7146156a83538ef49552c2250c893375122848","datavalue":{"value":"10.1016/J.NAHS.2024.101491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581256$FF667370-F740-4F5E-AD5C-9BE48F4C86B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d00c82ab606062335d575001a70b94a8d8149c","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0817269e6a964be5cd103d5b032b693a44aff43c","datavalue":{"value":{"amount":"+0.7613672614097595","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":"Q6581256$CB86A6F3-9E0E-442F-857E-992BCCDC0CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c0b86a7da069851947344217bbc6abd5449d1a","datavalue":{"value":{"entity-type":"item","numeric-id":271719,"id":"Q271719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ca81ccfa639a34509e39fbc5f232d69358cfd3","datavalue":{"value":{"amount":"+0.7469661235809326","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":"Q6581256$D0BB4D78-2182-4E2F-B984-ABA4A269EC05","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":"951df2de07417f23ff0c5655494076f5331ed743","datavalue":{"value":{"amount":"+0.7468600273132324","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":"Q6581256$8E904815-BB6D-4D3F-BDD7-33C96B161799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be364f0c10859f27745f5749dc6efd6402dc301","datavalue":{"value":{"entity-type":"item","numeric-id":2031413,"id":"Q2031413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcfbdc46e8e27027a7ef892ed1b9526bac53e39","datavalue":{"value":{"amount":"+0.744667112827301","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":"Q6581256$E4101289-93C8-414B-9CE3-5ADFEA3075FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c5411feb8333a08a2285d9738f5ab8403db6cf","datavalue":{"value":{"entity-type":"item","numeric-id":1026401,"id":"Q1026401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ce6180484805304314325998e7e833ad7a96d7","datavalue":{"value":{"amount":"+0.7342199683189392","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":"Q6581256$05824BDD-C124-4161-B8D0-823251F17705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6581256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6581256"}}}}}