{"entities":{"Q262137":{"pageid":263904,"ns":120,"title":"Item:Q262137","lastrevid":52491512,"modified":"2026-01-22T19:24:58Z","type":"item","id":"Q262137","labels":{"en":{"language":"en","value":"A tool for deciding the satisfiability of continuous-time metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560545"}},"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":"Q262137$0C9629A2-3C76-42C1-AF5E-2E6F2F3EE564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"339a0b609f05675d865951631eaf0a8e4329f821","datavalue":{"value":{"text":"A tool for deciding the satisfiability of continuous-time metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q262137$4BDAE563-3A7D-4E32-969A-C903A5A24906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b983aa716c48eab9450c3601bffb75c8e9e6643c","datavalue":{"value":"1336.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$6C43343E-1B95-4AAC-8DBC-C0FC4D603B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$4DA4E88A-CFAC-4D03-BE71-917B8C44AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$0B173219-9CE2-4CEB-848A-FEB3A5B952CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$F152928D-3AA0-4022-85BA-27A6DC6BF031","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$CE9EB688-6B9F-48AD-857E-03EB9AA1316C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7213fba6ce2ab87062d0193cc625b72bd3806b5","datavalue":{"value":{"time":"+2016-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q262137$24C98716-57C7-4D58-96B5-2AB973BED12A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4667909abbf77060e37ed87b9f5b8f80af1e6fde","datavalue":{"value":"http://hdl.handle.net/11311/964235","type":"string"},"datatype":"url"},"type":"statement","id":"Q262137$08BD1F75-AABE-46CD-8B39-EC58943F2E1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$ABC02166-41B8-46C7-BC04-97175EA073CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$965BB156-B9F8-4AEC-99FE-AEE3263CF204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$C12C1DBC-2D2C-4558-85F6-C020ECAF17CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3fb84833db34b3a068609701494a495206182e4","datavalue":{"value":"6560545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$42ACD190-192A-40D2-BED4-0445CC90A810","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7449f28f9c70c1fe0c433491e32d541c45895437","datavalue":{"value":{"entity-type":"item","numeric-id":26502,"id":"Q26502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$65B15731-1915-40B0-B565-43141488C525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$6CC88769-54DA-4967-89EC-EE0A2982E03F","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":"Q262137$4E3EB1C0-3C1A-4BA8-8EA3-805D9EBB24E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daf3d7bbc3e1f58b21efdfd5e867b094d7ebdb69","datavalue":{"value":"W2086023301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$C2211A1C-34DC-4688-AB18-6FAC4E591A90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$88BFCC38-3E3E-4A0A-B502-856BA625A44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$AB09724A-D182-4636-924B-2F158879C2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93883db00833e89e855c8e92c4e962692b3eeca8","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$0CCE0D64-EAA4-43F8-862E-21C18DB48900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702478c7b7841ede052868960038afe53620e148","datavalue":{"value":{"entity-type":"item","numeric-id":3172851,"id":"Q3172851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$58A54D38-1566-41B4-BF9A-A7779267A29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$2D001A5C-D1B8-4437-8541-8D585DC297D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$29629DB3-6228-4B34-9DB2-D64633FA793F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d584ef02ff014ff7b98df140415271ae19a73","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$F7BAB2C8-B0A1-4E57-AA0A-29B2D3B0E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf7b7124083a88a2ca1c16cc51826c05c895649","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$AC900436-D426-44E3-93C1-B0EF019A3925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61740ecbf6a6fff8312c53cfdd13a6408719c9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$E648A3DF-6C86-4EFA-8C93-DF537B0C56B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec52d74a9f22183855545a3e8c37b1f583d71f19","datavalue":{"value":{"entity-type":"item","numeric-id":2922004,"id":"Q2922004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$E54C5BB3-2537-43D4-AC9F-F1629C9AAEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a111fd6b41142556be158a9e4355579ce228e094","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$3FB5C9C0-B63A-4D66-9E4B-DF3427CBD4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$B30F1C77-461B-4EC3-8B51-5F9234F75EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e62b3432f6378d8505d7da38451e078f13b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2266987,"id":"Q2266987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$C3873508-81A2-43CD-8E63-7536873C0A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$4C5F01C4-33E5-4EC3-A633-1B8E7CF005CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$7D37316C-C1A5-478C-AAA6-9CB4736C59A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ac60f1deba4ac31dd5088903dba15b8944d13","datavalue":{"value":{"entity-type":"item","numeric-id":5464766,"id":"Q5464766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$63D0784E-6143-41FC-855F-D46C229FB8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$93EB35AD-047A-4ABB-A7A1-014B2BB32686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b286d85c0ec526c88453b961ee0940519b5e9a61","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$1BA152EE-175C-4502-B988-45834E3A33DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$9ED496D6-5F7E-4014-BD89-72BC96741FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f297a99e47d5551bb39513e18e3cff7a525fcfd","datavalue":{"value":{"entity-type":"item","numeric-id":3910301,"id":"Q3910301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$8BAEADC9-B7B0-49EE-927A-BDE2B682F1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$B5D14409-67B7-42E5-AF08-705B165E0400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$4E07759B-1D54-4B4A-8A2D-AC1BB9183506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e31460d03447356beb6dcb816454c7cb3b6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$7A219D42-2A4A-4B80-A8CF-A4CA3C844A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$559A7F31-14A6-40B4-887D-A5645A08641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$9D217CBD-9540-43D8-ACC0-5CF9CCEFEF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9e8fcb998c0f2f3c6de3f7f1e391d2c251d079","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$0097EC39-686D-4B88-A12E-1004FE052A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262137$B88F05B5-3EF5-46FC-A3B7-3B602095D5BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb095a925824cb28b8b1c44f4d0c68c9dcffb22d","datavalue":{"value":"10.1007/S00236-015-0229-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262137$6FC88F26-3A07-4F5F-B2DA-9B9D26C0A1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe660c55e4219fa4b674a150ad5a77aeaf83eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bf80366897218fc5d484096bfebc3e18999eaa","datavalue":{"value":{"amount":"+0.8726904988288879","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":"Q262137$CC7081EF-BF20-4354-B375-05D9059742E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd337c76b9d0191a884de11665b0801df545251","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df357eb26134c5b6154438a6e674a7f5273f95c","datavalue":{"value":{"amount":"+0.8709133863449097","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":"Q262137$B3597858-F8BD-4984-85B5-752FD5B7AAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58013e5255b0c928fa690d69c476ddda103a3045","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7691155dd84d5bf37e884abdc74592e8cc160ee4","datavalue":{"value":{"amount":"+0.8606359958648682","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":"Q262137$568EBDF3-7C4C-49D8-9131-176758CEFF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff00db02fcd91b066a93fbd341e89f47da79997","datavalue":{"value":{"entity-type":"item","numeric-id":728264,"id":"Q728264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f527295a15c32deb34a7eba91b505956a9bd26f1","datavalue":{"value":{"amount":"+0.8204817175865173","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":"Q262137$63AB6E67-CFCB-42FF-9D75-6D507D7291B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a523bc57602f5baeefda17c122f742e39fff24ac","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9ee9086c454e568b2840e9f519075e7f8c6630","datavalue":{"value":{"amount":"+0.8117965459823608","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":"Q262137$F4E721AE-DA60-4992-8F0C-9E6DF13CDD8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:262137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:262137"}}}}}