{"entities":{"Q1149945":{"pageid":1160694,"ns":120,"title":"Item:Q1149945","lastrevid":69742257,"modified":"2026-04-13T09:05:20Z","type":"item","id":"Q1149945","labels":{"en":{"language":"en","value":"Existence of superposition bases in countable primitive-recursively closed classes of one-place functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3711947"}},"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":"Q1149945$1046FD65-B8F6-49C3-8EC3-72DADD09D592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fb6e9f071346d8ddf2246c5e23a4adace31029e","datavalue":{"value":{"text":"Existence of superposition bases in countable primitive-recursively closed classes of one-place functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1149945$C7CCBDE0-D951-42B9-BC89-28BEF49FE8E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d68511d6b10807ac1a6a4c5865c611c2476a10d","datavalue":{"value":"0455.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1149945$E003F0D1-0DA7-4D99-BF50-7AAC88275125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0334f5eff5869c8f8e5b3ae4854183bc367900a3","datavalue":{"value":"10.1007/BF01145429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1149945$92CB8E71-A559-41FD-8506-11AE72C3712E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1149945$E54203C8-2CF0-4A36-B0AF-986A52436A2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1149945$3E74E897-9BB6-4E78-98F0-42601EFB0022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1149945$284885B9-2188-4995-ACBD-DFB207DBF945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2de507adab202f81f780441d9b0e858dd7e9ae2f","datavalue":{"value":"3711947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1149945$78457829-82D9-4CE6-82DD-4024DF91A39E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af9fa1bb05541c8d9517bc3af8daf1a28b41bda","datavalue":{"value":"primitive recursive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1149945$AEBF6D8E-F63B-4D51-AD1C-4073F73C3A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d807cca9a37f7f5b473f1eac37f91f57403bf09","datavalue":{"value":"countable basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1149945$7E0F02D4-9CA4-4A9F-AE2A-1DF0F98B441A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c4a95f085b4acb7c793008f4f9d663da3cb59bf","datavalue":{"value":{"entity-type":"item","numeric-id":314212,"id":"Q314212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1149945$6AF18B5C-A1F3-4941-86F1-A864F9DC6F41","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":"Q1149945$644B9E2E-ABDA-40B9-8939-02D393AE502F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6293d78d4e391cdef97da7f214f749c0f934bc57","datavalue":{"value":{"entity-type":"item","numeric-id":5596775,"id":"Q5596775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1149945$56BF0020-F33F-4448-A2DD-1F5EFA27ED34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence of superposition bases in countable primitive-recursively closed classes of one-place functions","badges":[]}}}}}