{"entities":{"Q2120808":{"pageid":2131551,"ns":120,"title":"Item:Q2120808","lastrevid":57616920,"modified":"2026-03-31T15:41:39Z","type":"item","id":"Q2120808","labels":{"en":{"language":"en","value":"Configurable verification of timed automata with discrete variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7501636"}},"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":"Q2120808$A305E6C5-1F7D-4B04-B116-89F6FB91901E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a04f622e939e1d22f049833810ddcc3014b5267b","datavalue":{"value":{"text":"Configurable verification of timed automata with discrete variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2120808$5464D2E2-1F53-4500-B838-8992A2FE9F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"304ab4c50b39a30982b8d0bc780eff5b2101d4e5","datavalue":{"value":"1483.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120808$1EF15D4F-8E43-48A0-A17B-3C33B58514A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efcc69b7f846cbdb8b197e4c2b509fbd5727bebe","datavalue":{"value":{"entity-type":"item","numeric-id":1683454,"id":"Q1683454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$607F9416-B865-4EB7-ABDE-C9EBEF10F66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32dc381fd422071be3266824655b7cf0738e9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":510893,"id":"Q510893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$E3B623B2-3306-4887-A1C1-EEA35B9224E1","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":"Q2120808$EE7FDD03-F220-43AC-8814-AC9989C6D14C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61a1c46f4eee8fdcf70f057ed8a6245e7bfc68f9","datavalue":{"value":{"time":"+2022-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2120808$D8C89511-0832-400C-87A4-30E97B761275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120808$1E53E579-E784-4ABA-99D8-984A1854562F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120808$5B0D5D37-067E-411E-8BC6-8D020221090F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11441e919dbd611deadbacb021d3a0ff28357c95","datavalue":{"value":"7501636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120808$68078A31-D574-4A3D-B38B-A182E1F786E5","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":"Q2120808$001534B2-CB8B-4CF3-A0B8-6D9E8A10D0DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5cd209171f6840b5691f0fb13117d5103e77c72","datavalue":{"value":"https://doi.org/10.1007/s00236-020-00393-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2120808$1220DC46-EFD1-49E2-97EE-83A84D5D52DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e022e6403ac053ab7470cc942c4c56df11e288ba","datavalue":{"value":"W3111022359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120808$E3D84E8A-CD1E-45BD-B4E0-48AD72C5F86E","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":"Q2120808$892394D7-2C61-423A-BF55-0B45523D7B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$F4CEBE78-4B6D-4380-B1E2-C3BC3F2A7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$154C45B9-3143-49A2-8AEB-C8C80E3096C4","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":"Q2120808$7ED7319D-06CC-4106-BCC1-F417501E01DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$12F772FC-7C20-4658-B72A-078B88FE72CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2f6d9e95ba73935895f0d9510488752c2578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$EE7AC583-8A68-4B20-B6DF-15E0FC601935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14de50424f29f300a6c1ab092bcbf44384126978","datavalue":{"value":{"entity-type":"item","numeric-id":5437180,"id":"Q5437180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$B62CC4A1-2CAE-4EE8-9019-741878EAC922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d1bf7cc5a9af2cb77b90f9d195e725fdd71d20","datavalue":{"value":{"entity-type":"item","numeric-id":5897958,"id":"Q5897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$1498EF0E-D421-44CC-B0DE-6D0839A558DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$A82A751B-5FB4-4DB1-B7CD-0498871AFBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0010e327ddd368956022cbe52c271ac71c9d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$4062BE9F-45B1-4B88-BEB8-DB05ED10C1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$88FE6C04-EA77-49CB-AF9A-BB0622A15B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88053da80a11a27ba25efe3cc5797f5fa3925f8","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$37F0AB5D-1F8B-421A-89CA-09B1626ADAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286ad57ee425318e8a65bded4a739b7fc5c2dc39","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$4998F5F6-0B1F-48EB-B6CD-455CBA02417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$F040A08A-7BEB-47C6-B06F-121AF94879A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492d2d99d818756060ecb10d008a00a1e30e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$2272D245-ABA8-4614-9ABF-79430FB1A5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$A372EB2D-B622-48B4-87DA-2A195743993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bd9b495ec757bc4f5f54f4d99370941ab86b1","datavalue":{"value":{"entity-type":"item","numeric-id":4997235,"id":"Q4997235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$96B34C2F-B902-4EF9-BB83-57DF62E64856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$8A2F47C3-B013-41D1-AADA-518E79D344CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$FB645E4D-B9C0-4F2B-89C8-6A3BE47941FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee44d98375a6d2af75d461f99954d5a67da6c517","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$79727BD0-0BB9-4D09-8270-B20776F1DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cbe2b7ace5b154d5b637e4b04023a9a701221e7","datavalue":{"value":{"entity-type":"item","numeric-id":5883582,"id":"Q5883582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$30D367A9-4FA5-44EA-8718-424D43724397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddff51776a7fabe671432d730e6b69166949e68f","datavalue":{"value":{"entity-type":"item","numeric-id":2827453,"id":"Q2827453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$117ADFC4-0B59-4FFE-9915-E0C2229151FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3afd580758cb2792854e60e625f02613242d6e78","datavalue":{"value":"10.1007/S00236-020-00393-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120808$6EA48559-6E4A-4AA2-B90B-4391CFF15CBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027091b6a3a458c099efb1c30e3eed1d846333cb","datavalue":{"value":{"entity-type":"item","numeric-id":5883582,"id":"Q5883582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba099fb7b6547a5fdb94d08e5773281773671c06","datavalue":{"value":{"amount":"+0.8714380264282227","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":"Q2120808$1372D9C9-A5F0-4664-8E6B-2F5542C17E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112e421e7ddbec62d4191922a7cf6343287e1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e749a58bc2c6e9f76253810840199c1b3a05d987","datavalue":{"value":{"amount":"+0.7892825603485107","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":"Q2120808$62D29196-7F24-4F70-9FC8-9B6C6041092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec33d06a71e2f218ee0990400e3892a7f06971af","datavalue":{"value":{"amount":"+0.7714366912841797","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":"Q2120808$DE6D6DE6-C9DE-47B8-B850-D9D5AE8C34E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db1e9e487e43128a7ddd093986125cd824c1004","datavalue":{"value":{"entity-type":"item","numeric-id":4540965,"id":"Q4540965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0148e8f27d852e9b1bde9a94645a7cca364ee19","datavalue":{"value":{"amount":"+0.7692615985870361","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":"Q2120808$125A298E-57D7-4AFB-B79F-2D479EFA5069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac4f85edcc6aece835248bbe1d08f352281991d","datavalue":{"value":{"amount":"+0.7660292983055115","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":"Q2120808$BC599F24-B01E-4872-9E15-EE4B29AB288C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120808$6FFD70A2-F142-4C50-B0EB-C00EF669A39F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2120808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2120808"}}}}}