{"entities":{"Q3587469":{"pageid":5617373,"ns":120,"title":"Item:Q3587469","lastrevid":90347468,"modified":"2026-06-04T19:56:40Z","type":"item","id":"Q3587469","labels":{"en":{"language":"en","value":"Model checking succinct and parametric one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780576"}},"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":"Q3587469$F4C10ACC-7710-4B9F-B391-32A159683D33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e26d3ae8411785568081b892d491cd5591db889c","datavalue":{"value":{"text":"Model Checking Succinct and Parametric One-Counter Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587469$AFEF8734-AE7C-4A68-B357-3022391E3400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64d43c59e95ab3d8a4c9d839348a84c6e2584557","datavalue":{"value":"1288.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587469$4D1A888C-8D61-42DC-8AD0-A6701667F01C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37a7067e5868e67a60238ad4bb453f9a23002d9f","datavalue":{"value":"10.1007/978-3-642-14162-1_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587469$57400E8F-6F01-4608-BE38-51C620C0882D","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":"Q3587469$C5807723-812A-4452-9FED-579D91F4F6D5","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":"Q3587469$AE3AA1AB-C652-4F71-947F-87818254DE95","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":"Q3587469$97130FB0-ADB5-444F-9B0F-548849B1BD4D","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":"Q3587469$B45F92CB-B4E8-46EC-9A04-4C0BF54FE63B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587469$734EF29A-B642-4642-AAFA-74AAFE744F11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-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":"Q3587469$1B1999E5-0A75-4B5A-9E1C-A32BB6F4BE05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587469$A857CF4E-274C-48FC-95A7-DEA16C653183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587469$46F05339-525D-4D41-820E-DC5F059F5360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe4155743969ec1a34af32b247940a9034e4132c","datavalue":{"value":"5780576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587469$D8EE3CE0-52BB-4619-8876-80A796621279","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":"Q3587469$87C7061E-9888-4379-8FBA-AF6A55C1FCB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc129ea5ced3ed9aad6e5cba5bfc133525a812c2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14162-1_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587469$F72F4DC3-BD88-4E47-A46F-D319137D4B7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2585d1f0b3cba4d82ae38e9ea4ff4a68d7dcc969","datavalue":{"value":"W1816892670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587469$4757C6EB-C33C-45EA-9956-44858631CE0D","rank":"normal"}],"P1643":[{"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":"c790ef2d09f10d9b3fcb2546ad56416c7625d85e","datavalue":{"value":{"amount":"+0.865475058555603","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":"Q3587469$0DF9C9EC-945C-430C-A11D-6D34DC44850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b6cd6183c9ea513a4cdce446777dda408da440","datavalue":{"value":{"entity-type":"item","numeric-id":2892786,"id":"Q2892786"},"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":"Q3587469$7ADD43C6-D5A1-4D09-997F-132FF994394E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d60e2c9544f0737d704ecf263d6583bff4381c8","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010823e9f80dd4abc0c3640e42d24ea32d83c068","datavalue":{"value":{"amount":"+0.822912335395813","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":"Q3587469$8E96C6EB-0944-4F58-9EFD-19E872CBA2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c758f36686adc3ba455200ad597c55218777c922","datavalue":{"value":{"entity-type":"item","numeric-id":4910485,"id":"Q4910485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ee72edfb3f3b035aa4ed55dd84ba4091dfe69d","datavalue":{"value":{"amount":"+0.8209545612335205","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":"Q3587469$B2C68205-7D6A-4C0E-818D-D6FC5FC6E8C2","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":"d08018e37768cd119a9571fb2974438b3bcbdab0","datavalue":{"value":{"amount":"+0.8130277991294861","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":"Q3587469$2DBB3C40-F62F-4125-92CD-48F2CE15FF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking succinct and parametric one-counter automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_succinct_and_parametric_one-counter_automata"}}}}}