{"entities":{"Q2988645":{"pageid":2999369,"ns":120,"title":"Item:Q2988645","lastrevid":55938676,"modified":"2026-02-21T08:07:35Z","type":"item","id":"Q2988645","labels":{"en":{"language":"en","value":"ML and extended branching VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721326"}},"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":"Q2988645$ED0C458D-3299-4F75-9D5B-E3206AC84005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03e1f535f020381149aeae08aee207595d44b3e0","datavalue":{"value":{"text":"ML and Extended Branching VASS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988645$0B3A7BDF-9C6B-4AD8-88A3-6BF6711B50E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee4482da07c0a9e61752d841d94ee709495d2e1e","datavalue":{"value":"1485.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$50B9E720-9F2E-4D32-AA7A-2748A7285B37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0a3b1644a178972ca676c32df92beb0aea018f0","datavalue":{"value":"10.1007/978-3-662-54434-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$3D765649-A67D-4AC1-88F9-8497103526DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$8E99F66D-5DEA-42A3-B40C-71610D641D5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988645$2DB3F69F-4DC1-4D8E-A312-33F5A4C79764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65867a9b56dc1b6098c74228ed5f4b6cc70aac4f","datavalue":{"value":"http://wrap.warwick.ac.uk/86366/7/WRAP-ML-extended-branching-VASS-2017-Murawski-2017.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988645$95339CDC-6742-46B8-AFC7-29F1650BD75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$B7AE6D97-5198-48F9-84AE-83CC017614BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$29FC8553-D734-4AF2-BA03-27C823DCC82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$A6485576-B396-4BE1-BECE-B0C89EC1956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$DD0D0BC9-7480-4057-B001-7B771C308DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$3EBFA94F-95E7-4EDA-8DCA-600F5FA2A6AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfd96e760f2e11fc5c980b643aee1ecbe3583c80","datavalue":{"value":"6721326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$A8EF1A23-7E73-4326-B448-871B019F6630","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":"Q2988645$D37A1DC8-B9AC-4F4D-A0C0-D2D6D61FDECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18483134da79a494075142205bd8aa30fd110dcc","datavalue":{"value":"W2595608646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988645$28CA72F3-AAF9-4283-9B42-CA898717D003","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$F9C40C74-9676-46C5-A1E7-E5682C44AE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$66BE659A-75D3-4449-9468-C3FC656948AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$AD155CEA-AD9F-41F5-B8B5-1469348F6EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9607fa2e8936896b847c2dc05d86aec0f2ce39","datavalue":{"value":{"entity-type":"item","numeric-id":1235983,"id":"Q1235983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$A2C48FFF-C8F7-4025-840B-CF26F6142802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b37763aceb872db4878ff2a9664273e3d2ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":5444950,"id":"Q5444950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$EFE2E46E-A8BA-45CE-B33D-5227E1157935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99b6b8d77e20e3628ebd7f7a63c4bcb3523ccff","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$E83930C5-EE7F-4AC0-9C58-347E941E9963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2e793eae4f726f40748f10aa19999dad92902a","datavalue":{"value":{"entity-type":"item","numeric-id":2949443,"id":"Q2949443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$7E3A275D-4F0F-496F-B119-1727196F2E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65ac6b955c4894e08f171f611564a80426123fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799172,"id":"Q2799172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$B2F381A2-F48D-4B73-A430-E3CB2462B9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$E837218A-69B3-42AC-8556-17971AF67000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a0435b20bb30af3d74c5a5847b341f3432a5bd","datavalue":{"value":{"entity-type":"item","numeric-id":3012916,"id":"Q3012916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$86D8B43E-9620-4554-9EC8-C6D632F6FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$A4F02C02-A6EC-4F9D-87E2-DE4B522B0154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73063c970b0e685254c2fc6a25c84910cd005a","datavalue":{"value":{"entity-type":"item","numeric-id":2804201,"id":"Q2804201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$5DC631C7-8541-47A9-8012-D404435AF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102aa14a70b65709602226321e9df35c65e2f9e6","datavalue":{"value":{"entity-type":"item","numeric-id":2811338,"id":"Q2811338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$ED7116D8-69AA-4F50-8769-01085640DE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc340352b2684097bd113c10d2abffefaca30754","datavalue":{"value":{"entity-type":"item","numeric-id":557802,"id":"Q557802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$FEF2C3FF-0E03-410E-AA69-B094FAEA8D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4f4844a0a47622670efa8447716336e8b1d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5716839,"id":"Q5716839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$A6BD7230-B870-41FC-B71C-97FDA1512491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec58d7460336dcec04c676b252e563ada4537c4","datavalue":{"value":{"entity-type":"item","numeric-id":3460582,"id":"Q3460582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$FC571703-FEC5-4BFA-B698-3EE0C93D9598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d481a89e756cde75dd4a6b340d69be4e2e1c309","datavalue":{"value":{"entity-type":"item","numeric-id":3617719,"id":"Q3617719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$8C2D2407-0E5B-4209-B231-064B85A78D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$B5F24955-B111-4020-8C01-786576A0F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91698937c8ec8c4f897856bb1697994fb1e8409","datavalue":{"value":{"entity-type":"item","numeric-id":3167021,"id":"Q3167021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$9CDFEBBF-1019-4E1E-B936-FF5A28BFFA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988645$4153C6AC-A037-4806-AA66-0A1EC3415F47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207f75e607772028861cf0424dfe29cbf4d00421","datavalue":{"value":{"entity-type":"item","numeric-id":5387658,"id":"Q5387658"},"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":"Q2988645$66212A6B-0E81-47FD-AEAF-9E9817B60C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc333a14ffd8ba808df566ce09cc4e2530e96dd","datavalue":{"value":{"entity-type":"item","numeric-id":2949443,"id":"Q2949443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6423e96d2b7cedb3a0129eff646e2564bbb553a","datavalue":{"value":{"amount":"+0.7509005665779114","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":"Q2988645$9FEE7B8C-CF7F-47D1-B000-92902FC4FFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02d2f1883db90a43db5642498fbe0eeea24423c","datavalue":{"value":{"entity-type":"item","numeric-id":3012916,"id":"Q3012916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f9c48b1ba5ac464bccbd18916409acda58b59","datavalue":{"value":{"amount":"+0.7493152022361755","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":"Q2988645$82607857-5EAA-419A-A093-0FC57E5A9E3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988645"}}}}}