{"entities":{"Q1095655":{"pageid":1106407,"ns":120,"title":"Item:Q1095655","lastrevid":69826878,"modified":"2026-04-13T10:36:47Z","type":"item","id":"Q1095655","labels":{"en":{"language":"en","value":"First-order approximation of algorithmic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028892"}},"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":"Q1095655$4CA2CDCA-5EA8-4073-8BC0-32A19A17EA29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10ac9e854f55aa02e01da93f954f260d9a309fc2","datavalue":{"value":{"text":"First-order approximation of algorithmic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095655$CCF47DFD-F5B7-40B2-92CD-B4257CD8ADEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38f8d400f2f019691db13628962d3c6d26f93f23","datavalue":{"value":"0632.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$0F3DB79D-9BEB-4FFB-AEC1-D02799D143B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e1d635370bb67c947e3c5f7d41142467e663dfe","datavalue":{"value":"10.1016/0304-3975(86)90097-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$CFECAA7F-4143-4CD5-9D87-E8FDFCC7CDA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6b4c8e5a626f90825fb5c9b57becb6ed89457ac","datavalue":{"value":{"entity-type":"item","numeric-id":1095654,"id":"Q1095654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$B98676E6-4877-4CAE-9828-5471A069608A","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":"Q1095655$6F96CD4B-1CC9-4106-89E0-2C52695B2A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1095655$B7A2B45A-757D-49DF-82B5-3352CAB5EB18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6283e6ac2a1f3d1582c8bcc9f01cd13106e713d5","datavalue":{"value":"Relations are investigated between an algorithmic theory and its first- order translation in which sorts of variables for natural numbers and objects for the coding of computations are added. In particular it is investigated what properties of the original algorithmic theory are preserved by the translation to a first-order language. It appears that equivalence (of theories), decidability, completeness and \\(\\aleph_ 0\\)- categoricity are not preserved by this translation. It is also studied whether every model of the first-order translation of an algorithmic theory has a submodel with standard natural numbers (thus removing the representations of nonstandard computations). It is shown that, in general, the answer to this question is negative. Finally, a method of coding diverging computations is suggested.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095655$CED54047-1D6F-40B5-9541-E15063842A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$C53CE9F3-E06B-4464-888D-D0826CDC2876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$DB866585-B85E-4841-ADDD-A538C5C1EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$A05959D5-1D9A-4E64-AA24-9D18CE18FBB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca91ed532426b84ea9e4027e79154447da5de507","datavalue":{"value":"4028892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$675529E0-B881-4C8A-9512-1506D799F71D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095655$299D9195-507B-462C-AE4A-B253BCCD7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095655$4F5706DD-CD78-46AD-96BB-A4FF9AB7CF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49824436fb12445c6c4d2c549c16c7bffb25e630","datavalue":{"value":"algorithmic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095655$60518E4E-9D51-428B-A724-62285A3B78F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095655$DFA8859C-85F8-49FF-8D2A-0556B7808677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020f52cdb9f76e52ff22d8a701c8dd86381cd44b","datavalue":{"value":"coding diverging computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095655$B6024B49-4DEF-4270-AA68-CC9DD98F16E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$C94BDE49-F520-4DA9-99CF-B7F856F4AE70","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":"Q1095655$9F3BB911-7660-4605-8019-FC65B0207A25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6699e5ace50d9f90120f2838996018d78292e69e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90097-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095655$11596B0E-236E-4620-BACC-E9D44486FCEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f76470feac2402fdfd59d1c44f14832be2a32c11","datavalue":{"value":"W2038113785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095655$156C7E1A-8236-4161-961A-1C7ED4434915","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ebc566c9b1b9ce2b01284c3e944c2d5ce1fd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4130978,"id":"Q4130978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$0305E3AE-7F6D-4814-B286-DE92ECAA8594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37794fbd3e007ea43b586500c6e7d92f9a3cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":4130976,"id":"Q4130976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$6542AEB7-8B12-4E8E-97CD-D53876DF33B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab99be2910d07a5ee162105515097c69cc25a2fb","datavalue":{"value":{"entity-type":"item","numeric-id":4167572,"id":"Q4167572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$0BB6A230-00A4-4EA0-8E08-14CC402FF1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d93b70cbe162d7d5f8217f0aa789ffda3bac5e","datavalue":{"value":{"entity-type":"item","numeric-id":3900030,"id":"Q3900030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$E381BF09-48C7-45A3-BDAA-E7941BBFBEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f91cbae021e95ee5a285a518d452a3e35ec674c","datavalue":{"value":{"entity-type":"item","numeric-id":4745808,"id":"Q4745808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$E735B89E-67AF-4953-AED2-0684E294A12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b5e92656be6ae2b0e84afc07e394e8cbb681bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727957,"id":"Q3727957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$2E7E5CFD-4C70-4175-B943-0A76ED4FFBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa33b8997d998930e01c0f2241e5189f7b1d6114","datavalue":{"value":{"entity-type":"item","numeric-id":3727958,"id":"Q3727958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$1142CEF3-3638-4509-8D07-E8B823487DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$83CFD69D-2CA0-49D0-97F1-A254AC050F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652db68084b6ea3fda81b6d90f630969447e3eb","datavalue":{"value":{"entity-type":"item","numeric-id":4164784,"id":"Q4164784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$1C20851F-2EC3-4688-9B96-AE3A083FFD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0176826427b0f9a1de96b833b4c488ffeeac217e","datavalue":{"value":{"entity-type":"item","numeric-id":3247504,"id":"Q3247504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$F0B08FF7-CCEE-45FE-9955-A07A1DC9EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$8217FE0B-1666-4C0D-ABA1-65AB806C4614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$158710DD-45AD-4F8F-BE64-925A0E24ECFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0da4d53537012b1a0ea37eeffa7c1c97aa6dec","datavalue":{"value":{"entity-type":"item","numeric-id":3883461,"id":"Q3883461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$0F26A784-03E4-4E35-A733-02266CFE49BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca83c475c9542836c36eb5af4dbb440bc6c870d","datavalue":{"value":{"entity-type":"item","numeric-id":4168060,"id":"Q4168060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$1F166F11-248B-4BA2-A212-731264E9464E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f18ac4e025df114b66c8f7a3d4c30cbec60a7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3883471,"id":"Q3883471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095655$4C31558D-A08E-4167-8334-578DA08554C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16461d437e263daf995ab78d470c490220a8fdbe","datavalue":{"value":{"entity-type":"item","numeric-id":3980817,"id":"Q3980817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c84a2fbb0551b1e920ac3a5dd3f2c85185bfef","datavalue":{"value":{"amount":"+0.7592543959617615","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":"Q1095655$1F144AE9-F1D6-48DB-8112-CD20B0A0DED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52a4a8a8811963fe180a97c565b57c9351d2fd","datavalue":{"value":{"entity-type":"item","numeric-id":3326831,"id":"Q3326831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9947fcff99f6c3c9354312bb06a8b21f6e6bd005","datavalue":{"value":{"amount":"+0.7533248066902161","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":"Q1095655$87A39B24-6E18-4A74-A8EA-4B4A5D302144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33272fe04b63e2e2b92630ba7f31f5350196fe37","datavalue":{"value":{"entity-type":"item","numeric-id":1198440,"id":"Q1198440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb3bee9798784ca77570985a89d64da11b66df5","datavalue":{"value":{"amount":"+0.7428374290466309","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":"Q1095655$D196AD6C-E487-4F4D-A226-1A473869BB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20e086cc735319c1693a4bcc75d3a336d827afd","datavalue":{"value":{"entity-type":"item","numeric-id":813079,"id":"Q813079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08e50c6f70982bf51a789be9e93c3f5f453ad18","datavalue":{"value":{"amount":"+0.7414376735687256","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":"Q1095655$937A33DE-97BA-4B48-B54A-264F445669C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd9f4fd01d9f747a853b6573aea2e22dfe4ffcc","datavalue":{"value":{"entity-type":"item","numeric-id":5184411,"id":"Q5184411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bda4bdfbab08d9bafc50f5297dab2d19377250","datavalue":{"value":{"amount":"+0.7408361434936523","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":"Q1095655$DC9402C9-CD66-4DAB-8B03-7D9B44BD47F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order approximation of algorithmic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_approximation_of_algorithmic_theories"}}}}}