{"entities":{"Q3332239":{"pageid":3342947,"ns":120,"title":"Item:Q3332239","lastrevid":48724714,"modified":"2026-01-05T17:32:52Z","type":"item","id":"Q3332239","labels":{"en":{"language":"en","value":"A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3864487"}},"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":"Q3332239$BE50375E-7981-44B5-BFAA-6F17C8AC8709","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e95f20d9bfeb9cb479477f75966b471a1403db4f","datavalue":{"value":{"text":"A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3332239$AF2AA3A1-381D-47A0-944C-F4DBC7499D0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fff7e6bacc938926d1d23d860c0f0e7e7349c9bd","datavalue":{"value":"0543.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$D5030F64-B7FC-4994-94C7-24DB08EDDCE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c3ffa4e9a1a354d9e04e3e413ec59fe7c696515","datavalue":{"value":"10.1016/S0019-9958(83)80006-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$89989119-B9A1-4B57-9CBE-20BD302F13B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3332239$4D6B0698-C19E-462B-8DF0-9248D067F810","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3332239$7274B37D-EF2D-45B4-953B-219843E8830C","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":"Q3332239$14F9AFFD-DDCA-4A6B-A294-297238AEF4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$7D3DCFAD-5DDE-4F5F-9AFE-E1CCA14F1FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$8F098C8B-2B53-40DE-856B-9699FA0F509F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$179EA7E1-F89A-4064-9A2E-876A79C403FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$59577706-A600-4778-978A-D352EFABA687","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b7ff472a65b28c049765155b6657fb460632e1","datavalue":{"value":"3864487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332239$DF959F6E-FBFC-4E90-811C-09A3269A52E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f6bce346b13069e2d2d7e7227e186fa6094b35","datavalue":{"value":"Herbrand interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332239$BB6258D1-2969-4775-B118-9B6D5BEB828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2593f90e246c090aed76b0d1d825dcf507c4060","datavalue":{"value":"expressive interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332239$580B57E7-4438-4114-B8D0-22FBA2002C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332239$D30E1644-1021-4E02-8B09-B67EBA79938D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2bcf704d6dd9681543ee14663d73b387ce8529","datavalue":{"value":"strongly arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332239$60E4F4B5-9786-4BCC-A188-AD0572481235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1eb303670f3a4a754dd4a8a29d6362f874728e6","datavalue":{"value":"natural chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332239$2F9B5992-1FE8-485D-A662-CECF97D2D577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634ba4004fec3054f5fc95c5d11e00ff5df88c82","datavalue":{"value":"recursive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332239$B074F7A7-43F6-44E6-B779-F3E2FE2ED86E","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":"Q3332239$C72ABD45-1E8E-4C4E-97A4-36C72AD2E88E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4280f231664f313fc2d392e25794c7c1830612","datavalue":{"value":{"entity-type":"item","numeric-id":3314965,"id":"Q3314965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694ea27f38f0fcbc8ec7e0628c717bbd8efa2515","datavalue":{"value":{"amount":"+0.7946447134017944","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":"Q3332239$D4327191-68D2-49A6-B7A9-1B7B3BD10ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99f15548249e3cc0edc21e8e401086cb35e6143","datavalue":{"value":{"entity-type":"item","numeric-id":2639644,"id":"Q2639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cdfc22888ed4d8aad561ffa9c5434279449026","datavalue":{"value":{"amount":"+0.7527327537536621","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":"Q3332239$E77EB733-0159-4E91-A108-7CD3019DE0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec952daeabde4616219867ba6a664ffb02f2eae","datavalue":{"value":{"entity-type":"item","numeric-id":1356204,"id":"Q1356204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1a503d7bab877147ccf7eb479e3ab4fbe259af","datavalue":{"value":{"amount":"+0.7422221899032593","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":"Q3332239$29DF3890-B662-4F60-AF02-499DFCDDF532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be7797ce1053108b6bb6e3c7eb783931db0961","datavalue":{"value":{"entity-type":"item","numeric-id":2757833,"id":"Q2757833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86c4f819e18b904cca488a2128a2de3f024618f","datavalue":{"value":{"amount":"+0.7246212363243103","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":"Q3332239$9F57CF53-2C08-4C95-A4B6-DE13EF026AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3afdc1d99b49dfe9d0e45fa71c9a8896abc5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86c4f819e18b904cca488a2128a2de3f024618f","datavalue":{"value":{"amount":"+0.7246212363243103","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":"Q3332239$ECB8A996-0859-4044-B89A-EF1EF3D4E68C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3332239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3332239"}}}}}