{"entities":{"Q6251671":{"pageid":13388449,"ns":120,"title":"Item:Q6251671","lastrevid":102782936,"modified":"2026-06-06T05:35:57Z","type":"item","id":"Q6251671","labels":{"en":{"language":"en","value":"Undecidability of model-checking branching-time properties of stateless probabilistic pushdown process"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900600338"}},"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":"Q6251671$31A18591-0E5B-4BAD-8033-571993942CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb911d7826bf657f5ad8afffdb96469f298c08d0","datavalue":{"value":{"time":"+2014-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6251671$FEAEFF58-8749-4D6E-BDC5-DF52C56C117E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7e68949b02499ac2b7abe9c36b102842d62150","datavalue":{"value":{"entity-type":"item","numeric-id":439939,"id":"Q439939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6251671$0375EC4A-6F0A-4E98-8533-E1601E91BD25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa6039a0b14af37aa3cac3f2af9e8f604b5234f3","datavalue":{"value":"900600338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6251671$246FB74E-0C41-4182-B159-8AFFD0865DA1","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":"Q6251671$83129804-6316-4263-A1C3-24555B402798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of model-checking branching-time properties of stateless probabilistic pushdown process","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_model-checking_branching-time_properties_of_stateless_probabilistic_pushdown_process"}}}}}