{"entities":{"Q3584966":{"pageid":5614870,"ns":120,"title":"Item:Q3584966","lastrevid":90331466,"modified":"2026-06-04T19:54:01Z","type":"item","id":"Q3584966","labels":{"en":{"language":"en","value":"Rewriting systems for reachability in vector addition systems with pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776497"}},"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":"Q3584966$4B0B2B43-4B76-41C2-B5EC-71F4CFF0FCB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0111849a8d5d018201ae3a6dee72366af4fba2da","datavalue":{"value":{"text":"Rewriting Systems for Reachability in Vector Addition Systems with Pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584966$E1A8053A-BC9E-4FEC-A1B8-1F8BE8845FBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fafbaff07ff49f457f0b95a59d3d1f3e28104b8b","datavalue":{"value":"1287.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$6E486251-5EF0-4FF2-AD69-E61709B718E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ec4e200a9373c415ed406c6646a1115b2148ecf","datavalue":{"value":"10.1007/978-3-642-15349-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$526C8729-BC1E-49C5-9A3F-2B177DC88629","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a26b2aab36b8ee749411b5acc9706f29cc1f2fb","datavalue":{"value":{"entity-type":"item","numeric-id":534702,"id":"Q534702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584966$C3005711-95FB-4E86-90DC-F7781C38A614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aa8aa348b70dd1f1e673f0f3d530db08b0ea8dd","datavalue":{"value":{"entity-type":"item","numeric-id":236817,"id":"Q236817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584966$65EFC9F0-B122-4163-B555-34BAC5FD9604","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584966$BFE5EC2A-94C1-4FE9-9121-0FA154D05827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584966$C62F6CF5-CF0A-4BA6-8827-FB698F769CEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$1426366A-AFE7-4007-93D3-C9DCDB7F7B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$8D62D8DB-BB38-47EE-9E8C-1BF74C722F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$FABBF458-BE44-438B-9FF4-DE38FBBA42FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$F638617E-5433-4D62-8FC0-8A0FA5C33640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d53c2c7667be1fb01e32631f9d09ce9a1a303f3","datavalue":{"value":"5776497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$82584F12-2C19-41EF-B795-88CD04187C7B","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":"Q3584966$D83275A1-654B-4CB8-8825-8123516D9E3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47541e09c14ca70ab605daf7348dd9023eec8f57","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15349-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584966$1488F320-B400-45AB-BD39-71668F6576FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7066fb50af745a1f77415d8372510a3fa3e08c3","datavalue":{"value":"W1492535103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584966$6A3A59B1-F45C-4CE2-8279-F9267C8A5797","rank":"normal"}],"P1643":[{"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":"4cb9553a4e233480d29e75850aa318d325fed4d8","datavalue":{"value":{"amount":"+0.7760564088821411","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":"Q3584966$6A759E37-F058-458D-8D80-CFDC4FA4D985","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":"0bd454af73377443735689dded71f38f1eb67fde","datavalue":{"value":{"amount":"+0.7665008306503296","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":"Q3584966$24AE3DC2-F4EF-41ED-8235-C4830EB31395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3c53d024bffed3ca7fcbf7db02e840d752d797","datavalue":{"value":{"entity-type":"item","numeric-id":5408552,"id":"Q5408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0496ab418cc57c81ae15d94281b9a5f320bde13c","datavalue":{"value":{"amount":"+0.7643778324127197","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":"Q3584966$22188D23-71E4-45B7-9997-FE2F535570F8","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":"c08f9607f96571da244fdf136e3b428859b57b09","datavalue":{"value":{"amount":"+0.7631377577781677","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":"Q3584966$919C3155-5C3D-4EA3-8FA6-5F8C05F25690","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":"ddc27b04777170432dca59b8c99e1d01f18dffe2","datavalue":{"value":{"amount":"+0.7501277923583984","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":"Q3584966$2C0424FE-2E49-4658-9469-DD8EDEE6BCBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting systems for reachability in vector addition systems with pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_systems_for_reachability_in_vector_addition_systems_with_pairs"}}}}}