{"entities":{"Q4601852":{"pageid":6631435,"ns":120,"title":"Item:Q4601852","lastrevid":89789261,"modified":"2026-06-04T18:16:16Z","type":"item","id":"Q4601852","labels":{"en":{"language":"en","value":"Ideal decompositions for vector addition systems (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6829342"}},"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":"Q4601852$DDD62B2E-2E9F-485D-9B06-05E8B5041596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1017bcc345288e6b01dd80bf959c9f6ca6207bdf","datavalue":{"value":"1388.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601852$BF6A51E4-D6F7-4A5F-84B4-217BF3193E54","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":"Q4601852$FEF5B63C-D9AA-4C1B-9961-77B487FC42CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601852$8FD78CFB-B6D4-4163-AD11-5D608620E57E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1335161379199d9038091fb354c2f0e9ba953e5b","datavalue":{"value":{"time":"+2018-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601852$A1F23894-D78A-4E4A-B031-5B4C460B8FF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601852$183982BA-A626-4490-A73F-119A838C0165","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddde7d3ed331cea7cdeae503b039279773a5c57c","datavalue":{"value":"6829342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601852$2004FF64-E162-4234-8895-344921E51CF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601852$B229BC20-5B9D-426C-9F26-4ACF2A2192D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601852$68D0D1E1-F0CE-44BB-9F81-606E6EBAEC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601852$0F7EAC73-BA58-4552-B814-6953D61CD936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601852$35D73144-3918-4A69-BB1D-7DD3C09FE99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601852$DB59999D-4426-4AEE-BC86-63A59CFFAAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601852$19070320-927F-4521-95B3-4A05ADCF9F63","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":"Q4601852$920D6B57-7B26-4206-B33B-31BF257D4966","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f15716a74157eff3c749e2a9116bdec422be1d46","datavalue":{"value":"10.4230/LIPICS.STACS.2016.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601852$DB120DFC-EA0F-4F04-9F7E-08FE8ECAE180","rank":"normal"}],"P1643":[{"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":"1c7d217d2520f7aa6439cba903d22bfe25d4cb5e","datavalue":{"value":{"amount":"+0.8334841728210449","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":"Q4601852$BAC3C5ED-D1B4-4833-88A3-39AB34B2790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e97fcd7309ea0d7548d8458650d2ad0bf1b8c17","datavalue":{"value":{"entity-type":"item","numeric-id":2117150,"id":"Q2117150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b6925c991558324ba57694e9ac8957519e237c","datavalue":{"value":{"amount":"+0.8031845092773438","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":"Q4601852$2D85D8B6-A555-4AE6-9CAB-F9F6301F7FE3","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":"5229533d19568a2548a3ddba2d72b312bf2921b0","datavalue":{"value":{"amount":"+0.7908692359924316","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":"Q4601852$C7D5FBDB-5D1B-4A7B-A7FC-30B6F94A5291","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":"b4b6c05a46cae5f0626b39f7d879cdf65a8bf7fd","datavalue":{"value":{"amount":"+0.7883941531181335","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":"Q4601852$EA428D2C-391A-40B0-9351-5FD49A73E050","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":"684e3c2ce91e8bef76f664dcbe9cafc9f23f2b8f","datavalue":{"value":{"amount":"+0.7872728705406189","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":"Q4601852$06FDA95C-67C3-481E-975C-59C19BF7FFCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ideal decompositions for vector addition systems (invited talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ideal_decompositions_for_vector_addition_systems_(invited_talk)"}}}}}