{"entities":{"Q2941760":{"pageid":2952480,"ns":120,"title":"Item:Q2941760","lastrevid":58081650,"modified":"2026-04-03T17:45:58Z","type":"item","id":"Q2941760","labels":{"en":{"language":"en","value":"Deciding the value 1 problem for probabilistic leaktight automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475348"}},"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":"Q2941760$64A27B8B-2543-4C08-B379-473F0D6EB8AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26b114e22a877dbc1500a78680ba3dbc1e70a5bc","datavalue":{"value":{"text":"Deciding the value 1 problem for probabilistic leaktight automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941760$5DFBA7CE-317D-4905-810B-5419FC0E46CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6293af569094ea5f45d6bd1af870350e669d9e","datavalue":{"value":"1391.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941760$68D8FEC3-583B-479E-B4E1-C4BD7787CBAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffe878741fa5bfcbf4c6aebcb46eeb9fbbc983cb","datavalue":{"value":"10.2168/LMCS-11(2:12)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941760$EA5A8301-5ADD-4C4A-A153-0FFC633FD41A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941760$988EDBE2-0779-45B4-8E4F-8A3DCC9FF1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa56517fb09a9f3548e30af9b0933225274b9538","datavalue":{"value":{"entity-type":"item","numeric-id":259584,"id":"Q259584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941760$55D15926-7175-4333-B2BE-5090BEF8E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f406cdd9c58c8bc4d0426cf18b76c9626a907936","datavalue":{"value":{"entity-type":"item","numeric-id":2399251,"id":"Q2399251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941760$872A4CC8-EC03-4DE9-A2AB-1F012B6A9281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ab6a7b2764c5cfb4f1290b144c2fc395d96823f","datavalue":{"value":{"entity-type":"item","numeric-id":2922021,"id":"Q2922021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941760$48139425-5EE2-4865-B7F3-41C2F0E03BB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941760$1094A538-9794-4F5D-81BA-2BEE5B2D61F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941760$0431FB94-737F-4EA3-B3BF-4E65A8F1DC08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63f1ba07e323f6cfb5684fb489978341a2266db8","datavalue":{"value":"https://arxiv.org/abs/1504.04136","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941760$ED37C01F-5726-4080-B8FA-2D1FC26FD3C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941760$C8BEB20F-95DB-480C-A05E-1F413BF116D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941760$AEDC3F44-8B73-41C8-B0AE-BA912C8F192B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171e2f8bf0e2894582be3461269e50a900cb243c","datavalue":{"value":"6475348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941760$7CFFBC09-7D6B-4418-8F74-D90724BF1504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941760$5AAB8D37-049C-4551-931B-65E77CE2EFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b120ea97ed95c17c5e773f8e8d7e14b3be47755","datavalue":{"value":"value-1 problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941760$E95AE1BC-0927-45CF-8066-2748028CF70B","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":"Q2941760$8691D80C-B514-424A-A262-8C543494DFBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813eacd84859d47075b6bc2e1eba8ce7cd81de0b","datavalue":{"value":{"entity-type":"item","numeric-id":2986806,"id":"Q2986806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd60e7aaedf5dad312bdfb9ae7c022438ded7f4a","datavalue":{"value":{"amount":"+0.9836397171020508","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":"Q2941760$285AF3BB-E54D-4FC2-803F-0FA318F2243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b75f2b8f92843520046e23b416eeeb1a39e48","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c073578f50c00229f904c7f554e4c093ba3302","datavalue":{"value":{"amount":"+0.8418329954147339","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":"Q2941760$CFC4D992-15A3-49E3-AC1B-A32610985352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b1063164453303155d4ffc7852f6d8e299fdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2986795,"id":"Q2986795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d051df682ddb2fe1e39b4bab65b2a8c8a795c76","datavalue":{"value":{"amount":"+0.8327547311782837","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":"Q2941760$5C5AF4C8-5428-414B-A346-0D040E03072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73edb0c30cd8501bc3701544e6498f8065d03db","datavalue":{"value":{"entity-type":"item","numeric-id":529062,"id":"Q529062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f578f2857a707930430ce66cc09ae529bd202c81","datavalue":{"value":{"amount":"+0.8114124536514282","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":"Q2941760$2080911E-8F13-44E6-B206-E22156041242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a66d32da4934c4eeac741922fbd19d0796750d","datavalue":{"value":{"entity-type":"item","numeric-id":4601886,"id":"Q4601886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5415fea1b340b340de77f0435e3c3ced4199406e","datavalue":{"value":{"amount":"+0.8061681985855103","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":"Q2941760$4958F6F1-A122-46CE-95B7-B7E0BE0864B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941760"}}}}}