{"entities":{"Q2911645":{"pageid":2922370,"ns":120,"title":"Item:Q2911645","lastrevid":85064576,"modified":"2026-06-03T05:45:16Z","type":"item","id":"Q2911645","labels":{"en":{"language":"en","value":"Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075092"}},"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":"Q2911645$B429DA5F-21A0-4A50-A277-8AEAC8B6F30A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8674c68827e52b17b4bf04cb7efdc577659c8efd","datavalue":{"value":"1246.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911645$EC859783-8A98-4FC0-9A51-830219E886C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911645$75BDAB02-B8D2-40B7-AA78-ED145E3F29C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8381eb53cd0bceb5ed6a3f40217bddacd0ecccaf","datavalue":{"value":{"entity-type":"item","numeric-id":6166144,"id":"Q6166144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911645$37948569-FE65-4D7B-BEB2-0A6BE8B15434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2911645$9CC9B8C0-4DD8-4DB6-A949-CB747B5766C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911645$302BACC8-8ADC-4949-B3B0-886C6185B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911645$052BDD88-25FD-4CD1-AB13-79EC0F09AFED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75765a55d2fd9a63c02be1b7b5a1abf68b94a80","datavalue":{"value":"6075092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911645$077BC4B9-D55A-4D77-B939-610ED324752A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911645$48EFBC87-E34D-4E3A-8F4C-21C719FD986E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eaf38ecc5dfee42453468543b80bf5077eb8420","datavalue":{"value":"probabilistic simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911645$43F04CF7-133B-4AC3-8AD5-1CF619687977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe301466164a791a9f41d0ef690df9b2d2fe1e1","datavalue":{"value":"probabilistic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911645$F923556C-CC03-4298-AA48-770D17BBF195","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":"Q2911645$8BBB4F3D-8DD9-4E4C-8481-C7E2BC63B08B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9ce3342e2f026fb9e0e59019c8c401283869aa9","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2011.445","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911645$9173F2BB-D2AB-4A3A-9461-64BB3DCC51B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce7d8dfd0b55e318a9b244077c6fed01eab2abba","datavalue":{"value":"W2096349874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911645$110B1EFE-C6B6-4701-9DBE-32B3C15A6F55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbf3ff8b16333a674b44cc25a8eeae8af6399b73","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911645$F41A5D1E-7EDF-4557-BD92-4B06B3E4F196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55377b3ea95a40d82bdd909665037fc378254790","datavalue":{"value":{"text":"Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911645$08804A8D-EA2D-4B31-B617-1EFF09E959FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6ec993a85b8a7aa720c3d13056e2627261175d","datavalue":{"value":{"entity-type":"item","numeric-id":2272985,"id":"Q2272985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1987120b3560d80017b0fbc6f426dc11952f627","datavalue":{"value":{"amount":"+0.9593251943588256","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":"Q2911645$87CEC99A-27FE-4B18-9715-17F34B949529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e4c50b9634c7b85fadd08ba19b5e22706b7e6","datavalue":{"value":{"entity-type":"item","numeric-id":2957520,"id":"Q2957520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1825b7e895af5528b356edf0d71bed9ed0c544e2","datavalue":{"value":{"amount":"+0.8781036138534546","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":"Q2911645$05E886F2-E261-45B2-8F4A-DE41E6A6B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552c48f1c538e252112cef596595d2b8f3a84bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2482725,"id":"Q2482725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f53217b0aeb06b6bf2c7ccbf9eb7a0f83395290","datavalue":{"value":{"amount":"+0.8683982491493225","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":"Q2911645$5D170377-98DE-444E-B97E-0E1AB36141E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad61201d57158c30f31d86e3c9758d60fc0f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5311474,"id":"Q5311474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2388d65ce50c466cb0b18e524fc27ebcfd471c","datavalue":{"value":{"amount":"+0.8683980703353882","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":"Q2911645$6A175EA0-F2DD-4974-96F1-FBA9830FEEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86169941cd75ab61e9176695b3e56418c6e6a427","datavalue":{"value":{"entity-type":"item","numeric-id":4558784,"id":"Q4558784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e339f5570d257e95df5089f5bef4a41348f73b","datavalue":{"value":{"amount":"+0.8439343571662903","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":"Q2911645$5F55F916-AA01-4985-AA42-1D181ACC7898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems (scientific article; zbMATH DE number 6075092)","badges":[]}}}}}