{"entities":{"Q2892786":{"pageid":2903511,"ns":120,"title":"Item:Q2892786","lastrevid":51497366,"modified":"2026-01-18T12:39:43Z","type":"item","id":"Q2892786","labels":{"en":{"language":"en","value":"Branching-time model checking of parametric one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049311"}},"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":"Q2892786$CEF4A461-59BA-4C03-A200-02045F507A54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2056d150e7d9d692bcc0438dd8cca9467d4c0ea0","datavalue":{"value":{"text":"Branching-Time Model Checking of Parametric One-Counter Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892786$B2440819-6967-45C0-AA9A-21FF79E03C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"665d0c205668fea6ff6808041da27370714f24a1","datavalue":{"value":"1352.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$9BD64FE2-44C3-46AB-AF5D-DC74517C1CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"324e12fcd51120607cd9c8093b7258cf27db9462","datavalue":{"value":"10.1007/978-3-642-28729-9_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$0150A85A-7E41-42BA-B959-2B245D8F5FCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892786$0670E87D-EB81-4E19-936A-8D53F0F5E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892786$444930A3-1474-4ABA-8C49-09DD9E308E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892786$96609786-BBB6-4B35-80E0-425084CB67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892786$946EDFFF-67F2-4CF5-B7D8-715FF29103ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892786$19EEA831-1E3C-45C3-98D6-BFE9269992F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892786$00933DC2-53C8-42EB-80BD-CA4966184EBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$6D1E70E4-7B72-4485-9B90-7F2F0738A088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$2E9EC7F4-5147-4693-80DB-038EE2482B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$78717641-2BFB-41B5-9D9B-C7C64916B471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36c02d6e078c54e30292ba31f7ac05f531cf36d8","datavalue":{"value":"6049311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$4F4096D5-210D-4681-9C64-1A027DBCE690","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":"Q2892786$85B8AB92-7183-4DAE-BFB1-878CC615170A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"265de4fc14a3b1046c565971d909753162799f6d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28729-9_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892786$F20538A9-2F7F-460B-A205-329E42505C86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e45b7b3a61c9cc0c42da38f036b8a6916483184d","datavalue":{"value":"W1524128696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892786$A4488101-A381-446C-B699-AFA5BC79F79C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8387721706be95711208a027ed55468dd831aeb3","datavalue":{"value":{"amount":"+0.8478350639343262","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":"Q2892786$B607956D-814A-494B-B8DB-1A5CC5151802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbbcb33e42f6f1d123e344f39790356f6881a45","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56307e8028d9febf72790c9f97760815d4863dec","datavalue":{"value":{"amount":"+0.8308385014533997","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":"Q2892786$5E7DB654-6C6C-4F4E-AC56-6C153C94D49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f4659435aa66f9a3a7953e9d325d025944994c","datavalue":{"value":{"entity-type":"item","numeric-id":3113767,"id":"Q3113767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1e854d68ed23e61f6a8886dead1e7fe8a9c28d","datavalue":{"value":{"amount":"+0.789126455783844","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":"Q2892786$F148CAF4-2B1C-4B1B-9DE6-C5D280EC0DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfbfe71b99a8c6801179d94037d3d9487c6eddc","datavalue":{"value":{"amount":"+0.7867933511734009","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":"Q2892786$CB7EB4E9-1F85-4AB5-AC6D-5AB95B7852BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae3439238dce07549040208ac17f289271ed86d","datavalue":{"value":{"entity-type":"item","numeric-id":3460579,"id":"Q3460579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc7693c49cf4117bdb9445c6be71d2590886f42","datavalue":{"value":{"amount":"+0.7776380181312561","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":"Q2892786$4D486663-9B2C-4990-AFEC-5F865A9043E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892786"}}}}}