{"entities":{"Q3653149":{"pageid":5683055,"ns":120,"title":"Item:Q3653149","lastrevid":50859032,"modified":"2026-01-15T11:24:38Z","type":"item","id":"Q3653149","labels":{"en":{"language":"en","value":"Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories''."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650397"}},"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":"Q3653149$59674986-D91B-45E1-A278-6A82DCC5533A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9744886bb261e185a955e7244f5d6e0898476c2f","datavalue":{"value":{"text":"Erratum to \"The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories\" * Logic Journal of the IGPL, 16(6): 585-590(2008)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3653149$6A373D3A-5474-4A0A-BA3B-B8F916795F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae15ac776b79a6ac7122218e0d9d67006ac1a22b","datavalue":{"value":"1181.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653149$80421C48-5111-45A7-8F68-32D146783402","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":"Q3653149$0E194F27-2158-491B-96F4-79B20D02040E","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":"Q3653149$51F1E568-B59A-4983-A4D7-F2554AB9B825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f6fcb376ebdd62ff7d154537da52d56e95e1f2f","datavalue":{"value":{"time":"+2009-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3653149$6C38CE3A-D1E6-4B4B-A8CC-106914BD0890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653149$6C028249-9E9B-4FF7-9862-6B31C717F14C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8464aaba3b0c30533f7c80199eef3218b2708c61","datavalue":{"value":"5650397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653149$DB4ECBFE-DC35-4F07-BD93-57653232967C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d74016b3171ed5f255980a6a82049735c83eeee","datavalue":{"value":"Rice's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653149$11112A52-B4CF-475D-8187-84E7033F8D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5f18038f3eed57750472148f9f3e689e1833d2","datavalue":{"value":"undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653149$F4F6F8BB-C8A2-49D5-B644-7BD1D8350891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653149$E35394D7-C0BA-4FC4-B80E-828B304922B8","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":"Q3653149$23F2713E-A231-4864-8188-96B46FD536F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef5fe6b99c045ddee8f9f0fc0a8e078051e6733","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp030","type":"string"},"datatype":"url"},"type":"statement","id":"Q3653149$EE754537-6DAC-4E9B-8470-CFA19A060961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be748c476609fb9dd20655eef8e2a6e8f12ca323","datavalue":{"value":"W2052803728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653149$FB393C18-BE79-4842-8D25-5A4C9583C659","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e429d477fbcbf96daf6d90df14a40d8243ac93e9","datavalue":{"value":"10.1093/JIGPAL/JZP030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653149$45487EE8-D992-4071-9470-79C26122EC7D","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":"Q3653149$C18F2C5A-5B03-4748-88E1-638830A145D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc3467c16e70090759e5d9f2da269c78284536c","datavalue":{"value":{"entity-type":"item","numeric-id":5504122,"id":"Q5504122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f443e2b6600087388f0b89765e4271d2719ab29","datavalue":{"value":{"amount":"+0.812062680721283","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":"Q3653149$B1F48F7D-87CC-415F-A04E-850BEDD15A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d00fddf764ba93763e552ed2ef2622cc04bf13","datavalue":{"value":{"entity-type":"item","numeric-id":2407276,"id":"Q2407276"},"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":"Q3653149$67F493DF-0DD7-4A2C-8E09-90E711C786C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef42356e2eeb9543d8c9616b0e7734f16f4a9526","datavalue":{"value":{"entity-type":"item","numeric-id":3032253,"id":"Q3032253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bef0e4de0847891943f26c8bf27de5d46fd84d1","datavalue":{"value":{"amount":"+0.714637279510498","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":"Q3653149$573283E1-F3A5-4BC3-9066-0DD98DABA7C5","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":"c8256ec9cfa1c6dfbf0f677e7e45c19abda68939","datavalue":{"value":{"amount":"+0.6951618790626526","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":"Q3653149$30FE5474-3180-4BAB-84C4-79E64EE2FB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923bf70019f36913cc4cfe7fb5bc0a96163c74ba","datavalue":{"value":{"entity-type":"item","numeric-id":2364369,"id":"Q2364369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35658cb5a3c26136ea132885725d13437de027e","datavalue":{"value":{"amount":"+0.6946451663970947","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":"Q3653149$7D6C9152-0E07-42C9-81DA-BA11174C360F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3653149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3653149"}}}}}