{"entities":{"Q5271039":{"pageid":7300614,"ns":120,"title":"Item:Q5271039","lastrevid":52843595,"modified":"2026-01-23T15:18:39Z","type":"item","id":"Q5271039","labels":{"en":{"language":"en","value":"On the context-freeness problem for vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738783"}},"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":"Q5271039$EFB073D6-AF4D-4E88-8AB2-A47BFA970AD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e54933651cd97c26480ed2edf5cffc5311d83ef","datavalue":{"value":{"text":"On the Context-Freeness Problem for Vector Addition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271039$E7147427-5EEF-48B3-AAD6-A419386903CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a98d58f5d88fa3067d4e6d148be534b19a9c5d8","datavalue":{"value":"1366.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$8D0C72D0-452D-49A5-B28D-8C2110D9EAD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8aa6f9df8ca9d1969d78e9c78db669651deeb8a","datavalue":{"value":"10.1109/LICS.2013.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$C76B94CC-6485-425E-9B01-7E7A44E71FB6","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":"Q5271039$D94F0395-8D38-4829-9F93-D80BF9B9A4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa04a9e006412fe2d74d9295cdc76e2c1f4a041","datavalue":{"value":{"entity-type":"item","numeric-id":1798907,"id":"Q1798907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271039$1C134743-AE17-4FFA-A655-2A27685FBAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271039$1D21D3DA-EC6B-496C-9D24-CF10A08393B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271039$52E4D971-F079-4DFC-859F-1576587CBE39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-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":"Q5271039$84D970E3-127D-46D1-B058-EBA68971278C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$DE1A0CA0-2320-405B-959D-52DB8DC189B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$44948738-62E9-4238-9697-C3076575A1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$E7850724-4C69-4B10-8F13-156D65FD6098","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b088f29527a61cf2beefc09dcf4f72117fdb13a9","datavalue":{"value":"6738783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$3B2AC896-C5F5-4CBD-A2A9-99133B1EF741","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271039$9B27E080-1FD8-496C-9121-13647CC4FCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271039$EA335FDC-B162-4607-B78B-7FCF98EAFC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02dca40f29057631b05d51f6e02cd7c21b58230","datavalue":{"value":"context-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271039$836994B8-3982-4262-B6C6-F3CA8A43D6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271039$0A9491D2-396B-42F3-8EA6-44DC20E629EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cedcee7d6d7869e7e8743abb9cca14f68450090","datavalue":{"value":"bounded languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271039$198B5AA7-B313-4ACC-8497-56BD40A34DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271039$0C79528B-4485-43C3-A807-E62C070561E6","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":"Q5271039$2922D445-CD9B-4723-8111-90EA72B441A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f7fa138c5c18dfb8566161392de4051115a2dd9","datavalue":{"value":"https://doi.org/10.1109/lics.2013.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5271039$1F593FC0-A06E-46CC-BB14-D1058695D032","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0801652a4ce63ce3debd8d72564de5350f43e34b","datavalue":{"value":"W2154728806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271039$8925CFA0-C39A-47CC-BF2A-34A0E3CFF527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85900af17ad3ed8ce6e8d6f037ea4f5a92ef0bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1193880,"id":"Q1193880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a08487e8dc514f2b131d92455d41d797a30b3a","datavalue":{"value":{"amount":"+0.8771155476570129","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":"Q5271039$3F798403-A63B-41D8-9003-3943B16FF435","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":"bd6244373da5d65b401efe9aa3df107ebe01d901","datavalue":{"value":{"amount":"+0.8647029995918274","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":"Q5271039$E47575D6-8A8D-4C20-816E-7408571806C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538b5f2438a00fe18e60fcad3f3cd014c1ee7238","datavalue":{"value":{"entity-type":"item","numeric-id":2842102,"id":"Q2842102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06710957a8878a1ae0a79de8e90e072159725ce7","datavalue":{"value":{"amount":"+0.8401733040809631","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":"Q5271039$44A78AB8-3832-44D1-B909-CABD0E6A7805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a889c17a99f676895e47109973ca97b918921d3a","datavalue":{"value":{"entity-type":"item","numeric-id":5002804,"id":"Q5002804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dbdf3701bc193c334ab04a7bdf17f6a7a010bb","datavalue":{"value":{"amount":"+0.7725244760513306","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":"Q5271039$269069C0-24AE-4130-9E1D-55BACA25ED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79b49f835bd4420353873863b052426aecd5974","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e467ebe78ec3a0b1b1ad7622786af57a18bb7989","datavalue":{"value":{"amount":"+0.7723348140716553","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":"Q5271039$FB6C26F7-E0FF-4C44-BE5D-EB6C8B1A1367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271039"}}}}}