{"entities":{"Q1405799":{"pageid":1416539,"ns":120,"title":"Item:Q1405799","lastrevid":67456338,"modified":"2026-04-12T18:02:13Z","type":"item","id":"Q1405799","labels":{"en":{"language":"en","value":"Regular languages defined by generalized first-order formulas with a bounded number of bound variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1971498"}},"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":"Q1405799$62703C48-A6C9-48F9-AD1B-BD23C52213CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21aa44f08406b4a2906e386365200b111666fd75","datavalue":{"value":{"text":"Regular languages defined by generalized first-order formulas with a bounded number of bound variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1405799$5D29A379-D7E0-4408-AFDD-7D85639356B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ae674887114d28b581899d922ec1626658db506","datavalue":{"value":"1039.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405799$7A8A643C-D003-4999-9765-8BC983FB5732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405799$5D707F61-92EC-4364-8CC1-9860B61EB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fda2b843008097467141f2c2de99a1b410da08e","datavalue":{"value":{"entity-type":"item","numeric-id":685707,"id":"Q685707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405799$43229D74-39BC-4622-BFFC-785B3DCC3590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405799$D29617E5-DEE7-4999-A717-C0E844E99FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f656be52db48bce3ee960bd9331251d53f28ca7","datavalue":{"value":{"time":"+2003-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1405799$348D5E09-2EB3-47DD-8D38-833B7478AA4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405799$7DEA19BA-CFE7-4595-84D0-C1F9C1504404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f49a1c4f727ffef263c2049f9140a08015a5f07d","datavalue":{"value":"1971498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405799$86FAACBF-124F-4D49-8452-16944D11CB3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecbdea37adde42ef7f942b3d6ef7b75841234f8","datavalue":{"value":"syntactic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405799$EA56EC26-8DE3-4E9D-8CF1-A2C2BBDB5EF8","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":"Q1405799$57AA55CD-50C8-4B9E-967F-9D05A8654103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b985d4edfd01d53932ea9733ebc8bfbeb084c93d","datavalue":{"value":"https://doi.org/10.1007/s00224-002-1035-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1405799$CA07DABC-FEDD-47A2-91D6-480A379F283B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12dbe2e07773db19ecff2f9965eafee2454f5fb1","datavalue":{"value":"W2904842705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405799$B25BF71D-8774-4C11-B38F-36571435FCE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d31f44f9045132d37b89ab2ddd930ab574aa35d","datavalue":{"value":"10.1007/S00224-002-1035-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405799$CF514573-6E7B-4BA4-A785-8BCC0E07E2B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8150cb679cb4d1c2cea1105c2aef169f33e6891e","datavalue":{"value":{"entity-type":"item","numeric-id":2762532,"id":"Q2762532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q1405799$451E818C-C433-4562-A681-F3392873C3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35940cdbb47603d3e5025482eea0f1739ed7504","datavalue":{"value":{"entity-type":"item","numeric-id":3806849,"id":"Q3806849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966779b5f37312b654e508973a9d7448cefdd78f","datavalue":{"value":{"amount":"+0.92226976","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":"Q1405799$42D0D82D-0C88-4F91-8284-2294735119A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70952de87fc003a3088478622975f92cf7259b28","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966779b5f37312b654e508973a9d7448cefdd78f","datavalue":{"value":{"amount":"+0.92226976","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":"Q1405799$0590FE3A-E3D2-490C-B1B5-DAD40D5D2111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4390f421d16463f3ccdeb445c0eb83f68fa833ab","datavalue":{"value":{"entity-type":"item","numeric-id":3637216,"id":"Q3637216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f5b617dd89d0d8069f67bdda6000d4dbd4dd2c","datavalue":{"value":{"amount":"+0.88199997","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":"Q1405799$74C1CA72-8D60-43E4-B3C0-5D09D311A111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2f38256f70f0f96066d729b26d684711bd19b","datavalue":{"value":{"entity-type":"item","numeric-id":948081,"id":"Q948081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b7851cb94b50e9b7291cb4bb7f275ac304009e","datavalue":{"value":{"amount":"+0.87986267","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":"Q1405799$398F5BF3-D45A-4EEB-9182-D63017DAC1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565121846bdb8ab0c39285c4d4e61e7107bab56c","datavalue":{"value":{"entity-type":"item","numeric-id":800737,"id":"Q800737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b33567c679f59fcb496649673fea4da6c0d5a5","datavalue":{"value":{"amount":"+0.8796691","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":"Q1405799$63D01817-72F6-4432-A9CB-2E0142AF39D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6296d7734b70b0e05dd3a310d785b72cee3950b5","datavalue":{"value":{"entity-type":"item","numeric-id":2344745,"id":"Q2344745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89aca41a2a8661e7ca9630ce15d64932a877c81","datavalue":{"value":{"amount":"+0.8785609","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":"Q1405799$BE4B3A6F-0439-4646-AAE3-900EAE3F3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6860cda04df3ef37c2310838d53db0ae68df2d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5327496,"id":"Q5327496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89aca41a2a8661e7ca9630ce15d64932a877c81","datavalue":{"value":{"amount":"+0.8785609","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":"Q1405799$1EF90EA5-4156-4B65-B95F-B80063CEDBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434dc5f9cb094b14f700942b690b4c529c128bed","datavalue":{"value":{"entity-type":"item","numeric-id":5386211,"id":"Q5386211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263d220fc46b55a01bdc61590bf2acd51040a928","datavalue":{"value":{"amount":"+0.8767905","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":"Q1405799$D75E9707-E14A-4599-AEF0-DEC8CA7875CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242705db016f9a640100b114bfff38908d9db76","datavalue":{"value":{"entity-type":"item","numeric-id":5449824,"id":"Q5449824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263d220fc46b55a01bdc61590bf2acd51040a928","datavalue":{"value":{"amount":"+0.8767905","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":"Q1405799$F1FA1B1F-BC1E-4552-9C40-5E56C892E098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular languages defined by generalized first-order formulas with a bounded number of bound variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_languages_defined_by_generalized_first-order_formulas_with_a_bounded_number_of_bound_variables"}}}}}