{"entities":{"Q2378536":{"pageid":2389279,"ns":120,"title":"Item:Q2378536","lastrevid":43984806,"modified":"2025-11-18T18:31:25Z","type":"item","id":"Q2378536","labels":{"en":{"language":"en","value":"Structural Presburger digit vector automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5486600"}},"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":"Q2378536$9142A2E1-E6F9-4A64-B96A-338214E89449","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8224c87e5e6736a304d1eeaf379746cd987b36e1","datavalue":{"value":{"text":"Structural Presburger digit vector automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2378536$9A092580-73F2-4C8E-B9B8-9F46D9E3A3D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9929b8927a5736b8a70f635fcab0e549b721b47","datavalue":{"value":"1155.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378536$7495C522-5FE0-4B1E-A571-E6456BDF7237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$9D435E5D-E8FB-45D0-9395-D6BFE67CFBF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$A779D075-6338-43BD-AAD0-6411B0BE69B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8da84e52611296314a748e124a67b8ac0215f268","datavalue":{"value":{"time":"+2009-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2378536$B76F5EB0-03A5-46FC-9ADE-753C85FE0C20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378536$8E8CFC8D-B29F-4824-B09F-9FA1BED35835","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3766e943657cd036bac5beee45655ce4d9a9d0f7","datavalue":{"value":"5486600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378536$D8F40654-D474-4677-ACC3-567705919E0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378536$2E22B63D-49E6-4E85-89F1-9639E43E57E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378536$58BF0021-BA06-4AA1-A1AB-333C01F833DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$CBBD1118-CD56-4CBA-8124-0B0CA6F3988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$AC6D823A-F58B-4FF4-BC3E-3CC1273AF0EC","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":"Q2378536$17B8E057-ED77-42BD-95CE-9FCAAD0C87FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ce0d176318b1e6dc006354495057603fdc46878","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.09.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2378536$4FBC87B6-77A0-4F06-8F08-580586BCFE9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d21b3f670f909166cb6c7678fb186715d5a63f10","datavalue":{"value":"W2011015421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378536$7B02DBBE-B0CD-4E1B-B01C-912D698214D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb145b17348782fbea3fde4246483c95f1407ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5696928,"id":"Q5696928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$780EB7F3-8D35-4554-B3DD-F34D48886B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b9d36021c6b195ef6d0b9445728c419bea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5312910,"id":"Q5312910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$7FCDABAD-311C-4B02-AA6A-D2F042D6EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51787ebb8f2f656495faac1b54743656ef36ab4","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$66538665-DAC6-4C58-855F-C417238E7B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$FC1F3233-D605-489F-94B8-350B004F3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ab67df5bf4a30c1aeaed62a7d23252ef7c137a","datavalue":{"value":{"entity-type":"item","numeric-id":4427903,"id":"Q4427903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$C092FA17-78E3-4A91-9060-A5E145D25A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$1DB8184E-49ED-4837-AEB4-D136D1F07AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b9abf330dda49b8d7d0e25a087f2609a834d6","datavalue":{"value":{"entity-type":"item","numeric-id":5277800,"id":"Q5277800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$7DBC109B-6666-4CE4-88C0-46421ADA4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee59101d586340cf7fd43f9470d95939a93e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2847416,"id":"Q2847416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$8C30BBA9-A33B-457D-B42F-6BF467E92AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959e2afa67601876bfe76104ac93d0fc71b5f323","datavalue":{"value":{"entity-type":"item","numeric-id":1401169,"id":"Q1401169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$F725E49F-8473-4A85-AF68-E98DCCAD43D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffedd0783e404a9886f63e24289e5cccf7b96c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$9731206F-E69A-49CF-9F5C-4605577B718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c2a20598003049952d3358bc03d221f8c30dee","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$486D606D-A39A-4508-822D-7B104ED80EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9186c43f00b4492998359ac231cdd0c3d891a2b1","datavalue":{"value":{"entity-type":"item","numeric-id":4518891,"id":"Q4518891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378536$CEFAFDEF-9B07-4B42-8C30-6EDA152C59E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"243f1973b25791d8cb689436149879a058d410d0","datavalue":{"value":"10.1016/J.TCS.2008.09.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378536$F6176D34-44EB-47A4-8EA3-5B7DC29EE76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c4816e27913bac7f3c46eb1c604e98e62c4e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3675523,"id":"Q3675523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f252a2a09c840baaddd9537c10522b5d7221a390","datavalue":{"value":{"amount":"+0.8882624","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":"Q2378536$A273BB7E-A4D2-4E0E-BC65-9B0D05FE1E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aed6907d0a463600be4813574a960033c94edf","datavalue":{"value":{"entity-type":"item","numeric-id":3783577,"id":"Q3783577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c79619d047319059ad74287dab173a3d0d59ba","datavalue":{"value":{"amount":"+0.8828642","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":"Q2378536$1A2F16AC-FD50-405B-9014-C7CFED8ACE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71aa7a3965352b88e20b0b0ebe83810d0b442df","datavalue":{"value":{"entity-type":"item","numeric-id":418779,"id":"Q418779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2e938ba11ae3e07f4113443598ed0a6bcfe7f6","datavalue":{"value":{"amount":"+0.84856564","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":"Q2378536$0CE90980-3929-4716-9D14-6A8DBA24A4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdfff60be24dba22ae6200c06541abddc8c3f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4830910,"id":"Q4830910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bef1a67434a4808179d4911026ab94ff474e9f9","datavalue":{"value":{"amount":"+0.8472892","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":"Q2378536$C0FB28AD-4E43-4F17-B4EF-0B7DC6B1D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf62a770bdc21408c1714d8b13f6739f7d8e185f","datavalue":{"value":{"entity-type":"item","numeric-id":5565126,"id":"Q5565126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa936d64fe45e75c82e2ba4e2e809381719711a","datavalue":{"value":{"amount":"+0.84702384","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":"Q2378536$034FF54C-0BFE-4C2D-99B4-E91A3A11FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62607322530f5294b42c96ce38f9d3f7c6bd3413","datavalue":{"value":{"entity-type":"item","numeric-id":5757231,"id":"Q5757231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d595c0081b4f5f6f792b2b81ad5e891e486df6d5","datavalue":{"value":{"amount":"+0.84567547","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":"Q2378536$939D2FF0-A15E-4E45-AACF-EC57BF8229C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869b164d2077ad619d90d5585f05ad9e299f80b8","datavalue":{"value":{"entity-type":"item","numeric-id":3117005,"id":"Q3117005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bf3566270a4550f1af47e62be62bc3599b7fc8","datavalue":{"value":{"amount":"+0.84491646","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":"Q2378536$F274A419-2B33-4FD5-99EF-48663840CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f085506d354d6ccfb1266f06ace7919e5fa81fa","datavalue":{"value":{"entity-type":"item","numeric-id":3117006,"id":"Q3117006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bf3566270a4550f1af47e62be62bc3599b7fc8","datavalue":{"value":{"amount":"+0.84491646","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":"Q2378536$1962402E-AE68-4FFF-9F93-E9779ED1F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc3afae3b541db37a532c0b6b844402689c29b","datavalue":{"value":{"entity-type":"item","numeric-id":2898048,"id":"Q2898048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2420bfb534f772b2e0717c6e34bc35af97573641","datavalue":{"value":{"amount":"+0.8405874","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":"Q2378536$B17E6C0A-113D-49D4-B456-45566BFBCA08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2378536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2378536"}}}}}