{"entities":{"Q2986806":{"pageid":2997530,"ns":120,"title":"Item:Q2986806","lastrevid":52804562,"modified":"2026-01-23T13:18:16Z","type":"item","id":"Q2986806","labels":{"en":{"language":"en","value":"Deciding the value 1 problem for probabilistic leaktight automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718089"}},"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":"Q2986806$BB18EF0D-AF95-4AD0-A1AD-7DCEE82BF52C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"682bcabb6e3b1f9355f85f3600826f659b21aa41","datavalue":{"value":{"text":"Deciding the Value 1 Problem for Probabilistic Leaktight Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986806$AAB2D65A-B06D-436C-8678-BE5EB6147D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ff8996b72efc2b1bbbd77829b3d05790859d679","datavalue":{"value":"1360.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$4BB42587-AE26-412E-85B6-89D4C2A3A745","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6299d40ddc157c8a07c1249d0b22689f1ec4c44e","datavalue":{"value":"10.1109/LICS.2012.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$71092CB3-A088-4F54-8491-0DFA9A2BCB9C","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":"Q2986806$F929086A-6F48-482C-9432-AA07A66D02E8","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":"Q2986806$D0A74E9D-9F37-4B15-8BBE-485C8D8CA580","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":"Q2986806$3A3E0539-EBE3-4166-A6B6-D64FC986C391","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986806$5E3498E4-C707-4AEF-8768-066D8794709F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986806$95EFB8D3-B98B-461C-B329-02B7BD3D9FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$C19B9651-BDDF-4A75-9541-611FD47525FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$4A8DC852-10DD-4860-B0D2-73A9C3503578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$41891D8E-EDCB-48D1-B4AE-0D7AE6AC3216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$EE9F9D69-41CD-4EDE-9BC0-DD113D913F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$42C4766E-9FD1-40E0-B088-47C50A4DE520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$939A9764-B527-442B-B929-F53002938627","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71c5231f437e03a418b9c0adaca422fe0b4a71c7","datavalue":{"value":"6718089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$6D32EF38-0B58-45FA-86FD-0B845485FEB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986806$25E1D3F4-3B96-4A91-B598-C1795A04EA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8fb1c22e75521004126d9f5333760badf47419","datavalue":{"value":"value 1 problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986806$1D1DAE68-D14B-4DE1-B01E-85FAD62AEE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b5e776ff989b73c2f31d1461534fe8b670ac4a1","datavalue":{"value":"algebraic techniques in automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986806$941C7867-3B77-4DE8-BBE3-38D6422CC566","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":"Q2986806$A7861869-636E-44B8-B52F-CE754415F25B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"747c9542a372888815f69527d689fa97f5b9564e","datavalue":{"value":"https://doi.org/10.1109/lics.2012.40","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986806$5D7902B1-476A-4CB1-A5BD-60EC37C48737","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a3803e2a00cda10642dd339ff78c773b42a17c3","datavalue":{"value":"W1997908831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986806$E0C4C313-9032-4E8A-93E1-12FDCCB9C508","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab1187691ce8c5289800852c821890f51f3ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":2941760,"id":"Q2941760"},"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":"Q2986806$590BC1BD-5878-4201-88A9-A494A08E2819","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":"9ffd28e1cfcb29e9f46407244eb1277f70b3f341","datavalue":{"value":{"amount":"+0.8634056448936462","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":"Q2986806$8131F47D-4B8B-45EB-869B-FF2E34C79E96","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":"3ff68ebb7ac0e0f1b841f88052af61b54120a4e8","datavalue":{"value":{"amount":"+0.832974374294281","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":"Q2986806$2078064A-B721-4A61-9723-CC4231824313","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":"a274b0133ea046cc2b3908e24550fe2b13f688eb","datavalue":{"value":{"amount":"+0.8233970999717712","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":"Q2986806$4CE7B26D-80B6-4460-9584-F0E6BA8E2BF1","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":"0ceb29dd2dc950e8dd8a9f7de87e18fb518469de","datavalue":{"value":{"amount":"+0.8176613450050354","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":"Q2986806$6F0A2FED-CEED-4701-9FF6-615C5DE2E13B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986806"}}}}}