{"entities":{"Q3584943":{"pageid":5614847,"ns":120,"title":"Item:Q3584943","lastrevid":90331268,"modified":"2026-06-04T19:54:00Z","type":"item","id":"Q3584943","labels":{"en":{"language":"en","value":"On the use of non-deterministic automata for Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776474"}},"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":"Q3584943$E7CA799E-31F6-4DAC-B14B-8D13676E6EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56de7301d8f5d22cca79647ca3e9d10e6493970a","datavalue":{"value":{"text":"On the Use of Non-deterministic Automata for Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584943$69ABB60D-A822-4999-B5C6-8FBF1FC2152F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1709ee2d8e3e8b30e74aa71b041396c2d1bf54ec","datavalue":{"value":"1287.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$CB805147-4F52-4E26-8C72-5C9C80F27E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c697d57244df207f4e7fd135b4426350bc00799","datavalue":{"value":"10.1007/978-3-642-15375-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$E0AE8CF8-BF4F-48E3-A967-F0A2B9780E9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0acc414943beb072c4bab682832f63ecf09ede","datavalue":{"value":{"entity-type":"item","numeric-id":526754,"id":"Q526754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584943$1C5C5D5B-1B48-4B73-8A8B-D214102BA6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584943$0C10DE98-6B0F-45E2-9985-9E9509A40108","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584943$2EA3CC72-0351-4997-8569-5EEEEA771EF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584943$9ED5633B-6E0A-4474-8144-1FB8B8EBAABE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$5AB91BBB-8FBD-46E2-95EB-37049610D11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$E2467D16-01BC-4B90-A684-2AB3FA59F473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$51212A92-E720-4A96-B73A-C7EB8E8FDFF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c6c57be6d095f5dc7e8198bf6ab96ec272aedcc","datavalue":{"value":"5776474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$306A21BD-9C84-45A7-A537-E2092825C60E","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":"Q3584943$ECB78500-F93C-4ED5-BB02-7BAD1127B0F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94b94787ef7f2c5ea1df818e5c1d5cc5950d1eb5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584943$97C23262-3F22-4E45-B41E-3E019DDD8FA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"598dd11612f3239036f3b0a2fc2cdcbab7173624","datavalue":{"value":"W1562206651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584943$8D2D4016-994A-4717-BD49-2C403187A82C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c686021091d1df97f6cbb25fc41704099d764ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277800,"id":"Q5277800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832a3e36c09febd0c03095a5a026cb1b2aa72eb6","datavalue":{"value":{"amount":"+0.8425769209861755","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":"Q3584943$64A65EFE-EB08-4573-9D27-21749871A785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3862a28893d39da92d9fb6a089884e0c6abe3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2ab4af087a118196a225fed36101be8c7a7fcf","datavalue":{"value":{"amount":"+0.7770546674728394","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":"Q3584943$2CA92F2D-DF70-40AF-BCE6-FAE5EC6B8296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75cbba724c23b279a0bd9d2b90970bdc98e8c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e426432c15524190d54458060e4ffe0868f587","datavalue":{"value":{"amount":"+0.7717071771621704","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":"Q3584943$BC0FBC0F-4014-48E0-87AE-63C05387BDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35061c49fe86768ac6809375def1e460496b858","datavalue":{"value":{"entity-type":"item","numeric-id":4427903,"id":"Q4427903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6841260c98cbd48889ebc573d4a266b60b279049","datavalue":{"value":{"amount":"+0.7660016417503357","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":"Q3584943$7E86F3EB-CEBF-43BA-B3EA-613AF7C565C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad403f7889f525e8935c134075c7fc4c86ae3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52eaca06485a363a5a6ee43ad3e61cb7886c96d","datavalue":{"value":{"amount":"+0.7660015821456909","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":"Q3584943$B00E0189-BB82-4DD3-AB92-7A681714F2F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the use of non-deterministic automata for Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_use_of_non-deterministic_automata_for_Presburger_arithmetic"}}}}}