{"entities":{"Q4635905":{"pageid":6665486,"ns":120,"title":"Item:Q4635905","lastrevid":90535109,"modified":"2026-06-04T20:37:30Z","type":"item","id":"Q4635905","labels":{"en":{"language":"en","value":"Reachability in two-dimensional unary vector addition systems with states is NL-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863517"}},"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":"Q4635905$F71F2C97-0126-4AB7-8C74-4F04920FC528","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3e3785ed9735c311c1fbc49df6e4bc5895c961f","datavalue":{"value":{"text":"Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635905$6003DD06-49E7-49EE-BA75-72CF2EBC10E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9220193c9c85d14901b890fc4465f043961d85e","datavalue":{"value":"1401.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$B5954918-18B9-4100-A3A0-B891CE729E98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae7dd98beb139f7efe2b2e48ef596a83cd27de6","datavalue":{"value":"10.1145/2933575.2933577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$73AD2669-6107-40DC-9C02-5790723AD007","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eaa4b7ef4c72bf6f65a1faa9a6acd0370180ed9","datavalue":{"value":{"entity-type":"item","numeric-id":987395,"id":"Q987395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635905$6DA12601-950B-4090-95A7-8952B3A840EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635905$23C3816A-0998-4CDE-8CBF-D739E61F3A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635905$AA4762E8-0696-4976-A84F-F81B427B4E98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635905$4F3B17A8-9E32-4D71-B2E7-38DE4D1FAD1A","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":"Q4635905$09BC9607-1EBE-49DE-864B-FB8A15F23587","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc66026dd341766bdd08613bd9fd1a59dda5e6b","datavalue":{"value":"https://arxiv.org/abs/1602.00477","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635905$EC9364AD-0500-4F68-9C61-444DA2648CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$28ABB875-7101-4FAD-A2AE-7451E4B2BA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$1A359F32-3B80-45CB-98DE-BDE340D9971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$0020FD3A-F808-4382-A9A0-EC2068E6C5D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69675214cdedbac0c6cc2f7bc2c12997511c6aca","datavalue":{"value":"6863517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$CC1E4FC0-B8C1-438C-8AD9-05D0483373D1","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":"Q4635905$1432B2D1-DD43-4821-B830-5BCF4573741C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d856f6c3fa5ab7751d42cd05db6d6092d386b627","datavalue":{"value":"W2271542264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$5101B305-FD0B-4B4B-B296-7D8696576B2F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d12057a4ed96a8fcafa6e45f494bfab27eee2989","datavalue":{"value":"Q130989339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635905$FD3B406C-EE51-4526-9EC1-22E97A32E9E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7ce4f5b5f890eca5877540d64fd26980c5c43","datavalue":{"value":{"entity-type":"item","numeric-id":5056423,"id":"Q5056423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e735f443b7e626ebc1032de968c834b330c8818","datavalue":{"value":{"amount":"+0.925341248512268","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":"Q4635905$EF782275-41E6-4786-8A60-396BE5B10FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0849a59a8948bb202b1874f6a0e091d81b40b","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa346bcd4c2d939847d6468dfaeef3f07452486d","datavalue":{"value":{"amount":"+0.8612607717514038","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":"Q4635905$35335523-7FAC-42EE-833A-EEA8F5A2DB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bebfb55df70a67a39b39483e90948de59f74ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d9034b502df85f88b156176a6c64c8cc5c4c09","datavalue":{"value":{"amount":"+0.7882496118545532","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":"Q4635905$1C1BA0A9-14A2-4D43-8135-5DC07C5C17A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a57b53e932a78760997a5995e4cbfe663a4915d","datavalue":{"value":{"entity-type":"item","numeric-id":3584964,"id":"Q3584964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d11d0de98b88c66efaca124d5418a4c4a71d070","datavalue":{"value":{"amount":"+0.7712140083312988","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":"Q4635905$1F171DF3-64C2-4803-B3CB-AB0EE73A06A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018e79aac59faeb467e32fe22c5d842ef4300109","datavalue":{"value":{"entity-type":"item","numeric-id":4914309,"id":"Q4914309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3881e5ab5ff7d827dcfdc0c4fbc9f5caa565d5d6","datavalue":{"value":{"amount":"+0.7705485820770264","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":"Q4635905$9E1862CB-73A5-4C0B-A918-5CFE41C3139C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability in two-dimensional unary vector addition systems with states is NL-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_in_two-dimensional_unary_vector_addition_systems_with_states_is_NL-complete"}}}}}