{"entities":{"Q5094127":{"pageid":7123703,"ns":120,"title":"Item:Q5094127","lastrevid":100199468,"modified":"2026-06-05T21:36:02Z","type":"item","id":"Q5094127","labels":{"en":{"language":"en","value":"Register automata with extrema constraints, and an application to two-variable logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566055"}},"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":"Q5094127$6E1816BF-2200-4695-92EE-1AF5BBE5052A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8895ab41da7ca8777b6718ea89096c669323e0","datavalue":{"value":{"entity-type":"item","numeric-id":286117,"id":"Q286117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$ADA64040-2299-4603-87FC-BAD3D403C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f50344d6d2402c082431ec7cf80747ef3aecdea4","datavalue":{"value":{"entity-type":"item","numeric-id":509760,"id":"Q509760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$1F1A0057-06B5-4092-BE6E-F8FD8C89694D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad9afbe138412ffaaaf6109d22a748c988081a7b","datavalue":{"value":{"time":"+2022-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094127$20B8830B-A0F3-40AD-9E77-E404CF23FC84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e0d7998bc73430a60bbe1bfcd43c620622e01cd","datavalue":{"value":"https://arxiv.org/abs/2101.03866","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094127$A576D9DD-F4CA-41BF-BF33-DCD8F18D78D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf91f9dccbf723b8991f5b4b8a42d332d3f17f4","datavalue":{"value":"https://lmcs.episciences.org/9246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094127$1E39C4D6-B031-48B2-980B-3D33245C8215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094127$F54EE39D-DC8A-4C2E-A836-2751521CE73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094127$1D96AD4C-DD6E-4E50-AA2D-AF07BB0B9F50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5d8cb4aee35b985eacae1b99c229a338fb335b","datavalue":{"value":"7566055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094127$AD6DDE8E-7635-4EDC-8ABD-73498F33AE6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094127$8C898BA7-B8DE-42D8-9468-6F22236DDEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094127$E44A27F7-FDFB-47EF-8C4B-A84733FBDB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094127$1FEF9F7E-8424-408D-AC5A-5C0004AEF5C9","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":"Q5094127$1E781240-F5DC-404B-BB44-70231B36FE57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa16ff3648f97d5a80ca8505b4c8cd5694c9d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3086920,"id":"Q3086920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$C502C3A7-B64D-4B8A-94A7-F7C68A20C796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$DAE743BC-7AC0-4B1E-B6CC-F57FD66948DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$4D2B3346-ADD5-40EC-BC9D-ADDA66E9179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c51b20bdef3a6f42c46d54eda38643c92eb5638","datavalue":{"value":{"entity-type":"item","numeric-id":3637210,"id":"Q3637210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$BBC4AEB9-33B0-4666-9E84-8B05D1C0FF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f908550a46ad5c511e1f5757d4dbf2c397a011","datavalue":{"value":{"entity-type":"item","numeric-id":5271042,"id":"Q5271042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$E3FA46CF-9803-4743-ABB4-E2B4B0BBCB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0ffc14973c72f76157718e5fa89df9842e1f11","datavalue":{"value":{"entity-type":"item","numeric-id":5145302,"id":"Q5145302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$BF6FDE1F-B43E-437E-888D-E73FDCC0CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$98469C1C-88D3-45D0-870B-3038C78A88A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$8B7DCA14-A99E-4FC3-8980-8B9EA18EF869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$1F353F6B-9C34-476E-80C2-4500FD5C3EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0aa3cc6d908de396816ae89daeb85ed6bd7b61c","datavalue":{"value":{"entity-type":"item","numeric-id":2915693,"id":"Q2915693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$17B7D54B-9E68-411F-A98A-6470063DD8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$6A33219B-96B5-4A1B-AF6F-36D4932D9D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfcad307325bd18e290d029b653422ef60e5d02d","datavalue":{"value":{"entity-type":"item","numeric-id":4608732,"id":"Q4608732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$C009FBEC-2374-4925-A2B3-20F836456CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$3D858C7D-18D8-46C0-8E16-917D01E81EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$FBD41BF2-14BD-4ADA-9C88-D439CBD40798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$48DB8212-1967-4B34-B6FF-B216DD367BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$E731646C-FD63-4956-A525-22B5A52291BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcfb68fba027cacb9b0860a53badbc1e10d06ac","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$DCC13BC4-A57B-4E95-B753-E0E2522B463F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$9F4C5933-EDDA-4965-9C63-317A390C2144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31027ebb96e6a1422d884ed7ac4dcd261c73757a","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$24D2D1EB-5FC4-40C0-A36E-E44388EBFAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ce6d264faa09e22681634e5ec150f5fd9731fe","datavalue":{"value":{"entity-type":"item","numeric-id":5145687,"id":"Q5145687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$2A7BA12F-B604-413F-AD90-BC98294865AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f000ee8955356867a062bc284551aec5175e1811","datavalue":{"value":{"entity-type":"item","numeric-id":4635945,"id":"Q4635945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094127$2B5EFE9A-B06F-4D16-A189-81A044B0A5EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79178ae34945f7c2ae9b21efca298d988e63c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5145687,"id":"Q5145687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5c1a0d79a802c415eb4453092483c6a0d7349b","datavalue":{"value":{"amount":"+1.0000011920928955","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":"Q5094127$364039F4-EEA9-4664-A5BE-37FE2E9039AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14097db2bc5208d2448fcb32a13e0c8a86663dca","datavalue":{"value":{"entity-type":"item","numeric-id":6160751,"id":"Q6160751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1537803174ea33f5b0c96364a04f44d1d31e0e6c","datavalue":{"value":{"amount":"+0.7736917734146118","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":"Q5094127$0963E87A-A4F7-4A26-B290-CD6B5505047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34aa167f11676c4834906c4c1d9499e727483f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cea936b0d84ad69cbf787d42e261d333016da6a","datavalue":{"value":{"amount":"+0.7715359926223755","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":"Q5094127$9A8B2D76-5034-4911-8319-86425BF772C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5cb3c862bbc5733dc405243ce70156faad1af9","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3963d7088db2dd9a4861538f6ceaab7639b3f70","datavalue":{"value":{"amount":"+0.7705751657485962","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":"Q5094127$D35A31A9-872E-4BCD-B49B-F3027AD381EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0204b868bbd8b6798edf95391f9a77b6a6270eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6bae5ce52c199d910e4f1823ecd80c72fe9ef8","datavalue":{"value":{"amount":"+0.7703853249549866","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":"Q5094127$92F48621-A63F-4289-9642-BD38E18D6043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Register automata with extrema constraints, and an application to two-variable logic","badges":[]}}}}}