{"entities":{"Q4913768":{"pageid":6943347,"ns":120,"title":"Item:Q4913768","lastrevid":51687809,"modified":"2026-01-19T11:57:24Z","type":"item","id":"Q4913768","labels":{"en":{"language":"en","value":"Vector addition system reversible reachability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152235"}},"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":"Q4913768$DCF8D5AA-2E97-4FB9-98E4-05F81C6AC8AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c6df7b98b2673a520c3519de9bad72069fc38a5","datavalue":{"value":{"text":"Vector Addition System Reversible Reachability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913768$FDBF09BC-7997-4746-B676-5F2C22CD6A5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523272708bbe28a0f53c3b472fe9d347838f7647","datavalue":{"value":"1260.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913768$5DEA39D3-225C-415A-958F-5EDD53C3E0AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87621027cdbae2b62ec2b49d059fa22004f45437","datavalue":{"value":"10.2168/LMCS-9(1:5)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913768$8922CDBA-2039-4FF5-8506-1142CCCF1200","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":"Q4913768$DF7B7D70-EC30-47B7-98BE-3EC697645178","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913768$141CD588-0EB1-4DFA-B14E-5A5124DA086D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913768$932097A9-6157-468F-BC7E-DB68EEA795AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913768$3D84747F-348C-4751-8F8F-CE7511A1FE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913768$76FBF289-E5F3-4668-87A2-52FA5FFF1B15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc82847f6c22aaae0e0987d71c4b93d1bf313d0f","datavalue":{"value":"6152235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913768$A88D286E-4DCD-49EF-A3D4-1C25AACAB3E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913768$BFC493AB-41A0-4115-9034-369180830E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913768$65B07A8B-CAA1-47FE-9582-9F006AD2D8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913768$1B4DAE0E-71F3-4981-B6F7-E278D1D915E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"858bc6c9ffd3d43992821f213099fd845d055b95","datavalue":{"value":"cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913768$62561EC4-E97B-4C8E-A0F4-BDF9E85E001D","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":"Q4913768$699EDB07-B36D-4D35-8C08-DB2FACBB3767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6972c9af15409fa0cbb86117818aeb57e819a8cc","datavalue":{"value":{"entity-type":"item","numeric-id":3090839,"id":"Q3090839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbccbbe5eabcb77865e52cc999906ef8d1a1a4e","datavalue":{"value":{"amount":"+0.9963735938072203","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":"Q4913768$35EEB7DF-A6B5-46A8-8807-70B7E21F591A","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":"460fc581903ebee5f628666d88c78369086c0805","datavalue":{"value":{"amount":"+0.8157724738121033","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":"Q4913768$8171A743-5886-4B22-BC84-E3FDA4825A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601f15ff30906f1e05fc5f946e83231333863e77","datavalue":{"value":{"entity-type":"item","numeric-id":5145613,"id":"Q5145613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b21f7b135a5b8919b6a03a62c96f112738d8ce3","datavalue":{"value":{"amount":"+0.8121971487998962","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":"Q4913768$2475FB6C-9273-4ECC-827E-8B1CD2EA4907","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":"9dbb90692dfc94b3ee46408498676a29a0589420","datavalue":{"value":{"amount":"+0.8103981018066406","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":"Q4913768$A24031EB-F98E-4C96-88EF-FDB634C647A7","rank":"normal"},{"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":"a994b37e9d7d8fc139d3fc0e4ef801ebb15ec80c","datavalue":{"value":{"amount":"+0.8101080060005188","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":"Q4913768$0B5D2B80-6D6A-46C3-B90A-CAC198C19968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913768"}}}}}