{"entities":{"Q6629458":{"pageid":14240610,"ns":120,"title":"Item:Q6629458","lastrevid":57269097,"modified":"2026-03-27T18:26:11Z","type":"item","id":"Q6629458","labels":{"en":{"language":"en","value":"Determinization of integral discounted-sum automata is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7935686"}},"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":"Q6629458$A49B20D8-CDEA-4D88-9AF7-2450B0D073F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58bdf6b6ba9266292ec75cc926734d32a2aad6ad","datavalue":{"value":{"text":"Determinization of integral discounted-sum automata is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6629458$AB12F0C5-C7B2-4B64-8CB6-A85DAAD55ACA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fac7062ea3db14440f1d3c528345c6a872acf0f","datavalue":{"value":"10.1007/978-3-031-57228-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629458$1CD18A66-4F1E-41AB-965F-D5207D5A1C0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72c2897604ebcff4918a7f3620c211271fb0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1622946,"id":"Q1622946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$5BE846A8-7077-41AA-9A03-63EA344E7188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14ba822bd8d5e3b8fb61a5a38f797d3b3cc702c","datavalue":{"value":{"entity-type":"item","numeric-id":6351345,"id":"Q6351345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$797E7592-F0C7-46FE-902B-559F4D2D22C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6629458$912C8C51-4824-4F57-AB64-79DDC4932ABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629458$ED824348-6E5D-4376-9553-1DE1182D89BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629458$3561B468-9747-48C9-92E0-4E920917841C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e9fd6d002d377581b1b52ae5b857eec8ed67faf","datavalue":{"value":"7935686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629458$19B44AA3-231E-4088-99D2-CA7C8CC5325D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad8384e0ba0d0891413a946982a020a6640590d","datavalue":{"value":"discounted sum automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629458$C1E3695B-8D1E-4D41-AEE1-C221CC2459EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629458$8B39CF41-748F-4487-A39D-6C64E6B71587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c8dcada85e1a5fa2478f4fd8b6ca1b78e4d444","datavalue":{"value":"quantitative automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629458$85C4B524-BE45-4A2E-BD96-391EABF4AE6E","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":"Q6629458$45572884-B9AD-4AAB-A7D7-62BB1B892352","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$E0913C09-3FCD-491F-98F8-0D265BB0CBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c312ad7c43a286b7041df7e61aefac8d459dc0b","datavalue":{"value":{"entity-type":"item","numeric-id":6587125,"id":"Q6587125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$E2EF0837-BCCD-44D0-97A8-06AC3C85DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be2158e044bd557861a27d724554ce1d92dae9f","datavalue":{"value":{"entity-type":"item","numeric-id":6091205,"id":"Q6091205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$E49AFE72-3A9D-4673-A29B-3FDBB4E43B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8454ac237e78d3d376dde3f57b1ff4a34dbc48ab","datavalue":{"value":{"entity-type":"item","numeric-id":2915675,"id":"Q2915675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$751C53CD-AF28-4723-9BC5-CFCF7B07A25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35d09845461d95fc964547aa94b0e6fb4fe2708","datavalue":{"value":{"entity-type":"item","numeric-id":5404475,"id":"Q5404475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$FD842D03-2EB7-4ABD-A3C0-76578C8B095C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da84ddaf032a38f5adc5bf7fa289dadafa1f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4635852,"id":"Q4635852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$C390D897-D00F-4BCA-A2DC-D767F1E47B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7003b088ce03328b5fc791f6e28b783b0ed4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2289068,"id":"Q2289068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$158495B6-6E3B-41A7-812C-D4EBD6563593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c63ab49a5246244eaa117383a255140b2e447","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$2F3ABB96-4F7C-412D-AF43-F8976C832301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1535fbd612b62589d9a390ea6cba86277672b","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$491D552F-1B7D-4972-9F1B-CBE85FF23DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b45ba6e1560796d7ef00178aa936e1d03010356","datavalue":{"value":{"entity-type":"item","numeric-id":2870130,"id":"Q2870130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$1C62D373-FF76-499A-B706-DADD16293BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b5f6a812551a19aafa5350df09b6baeeae700f","datavalue":{"value":{"entity-type":"item","numeric-id":860889,"id":"Q860889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$397C80C7-DAC5-495B-9038-8FB93336503A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8150553f3627f280e8819a24b4c214d757f6eaa2","datavalue":{"value":{"entity-type":"item","numeric-id":5144642,"id":"Q5144642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$569A0B9C-ACBE-4C5C-908C-E3EDCF17BCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153e31c9763bf1e2375f10fd126fd76cdbdacbbf","datavalue":{"value":{"entity-type":"item","numeric-id":3526417,"id":"Q3526417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$AB93DC05-2A09-4382-BF70-6703C0EB700A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cbb10ffe153d7fa2e77517348ddc90cc5aa704","datavalue":{"value":{"entity-type":"item","numeric-id":2930309,"id":"Q2930309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$DAFBD087-00EC-4AC3-83D6-153339668F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$49639635-76CF-40E7-A387-91B47FEAC997","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629458$B7A53E9E-F349-4E2B-A37D-E2071267C2C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6629458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6629458"}}}}}