{"entities":{"Q5739894":{"pageid":7769446,"ns":120,"title":"Item:Q5739894","lastrevid":58607199,"modified":"2026-04-05T23:39:06Z","type":"item","id":"Q5739894","labels":{"en":{"language":"en","value":"Weighted pushdown systems with indexed weight domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601112"}},"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":"Q5739894$A3397477-2531-48AD-8A4A-83521B652367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75cbb73cdbdda9fc1425687d5a51c9e45c73c1ca","datavalue":{"value":{"text":"Weighted Pushdown Systems with Indexed Weight Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739894$C6279779-E16B-4174-BECC-4D6DBB4A87D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1415771b21563ccdf3c8eebc7f755c2b808e3257","datavalue":{"value":"1448.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739894$EC41004E-1C0E-49E8-B772-1694D742E18B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abfc15764f059cf257db307cb681916741b50312","datavalue":{"value":"10.2168/LMCS-12(2:9)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739894$B7E67218-4526-4B2C-BBFD-E6A22C0D80BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b65a4dbc5f37e2627023acad8d57bb8d9bb41387","datavalue":{"value":{"entity-type":"item","numeric-id":420835,"id":"Q420835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739894$9F04BA01-FA2D-4292-8C1F-FCC362EA3265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739894$8138E953-466E-4080-9DD2-C2679D965759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa0c76dadf16d518dc4d05a67d37c73c921d6123","datavalue":{"value":{"time":"+2016-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739894$E2F31490-3487-4F8E-8EE7-ED1E85A34CF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a16d6e794ae82a4c27ff58aeb0759be2fcbe5088","datavalue":{"value":"https://arxiv.org/abs/1603.07790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739894$C217FFAA-C8C6-4C6F-AAAC-6B4BE85353DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739894$7DA41C49-7DAB-4EF3-B342-63F8B1D1C383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739894$28D59D46-3296-4518-B6EC-CF0F47E9EE63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d11ec210b93401cbf371c18c5a13081068853251","datavalue":{"value":"6601112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739894$2A10EECA-B9D8-45CC-9239-D4151242BEFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0472569160d89698056e160debeeb3d577e82c6","datavalue":{"value":"pushdown system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739894$B394B66B-4876-464D-A0AF-40BA142B95BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739894$AB68BADE-128E-43E4-AFB5-187AB3CDF719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739894$3EC83003-D7B9-4D56-9D79-036CBC354EE7","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":"Q5739894$016DE1FA-85CA-4FFF-8299-5CDFD48FE7AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549c48de9a311d29416740fcdd06487cb9501b3","datavalue":{"value":{"entity-type":"item","numeric-id":5326328,"id":"Q5326328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4e69fde884fb3d4d791ab326c363bb5b113024","datavalue":{"value":{"amount":"+1.0000009536743164","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":"Q5739894$F1ED61A8-EFD1-4240-9108-CEDC517DE20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf452b51942da2eceb5cfd9792021b681a2196c","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52138306b1c15c4b5f016b85718717060681d39f","datavalue":{"value":{"amount":"+0.8193434476852417","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":"Q5739894$F49A4F5A-8ACD-4649-905A-177F438D49FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b725c81d79ce6597973f2ed8db436ab09913027c","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e6e6bbe4721462e41f840c4cd34c927a9ea94a","datavalue":{"value":{"amount":"+0.813295841217041","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":"Q5739894$708458B1-B0AB-4073-ABB5-C8E4E1331517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471850978f1cf60be8cee589a2caea83231022b9","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc6389f39bba1120e6a5bc82a5939691e505b88","datavalue":{"value":{"amount":"+0.8055586814880371","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":"Q5739894$66E329F4-B4C6-4C08-B144-4FC2725C7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d579af043898e321f9982a42ed10e0de414627d","datavalue":{"value":{"entity-type":"item","numeric-id":2917315,"id":"Q2917315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a76ad5cadbd3dc98063512357e62159fa22201b","datavalue":{"value":{"amount":"+0.7976535558700562","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":"Q5739894$CDF42769-D425-4380-958C-2565A71978F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739894"}}}}}