{"entities":{"Q3172846":{"pageid":3183556,"ns":120,"title":"Item:Q3172846","lastrevid":51341807,"modified":"2026-01-17T20:25:24Z","type":"item","id":"Q3172846","labels":{"en":{"language":"en","value":"Robust model-checking of timed automata via pumping in channel machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954721"}},"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":"Q3172846$D3409463-B9CC-4538-973C-0023AB9F42C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e3cc6753b05d485e913068cfedb8b450169d534","datavalue":{"value":{"text":"Robust Model-Checking of Timed Automata via Pumping in Channel Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172846$06346681-810A-43E6-B403-2EBACCB379AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d09aa2c402a155ce755c2a4a1f79cc149c06c0","datavalue":{"value":"1348.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172846$6A6D2250-5385-4CFA-A849-A63D789C1644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad21e2d7257d2834a7f3994d7b10cd9663e66368","datavalue":{"value":"10.1007/978-3-642-24310-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172846$4FFBD641-C2B7-433D-8094-0C1BC7781824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$AB8FAEF4-A384-4EC0-9853-361591480367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$5DC45799-8C78-4DA8-830D-FBCD08AC0CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$FD53167C-0A63-4F5A-AF01-E3BD6D32F21B","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":"Q3172846$C1F44032-AB01-4382-A26E-E47CF5452B2C","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":"Q3172846$FEC8DF4D-2F9B-4B00-8F9F-6B1FF58324B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172846$05B2409D-1978-4D42-88EF-04519A1FFED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172846$A748DAAC-4CD4-47FD-8ACB-D516D64DA697","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b6252436d893de2ab730b306d44b36b74e47d85","datavalue":{"value":"5954721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172846$8B7010AC-FD98-4602-80BF-A1224C6333AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$DF303A36-15C1-458E-95BF-4AB3F34B7389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$E15FBFAE-B7A9-4A31-A4D4-55E4480E3765","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":"Q3172846$62467CC5-C3E9-47AC-9F06-2545173A3880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e6b4a26d96e5bffde641f20744fe4000d826cf3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172846$1D962CEF-0E38-45B4-82B8-737E867B112A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12ceedbfe08215fc2721dbd9b31af7d0a8e015aa","datavalue":{"value":"W2133170941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172846$849E6B34-FF8A-4F8E-95AC-376FA2F50732","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":"Q3172846$1F1B0A89-E5D9-405B-9D24-FE8DA2353A5F","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":"Q3172846$70EEAA24-37AB-4D54-9DDE-76F853AC2753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e3145509425d2ebb1056e6c97df76c260a5631","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$D1CCCC83-DD9F-4EC9-9F09-507ACFE4562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa63ad3beef568a35223bb58a8c4174b44fbf81f","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$78954134-9564-48D4-B420-E8E389B551B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e8eebde77d62d966c2bcc6e79006dd488e95d2","datavalue":{"value":{"entity-type":"item","numeric-id":2911615,"id":"Q2911615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$DA8B166B-3A69-499E-8DF7-865C3DFC2817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7411117297f7bebcc3af0a6f0da10ebdf204a915","datavalue":{"value":{"entity-type":"item","numeric-id":4736580,"id":"Q4736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$E22218B8-C0C7-45B5-9BF9-7DB949EF9132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4272f5488c3bda1ae9ece666bec011d1e592b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$6F286DB5-3F54-46BB-8B17-E19D1B850049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$857BD0D5-2FC3-4B06-B1DB-46535D255626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd78c17326908589f35b65c457ba3061182dad3","datavalue":{"value":{"entity-type":"item","numeric-id":3000612,"id":"Q3000612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$BFC52939-8170-4D98-AF42-C4160D91C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$A982AE14-7183-46A2-BB4E-B70B818B44D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$446AEF53-E577-445B-A4CF-8627CB15B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172846$C0FC9234-993F-48A3-BEC3-CB21E8002B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a483e25692b2ec8ea5448b2fee9885e5397405","datavalue":{"value":{"entity-type":"item","numeric-id":5275328,"id":"Q5275328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560e8ed1fbb488ade28b98ce2e8503f809e14cb5","datavalue":{"value":{"amount":"+0.884295642375946","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":"Q3172846$7698EED4-98E4-4DC9-AE30-9CDAA7242D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f528bdefebc36fb17111a3310e0871a42b9613","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acec09ff229070336e38e43b170161c41187d6f","datavalue":{"value":{"amount":"+0.8556578755378723","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":"Q3172846$CBF11EDA-E1F3-49D3-A61D-2CF86F04D707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2472f72196552c560335fda0620b0f378bda33ef","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7190ec64810df58b24957e29dce1fb14aebd8f40","datavalue":{"value":{"amount":"+0.8311904668807983","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":"Q3172846$0DD09EEF-436C-49BD-9789-6F983E17BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e2884ede739949a03bf4329a0e9d7c1f0e13bb","datavalue":{"value":{"amount":"+0.8210319876670837","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":"Q3172846$62EA346F-350F-4764-BA8F-074C9BC47406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2db6021985d15f45f6028ba2c528857351880c8","datavalue":{"value":{"entity-type":"item","numeric-id":3088071,"id":"Q3088071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704c90b9b25a545c4db93f1997b0b540e35d909f","datavalue":{"value":{"amount":"+0.813187837600708","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":"Q3172846$66884A25-FED0-4BB9-A3B3-920C69D152D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172846"}}}}}