{"entities":{"Q3004566":{"pageid":3015290,"ns":120,"title":"Item:Q3004566","lastrevid":85469453,"modified":"2026-06-03T08:42:40Z","type":"item","id":"Q3004566","labels":{"en":{"language":"en","value":"Vector addition system reachability problem: a short self-contained proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903553"}},"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":"Q3004566$34222634-CC02-4EBA-B223-5C239B3D26F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566123b5cf9f3961b107a9b669047f6194a1233e","datavalue":{"value":{"text":"Vector Addition System Reachability Problem: A Short Self-contained Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3004566$028790AC-CD73-4885-92A0-05ECD4B20570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de86cb45bfee4b2bd3996523f0ce66321d6e45ca","datavalue":{"value":"1330.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3004566$2A86CAFF-CC2D-4D61-B0EF-F5728576535F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ffdc4b10ae1cba094c8bb63a9076589b1b0172","datavalue":{"value":"10.1007/978-3-642-21254-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3004566$0B419C42-DE3A-4374-8592-F3E2892C746C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3004566$6513C0B7-4B86-4FE0-9A93-AC92B5C1BD5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3004566$22E860B5-5EE0-4A6A-A151-E55130039012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3004566$BD9C34D4-9895-4FB9-BF49-9DD7FEB33161","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3004566$0C72B130-3DFF-4122-9C36-169F28C9EAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3004566$487076DF-767A-4C63-B95B-95F5696D8C2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"032c24b2c835f64ea0dcb0f046ffcedd8f34b080","datavalue":{"value":"5903553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3004566$C862696A-384C-41BB-A255-88C2D91E16BB","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":"Q3004566$BB7D2FB8-72AE-4FD5-BDFC-4C7819607F75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"604a26a05a907f5cce55388999d4793213e1a2ef","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21254-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3004566$289F01C4-6216-4878-A5B7-42D0F9F5816B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c9d0ddf5fe2080caa02d74d9aaea3f851c451a","datavalue":{"value":"W4231432373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3004566$872B4287-9698-4A6A-B2C1-81523524B386","rank":"normal"}],"P1643":[{"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":"a733938d7cf3572f68487381543f031f52af19d0","datavalue":{"value":{"amount":"+0.9962398409843444","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":"Q3004566$DF000BAA-8890-4258-84AF-C694E04C517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fb9c9b4f493cf44e82ea63d1bbc0bc72dc42e9","datavalue":{"value":{"entity-type":"item","numeric-id":2786139,"id":"Q2786139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3470366c509ef14b3dfde896eca8ecc02bd07dd","datavalue":{"value":{"amount":"+0.9404363632202148","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":"Q3004566$13CDDA63-CB65-405F-9A1A-445EDAAECB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dee3884811a618ee12100c3501923ffca46f63c","datavalue":{"value":{"entity-type":"item","numeric-id":5271037,"id":"Q5271037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ced8a3cd57e65d2a9f74985ae22f018b0df29e1","datavalue":{"value":{"amount":"+0.8653270602226257","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":"Q3004566$977DDF0A-2E30-4260-AD1B-DE9299BA702E","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":"62f2366d8b52e6fa90f1c17b553fe347e6383009","datavalue":{"value":{"amount":"+0.8439480066299438","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":"Q3004566$BD1BE492-6D61-485D-9F29-D9080F442926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770f15c290a793937573f6bb454b3da861cb41ed","datavalue":{"value":{"entity-type":"item","numeric-id":3702518,"id":"Q3702518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c54ae99ff012b64f88c16c0c24df52be12b359","datavalue":{"value":{"amount":"+0.8406972885131836","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":"Q3004566$C851106A-0D44-475D-BBBC-9DD6125A0166","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vector addition system reachability problem: a short self-contained proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vector_addition_system_reachability_problem:_a_short_self-contained_proof"}}}}}