{"entities":{"Q2988842":{"pageid":2999566,"ns":120,"title":"Item:Q2988842","lastrevid":58088457,"modified":"2026-04-03T18:25:20Z","type":"item","id":"Q2988842","labels":{"en":{"language":"en","value":"B\u00fcchi automata recognizing sets of reals definable in first-order logic with addition and order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721536"}},"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":"Q2988842$A5E31E0D-F85D-41BD-8D94-D6E9C4A13DC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0603984fc01282d8de9d9ae3c6c01a4f4372c0e9","datavalue":{"value":{"text":"B\u00fcchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988842$979DC84C-E95D-42CF-86B7-BE6B3ADE010D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d8bf6f56956dc3744f67381dc25cde10bf7cd5","datavalue":{"value":"1485.03143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988842$CCD5C99C-F2C0-4DBE-9A45-DCDE6AB17492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2b1daad11e67d5dc2873cf91a78f4095d323edd","datavalue":{"value":"10.1007/978-3-319-55911-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988842$EBB71F36-D3CD-4FB6-AD7A-E0BED51B7337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afedfce075464657e7b86536005d5e58f39dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2988841,"id":"Q2988841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$20B10D05-758B-476A-8226-B790ACE79476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$CB9E2E54-B71D-45F2-8A48-F72712DB5047","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988842$CAC4E1B2-7B65-4F23-BF26-364AC80E8D0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e87fdbcaf8c0869d0408c6c2b459b0f0cef759a","datavalue":{"value":"https://arxiv.org/abs/1610.06027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988842$360A26A1-ADD1-4FDF-BD11-03A337562D30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988842$FA727BB7-A289-4FD5-9905-92744FA99D2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da52c04a9e27573d3eb4e756339444cbe2c3859","datavalue":{"value":"6721536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988842$7F3555EF-57CC-4E42-9FAD-1284ABC7FC37","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":"Q2988842$77545B9F-B696-4E5E-B66D-ED04DB6ECD9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afb0bbde8dd0538658fcde465748cb24c6d6844f","datavalue":{"value":"W2538999547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988842$E0C0AF83-C760-4EDA-91D1-27A05DE5CD5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3596ef09c5385239a6dd6a522e1288efdd25f","datavalue":{"value":{"entity-type":"item","numeric-id":5428861,"id":"Q5428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$C27BD79E-6C34-464E-89A7-79A08FE2EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326465e0e07e166eb25ae11ccb7a569fd154cd38","datavalue":{"value":{"entity-type":"item","numeric-id":5190326,"id":"Q5190326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$6511EE76-1566-4282-BD28-9B3CDA16C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc666be159d7ddf23db0910d445384cf00015275","datavalue":{"value":{"entity-type":"item","numeric-id":5191120,"id":"Q5191120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$B5EBD8A5-7E4E-4087-8129-9D67F4B0809F","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":"Q2988842$DEF1ED46-2163-4661-B4D4-AD66C27DDEB6","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":"Q2988842$7A83657C-9C53-47C1-9CB4-D2097369CAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$0289C9BE-F846-4021-A3F8-AEBF92184827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f6aa5a7dbb8eced91175201c5b61a84466f7ef","datavalue":{"value":{"entity-type":"item","numeric-id":3259107,"id":"Q3259107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$ED11691A-D81A-4486-A757-A58606386AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8565eb12b826a4cb9b9fe22fea6c64db38fc438","datavalue":{"value":{"entity-type":"item","numeric-id":3780465,"id":"Q3780465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$B55B4892-E44E-43A5-A7BA-8FF3299E0815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4270bf29f2e733caa8551e872502f32461e1c62a","datavalue":{"value":{"entity-type":"item","numeric-id":2893309,"id":"Q2893309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$1C4A1343-8B74-42CC-B65C-FFF1DC81BE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$0ACBCE09-ED4E-4329-BB59-5995A0607114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd882401c8763a3d8d59e302785207f71400a643","datavalue":{"value":{"entity-type":"item","numeric-id":5300854,"id":"Q5300854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$76F165A4-59EF-47D0-96C0-09E7AC38FB10","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":"Q2988842$A93E0B6F-1355-49A6-9208-76BDD34763AF","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":"Q2988842$D2FC5B8E-6E71-4A17-8F44-FB0F7B387010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988842$68EA8F5B-CC43-4650-B159-C79BE083AE70","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":"Q2988842$E9A3D59F-0F83-4BF9-84D2-AE6E9F868CD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82150998bb96a1c10c1758eecb012e2d3e7ff31","datavalue":{"value":{"entity-type":"item","numeric-id":4219027,"id":"Q4219027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7f302b3413eb52eed6ed3885fbb54c33df8975","datavalue":{"value":{"amount":"+0.770680844783783","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":"Q2988842$251ACFCB-83B6-4FE0-9FB4-196B8D3D3FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fff1afd5ebda19fe7121306ec8a4ffdb6ea8b84","datavalue":{"value":{"entity-type":"item","numeric-id":5428861,"id":"Q5428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7f302b3413eb52eed6ed3885fbb54c33df8975","datavalue":{"value":{"amount":"+0.770680844783783","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":"Q2988842$8E920BFC-A252-41B8-9C48-A808B61473C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1744f305cac838bb118edb4b957b5ed0254665c","datavalue":{"value":{"entity-type":"item","numeric-id":3519495,"id":"Q3519495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d840d46236ebc23e59a163c29900ceece059675b","datavalue":{"value":{"amount":"+0.766201913356781","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":"Q2988842$4198487D-AE2F-49A7-8D62-95C0C3C1140B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af56315fb0679b851f2b868bbe0abfba8daeff5a","datavalue":{"value":{"entity-type":"item","numeric-id":4613547,"id":"Q4613547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed4d4a27c6d5d369d85e077fc4d1c0082abf0ad","datavalue":{"value":{"amount":"+0.7637999057769775","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":"Q2988842$1A137BEB-7883-43FF-A74D-2087B9839E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca96ab6052cae0def355dd6f425c3332cde0e30","datavalue":{"value":{"entity-type":"item","numeric-id":5190326,"id":"Q5190326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea0af396e20fa2e5d6dcd4e62158da1f5b002dc","datavalue":{"value":{"amount":"+0.7552821040153503","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":"Q2988842$2B4282BF-DFE7-408B-A955-0FF6F7CDDA58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988842"}}}}}