{"entities":{"Q1823697":{"pageid":1834439,"ns":120,"title":"Item:Q1823697","lastrevid":49310221,"modified":"2026-01-06T22:51:53Z","type":"item","id":"Q1823697","labels":{"en":{"language":"en","value":"Projections of vector addition system reachability sets are semilinear"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115985"}},"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":"Q1823697$9BAE2FE7-13F2-4B74-9407-610C383F0CB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6af046eef8588cefdba8aeb6358c2c248d38cca0","datavalue":{"value":{"text":"Projections of vector addition system reachability sets are semilinear","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823697$47DFAEC2-53A4-4CE6-BC73-49D5D471E5E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1b7fa8d59a8116c91e73ecd7d36f0684f5c78aa","datavalue":{"value":"0681.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823697$4DF41B42-0D09-40D9-8F2A-336060570B1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3a2d0b2a2719d3b94c067ef9a5369a38437fd0d","datavalue":{"value":"10.1016/0304-3975(89)90055-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823697$4FB7DA7F-3905-4E1A-BB3D-CD8A37BE437B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$BC3E05E6-F6B4-43E2-AEAF-B5F315841525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d3da02c79fb32792a49a2fc9273637c5be8a44","datavalue":{"value":{"entity-type":"item","numeric-id":1823696,"id":"Q1823696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$B7A7796C-7D6A-4743-9847-418D0DEDC809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68c4b94b0ca0db950e9a6edb7d9f702fbbaf834c","datavalue":{"value":{"entity-type":"item","numeric-id":169355,"id":"Q169355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$E102896A-6799-4689-857A-20E84AFA8FC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$38E488DD-B1CD-481E-BB67-2AA7D9E367B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823697$DF5D6FDE-595A-476E-8560-59ACC7BD6FC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823697$8C96158F-391C-4D6F-9120-728AD5489BBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8979b128402b22c69bfc69ac6d25ba76348ae8a2","datavalue":{"value":"4115985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823697$CF42516F-5566-46D1-A56D-AD91DDA6A130","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb822bc79cd7abf09c0820cafae2b2ee163eddb","datavalue":{"value":"Vector Addition Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823697$F90E293F-1697-4B9A-A194-7AEF5BC35B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823697$744FE3CC-F641-447E-B3E1-880BCAFFA606","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":"Q1823697$F70B5823-4EEF-48B9-AF27-4D1BBE3251F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f27a566460074dae177e1b50a1546eb9ccb9782","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90055-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823697$C89E5F62-AB08-4B4C-9A35-9958A3928132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb7e4693cb12c59387f46ca1ffe906a8677da191","datavalue":{"value":"W2092145843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823697$37C42537-DD8C-413B-A136-1FFA12B4EF29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$ACD862BE-B94B-4C66-B93E-6274C85AA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$8B7B5C29-D953-4D7C-AAC1-1BBF764AC0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$CFD08B48-2A3C-40F6-8F1F-B6FDC0906273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823697$E170F1F6-1930-458D-8A93-C72598AA5EBD","rank":"normal"}],"P1643":[{"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":"469cfe52df580a89ba9b08f77076faf5fa4c6d30","datavalue":{"value":{"amount":"+0.8039339184761047","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":"Q1823697$CFACF0D9-B010-40F9-B8F0-DBB258D639B4","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":"3e50d3215b6c159dc4e468931aec83dc6364df86","datavalue":{"value":{"amount":"+0.7785376906394958","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":"Q1823697$F461C072-88EF-46EB-8EE2-65BFAEEC25F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee6bc36eb8240d0762a30665c49e403a3cebfe0","datavalue":{"value":{"entity-type":"item","numeric-id":1096388,"id":"Q1096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c273a7e2ad935c9807b08fd1548e07d6dd0d1c07","datavalue":{"value":{"amount":"+0.773533284664154","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":"Q1823697$93FF76FC-F8CA-4291-8BA2-BC6A715AFB90","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":"255fb8496e220c6b67ff40cc7e63a8a580b6d2ea","datavalue":{"value":{"amount":"+0.7718155980110168","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":"Q1823697$57292A3D-8FF8-4A21-A5B7-0375876B65FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0849a59a8948bb202b1874f6a0e091d81b40b","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfedeab21668f04cb24684ff4f80bbc5a8de501","datavalue":{"value":{"amount":"+0.7710335850715637","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":"Q1823697$C25D3A31-51D9-4984-A416-CB8CCB97D681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823697"}}}}}