{"entities":{"Q4527928":{"pageid":6557520,"ns":120,"title":"Item:Q4527928","lastrevid":41263328,"modified":"2025-04-26T05:34:14Z","type":"item","id":"Q4527928","labels":{"en":{"language":"en","value":"On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558189"}},"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":"Q4527928$D26C402B-7924-41A8-8C33-38F71C77B0FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"264dbf2c32be202d9b8a1107934c31aed7eda013","datavalue":{"value":{"text":"On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4527928$E16AF17A-4175-470D-A0F5-E8B8ACEE3B44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa779306360ae5ddd8ec1c6b38eee05029ee9cd","datavalue":{"value":"0971.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$1ADBB17E-BE13-4A78-8409-EE68D677DDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"109edbb0032c57456702e4293a0633143d3a0676","datavalue":{"value":"10.2307/2586704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$DAE389B4-8925-4243-9DF1-FD737B440A64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af421165656b3caad5dddf37027ce32af21714c7","datavalue":{"value":{"entity-type":"item","numeric-id":251979,"id":"Q251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527928$BECBEF8E-BF2D-4249-ADC9-0CE302E6C87A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527928$57E9B350-690E-4DA2-8B53-F3CEF32E9A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"807acfe2abaa92e89310133eb1e395950faeb629","datavalue":{"value":{"time":"+2001-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":"Q4527928$5AC8C9BE-2936-471A-A311-BFE543004B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$98206DBC-C7C2-4A7F-819A-4E3AD110FD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$A93BCA09-02EF-4579-AFD5-2F31A24C2C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$8D869FBD-4D32-461F-9C9F-592F3AFC661A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49aaadf1dd29404cd75c44e0126fd788a7d9a67","datavalue":{"value":"1558189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$27344898-9B26-4F29-A1A6-4E619FFD48DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527928$76D91BFC-70B5-4F6F-98C2-2B3B83B0A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d92c5fba68c66fa3275319d56e4f61e33295276","datavalue":{"value":"sparse predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527928$CF6B02A1-27E6-4B66-839C-11A32D08516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837cc900ab8d2f99c37f8c48c35dc5a6861505b3","datavalue":{"value":"extensions of Presburger arithmetic with a unary predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527928$E735A8FA-DFB3-4C0B-AB2E-D1AEBF2DFB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527928$02CF9F85-D024-4E96-BC30-A0B13567A0BD","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":"Q4527928$F5D64AB2-3B87-47D3-B710-B3E0D12D3CED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5fc2d34d539934c7938cba88d9de237d358e1db","datavalue":{"value":"https://doi.org/10.2307/2586704","type":"string"},"datatype":"url"},"type":"statement","id":"Q4527928$82193A63-0DDD-48F7-9CE5-F2656E357782","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75eb20eb20042af85c9900fc0a8c4b956a717908","datavalue":{"value":"W2076326799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527928$D8536BA9-C734-482F-A4CB-E5632AFAE1E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a4becb10e26532e7027b9cd185843738385eab","datavalue":{"value":{"entity-type":"item","numeric-id":4508549,"id":"Q4508549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2851a36c5c021d309631113647ca1fcb64ed6e","datavalue":{"value":{"amount":"+0.9089477","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":"Q4527928$1F0BBCE1-3A93-48BE-ACE5-03673949A797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4b4295caf884c112dbad7abad8d95641060e87","datavalue":{"value":{"entity-type":"item","numeric-id":3772178,"id":"Q3772178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2851a36c5c021d309631113647ca1fcb64ed6e","datavalue":{"value":{"amount":"+0.9089477","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":"Q4527928$01DD5F0A-DFCB-48F2-BFC2-6AA7BC3675C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60916d3f0c053df611e1a7f88b4cac97033629c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508546,"id":"Q4508546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf697a054755da700551692c7a481a84241ecb1","datavalue":{"value":{"amount":"+0.90395856","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":"Q4527928$ADB70FFE-9A6B-46F0-85BB-C2AE6A745617","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":"39f602a2ab11219e6c2a107bedae1374904e1b18","datavalue":{"value":{"amount":"+0.8913194","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":"Q4527928$DDE62318-47BF-4A0D-9D45-7BEBAF39D938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895d0a34485f7c59d3dd731256e902af4a779986","datavalue":{"value":{"entity-type":"item","numeric-id":6135772,"id":"Q6135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87baf65bafa30bfb41c49baa1201d525db1fe70d","datavalue":{"value":{"amount":"+0.8903","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":"Q4527928$C5C3FCC1-D783-494B-99B2-AB03B0F91FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d28c5f3b76fdd89b36a6f3cf0888011f80429e5","datavalue":{"value":{"entity-type":"item","numeric-id":4281682,"id":"Q4281682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dcca4080faff03dd04a6cffe00f460ad1bf33d","datavalue":{"value":{"amount":"+0.8802194","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":"Q4527928$9D28B7C5-65F9-4E18-8C69-A77FC2A338A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a458a78b291662760e20e64a2caf05dcb9f054","datavalue":{"value":{"entity-type":"item","numeric-id":1071748,"id":"Q1071748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefd2db92013f2f19d75289cba8ffa236ff5708a","datavalue":{"value":{"amount":"+0.8730568","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":"Q4527928$A6BEB844-EF5F-4DD5-B1B1-4A2BA52D124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1775e0259d7ce77ecf480e1cbfee93b62f9c842b","datavalue":{"value":{"entity-type":"item","numeric-id":2332068,"id":"Q2332068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a98bdb9b2b23b63930399d77fa0a3f073664135","datavalue":{"value":{"amount":"+0.87218505","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":"Q4527928$0E18F79F-DE0E-4A3D-9CD7-6C2E98D9E8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f00d73b4fd68dca0e841d7e70140d77d34e8fb","datavalue":{"value":{"entity-type":"item","numeric-id":6095191,"id":"Q6095191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dc56f6d6c5fb613db001d8385e432a7a6c87dd","datavalue":{"value":{"amount":"+0.8683064","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":"Q4527928$896F8053-51B8-4A7E-A44F-E0DC5CB2371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d780ee978922a4e1d6202424050017701e3863","datavalue":{"value":{"entity-type":"item","numeric-id":3835447,"id":"Q3835447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7aba59b8dc5a1affc28f771b3b19e2f1c914e66","datavalue":{"value":{"amount":"+0.85763264","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":"Q4527928$47FD8BCF-6498-47BD-A67D-96F1D6387A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4527928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4527928"}}}}}