{"entities":{"Q5145687":{"pageid":7175258,"ns":120,"title":"Item:Q5145687","lastrevid":94497809,"modified":"2026-06-05T06:58:21Z","type":"item","id":"Q5145687","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 7299519"}},"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":"Q5145687$9B2A40BD-EAD8-4E9B-A680-FF5D33BF824C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73ea40b1787250534d9c667dd944c58e19b800b7","datavalue":{"value":{"text":"Register Automata with Extrema Constraints, and an Application to Two-Variable Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145687$B1AF240A-4C99-4532-8BDF-4A074B2D93AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"556a694ae9076b7b411ba6fb5966e68f2d45ac43","datavalue":{"value":"10.1145/3373718.3394748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145687$F965DD12-D533-444F-9678-5BD5867D0208","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":"Q5145687$B69BD372-0BD4-4D73-A933-42F4CA0F5E0D","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":"Q5145687$42904A37-55FE-4D80-8A81-08258DAA908A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145687$93306B28-3206-49E4-9A87-665EABDA7542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145687$32D7A244-0817-4104-A4C8-3EB781A0DB45","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":"Q5145687$C088E02B-734A-4B32-8D08-CE749E537EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145687$6FB47A69-CD07-4B8C-8828-2396BD67A025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5530641a34759c034e7bf8d8de7943cdc19d4762","datavalue":{"value":"7299519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145687$9BBEF151-094F-48A9-83A1-576CA1AE0EF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145687$305773E0-DEBA-428E-9148-ABDF4B8FAD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145687$4CC444F0-1163-410D-9399-CCBB24C5C4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145687$45AF7A97-41B3-47D0-848E-E544F1DEBC9F","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":"Q5145687$2FF9EC95-1A0A-4DB9-9460-F05CD21EBB57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5529a1c052dafd6a468694d355459a3ec789e5e2","datavalue":{"value":"W3030301544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145687$43AF022C-BEC9-4FBC-B7EF-9F0FB794E1F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acdbe7f153a5f384f29f2cf9f587b960cfb0e42c","datavalue":{"value":"Q130828965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145687$24FE1CA7-FFC7-48C7-BCC7-BBA0B78A33A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91417597007b274944b4e720e2d70c63eab031ff","datavalue":{"value":{"entity-type":"item","numeric-id":5094127,"id":"Q5094127"},"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":"Q5145687$E0F7AA3C-9BBF-42B5-B630-FCA677A07E10","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":"f0cba2b18425783942be823458be55ba7a0277da","datavalue":{"value":{"amount":"+0.7736915946006775","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":"Q5145687$9BFD16FC-DA1A-4886-9199-C5C9D354960C","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":"52c6c3400a0c9a5d8248975db8b87ded181abfdd","datavalue":{"value":{"amount":"+0.7715357542037964","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":"Q5145687$CD75D238-A03D-4543-A496-4A47881A0379","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":"6c1b2f856d846d222e5c1239cbc08acbdf1bda5b","datavalue":{"value":{"amount":"+0.7705749273300171","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":"Q5145687$59646C33-5330-4C4A-A87F-1055347D322F","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":"fdebb7cd8652f62efad7d533469eb4312bc6efae","datavalue":{"value":{"amount":"+0.770384669303894","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":"Q5145687$E83F8870-C9BE-4615-893B-A2A00649F325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Register Automata with Extrema Constraints, and an Application to Two-Variable Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Register_Automata_with_Extrema_Constraints,_and_an_Application_to_Two-Variable_Logic"}}}}}