{"entities":{"Q5408552":{"pageid":7438126,"ns":120,"title":"Item:Q5408552","lastrevid":51972542,"modified":"2026-01-20T16:11:40Z","type":"item","id":"Q5408552","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 6282613"}},"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":"Q5408552$2E2072DC-8E44-4117-80B8-C09FDE4350F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c92d4b2164bd1b27bfc60f0c11e054ff9877013","datavalue":{"value":{"text":"Vector addition system reachability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408552$69F80DA6-4096-4028-9F45-37F8BD92EF7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"434610d3bfb4bea7a6395a407c11f6ec78270cd0","datavalue":{"value":"1284.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408552$31E27A55-B7FA-490D-B9CD-31169057A848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af55e0b724b05fee1c83c1d737bc4cae4c6b98e7","datavalue":{"value":"10.1145/1926385.1926421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408552$A368B1D7-8D7E-4795-B3E0-F8B20731EB61","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":"Q5408552$844632A5-7843-4B3F-8BFE-04B8A6C6CA19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408552$7F18D209-54DA-45EA-85BF-D00649073049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408552$B855B4AC-FC07-42C2-9479-BAA593085D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408552$28437EAA-9AD0-447A-A674-7353C5F9DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408552$3DBF598C-91C6-4CE0-B64A-DD513A8C5848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f105baa292283421dbf84a594bc6528aa5932356","datavalue":{"value":"6282613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408552$4F6D009D-D83C-4D86-81E1-3D578E2A62FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db6430a13325c887aba60e02f220ed217ec6dec","datavalue":{"value":"Petri","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408552$D4E56C2C-C436-4504-88EC-05D742E84909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d5a501a42559a081861ad22cee4e7fefe9bc0d4","datavalue":{"value":"Presburger","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408552$2C8C6B57-2A35-40BA-8A26-858B1CE32D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408552$8DB05DC1-8F5D-40D5-81CF-EC0FDB77917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408552$548D94B3-FC61-4C7C-AAE9-CB8C78D5E02F","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":"Q5408552$9A1E0217-8152-402E-9A9C-168E43C36B17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ead5552103c3892039e9c6dd1460ce74a7bb11a2","datavalue":{"value":"https://doi.org/10.1145/1926385.1926421","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408552$E050A4D6-9590-498C-A9E6-2A119C9F9625","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc73a351738c2f4003acbe001954c35503b1d7f5","datavalue":{"value":"W4249920159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408552$FEC1B516-C09A-4361-A7F6-91A499D06146","rank":"normal"}],"P1643":[{"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":"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":"Q5408552$3273753B-C6DF-41CE-B747-7B74FFF0E47A","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":"576a3abcc5e89c410ae5748951a75b89043477e6","datavalue":{"value":{"amount":"+0.9394814372062684","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":"Q5408552$09075CB0-A910-4E43-B956-92EF55D1E17D","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":"537e9099182891eadf66380294d9777667d87eb4","datavalue":{"value":{"amount":"+0.8613450527191162","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":"Q5408552$1C26D3C4-5E10-405F-96DE-BEC6D36F3B0B","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":"8b009a50a5bc3d73e3018b6a634045e52f428dab","datavalue":{"value":{"amount":"+0.8459927439689636","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":"Q5408552$CD5EA20C-4D24-4DD5-BF9B-2301B7BDB0EE","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":"757ea947b708e7e5e1f00be331f18e7a9e7d5bd6","datavalue":{"value":{"amount":"+0.8438875675201416","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":"Q5408552$DB028BFF-7098-4EA1-8412-31A4CC584EE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408552"}}}}}