{"entities":{"Q3113701":{"pageid":3124417,"ns":120,"title":"Item:Q3113701","lastrevid":80193239,"modified":"2026-05-06T15:38:21Z","type":"item","id":"Q3113701","labels":{"en":{"language":"en","value":"First-order fragments with successor over infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999560"}},"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":"Q3113701$FD17DB2C-DE3E-4FFC-A31C-CB27D9FA78D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a83bd48c09192f260928de0bf8ba0879fadba76","datavalue":{"value":"1230.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$2E4DAA3B-9694-484A-9823-2CAD839C75B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"500cef7c5bc30cddd43f01c178520146d1b9fdec","datavalue":{"value":{"entity-type":"item","numeric-id":3113700,"id":"Q3113700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113701$FFAE0626-3AFF-41C6-9B61-F0A5B57C6BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113701$A3A09F68-B03B-44B8-8168-D48B9DC74E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2954809ea06b7f78fbff3c169a06bc6c6991bd87","datavalue":{"value":{"entity-type":"item","numeric-id":2411036,"id":"Q2411036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113701$0A9CAC4D-54D4-4E1A-90CE-E40ECF6B746F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113701$5B07179E-8EE1-4A80-A2F1-3E700C35394B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a12fdb2ff292d6c157ef5356f1a4311a32645968","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_392f.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113701$4668ED45-26D8-4BB3-8712-DBA9F97D2B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$2BF0E6A7-F8BA-4147-881B-FCD2C2BF092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$F509EDCC-FDE7-41A1-AD6E-A3DE986890F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$20A081A1-686C-4B48-8D8D-17728A83A044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$925854EB-CB02-4039-9872-1815BC6FBEF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3931b679d5960f304c99f73d3ba75608bb40dcde","datavalue":{"value":"5999560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$243247FE-7D4B-481E-849E-0205BC205C73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113701$7A6759AD-0F4B-491D-BBFA-548C5EC63385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113701$029CA209-4C87-4267-A1C8-E1687BF5394B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113701$D8773400-A5E1-4F5A-884B-150C8C535CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113701$97F442EB-8E61-4A6F-851D-9B3CD5FB9157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49def52e3c3fb9d9aabad08dcbfb26c45031e77e","datavalue":{"value":"semi-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113701$53D4A7E3-BEC9-48AE-BCDF-8C774F934B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113701$AC3F0413-69FB-42D2-8F9D-F5E62E0DFD40","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":"Q3113701$BF597E35-153D-41A0-A072-5F3C0CCB3B7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00eed322865a72c115613a27c8967e6c3ee7d72b","datavalue":{"value":"10.4230/LIPICS.STACS.2011.356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113701$8D427B3B-CF34-417A-B0A4-1550BDF029BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7819c1f74fb116dda109c58fad5976683464d246","datavalue":{"value":{"entity-type":"item","numeric-id":537914,"id":"Q537914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0b66b30285dfe2a55c825f44c589af869b25ad","datavalue":{"value":{"amount":"+0.8935340046882629","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":"Q3113701$B0058018-F7A9-49F7-9EDC-E1F38A81DA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019713e76c9805c8c6ad7b22e37fda19be25ed8e","datavalue":{"value":{"entity-type":"item","numeric-id":5389988,"id":"Q5389988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842898330fc23f77fa565dcdc3f7d519bd11f49d","datavalue":{"value":{"amount":"+0.8871878385543823","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":"Q3113701$58C62CD0-8822-4ECA-BDFC-777C3D2A2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc8e971da9c6442ab704da327a12c86627b88bd","datavalue":{"value":{"entity-type":"item","numeric-id":5740188,"id":"Q5740188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e478299a43fceb284af71b1929ac76fdc395d6a3","datavalue":{"value":{"amount":"+0.831357479095459","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":"Q3113701$353567BA-A874-44B4-8726-E2023E9E5971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c099c5665d37ea658f11e48cc07d1262577fcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1635804,"id":"Q1635804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a980afea7dc9609f2f8bbcad341d8ac8581863e","datavalue":{"value":{"amount":"+0.830241858959198","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":"Q3113701$B2CBF1BC-2784-41EC-A1D5-71F3220E6035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f1e80561796aacdf05eb84b2b38b9507bd5a03","datavalue":{"value":{"entity-type":"item","numeric-id":3584889,"id":"Q3584889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f9bb4d9b619a250407e9a10d15cc47fa81e1d9","datavalue":{"value":{"amount":"+0.8016610741615295","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":"Q3113701$5F1D6A60-9F34-40A3-8E56-BD1D069D1415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order fragments with successor over infinite words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_fragments_with_successor_over_infinite_words"}}}}}