{"entities":{"Q6095191":{"pageid":13229498,"ns":120,"title":"Item:Q6095191","lastrevid":55481143,"modified":"2026-02-17T17:23:38Z","type":"item","id":"Q6095191","labels":{"en":{"language":"en","value":"On interpretations of Presburger arithmetic in B\u00fcchi arithmetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7735225"}},"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":"Q6095191$DEADF28F-98A3-462E-A1E8-33ADF4E523E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ca180ddb43624f25b907c3f8309c070d3ff7db","datavalue":{"value":{"text":"On interpretations of Presburger arithmetic in B\u00fcchi arithmetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6095191$574ABBDB-AF28-4AFA-8261-5477A1F3E5EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"188ae23598ec50303566d5b8c65bd96c1f66b781","datavalue":{"value":{"entity-type":"item","numeric-id":6095190,"id":"Q6095190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$6681B7A9-DDD5-4C60-A83A-CEDC042D9176","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$70FE1F42-715B-4149-8925-0B61A67A184A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01b11c9d4800996e8623922e5c34ea9a50befc7a","datavalue":{"value":{"time":"+2023-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6095191$E91AFFC1-D08C-4F7F-969B-B803EC1564C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095191$F751D5B4-A342-4860-A050-5C6886783779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095191$5A7ED690-0A6D-4BE8-B093-AB7186946AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095191$A6E45306-A13A-4723-A86B-98CAD8081AB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7954daf5ee651dc4cc0876218f74dfbd185472ee","datavalue":{"value":"7735225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095191$1AF84349-E032-444B-90CC-2EA7172A84D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f1f0dd5040a75d9b563da563062d6799194ab8","datavalue":{"value":"formal arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095191$8CE55010-271D-46EF-B24D-E72FED401591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095191$7A438AE3-EC11-4036-A2CF-E63B2F3A1D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095191$53077932-D83C-46A5-B5AF-ABFA7DAE1B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c717576aaa3cec8adef38f59e79ed28275a2cd8","datavalue":{"value":"automatic abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095191$34D2E6B0-F4B8-4DAD-A314-F1DF1BE49B7B","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":"Q6095191$4E46FA6D-DDEF-4474-9A4A-2F5E66E57B3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edbb8dba24115418effc80e9c61264d3073e2257","datavalue":{"value":"https://doi.org/10.1134/s1064562423700655","type":"string"},"datatype":"url"},"type":"statement","id":"Q6095191$047C14C6-1CA8-49B0-A4FB-F010BCCDD269","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fad64c67eccb89b76925b96fe86adbc9570e4513","datavalue":{"value":"W4386288123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095191$745F7ECB-DEEF-42F1-9304-7F95B0AE4EA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$705A4208-C384-4C59-9EB3-896014D225BE","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":"Q6095191$B4754F38-E522-4E0E-8048-288088864391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827935aacc814cb13869c597193eebf4d3a12a0d","datavalue":{"value":{"entity-type":"item","numeric-id":5569462,"id":"Q5569462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$6AE01F69-2BA4-494C-8600-263A11CA23FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40abffd6136ffb8776dbb4de177836663c87927","datavalue":{"value":{"entity-type":"item","numeric-id":1259594,"id":"Q1259594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$06FB922B-AA17-4A28-9B25-7A740164A763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715af0347a3460ff07d77ef67cbab3f5a209f05d","datavalue":{"value":{"entity-type":"item","numeric-id":5140331,"id":"Q5140331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$B278E9A6-9D09-402E-BC38-7BE4F7EFF3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$FABC4961-7186-47B2-82B6-ED9CBB2E2155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c842e44990ea4595c19803f61150421c79941d","datavalue":{"value":{"entity-type":"item","numeric-id":3110897,"id":"Q3110897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095191$F370BAE3-85B7-44C2-93F8-2A7453A88580","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad9c94bc4540dc6f8ca0b69f376cc7e647154ce5","datavalue":{"value":"10.1134/S1064562423700655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095191$C9B672C5-3821-4773-AEB9-D352A880EEF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec1ec5eabd3dc171b27675082360f56aa3c41bc","datavalue":{"value":{"entity-type":"item","numeric-id":1709716,"id":"Q1709716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57eb549dc9c14ccb7d41fff22e1a2f58c0c9c05c","datavalue":{"value":{"amount":"+0.8031420707702637","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":"Q6095191$42A53D29-691D-4F49-A576-1610E902B920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673796c914d1871d053f4a9afa0b2bc05a857faf","datavalue":{"value":{"entity-type":"item","numeric-id":5140331,"id":"Q5140331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660fd99aaedca610d4a4d09ed9ff1be03f9ea323","datavalue":{"value":{"amount":"+0.8004098534584045","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":"Q6095191$2E55A3E0-C686-42FF-A285-7CD12A93B676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767920e7c1ebf99fb5c14ecaf23eedc0b29aadf1","datavalue":{"value":{"entity-type":"item","numeric-id":3837737,"id":"Q3837737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ef669b8924d9e2c2ccbec3f2f46d02516ee155","datavalue":{"value":{"amount":"+0.7869015336036682","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":"Q6095191$A606E126-B973-4026-BDF2-AF1641A284FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88223fcb08cd58139114ab7ab0ced24744be9c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919534,"id":"Q1919534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d601e7c07438979c9af237091c0c49f8b1b19fa5","datavalue":{"value":{"amount":"+0.7473618984222412","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":"Q6095191$9B29CBC3-76D4-438C-B58E-5BA9FA114EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee651930349f6477a2672f43a6604a584a88953","datavalue":{"value":{"entity-type":"item","numeric-id":1202930,"id":"Q1202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802d1a59fdf8ce00c4c5a8b736ed671013f2e016","datavalue":{"value":{"amount":"+0.732568621635437","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":"Q6095191$B42B66CD-721E-416D-B0BB-4838797AA1E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6095191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6095191"}}}}}