{"entities":{"Q4635605":{"pageid":6665186,"ns":120,"title":"Item:Q4635605","lastrevid":58316079,"modified":"2026-04-04T16:52:30Z","type":"item","id":"Q4635605","labels":{"en":{"language":"en","value":"Zero-reachability in probabilistic multi-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863080"}},"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":"Q4635605$D894780A-C69C-4C9E-8A81-A71167D5EEB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c59307613559f2459280a12e821c8eacf7f9a3e","datavalue":{"value":{"text":"Zero-reachability in probabilistic multi-counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635605$E63BFF10-560D-4C49-9F2C-5F29FE5C2614","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ee2198c4033069b0298490fe77e02903ceba692","datavalue":{"value":"1401.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$4E4C490D-EA94-43DA-9FFF-28B9AC5F76E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e4362d64f65e79e1dd40e5fa330fb8c29d48827","datavalue":{"value":"10.1145/2603088.2603161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$3B879721-62BF-4C1B-B077-83E2592E0EEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635605$5656C567-2828-42F4-B2CA-09910186090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635605$4E800706-017D-4650-93B2-291FF5B34FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11678640a6e912a3bd5c6e3abd03521868996d7","datavalue":{"value":{"entity-type":"item","numeric-id":855151,"id":"Q855151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635605$BAE4F204-A807-43CA-8A4D-A23A739C7390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635605$7F7D93DE-7D09-4205-9F53-3F938B4E6AFF","rank":"normal"},{"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":"Q4635605$FF92B694-FC32-41A6-9E1D-F8E9D502AB92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635605$90B87FAE-D696-4CDA-84ED-ABDF0D7673E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635605$79A6AFC1-009A-41B0-A2EB-DF82A085354B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d02f62eda6a33ee1cbd2b933a41212f30c0e61d","datavalue":{"value":"https://arxiv.org/abs/1401.6840","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635605$85D4EBDD-026D-41BC-9E26-80E7F99F27F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$DAEBE9BC-2463-49D2-B236-DAC85B8962E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$D2B8C062-EBC9-4BB3-88C8-2BC9B77C9A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$05D2A62D-F2DB-4DF4-AB0E-82900BDB35ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$9EB64DEA-5D92-4078-BAE5-074A008014FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f947c7037c2e11c978ac164b6b609a991577eb14","datavalue":{"value":"6863080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$84738BA3-4E5F-48BC-BC65-9207BF1AEB0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635605$0DA9F536-FCD0-438D-A315-4EEC50C87373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025b6638620a77bfd6b49534daeb33f99cfa9781","datavalue":{"value":"multi-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635605$074F0EE0-6DB9-485E-B1C3-44122E590A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635605$7C32C7C2-DF90-4514-B096-D8992D9F4D0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f396304685e16e10e3a9bcc93f4bf6a5fba11111","datavalue":{"value":"Q57800938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$368E3997-ED7F-4BFD-BDAC-4002D91ACB58","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":"Q4635605$B26A95EC-34EF-49EF-AB3F-17395AB13ADC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec6dc6dafa8fd82ae32b4cc7be4d2aa7ad6d508d","datavalue":{"value":"W2122843152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635605$4177CF15-05BA-4C24-A30C-08ED632FC4AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca55a23e51c51e9b3b0894a7c112650f5a72b2ef","datavalue":{"value":{"entity-type":"item","numeric-id":5417673,"id":"Q5417673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b53e7ed110ccb147bc2ba2abcb0249f974b8c69","datavalue":{"value":{"amount":"+0.7228145003318787","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":"Q4635605$5C23BDE5-8B28-473C-960A-FE2E30E6928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437b98c01b6db117ed8768fb1a95a5a149ac0678","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5088b53be4948b8e432cd9fd815cbc670fdf5952","datavalue":{"value":{"amount":"+0.7223460078239441","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":"Q4635605$60A4109A-46B4-4D26-8243-EA34813C02BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3bb6e2f7750defc6972fd55a09ddc6bf03342f","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25b9b52253dd011ba17449cc7d02c3edd8ec1d5","datavalue":{"value":{"amount":"+0.7219063639640808","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":"Q4635605$F62852B0-9C0B-488A-8867-D31EEFBF7F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fda845dd1b0e66bb4a54d009dcbd25f755874f","datavalue":{"value":{"entity-type":"item","numeric-id":3100947,"id":"Q3100947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16e14af5d716c30a8258974322ca0f7bd39833c","datavalue":{"value":{"amount":"+0.7208610773086548","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":"Q4635605$A671AD24-8AC9-4D52-863D-3B9D5D9F701C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9bfda27d7ff4487166f411e6d877ff0ab3d4753","datavalue":{"value":{"entity-type":"item","numeric-id":3088035,"id":"Q3088035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9e636c5e7ea6ff9bcd1e9b3e872f317916a13d","datavalue":{"value":{"amount":"+0.7197615504264832","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":"Q4635605$1A205A50-12D8-4924-AC45-1F614F93756D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635605"}}}}}