{"entities":{"Q1823002":{"pageid":1833744,"ns":120,"title":"Item:Q1823002","lastrevid":71370348,"modified":"2026-04-13T21:48:31Z","type":"item","id":"Q1823002","labels":{"en":{"language":"en","value":"Rational index of vector addition systems languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114067"}},"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":"Q1823002$030CFC64-705D-419B-91BE-21A291131DE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4042642ae1b1c1482e7ba1e9a47e83cfcb00788d","datavalue":{"value":{"text":"Rational index of vector addition systems languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823002$B96E167C-EA7A-46C1-9BC3-589077ACA7EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b392bdc55126cb593279efcbda79b152efbb4e8","datavalue":{"value":"0679.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$F970E237-86C2-4097-A605-319178DDF413","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52948952f6812092394e6da0af38da03de62f231","datavalue":{"value":"10.1007/BF00263577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$778AA248-099A-4923-A604-B43ED1612CD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d3b8793ccb6de74c6dbc3b24cea8b3d2ca44dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1020638,"id":"Q1020638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823002$1EB0783B-F97D-4349-90D2-309C6A2ED860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71178d9317f629467d8ae8a55f7e931d48ea0336","datavalue":{"value":{"entity-type":"item","numeric-id":1073574,"id":"Q1073574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823002$2350F9EC-0C01-4471-8D1D-2F3500EFC0A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823002$87266090-AB60-4389-AF75-269F4DA298CC","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":"Q1823002$1971410F-756B-429F-BF58-D4C74711E362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$51B5B8CB-C258-4A7E-94CD-12BC72C6B746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$BB45886B-395B-430A-9EEC-BE9C1A6322A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$5C7F2BA0-5B9B-4976-830C-B2659D66F2CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"099d0b029836d24b9fcfcaad8c957dc2ea22557d","datavalue":{"value":"4114067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$3EC3BC40-1F7C-432E-B03E-CDEE66465594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1b0e442d6b38bdb12ae24d26a853ca7c0cce77","datavalue":{"value":"rational index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$5FEC39E3-75A0-40FD-ABC7-75F3288818D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e896ca1e4b4fb181167d69da69169b44d0d983","datavalue":{"value":"Vector Addition System","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$DC5585B6-EE21-4ABD-A9BB-679A6B7550A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$6958A492-0D27-41E5-9FC1-06B5B7E7DD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$AE7AA999-8153-492B-B4AC-A9C727B656D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0472d1480c3b4630050728e5f7fe181f4e2cddd","datavalue":{"value":"context- free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$65F8266B-EF35-4FCF-AA5C-90F0EFF31DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$7F7D59BF-7CBB-49FC-8682-A06AB437BEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$6C3DF7F7-CD59-4D41-8505-45E7D2FB1ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0682d949bee67e8df36d7e03320844ec7d7074dc","datavalue":{"value":"V.A.S. languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823002$136662C5-06C2-4293-BC6F-3C67DDD42278","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":"Q1823002$243C1717-57AB-4581-B468-7B3792144794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab0f6f394508fd276fe20d81f8aa9b52b68ee4ed","datavalue":{"value":"https://doi.org/10.1007/bf00263577","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823002$A1244E27-31F8-4BDF-A841-7E24DBE19528","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48ec7c6adac9e3cbd1c6abb0340df7103b11aa0d","datavalue":{"value":"W2052146371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823002$E6650A2D-E93A-4E35-A76D-998F9B4D8551","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808c7c0429d2294f4e21a22f9439342e69b75f72","datavalue":{"value":{"entity-type":"item","numeric-id":1104111,"id":"Q1104111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca86eebcfb59757b35fb5304723ccfd4abeca75","datavalue":{"value":{"amount":"+0.7979421019554138","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":"Q1823002$C83C30B3-E919-42CA-B227-892C25A9B906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980014ffe0ab5ced3ab486bfcc2f9a34d1593965","datavalue":{"value":{"entity-type":"item","numeric-id":1184983,"id":"Q1184983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc85592810255100907477410c0000f1dda1c00d","datavalue":{"value":{"amount":"+0.7969278693199158","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":"Q1823002$447437B4-0461-4C97-8016-C27EEDCF53B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa30a2a4bb3189fb2183bd4445a40470137fa36","datavalue":{"value":{"entity-type":"item","numeric-id":5271039,"id":"Q5271039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cab66060aca644ac1a283f03044f05138245672","datavalue":{"value":{"amount":"+0.7952799797058105","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":"Q1823002$A2180DBC-907C-48E8-BFE9-2C1C1C4AC2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7dd307bb806098c1bf955ae7d55b531e949e74","datavalue":{"value":{"entity-type":"item","numeric-id":3479535,"id":"Q3479535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f61c10ad65e0a3db3ffe3cefe1b3bd01580b139","datavalue":{"value":{"amount":"+0.7725706100463867","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":"Q1823002$05337B6E-7ABC-4F63-BF82-C905E798C82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ea660b16d6983d804fa363a1c5756e9c77a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":1095670,"id":"Q1095670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e00df97740089095d5a3ae5440db25ff8c34c7c","datavalue":{"value":{"amount":"+0.756456732749939","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":"Q1823002$92E183F1-D697-4B97-8345-7155B656DCA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rational index of vector addition systems languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rational_index_of_vector_addition_systems_languages"}}}}}