{"entities":{"Q2219089":{"pageid":2229832,"ns":120,"title":"Item:Q2219089","lastrevid":57799257,"modified":"2026-04-02T14:13:18Z","type":"item","id":"Q2219089","labels":{"en":{"language":"en","value":"First-order concatenation theory with bounded quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297799"}},"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":"Q2219089$415878CE-D581-4A73-BE33-7B41970E4A62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ab66ece42fe78655c924d5e48eacc1a7a32b11e","datavalue":{"value":{"text":"First-order concatenation theory with bounded quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219089$31B3B272-E62A-47C1-8896-3ABBEB0F500F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ec516df3567f55fec01f4d24c4c768eaca70030","datavalue":{"value":"1498.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$29AA10E4-CD5A-43DF-BD2B-251B1F7533B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0d13e4b2542710912219f7d7417306d0cfcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":207724,"id":"Q207724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$1CA0BFFC-FC55-443A-A88E-AD11CFD54332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16466407456df756994462b4c78d369bafa179d7","datavalue":{"value":{"entity-type":"item","numeric-id":1670747,"id":"Q1670747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$F1D33B15-78C7-4FA4-9505-4D4A8A2E3AD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$3DA0C705-089C-43EE-A33D-15AE1DDA0A5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-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":"Q2219089$56CF1791-50A1-4B2D-B442-908F9A24FB9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bb150b7fad79f5d27b41ade6a2bbb809729ad38","datavalue":{"value":"https://arxiv.org/abs/2003.04964","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219089$56023F88-979B-4502-BA02-22B1AB9DE095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$BA393922-FF4C-4A11-841E-DB963EE21532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$C89E2210-BBBF-4034-8BEE-1FFB9B02373B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$A0DD5C8B-0A66-4BB5-9CD1-42461DE63C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5df5c155abb2811e378ed257e48164fade93bb3","datavalue":{"value":"7297799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$665CB9DC-37D5-4BFE-9D1B-99329D16C4AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deae53202891f6726d8b8f6b942a3b7be3697dc7","datavalue":{"value":"weak first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219089$3CA88288-4425-4D8F-B15F-54ABAACB14F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2edad11c5dbba4a3e19d8e8fd1ad6efb51f84bc","datavalue":{"value":"concatenation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219089$275332C3-2018-4821-8A17-1F6D9145219E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29147387eed55a0f3f8fd87c7777123189944d5","datavalue":{"value":"bounded quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219089$AD97A69C-B8B6-422A-92E1-BAC940888EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219089$FF0D596D-5B01-4AE3-AAE1-5B2C606065EB","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":"Q2219089$881358C7-3D21-4342-96D6-B807B87695BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2ae8f01cda1f5a2c4ecdcc1fa9d2878eb3c05e0","datavalue":{"value":"W3028542372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$2837A924-27B5-4FD9-BD48-520410E8E101","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bed9078299d4a78a451bf6329c1297b34b0c471","datavalue":{"value":{"entity-type":"item","numeric-id":3789546,"id":"Q3789546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$54DEFA93-B8B7-4206-BF3B-614794F2B9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089564042dae6c33d77c6e45e2c14e431e068470","datavalue":{"value":{"entity-type":"item","numeric-id":5966796,"id":"Q5966796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$9908A044-E92A-4646-9CAF-D2716A1BCD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d900351da38b5aee7b71b54ebcad9b0a795d46c","datavalue":{"value":{"entity-type":"item","numeric-id":1798903,"id":"Q1798903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$C7DCBA95-3B9B-4199-A2CC-F4C69C744536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e755375246b4ad2899e700490c52ffce35de81e","datavalue":{"value":{"entity-type":"item","numeric-id":1780896,"id":"Q1780896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$5D8D1C69-48EB-49A1-8F7A-584245C83245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a9e59f3e35b1ca6fc3c951b26adbb98ee304c","datavalue":{"value":{"entity-type":"item","numeric-id":3509164,"id":"Q3509164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$EC5AA157-487A-4988-B490-7138BCB8164F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$BD8F1D99-C546-421F-940F-EE193F4FEC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7e382b8d9ba21624462e67ab02e3dfc00b110","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$93EB0A57-6EEC-48E8-8D29-C6E9F66515A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238dba72b93eca4c8e464cff9992f2b2a4274507","datavalue":{"value":{"entity-type":"item","numeric-id":5771775,"id":"Q5771775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$6C355563-2A18-4F17-898C-7ADEC2F0EEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d030a1f9007d756d27c604a17a6c4fb540e18c4b","datavalue":{"value":{"entity-type":"item","numeric-id":481870,"id":"Q481870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$C6ED2532-5C4B-4E8B-8EB1-539B114AF803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2937e5a8ea97b5b996d15c02b79ed823b5a842","datavalue":{"value":{"entity-type":"item","numeric-id":435240,"id":"Q435240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$9EE730C3-5CB8-4AB8-A349-D489EC9CA6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b90ce876afc6f420406572534d02a40f2727fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4406307,"id":"Q4406307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$27EF534D-B673-4349-A76F-AC28D3E19BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297f7500f9779f4a7ac88868e67d69f7bd2c02e8","datavalue":{"value":{"entity-type":"item","numeric-id":1670748,"id":"Q1670748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$B6A9D61D-B22A-49E7-A826-D4F3D2D0763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ddc6a7424635a7f977430176908919f049d041","datavalue":{"value":{"entity-type":"item","numeric-id":5425466,"id":"Q5425466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$7E956099-4746-4ABC-AD85-99DFA4BBF7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$C32C32FE-EE4D-453D-A9C8-B86CBB2BBF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$35901A2A-A1E3-4B2B-88CF-BC42CF6249E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$0BE7E481-6EDE-4501-AD0B-E17045A3B8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$587A45E9-319F-4259-92AF-24569F748B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d8750fdd4e20e56224d645a0abeac85f2863ab","datavalue":{"value":{"entity-type":"item","numeric-id":1038606,"id":"Q1038606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$76704BBB-406F-4116-8D0F-FE834ADE574E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fd7647055319cad40b5953cf3bfe9f87332e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5761282,"id":"Q5761282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$2F4D7BE7-6893-42A9-A947-1266A8894910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5128fb4165811554b88eff7e251961fe23395","datavalue":{"value":{"entity-type":"item","numeric-id":1038605,"id":"Q1038605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$98C3EDBA-E4CA-4AEC-87AC-2145AD884ABF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eeb8f7104f419de54f51d57143cd9af0b2ecf92","datavalue":{"value":"10.1007/S00153-020-00735-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219089$4E77B944-5B72-4187-903D-390C7BBF814F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e17b60fad5d2afad51f3c6f63bbaac077e85d35","datavalue":{"value":{"entity-type":"item","numeric-id":1670748,"id":"Q1670748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8694b3d2254c2a6a0611ed861140b6e758eb5b39","datavalue":{"value":{"amount":"+0.8420572876930237","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":"Q2219089$1FF5F1EA-FF26-4EBE-9DD4-91B402A776A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4636de13c17612fcd685ca7758c144dafb8e52","datavalue":{"value":{"entity-type":"item","numeric-id":2207016,"id":"Q2207016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4eb808f2bc186a26f5e2cdb2af5b8396564b56","datavalue":{"value":{"amount":"+0.7627648115158081","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":"Q2219089$F9A4E980-BCEF-48F2-A365-97B7D285A410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e3ebab1e1aa0f2faa936c902160c5c2f9c303b","datavalue":{"value":{"entity-type":"item","numeric-id":2085573,"id":"Q2085573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c50fb5519211df84af769fccc94aea2fe72635","datavalue":{"value":{"amount":"+0.7341327667236328","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":"Q2219089$299ADDD3-F8BF-4837-86A2-678A6F107540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9bcc6720f5cd8e125ebf820bddd1770a8e42eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1300006,"id":"Q1300006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b5c1b66ef387f535b74d9b90aed239145db3d3","datavalue":{"value":{"amount":"+0.7318422794342041","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":"Q2219089$EFFC1D62-84B5-4EDE-82AF-52F9EF037215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326ff1aee7edf9fb2c009b21cdca0858cfc66157","datavalue":{"value":{"entity-type":"item","numeric-id":4202936,"id":"Q4202936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36c275baec0e8aeafda955bab0e025f3c088a46","datavalue":{"value":{"amount":"+0.7311539649963379","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":"Q2219089$7E7F4DC7-0AF2-44E1-B147-B3B8FA6EFC25","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219089$570F31E4-4405-4A8D-899B-EBA87FB3F87B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219089"}}}}}