{"entities":{"Q3172851":{"pageid":3183561,"ns":120,"title":"Item:Q3172851","lastrevid":86594348,"modified":"2026-06-04T02:35:43Z","type":"item","id":"Q3172851","labels":{"en":{"language":"en","value":"Exact Incremental Analysis of Timed Automata with an SMT-Solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954726"}},"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":"Q3172851$FC700BA0-66EA-4C93-8CE5-22EFFE991044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f88e4692c2b501e500672e3f6d1d3bbce978619e","datavalue":{"value":{"text":"Exact Incremental Analysis of Timed Automata with an SMT-Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172851$7FBD4FC2-88E2-47E2-99BB-C548D4826CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3822b221bb10bec07bc45d82eca1e36f5b5e2f1","datavalue":{"value":"1348.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172851$A4C88B75-C0A0-48D4-AFB3-3428516051E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"576d8a45811a798cabc29dc9308770fb78cee43b","datavalue":{"value":"10.1007/978-3-642-24310-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172851$1EAF8325-D59D-4D91-BF22-10F10BFA58DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56c85b104dd558c1a8e3ea0a14b12e53b66a854d","datavalue":{"value":{"entity-type":"item","numeric-id":1772773,"id":"Q1772773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$69BB44A9-3D7E-43D7-B450-D25D3C3A1417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$6FDE4086-E033-47BF-9A4F-56C105B5BDE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$AF465185-3F10-4EC4-B1B6-10D7EF613B1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172851$11C10E07-A5D8-472A-9AEF-65E875D8BBD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172851$6EC14E60-188F-4028-90E6-3A07A92879C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172851$9A2B6463-3577-480A-A6BE-A966B37434F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"039623ac772a0c2cd37b188282eac8f9949a7c0f","datavalue":{"value":"5954726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172851$167BDEA2-A78A-41F9-B2A8-7662B83E0B2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$B5F78752-5609-4DAF-8961-E20B8B5484C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$9F47F67E-444E-4395-8CED-0047060F4CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$C7899276-2CDE-418F-A77A-28431716E56C","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":"Q3172851$4C120078-1FAE-4130-BA1E-3B3177C207D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"469bde961e3eab5d6828f7886587767797a9bf26","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172851$891D30A6-3623-40D5-8003-1CCA0DD1015E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32adb00d30ac812a13ae2980040e59a2a766e1f4","datavalue":{"value":"W107799027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172851$7DCA53A9-AA94-4AD8-9A38-8C86DB370470","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68aff800d43f05f88691a9b2db252b38e75b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3601411,"id":"Q3601411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$12E62C9A-7532-4E8C-AA1E-B8CD3A1E370F","rank":"normal"},{"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":"Q3172851$0E93E744-A6BD-498A-BB89-3CD4E0B03E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$9E9B1A7C-B658-45BD-B897-33972EDE9B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$99CEAF04-4E4F-47EF-8019-EFF3FD8B6993","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":"Q3172851$2376F7C0-FC0A-46CA-A5F6-88E42301983B","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":"Q3172851$2C2FF73D-9573-4625-AEC9-24E0D1FEFAED","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":"Q3172851$0AE778BF-D678-4A9D-B726-FB1DEB0D0684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$9D616DC9-9FE3-47DB-B5C1-48F9D3B10DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$267643F1-ED6D-4F46-898C-36C7C8617FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$4050E0CB-5B39-4BB7-B17D-1B3A2ED6D10B","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":"Q3172851$A68035DC-F1D2-43BA-83DB-FE2A3CC22394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6122a690b53da78bbd661f67fb142d629fd3a5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4787213,"id":"Q4787213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$2C7663CB-5757-40D5-A39A-1E6328DB8C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0028dfc8d2e26505eacb10448cedef4bcf90d0","datavalue":{"value":{"entity-type":"item","numeric-id":5472953,"id":"Q5472953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172851$3B31B09B-B54E-43C1-B15A-C810A99FC8BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cb91bc238bbdcc6684bf1464f7199647115521","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b9ad10b9b611a093566334a8388b2470fa0100","datavalue":{"value":{"amount":"+0.8956842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$FE4A5286-4AFC-4EDC-BB1E-A0EE729C1B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95435e4c5795599fed5d664a86bb5ffe36705dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5040686,"id":"Q5040686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dd7cd58845c4e73e2d067820f5067ce5e924b8","datavalue":{"value":{"amount":"+0.88818485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$918721F5-CAD5-4776-B790-431E55755256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9858317d5e3af1c98fdab7aa2cde9ea295665eab","datavalue":{"value":{"amount":"+0.8857792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$B05FB993-A6AD-4A76-890E-3999F4273E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5044aad0ee663ed1e4d2f1e0e5cabcf51f0b4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8494ee9c61b4541793748312e6eb4711254688e4","datavalue":{"value":{"amount":"+0.8819289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$23A87ACB-7710-458C-90BB-64D684EDA80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb964518eca85651e1892df67715c71b79ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":4608679,"id":"Q4608679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902908c3a6a39756e625eeac94cda97062cceac0","datavalue":{"value":{"amount":"+0.87806034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$2F933B0C-653E-42C9-95A5-16ED26E43CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c944ad73edb31a24cf104cc83fd8566383807af8","datavalue":{"value":{"entity-type":"item","numeric-id":4643961,"id":"Q4643961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902908c3a6a39756e625eeac94cda97062cceac0","datavalue":{"value":{"amount":"+0.87806034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$C8B78E4F-EFFF-4C39-86D3-1D3FB8A229AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4316c1d32b47bbbda21fe9de6f61b05acd35ef70","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944ae31a8ac4890a36fc3e72b032d07ca3a63ed1","datavalue":{"value":{"amount":"+0.8774768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$D721AF8F-F600-40FE-8F2F-DF588C679C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41f6bbeeb16aec01764d9bcf357a933b65329e9","datavalue":{"value":{"amount":"+0.87599295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$C473C6BE-0DA5-4300-B7AF-284A58E162B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf83d45b30882966a60396781362542ae2484f5","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06caa4c54541a9ab004beffd7c9fa6fa69993d2e","datavalue":{"value":{"amount":"+0.87410235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172851$73D4F240-0820-4731-8327-7895BA829CBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact Incremental Analysis of Timed Automata with an SMT-Solver","badges":[]}}}}}