{"entities":{"Q584929":{"pageid":586696,"ns":120,"title":"Item:Q584929","lastrevid":42596698,"modified":"2025-07-04T11:56:14Z","type":"item","id":"Q584929","labels":{"en":{"language":"en","value":"The goodness of \\(\\{S,a\\}\\)-EOL forms is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3831309"}},"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":"Q584929$0ED1D3B3-F31B-4292-94D2-B9F3FC50EDE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f63b74f4322e1da68563076aff01e98f08dd89","datavalue":{"value":{"text":"The goodness of \\(\\{S,a\\}\\)-EOL forms is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584929$62C21E46-945E-4C7B-9273-8C041B0C2921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09d08e3cbcea839eacbc19271b8bc1256bc4e8b9","datavalue":{"value":"0524.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584929$D85D79B1-5397-4693-B246-E4E5FAB296D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"945be6ba12a85a065da561532319c437e0baa4e9","datavalue":{"value":"10.1016/0166-218X(83)90082-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584929$8FF203B1-16BD-422A-B6F5-7BD4F03A2746","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$B97FE755-415E-4431-9952-6D5CC7B61EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a03a6bfa00fe0324cc870925687bad0e1ac2df25","datavalue":{"value":{"entity-type":"item","numeric-id":584928,"id":"Q584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$E181B8DB-5C33-4038-A181-9879B13009CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$D546F178-74CD-40A0-9210-4C0EBDBC2EEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q584929$91F2ADDF-0605-43CD-9717-B630AEF4C15E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584929$0BF22AFA-0601-4E5C-98AE-969B12C62284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e007d87ad0489b0527452ee952022b50acd278e","datavalue":{"value":"3831309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584929$09374FBE-AD39-43D1-BD2B-3E85E504DC73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a385b94390d5cabc2ac72ea8914f45707d99c2e","datavalue":{"value":"goodness","type":"string"},"datatype":"string"},"type":"statement","id":"Q584929$09FDE855-BF5D-45FF-93F0-A37DD76421F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95f36856db403a3cffee707493cbea6e7026c1e","datavalue":{"value":"EOL form","type":"string"},"datatype":"string"},"type":"statement","id":"Q584929$33F8768A-06B2-4816-846D-6C625E280A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q584929$2E2BA187-53A6-4E67-965F-7FF23395D131","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":"Q584929$45D4B8B3-E112-427E-982B-A7E91C78E37C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cc1353ba5ef0c1f24c3c4a2fa2c37562aec35a","datavalue":{"value":{"entity-type":"item","numeric-id":3886884,"id":"Q3886884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$E5B99606-D695-4B11-8F90-EE8E3A8597F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490e3a187261c1e0bf60792b22aa57e29951c69e","datavalue":{"value":{"entity-type":"item","numeric-id":1165024,"id":"Q1165024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$B69757C1-A14A-4454-ADB6-6BEBC9D9F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bd23bf022b2f360fc77df4676d3c7ad6ead8ec","datavalue":{"value":{"entity-type":"item","numeric-id":1149261,"id":"Q1149261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$4A3B4869-0CF4-4E24-944B-A2BDA24832E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e5dfde9beb784b119d36ff2944c67b892c2bb0","datavalue":{"value":{"entity-type":"item","numeric-id":1243143,"id":"Q1243143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$4B07C543-E15E-4BC1-AB46-70DACE103B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a887b005c9fe001a0da4e0ac659a0b3cfdc51e57","datavalue":{"value":{"entity-type":"item","numeric-id":1143808,"id":"Q1143808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$DBC6DEC6-DD48-4124-AE0D-BE1E4D596E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901e9aa3106b6e198f7f0147addbf96433751610","datavalue":{"value":{"entity-type":"item","numeric-id":1166275,"id":"Q1166275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$6F9264DD-BA92-44A6-A78F-E95676E16ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8440c98172d1cacb0148c6424fbbda711f6912","datavalue":{"value":{"entity-type":"item","numeric-id":1166276,"id":"Q1166276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$276AB32A-4484-41C9-8DA0-C462C8C4FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37e2da96cca674a487d86719452a17af8402c89","datavalue":{"value":{"entity-type":"item","numeric-id":4072878,"id":"Q4072878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$E27F72B4-1019-4AC7-AC02-EE4F64B7783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450f4d66bf81611e8eeabd5b529af2e47d1f2f10","datavalue":{"value":{"entity-type":"item","numeric-id":1234593,"id":"Q1234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$F7E77072-B049-4890-B11E-857B019ADC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb2f84cef5af638d7a0a783ede40ea3edcf02c7","datavalue":{"value":{"entity-type":"item","numeric-id":4144211,"id":"Q4144211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$DB2800B0-DBC1-48BF-877E-B76BE80903AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b958b4196f78f46f5c39a923505b6bc6f3294e17","datavalue":{"value":{"entity-type":"item","numeric-id":4154074,"id":"Q4154074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$D1D8F2CF-F5CD-4116-9A0F-3F640B825DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8982a05b6935b213c27dcff04d12fac9a7f5d05a","datavalue":{"value":{"entity-type":"item","numeric-id":4170258,"id":"Q4170258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$3A82B300-829B-40C8-AF82-F3A8A96AEF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$633D7599-2EDE-4FDD-A6D9-FF4753B88BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2408bebaca6d3fbc27e989a5cbf92d6ec21838b","datavalue":{"value":{"entity-type":"item","numeric-id":1146008,"id":"Q1146008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$A67DA3CE-6FD6-433C-859E-0769A8868001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b300c87b35ebbaa3d312202e53d820732b4a6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3939258,"id":"Q3939258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$424AC41E-1731-473B-9DFE-09DF11DAB45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fc702f4cfa818a72311c2dff7550ffb71363e1","datavalue":{"value":{"entity-type":"item","numeric-id":1154290,"id":"Q1154290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$37D42B24-34C0-48E0-8125-7B972FA4A9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946f257475ecab2da5dddb765b121d598553ce8f","datavalue":{"value":{"entity-type":"item","numeric-id":1055198,"id":"Q1055198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584929$B933626A-D541-4412-AD30-172976AD8866","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d278d3ca45c3b8d5d2764352448054ed4a6e81b6","datavalue":{"value":"https://doi.org/10.1016/0166-218x(83)90082-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q584929$9754633B-D5E2-47D8-9CBA-B525184DD2F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4367f3cb0882752e3bb45949f7f5a81e0dac1de2","datavalue":{"value":"W2005254197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584929$A04BA401-5529-43D1-B9E9-EE9D5325DAAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:584929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:584929"}}}}}