{"entities":{"Q6044114":{"pageid":13178270,"ns":120,"title":"Item:Q6044114","lastrevid":47851501,"modified":"2026-01-02T21:22:10Z","type":"item","id":"Q6044114","labels":{"en":{"language":"en","value":"Reachability analysis of pushdown automata: Application to model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686618"}},"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":"Q6044114$B94154D0-6B65-4418-B737-19DAF2C580A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f5f3dded3af059f54d90615c49a7af5490c5d8c","datavalue":{"value":{"text":"Reachability analysis of pushdown automata: Application to model-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044114$C1C50FEF-9F9F-49D9-9CC5-53439033A3A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bebcc927e7339ffd88b5073219da0080f559b76","datavalue":{"value":"1512.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044114$96E3D1D3-A71A-4C40-8C80-5948E56AFF69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b7268c2beeb57039e60139c48420ed51246a84","datavalue":{"value":"10.1007/3-540-63141-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044114$93F0653B-BFD7-4428-8781-FE59D825F1F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$C92806C5-B97F-4E56-819D-DDF64205C562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$796781C0-5DF6-497F-8269-93D785F206B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$E75BF62C-AB9B-44E4-9948-049C640797A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$0648BE52-64A6-4772-AC55-9FFC04E916C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6044114$FB6AD129-B1C5-41E5-B42F-9BC6377A8A73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044114$A07534AA-D2B3-4C28-A032-F7A3B87CC887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044114$F94712C1-A0CF-41D5-A263-D8CB4B440082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21afffa8fe80d9f4618b777c6e0322f59e2458b","datavalue":{"value":"7686618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044114$517FA68D-CE21-4496-A55C-3D0A04AD4722","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":"Q6044114$2223395B-FB8E-46A3-A69E-5D7277976C43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c644e3a4a5010931cc8fd900a9b30fdfcdfc590","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044114$7AC94ED0-B8B2-4234-8ADE-CA2D77566CD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1f7e702e113177ac6fceb234d0c7423b04e9d7","datavalue":{"value":"W1589224558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044114$356DDEE0-34F2-4C93-BAC1-C9E6451F1CB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$39EF03FE-3F45-4EEE-A10F-3257D78CC307","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":"Q6044114$8A22AFF6-300F-45D8-9A9A-A4E797386B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$11B07C1C-A815-40DE-AE5C-DAEC9E4D384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$2C2881B2-0167-4D31-823D-BF56727E9E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044114$E2A166F4-F1D9-4A76-BF91-BE7DB9EBE413","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7976f532916d3e7382cd475cd6c0d4253a61e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f4f1d5d0c2207759b9566e395cf2bf577e922a","datavalue":{"value":{"amount":"+0.8820024728775024","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":"Q6044114$9C33E506-38A4-4E86-8B73-5ADE9C1A0D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1364b28cb969a528c49447e056eac40692fd6b0","datavalue":{"value":{"amount":"+0.8783338665962219","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":"Q6044114$7B289F06-A850-405D-BE45-3C9377547A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1facffae4f4bb32244da6e239c72c70fd4508a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba521a92e8d7d73973034bf00bc3b8370111f33b","datavalue":{"value":{"amount":"+0.8752961158752441","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":"Q6044114$279CFB71-82DB-47C8-8570-3B9D49CCF040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78a747c897b932d81546d173e1789458a1a5993","datavalue":{"value":{"amount":"+0.8281067609786987","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":"Q6044114$72ED63BD-B623-44A6-8BAA-B55081B1F8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc421236f750c7abd5bd039e3c781d3c1aabcb1d","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5313a589a4451ec83c2acbed3fef2274a00d9c","datavalue":{"value":{"amount":"+0.8272762894630432","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":"Q6044114$C418C838-6C37-49A4-97DC-11551887C3C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044114"}}}}}