{"entities":{"Q672461":{"pageid":674310,"ns":120,"title":"Item:Q672461","lastrevid":63460881,"modified":"2026-04-11T13:19:37Z","type":"item","id":"Q672461","labels":{"en":{"language":"en","value":"Most general first order theorems are not recursively enumerable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985008"}},"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":"Q672461$53E03FDB-89A2-49DA-9902-D24E0E6CD1CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09dd702f0993d4333c4b4bfe061b8553d4caac25","datavalue":{"value":{"text":"Most general first order theorems are not recursively enumerable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672461$B580317A-AF39-4639-AE33-CD87384CEECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68c35aff1abb7e096b56049d99a455c4435abd16","datavalue":{"value":"0873.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672461$341F1C72-7498-4FD3-8903-9DA62AC01010","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"451505915a11f0c740404f79bbfd55659aaef942","datavalue":{"value":"10.1016/0304-3975(94)00229-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672461$DB1690CE-83EE-4342-8DA8-1C2F696CC672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbd39c0b2779a111eca3f83de9735e60b421e825","datavalue":{"value":{"entity-type":"item","numeric-id":507546,"id":"Q507546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$96DA002C-1DCF-4A0C-84DA-FF78A878D42E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$0A5FBF93-391F-44A3-9EAE-BA170576806A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672461$A4E18EC9-CAC7-481F-9CD9-FFC42E1D56EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672461$EE3E24CE-B6DD-480C-A4BE-53511E8DE1F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c04a10d6051c732dd2b89434666327abcf982fa","datavalue":{"value":"985008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672461$226A482B-38EA-4661-BAFB-45E12DADD0D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36b1b59031f06b968f1ee0cab60d591540d4604","datavalue":{"value":"\\(\\varepsilon\\)-substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q672461$6B3520C8-1CD8-4EE8-9671-86CD5939827A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q672461$C616E663-D81B-4ED1-9694-8DF1C3655847","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":"Q672461$775318A8-8979-4F28-A513-307FE5B8790F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$8A1934BD-27FD-4F85-9008-162E6793F906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3b02d54ba595ff22780f05fff04326cc851a3","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$D700BB17-446B-4909-B24B-1A44B0FCDC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$5740BB3C-0F73-4825-8CD5-65FED4689E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97ff7b559b47989d95181c5e58b6ab5a2ff7311","datavalue":{"value":{"entity-type":"item","numeric-id":1194107,"id":"Q1194107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$E7D165EA-2A2E-465F-9A04-3E4C83905E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad9c94e7533cf9a3a4dbb3d541a81e06befc84a","datavalue":{"value":{"entity-type":"item","numeric-id":1208417,"id":"Q1208417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$66F309DB-6687-4FFF-8F99-4A5934EB5D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$1A7EFCF9-EF9D-4BAC-B2DF-DB6811F3D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da3862aa0f8d859b9a4c1883beaf4afc3774df68","datavalue":{"value":{"entity-type":"item","numeric-id":1104127,"id":"Q1104127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$E34A7652-ED85-4B0E-A9D1-E02614583B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e90f5b21d1ec7ce347a52ac136f084885d0bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2366530,"id":"Q2366530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$7A14690F-0C86-431F-ABBB-DB335251310D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9d73e9fcd60131b01d99e243dc114101d303f7","datavalue":{"value":{"entity-type":"item","numeric-id":4101787,"id":"Q4101787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$EDAD0343-55EE-401D-8788-0E742BD82049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8136327ceb6cb65140469d59cf371820952a778f","datavalue":{"value":{"entity-type":"item","numeric-id":2276939,"id":"Q2276939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672461$D5EC69C3-B1CA-4F11-8BA4-F8C9F3E12E51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40d92fa97093c76018459af70da45c4cb1a659a","datavalue":{"value":{"entity-type":"item","numeric-id":3469102,"id":"Q3469102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3487b9f4727acb1814d0e9548728027d6aaf53d4","datavalue":{"value":{"amount":"+0.729214608669281","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":"Q672461$50F24906-CC80-4D75-B1B3-FA1C4B23DD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0fe67ffe0bb799b199a868e0c72745c753679a","datavalue":{"value":{"entity-type":"item","numeric-id":3843604,"id":"Q3843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa10e1bff3b2bec3cc5a66e648e6476287d2a3ba","datavalue":{"value":{"amount":"+0.718105673789978","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":"Q672461$E63330C3-A7D5-4C47-BF04-5E94D67B5A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f93297906719edaa04f6637b0f638656d6adbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3240233,"id":"Q3240233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d64773728f1cc25412d2207ea53398f31ccc8e3","datavalue":{"value":{"amount":"+0.7166720032691956","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":"Q672461$34E92F06-BABC-4225-8ACC-285684C7C012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c6d7dd62536532f41d8338c85b992e341759f4","datavalue":{"value":{"entity-type":"item","numeric-id":2363413,"id":"Q2363413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21529181adf488f572303b0779ff1dbb204ea8cc","datavalue":{"value":{"amount":"+0.7110093832015991","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":"Q672461$A684B3F9-D2D9-4082-9050-20627807F5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e131eda2e507c6884a5f08145dc67598f11ff9","datavalue":{"value":{"amount":"+0.7081002593040466","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":"Q672461$1E40B3A4-E65A-4154-8C75-271D745C0BFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Most general first order theorems are not recursively enumerable","badges":[]}}}}}