{"entities":{"Q6649458":{"pageid":14260615,"ns":120,"title":"Item:Q6649458","lastrevid":40613202,"modified":"2025-03-12T13:38:39Z","type":"item","id":"Q6649458","labels":{"en":{"language":"en","value":"Ramsey quantifiers over automatic structures: complexity and applications to verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954843"}},"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":"Q6649458$B0CA25FE-104D-415B-98A5-F3BB9D2AC397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f924a998c7c10cb1bd47c5c44d590e62183c018","datavalue":{"value":{"text":"Ramsey quantifiers over automatic structures: complexity and applications to verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649458$782066E8-B199-4FC9-A0ED-50BEDC7D5F75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c904c66218fabcfbecb18c724a46197d1dbdba7c","datavalue":{"value":"10.1145/3531130.3533346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649458$58C93F09-CD83-49D3-AADA-66C1D21FE10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"229ea1ab42b7ed2cd5c689ed3bdd86d7544a1d40","datavalue":{"value":{"entity-type":"item","numeric-id":6358355,"id":"Q6358355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$AC25F605-A0C9-4CB3-8920-DA88AC6A50E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2526676e7f7329cc9635203c2b68a2a96851cbde","datavalue":{"value":{"entity-type":"item","numeric-id":1647671,"id":"Q1647671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$6F9417EE-EAE4-40B5-BA13-B06069BB517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$E88F2F35-B2B9-4588-920D-0EF1C9DD4AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$E6EC201B-90A7-4F09-BBC6-3B9ACC626F5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649458$735F20F7-EE69-4C34-A268-036BF780109B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649458$9B759778-D5C8-439D-AC29-EE893C3C29A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649458$7048E4AE-32D9-41B0-BC91-A5F70394ED4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"534e0125d543c6ce3871658eaa34c522b053ae73","datavalue":{"value":"7954843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649458$19F50147-03C9-4667-AD05-7960D55ED417","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f8337d152566964549c325c328131571de2b77","datavalue":{"value":"Ramsey quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649458$F5ED5926-18D3-4BFA-A1B6-5129639B2C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649458$3A7550DD-2C4E-4933-B3F3-761E1B1274A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f538284c1463f7b98f3d01e2fdfe050bf14c3a","datavalue":{"value":"monadic decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649458$8986AD7A-A2E9-42A6-9334-8EA36721A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667c1a7d3172c65069b133fd906dc0d64d8c4a40","datavalue":{"value":"recurrent reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649458$942C3513-31B6-4869-A607-ED3A676AE52C","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":"Q6649458$E42242C6-8E35-4398-94DA-F4CA0D65A20B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d77dbdc203369b5b58da54f9364dfa0f285eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4804925,"id":"Q4804925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$7683DC87-21AC-4E01-8F6C-2669303F8270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$E0BEAED6-E49E-43C0-A4FF-E5E0A4955E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e99a1cc7f19efac8a5d65fddea12c6b62869c8","datavalue":{"value":{"entity-type":"item","numeric-id":5091265,"id":"Q5091265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$A9FAA7EE-FE2E-4A2E-BE7E-B8A2672DE4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e2f28c5e39cfecc9d8cb690766cf09c1b2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1764419,"id":"Q1764419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$89339519-312A-4ABD-87FE-8020D645C3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d5cf70a48035360a36b0e2ec3e2127a7c762e5","datavalue":{"value":{"entity-type":"item","numeric-id":3431438,"id":"Q3431438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$36C1CAF7-F881-4B81-AE83-D8C33C48722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$E2316434-4674-40BF-8C5B-FA2D476CCC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd2a0d8a515c98dad0059656a3069d40a16ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3546299,"id":"Q3546299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$6A7BF32D-867E-4B97-B97C-5B1455C6C213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddac2cb0cab9a9a11856f9a2de1033720694bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5145615,"id":"Q5145615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$0D7634D4-A1CC-48B6-9667-414BF5F3685A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114716af6e4b8197d129f9e3b7cee88d15a91d12","datavalue":{"value":{"entity-type":"item","numeric-id":527330,"id":"Q527330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$B3875817-EF9D-49FB-864A-84528B26D8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$CFAA4A67-9414-4A32-98D6-5E8B2A798331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00144166505ec73118ba0d5af030c37d1ab9357e","datavalue":{"value":{"entity-type":"item","numeric-id":3113778,"id":"Q3113778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$6D2E1C14-1D83-441F-9129-F296E15896B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639e71e006b5e4125c5cba2ae7a1073e2e4dda6","datavalue":{"value":{"entity-type":"item","numeric-id":3570167,"id":"Q3570167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$1E691B19-21C9-48B0-8DB0-50E4A3BAABD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$EB6566EE-20FE-4CD6-93F7-4D8D4B6F1892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74de65d8e169b0db2f691b3ba687cba3bf90ac25","datavalue":{"value":{"entity-type":"item","numeric-id":5267438,"id":"Q5267438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$1C07B5B5-4759-4F36-9665-17A1E15F2439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610aae95183384a106db247ebacea87082ad9f54","datavalue":{"value":{"entity-type":"item","numeric-id":5716799,"id":"Q5716799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$D57E0466-A4CD-41F7-B7C5-829A3DC22827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f747be2193fb76dd60bd48e8e00d30201b003f8a","datavalue":{"value":{"entity-type":"item","numeric-id":2957509,"id":"Q2957509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$8DCC0AEE-7A11-4D2D-8AD8-26CAE952C28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ea81024e18bcbfdb88ca5f78f3a7addc2e14ed","datavalue":{"value":{"entity-type":"item","numeric-id":2432538,"id":"Q2432538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$0BB0CDEB-24AF-4A99-9EA8-B43D2AE43739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b347e9b882bfda4eecca970d345003285280cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3525557,"id":"Q3525557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$CD62C61C-CE19-4112-B3D8-B5236D769EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062d055a1996c9e50d363c99c7a527fabfacd6eb","datavalue":{"value":{"entity-type":"item","numeric-id":5377226,"id":"Q5377226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$9FD2CE81-5496-44BD-8900-4CDEB81CE757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$ABEDD246-4FBA-4A4B-B320-F15FDF36DD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$802FED62-577E-4BAB-AE23-3CD3D7691133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b26e20a31d304a65db33daf659790af170272d","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$62991A8F-F028-4AB5-8061-F44D337C7C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$56FDDEF8-9ADB-4309-A547-BD6664B73F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597cab6a01e7e515c86bb670e6c1b95d0011eb31","datavalue":{"value":{"entity-type":"item","numeric-id":5537615,"id":"Q5537615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$EC9F3959-281D-4EF0-8DC4-B51AA6C87987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cf7e72951928e1c389d5eac1b54b2b28008ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5505554,"id":"Q5505554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$9C88272D-5E0A-46E1-826C-01BED81348E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9155dda6c0e9e97592adb650ed7a80509cbb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3557854,"id":"Q3557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$A6ED8237-62C5-4B99-8D5F-EBC21EAAD362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6e6ab585a855fab7a27153f29da3cfb8f1e7c9","datavalue":{"value":{"entity-type":"item","numeric-id":4045649,"id":"Q4045649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$19368D9A-30C3-4A69-8291-EE0131DFF5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1be1343acc1e18378a260b5ef537373326f17c","datavalue":{"value":{"entity-type":"item","numeric-id":4364523,"id":"Q4364523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$66A2E364-5066-4BD0-B962-356CB82A570C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e228385446612792a4d90d8ee96321896ab29de","datavalue":{"value":{"entity-type":"item","numeric-id":4640286,"id":"Q4640286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649458$C6D2FD55-F493-46A9-BFBC-B1CC0F9BB655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6649458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6649458"}}}}}