{"entities":{"Q4786328":{"pageid":6815908,"ns":120,"title":"Item:Q4786328","lastrevid":74626155,"modified":"2026-04-14T23:39:10Z","type":"item","id":"Q4786328","labels":{"en":{"language":"en","value":"DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845173"}},"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":"Q4786328$57D8CC54-41BB-40FE-AC4E-8983CA79452A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99e6fb2486646a986bed1ff81399b185159b59dd","datavalue":{"value":{"text":"DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4786328$45EE204C-7F79-47DC-AA73-9BCBD3636413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f2d4825130c58000b9051c77ca299efe8e71702","datavalue":{"value":"1007.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$C99C5FEA-6B86-41DD-A62B-14C3F1400E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"735d4a9fbf49af655132874b9cc5c03685b475dc","datavalue":{"value":"10.1142/S0218196702000845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$C150655B-59A7-4400-99A9-2844D2A67C6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d09bfc325e139ec71aad77822c04fab70aefa08","datavalue":{"value":{"entity-type":"item","numeric-id":808717,"id":"Q808717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$1B5E32FD-17D1-42B8-A189-BECF0809DFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2af4451a61462b00e91fe6cdf2a5ede63f30d8","datavalue":{"value":{"entity-type":"item","numeric-id":4253338,"id":"Q4253338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$F899CC69-AEE1-487C-BB96-F118D58DAEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae1461c46b35ae73a84f400db289a4c52cc8231","datavalue":{"value":{"entity-type":"item","numeric-id":1328758,"id":"Q1328758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$D24BB114-DACA-47FC-93A0-FF5A078B2F33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$BBF000FC-78B9-41FB-97F7-3DDFC7F075F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4786328$CEB75DB8-AA17-41AF-A4A5-9B1EB8065E01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$F48287C1-07C1-4322-85F9-CB6720FE63E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$19846155-24F4-4234-8C1F-4BBE2043C429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19a0f69ac6c5fd9901516f376b04459924c1d698","datavalue":{"value":"1845173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$03507B57-7F9B-4859-BA05-E4CA8D6C1E81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1a111f95495c1d6893df96ee72d4a529240282","datavalue":{"value":"finance automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4786328$26FEFE03-0601-4418-B04D-72F373EFE0A3","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":"Q4786328$B9107521-E79F-428E-B217-138E2BCFEED1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8cd72ce7d2b54641bfbd0ce2a46bb135cb8497","datavalue":{"value":{"entity-type":"item","numeric-id":1194313,"id":"Q1194313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$F44BADDB-F440-4DF4-985C-401D1C48E330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45c55685aeb3eee476841187e535c18086c49af","datavalue":{"value":{"entity-type":"item","numeric-id":1050772,"id":"Q1050772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$ED96A985-F104-4BF3-9FAE-EA7576B82582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81175c00e72f9b59073a1a05834cb48effe32a1","datavalue":{"value":{"entity-type":"item","numeric-id":1052828,"id":"Q1052828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$4B30BB80-42DD-4F17-860F-594C3D9E49A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e771f9d0ae93390472a77d30eacf2cd3712d708","datavalue":{"value":{"entity-type":"item","numeric-id":1118420,"id":"Q1118420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$4F188800-1168-4D35-921B-9CE953C4CC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145d67ed40f28533ab20d0feccc160785b5e671b","datavalue":{"value":{"entity-type":"item","numeric-id":1183589,"id":"Q1183589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$F3872F5B-4EA4-45A5-9471-0A1DF290FFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f4d37d53db2925f92864a11c01a61286cd723c","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786328$B056ABDC-4384-4F22-BC8D-0A41EA8FF40F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f407cdc4ed8390e18de087d1cbfa516c2cad5a1e","datavalue":{"value":"https://doi.org/10.1142/s0218196702000845","type":"string"},"datatype":"url"},"type":"statement","id":"Q4786328$9B4B06A2-A507-4CE5-A100-565E1CED5262","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f19394f05c1a3d3169fb01d0b11c35f305800cd","datavalue":{"value":"W2002014927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$0B4973E2-0C24-4954-B2E8-6BA563FADD2B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"07c198117270d55bab80ba7f1b1e71543230b73a","datavalue":{"value":"Q129445339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786328$0ED9D1F4-5305-41E7-988B-22D651F5536C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3107c659e2820d8c2d42dcb66f475d82d3f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":2830202,"id":"Q2830202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24db836360a95552c2496bd58ff534abc0ac3d18","datavalue":{"value":{"amount":"+0.8457031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$54E1375F-C685-485C-A539-26BCC22FA46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b1f4564f6130db5715f6bd6b4b13fae5b92cf8","datavalue":{"value":{"amount":"+0.8417001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$36886CE9-37CE-436C-A54B-8EA2DBEC2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73aeb1303050fe89e4dce484f2d08d4af9f61744","datavalue":{"value":{"entity-type":"item","numeric-id":4328851,"id":"Q4328851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ac3fc3fb63dfcd9c060946b1bcf9def4d2d16a","datavalue":{"value":{"amount":"+0.83767575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$CF66C02F-154C-4D18-A0F1-27CDA641E968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65489716e6f8ec946fafa3f3e7721d6df5431244","datavalue":{"value":{"entity-type":"item","numeric-id":5327452,"id":"Q5327452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d7c4e68279f501fb4fc8f67f4956394018c385","datavalue":{"value":{"amount":"+0.8345884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$A57AE31C-5516-4C3B-9A2E-7ED9EF38D0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1427e147a9e4af8442da3f51c3e5f33ee2290f90","datavalue":{"value":{"entity-type":"item","numeric-id":4271221,"id":"Q4271221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0dd71ad72861010c8617b3f3726f527c639dd2b","datavalue":{"value":{"amount":"+0.83456326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$4A4CB8C2-B5AF-49A8-86D8-D58DD0661D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2524686a9df1c6a455865ed7c310fc9e1139e34","datavalue":{"value":{"entity-type":"item","numeric-id":1177168,"id":"Q1177168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347315f0c658783e6d47f61bf6ace0a7d3b92cd1","datavalue":{"value":{"amount":"+0.8332449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$7C4AAD3D-9568-4A6B-96E9-5B6E5C43EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e16842ea26054f1b8322c70685f565dab04eb03","datavalue":{"value":{"entity-type":"item","numeric-id":4727438,"id":"Q4727438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347315f0c658783e6d47f61bf6ace0a7d3b92cd1","datavalue":{"value":{"amount":"+0.8332449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$0D205FDC-262C-4693-986F-E6CDD8354FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d87cdfd11f0eabca02afe81bb5a18c3cc1d117d","datavalue":{"value":{"entity-type":"item","numeric-id":5096180,"id":"Q5096180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e6e8b36386ed369549d6ee090e0885f8e1ae0c","datavalue":{"value":{"amount":"+0.8331035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$EDAC13FC-B64C-4D54-AF4A-EC2EA5FD7AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caf0e5ebc5d3d72bd55beb148c254b4ba13c614b","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e6e8b36386ed369549d6ee090e0885f8e1ae0c","datavalue":{"value":{"amount":"+0.8331035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$94FABD0C-7375-45E5-A084-577498D6E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cced41bebe14e09689eb11a321c3b7673857f49","datavalue":{"value":{"entity-type":"item","numeric-id":1183702,"id":"Q1183702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2c35248ce38164e9ca3cd1a618f211a8c36978","datavalue":{"value":{"amount":"+0.83278334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786328$9E3B59D1-E47E-4913-8CE6-16A8247174BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DECIDABILITY_OF_THE_EQUIVALENCE_PROBLEM_FOR_FINITELY_AMBIGUOUS_FINANCE_AUTOMATA"}}}}}