{"entities":{"Q5387658":{"pageid":7417232,"ns":120,"title":"Item:Q5387658","lastrevid":55938673,"modified":"2026-02-21T08:07:32Z","type":"item","id":"Q5387658","labels":{"en":{"language":"en","value":"Karp-Miller trees for a branching extension of VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279356"}},"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":"Q5387658$17A53E1D-7C21-420D-9FD8-AF420991155F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e8e36ebe8e0637359bc732107548ca51f238f0e","datavalue":{"value":"1152.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387658$0DA8A643-493F-401E-9E6C-4BF33817CC57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e19b9844a7dd66a028eac52049aa31d9f05c37","datavalue":{"value":{"entity-type":"item","numeric-id":2373698,"id":"Q2373698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387658$69143E22-FD60-4B37-A3F6-F3BC5253B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387658$E122ACA7-BD89-4CB3-9FB2-4C35E687A130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387658$94507A9F-7A49-4B2F-9FEC-3479F5B9B255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2362f033c141a2f5b0b7b09a9a25a4782fe19ea","datavalue":{"value":"https://eudml.org/doc/129486","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387658$73BB01DB-3FE3-44A3-A057-F368FFFED00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"94367ea19e3922889d59fb5d310d6f93f33bbb11","datavalue":{"value":"https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/issue/view/53/showToc.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387658$272C5887-F6E6-4DA3-8BAD-800ABCC27E8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387658$5E1C9326-441A-48CE-92D7-15395086E529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387658$718481DE-A76A-4238-B72E-3CD255722B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387658$55DDD80D-7FD0-474C-AE20-841CC46D4912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8bdf37e278f54a979efbdad936ef0933650cd66","datavalue":{"value":"5279356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387658$B8BD56C9-533B-4B8C-84E0-F971C83304B5","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":"Q5387658$EC563BB8-ED25-44D5-AF76-E72BCECE5F0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fceb760bd873ca0c8655624f25144adc4837583","datavalue":{"value":{"entity-type":"item","numeric-id":4598246,"id":"Q4598246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc543d203483f3644a3f1997617e2537391eb522","datavalue":{"value":{"amount":"+0.7943424582481384","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":"Q5387658$FAF67801-AB78-4A6C-A695-00A61835A17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac27645422a8acc420ed8cd18c060bfe5f12fcdf","datavalue":{"value":{"entity-type":"item","numeric-id":2988645,"id":"Q2988645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28be2444d85f5555952bd1e41fa900863139d4cd","datavalue":{"value":{"amount":"+0.7764753103256226","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":"Q5387658$2A272BFD-E4EB-4177-B9F5-B65BF67F5753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5df446d8fb93a32e63b540a3296245c388048a","datavalue":{"value":{"entity-type":"item","numeric-id":2988368,"id":"Q2988368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65e63b57e8a561e596c6a5f1bf33bcfb67490a4","datavalue":{"value":{"amount":"+0.7372854948043823","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":"Q5387658$FB46ABD6-E5C2-4A7B-BC50-E599E9C3212D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387658"}}}}}