{"entities":{"Q3088035":{"pageid":3098750,"ns":120,"title":"Item:Q3088035","lastrevid":45421066,"modified":"2025-12-07T17:49:00Z","type":"item","id":"Q3088035","labels":{"en":{"language":"en","value":"The Reachability Problem for Vector Addition System with One Zero-Test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940098"}},"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":"Q3088035$D692CE63-5A79-4D6D-B898-3843F41A8ABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5880245bbf8f049f8449597a77e9a5cf5ed3dbf0","datavalue":{"value":{"text":"The Reachability Problem for Vector Addition System with One Zero-Test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088035$DF3351EA-5C22-435D-B152-CC528A6CE306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7979fedb7d4e3db7f675857b74a7fec124954a15","datavalue":{"value":"1343.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088035$2D74F065-73D0-451C-A62A-72BE38CA228E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6781088faddb7c5b06961f9bc9210e080757b293","datavalue":{"value":"10.1007/978-3-642-22993-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088035$B3DEC2AB-8E71-4300-B61D-AE9C76E2F516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d52787a6fbafe429e2741b67d1805390ad9b06","datavalue":{"value":{"entity-type":"item","numeric-id":1951596,"id":"Q1951596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088035$437E1FC3-E232-41CB-8AB6-FD57CBE1647D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088035$0D51F323-A5A8-4A58-B92D-125FD0448172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088035$C6662CF5-1E21-49B8-9602-1DE64E1672DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088035$EFCCFF55-7330-476E-8EEE-BD219C611AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5654dab015bdf917ef0e4a6461fd4c29b48e2d7","datavalue":{"value":"5940098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088035$2BBEEEE6-D652-4848-AEA6-207A46F38E69","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":"Q3088035$7B1F2DC3-026F-4AEC-B533-224811DA2C8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ca347762dbf5a0ab766a17ecd73ee45ba4924c0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22993-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088035$1BD3F6A4-D7D8-4CF1-BEE0-FE25A3E986D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84afca366fdcc5095a7ce4c332b78ca0c6c00bdd","datavalue":{"value":"W62188582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088035$2C9F1881-89B0-4546-8639-5E2D9BAECC51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9326ebb6bee8c485d423eb4ea4ab1f43457686e","datavalue":{"value":{"entity-type":"item","numeric-id":3343444,"id":"Q3343444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a96e2dfc09a15d7f215e93d35f5423a1b75712","datavalue":{"value":{"amount":"+0.92756814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$226977DA-4F25-4076-841C-52A9FBAB4207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d70d5141e5c50384d4ec98bc917806ca96d97a4","datavalue":{"value":{"entity-type":"item","numeric-id":3004566,"id":"Q3004566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6957ba52b1a74270ac7f7815a6f922826a0da6e4","datavalue":{"value":{"amount":"+0.9199811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$A0686C95-7A1E-4F77-AD2E-35A105A8B02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3c53d024bffed3ca7fcbf7db02e840d752d797","datavalue":{"value":{"entity-type":"item","numeric-id":5408552,"id":"Q5408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f77cf1c390a2a0ee20c14dce99300c43f03029","datavalue":{"value":{"amount":"+0.9167495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$96DC089B-CD34-4412-9EBD-99E8490989A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c315bce74e8399ceadc368b7528cc44b0d829c0","datavalue":{"value":{"entity-type":"item","numeric-id":3820015,"id":"Q3820015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae0d2e31f0849c21b8b5496ff9b023aa91576cc","datavalue":{"value":{"amount":"+0.9130208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$BC27E5FB-EE13-416D-BA7B-06351B1556D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6acd113c7e31482af4f7f49ae4011455b25355","datavalue":{"value":{"entity-type":"item","numeric-id":5089304,"id":"Q5089304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3d389342e35e71037cea7fc383bfa7759ae077","datavalue":{"value":{"amount":"+0.91226816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$029228DF-B4D3-4D17-8A97-D57CEFC55099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b427a8a618230de4e5e5c345219753783ecf0e","datavalue":{"value":{"entity-type":"item","numeric-id":2895472,"id":"Q2895472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e25d32138366731ce823910c2416abf596971a9","datavalue":{"value":{"amount":"+0.90818036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$AEF7EC96-3F61-481F-8CAE-7A06C93E0481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743c8479a320914327c9615f9fabb6e92ef56bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3172867,"id":"Q3172867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff72399daf11573883d142e56102c8228bb29a4","datavalue":{"value":{"amount":"+0.9079509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$87043874-6107-49B2-B227-68CAD1E96D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32420d6e9720742a9639e589f237608e21268742","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08faaf3cb66a15d3d0086a70e543bb556de09a5","datavalue":{"value":{"amount":"+0.907265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$67A73C1B-081E-4D94-A69D-86BB0E427C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4080b0370885e4c571b32036e23063b2ea4eef0","datavalue":{"value":{"entity-type":"item","numeric-id":2908849,"id":"Q2908849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2e641fc0a82858d0fe12d613ca2273bf7e0cc4","datavalue":{"value":{"amount":"+0.9048854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$86A37FCC-008A-452F-9AE2-75739B19F68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ad4de7ee2001072cabe4dfaea2dcba16d9d384","datavalue":{"value":{"entity-type":"item","numeric-id":5089315,"id":"Q5089315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b8a1d11b530baddeaae720985eba668d51853f","datavalue":{"value":{"amount":"+0.9046261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088035$F0EA6854-0621-403A-9042-BCB0A7BA0559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088035"}}}}}