{"entities":{"Q3033303":{"pageid":3044019,"ns":120,"title":"Item:Q3033303","lastrevid":85864970,"modified":"2026-06-03T12:05:34Z","type":"item","id":"Q3033303","labels":{"en":{"language":"en","value":"Completeness problems in classes of computable named functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4131631"}},"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":"Q3033303$A1718557-6DC1-4230-9377-04AB244D2737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ae9d2af73722b06300824533922e97c84a3fd99","datavalue":{"value":{"text":"Completeness problems in classes of computable named functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3033303$501F07D4-60C4-4CB9-9B0C-EFE623F5A04A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a01315bc7450d9ab80e446425681854eb678d28c","datavalue":{"value":"0691.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033303$D68C57BE-4D60-4434-82EF-632A75358B7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b45bf8438cb69ef8a8a983c8aed3385fdc7fd2","datavalue":{"value":"10.1007/BF01070586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033303$50D0265F-2157-4978-83FA-3ED9EBEAEDED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a04879f3a23d42744bb7b918443b6d1618836ef","datavalue":{"value":{"entity-type":"item","numeric-id":904414,"id":"Q904414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$75870C80-A9EE-4391-B201-51E465EF781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f03996e5ed640e6dbd963f81271db5437db4615","datavalue":{"value":{"entity-type":"item","numeric-id":3033302,"id":"Q3033302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$4AC1E294-5893-4080-A7E7-96172525AD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3c4d73d33a990e13b54a2a328d518e796905c8d","datavalue":{"value":{"entity-type":"item","numeric-id":557407,"id":"Q557407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$5B3AEB57-A0D1-4063-8C4C-010BDD089331","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$673FAE30-A605-4FDE-B48D-17CCAF1DCD9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3033303$94C43646-60BE-4987-BA81-C7FB2DDA795E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033303$204E3132-6153-472F-9681-6454A435EE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033303$65F86899-6639-4126-9DDC-6331983DC8A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c66a04120c90d443bee687add3d34c3ef03f8a","datavalue":{"value":"4131631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033303$20DFF89E-8D1C-4157-84FA-2B27A86FC86D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033303$9F28732F-02C3-4652-BDDB-FF1A8E6EEF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75cab0e8961638e0971e3ff44eab04448a24ca2e","datavalue":{"value":"semantic models of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033303$0CA32496-09E1-4A11-810F-F6CBD309B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed7ea741945f9f0ffadbffead1472402ac15147","datavalue":{"value":"program algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033303$1B0B8237-8BB5-425E-B68D-E6D0E617DA77","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":"Q3033303$AC82E3E6-DCA2-4145-B8F0-CD6BC93D51DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f008f03ee44b4aba994d0c96efee598a52f4fc95","datavalue":{"value":{"entity-type":"item","numeric-id":3790610,"id":"Q3790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$B2E26D4B-625E-47F2-862E-5409EDF45780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84f03104a9ac585d8b4e68131b5641b281ec7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4055582,"id":"Q4055582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$F64D586E-B480-4325-969F-8F6A005BC9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edc60b2d3c410a2e06745e106432c5aca69a407","datavalue":{"value":{"entity-type":"item","numeric-id":1053445,"id":"Q1053445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$A293F26A-24C0-4BB0-A53F-A8433C595373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb048091674e6de62d7afb3b096a6bb92322593","datavalue":{"value":{"entity-type":"item","numeric-id":800721,"id":"Q800721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$EF843E6C-347E-479B-B5DD-034682B1B929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$82DB322C-6A2E-419B-9EC7-99C846A6EE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$CA7CDA9B-ABA1-430D-B4AB-6AFEA9AAC67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b423a0b88752e078a7e08a92c1fd56d35f405d16","datavalue":{"value":{"entity-type":"item","numeric-id":1137385,"id":"Q1137385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033303$6FB56C2F-2F41-45C2-BD35-E084AECB31D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797026dd054ff82cc71113fa92ccc67507367ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5402505,"id":"Q5402505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc4d937f92126f2b8f0621495123ac2164a2161","datavalue":{"value":{"amount":"+0.7983565926551819","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":"Q3033303$3092C8E6-6F67-4D15-ABF7-981D068B52A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5663355fbb0c354f5eaa0688ee3ac84fc4a11765","datavalue":{"value":{"entity-type":"item","numeric-id":1916568,"id":"Q1916568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a7fc48c944d039647e6fbb38167a48122485e4","datavalue":{"value":{"amount":"+0.7776326537132263","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":"Q3033303$C1DED1AD-B205-411F-B0A0-1E3E6160249F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3453b56be8e081b1b60f8770bac3955648e449","datavalue":{"value":{"entity-type":"item","numeric-id":3813807,"id":"Q3813807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6ca04c5176a3a1b8ff4d90a6b589db44e42ce7","datavalue":{"value":{"amount":"+0.7771039009094238","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":"Q3033303$2A9A4171-6999-4208-A74D-BF6B377D15D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24cdf6a3a18cbf4d5a84524cf450cfceedc682b","datavalue":{"value":{"entity-type":"item","numeric-id":3035270,"id":"Q3035270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f686527e9dee644f0ba5072c58b3fd6e6cafd28","datavalue":{"value":{"amount":"+0.7729107737541199","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":"Q3033303$8CC68DFB-5EA5-4653-95B8-69B795B14487","rank":"normal"},{"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":"0327977bea61021fac8cf093a835ed8a4183150a","datavalue":{"value":{"amount":"+0.7727029323577881","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":"Q3033303$348D4328-FDE9-46D0-AC9A-C391F9D0B1D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness problems in classes of computable named functions","badges":[]}}}}}