{"entities":{"Q5504122":{"pageid":7533682,"ns":120,"title":"Item:Q5504122","lastrevid":50546276,"modified":"2026-01-14T08:49:10Z","type":"item","id":"Q5504122","labels":{"en":{"language":"en","value":"The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5495725"}},"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":"Q5504122$0A8D7E02-E406-4860-9C1D-8212ECFBFAD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6895a8e5cf88eed5ee9e4073368f97cb480d31c","datavalue":{"value":{"text":"The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504122$5DBD6AB1-8B4E-4CAB-8A4A-988064EB04A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48951dfbcd794468efd278acaa6ccc3dcea06a98","datavalue":{"value":"1159.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504122$CD12F60E-82C7-4719-8B1B-3B6D58C36D03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7805073a5ae9040c991641317a6d3bbe630dcf22","datavalue":{"value":{"entity-type":"item","numeric-id":2125079,"id":"Q2125079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504122$E3693C53-1EDE-47D2-BCC3-91C04F4D0C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504122$8CF5DAB7-C979-440C-BA9A-B2677F916F39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf289ffa08c547e658749b84476576936008772","datavalue":{"value":{"time":"+2009-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":"Q5504122$3DF38743-BBE2-4431-8EBD-2595DCCE963E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504122$C1A78A9C-891F-4505-82D6-8C6DF734B7E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfcabbd34f91ce9e798af686bfb3c5b8e4f40191","datavalue":{"value":"5495725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504122$D59A60F2-A03B-4881-85B3-7817C4BE23D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d74016b3171ed5f255980a6a82049735c83eeee","datavalue":{"value":"Rice's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504122$F5E89ED3-EF52-4CBD-BFB9-0F6A1285544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5f18038f3eed57750472148f9f3e689e1833d2","datavalue":{"value":"undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504122$DD4F3818-35D2-4096-BF9B-EF8EEA3BD87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504122$35A317F0-B967-41F5-928A-8CF6FF972F48","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":"Q5504122$82798C20-3210-4436-B8E4-C3404548BE1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"324f465ec14fc00f40210eaea1edd248765cb4d8","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzn023","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504122$7D0CFB8B-C233-446E-968C-6C3888121251","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6942b2859ace2b4eeabf64b2efa58846ff51cf8d","datavalue":{"value":"W2006686496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504122$A2061C58-FA56-4545-9512-F03E6E6685A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e80a974d4649773d04bcfe9ece8bd25e9ef50563","datavalue":{"value":"10.1093/JIGPAL/JZN023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504122$BA1C0579-3A20-49B8-9AC8-8E03C8C205FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504122$774221FD-8F20-4B63-BA20-87AA53834E0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb09d968e285c6ab3f7561e691511e48aca880f","datavalue":{"value":{"entity-type":"item","numeric-id":3653149,"id":"Q3653149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa48285d4dc20c89c3d4829c65c04db5663e2b67","datavalue":{"value":{"amount":"+0.7786937355995178","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":"Q5504122$F742CFB2-4289-4104-9921-1B7031ED5D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52861c103c4120ec4d2e10a5a432032dfbf7642d","datavalue":{"value":{"entity-type":"item","numeric-id":1803023,"id":"Q1803023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405a54fd56fdd23ca375885fea3bb32d8de13a89","datavalue":{"value":{"amount":"+0.7470963001251221","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":"Q5504122$930C1A20-48F5-4031-ACEB-9D88506874C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e45ae067f18cf022309b634122a2190a365c45e","datavalue":{"value":{"entity-type":"item","numeric-id":1342233,"id":"Q1342233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a2e8e7d2f299c9b0e792038f56277b4fbc38ec","datavalue":{"value":{"amount":"+0.7430304288864136","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":"Q5504122$D2206005-BA06-43B2-BE75-FB694BD328F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c803ed1439973ed68f18c5917c9b4c82d0304d3f","datavalue":{"value":{"entity-type":"item","numeric-id":2776606,"id":"Q2776606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3f46ee2aea1dcfc95312be484bbc9c2806d3da","datavalue":{"value":{"amount":"+0.739193320274353","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":"Q5504122$EEFFC984-DB4E-45D6-B55F-E8D9B52C8944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4545fdf82a5c0fca70c2d4ec605f114bf6a85208","datavalue":{"value":{"entity-type":"item","numeric-id":1575716,"id":"Q1575716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabc8656fe2e5623da8d514ad5c14a38bd18096e","datavalue":{"value":{"amount":"+0.7386462688446045","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":"Q5504122$6FF08433-4FC2-4930-9ACF-4A047DF4CB7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504122","badges":[]}}}}}