{"entities":{"Q1306824":{"pageid":1317574,"ns":120,"title":"Item:Q1306824","lastrevid":67351170,"modified":"2026-04-12T17:02:16Z","type":"item","id":"Q1306824","labels":{"en":{"language":"en","value":"Subrecursive functions on partial sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1348071"}},"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":"Q1306824$15299F78-AA45-4608-A80F-3B08CB6FE7CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"415868613342ac55686124dcc7d1e08b0ca6d889","datavalue":{"value":{"text":"Subrecursive functions on partial sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306824$520492F9-988C-4487-9149-DA3B1548D3EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d204b97d66c8e1a9fe04660035f09c64433acff4","datavalue":{"value":"0938.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$5D1252D4-9575-4362-9E98-20E6A648784C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35dac4a82d7994982b6498e99b5b158ff9ad79c7","datavalue":{"value":{"entity-type":"item","numeric-id":688506,"id":"Q688506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306824$B7B1CCFE-B160-4072-9FD1-DEBFF47311F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306824$13606B6F-6E90-4FC0-AFD6-A7A43BC82361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02000238ef6e862a5c8de82bbe4b4eb0ee0b8beb","datavalue":{"value":{"time":"+1999-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306824$C683C2F2-3DA8-484A-AF47-D15BB9445388","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5543904cfa30cb3f887654dd1c450f022863a9cf","datavalue":{"value":"The paper studies a domain-theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a nonmonotonic coding of partial sequences, this notion supports the concept of parallelism in the sense of Plotkin. The complexity of these functions is analyzed similar to the Grzegorczyk classes (generalizing results by Schwichtenberg/M\u00fcller and Niggl). The functions considered are characterized by a function algebra generated by continuity preserving operations starting from countable initial functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$D1A07F05-B075-45D1-AB0F-88CDB40DF4BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$0563B806-B0DD-45AE-8FCE-1CB037F39B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$E0B9721D-CEDA-4E91-8F01-3A6BCD19766E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$D06CF243-6B8A-491E-867A-7D794F38FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$74B730A9-8989-45A2-801B-32A7B718D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$4601F731-66DF-463D-BD60-B9C14D466B92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47ddecded9994769609175a14b88b61fd7164df1","datavalue":{"value":"1348071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$A55786ED-A233-47B5-A05C-5CE526F55159","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$D26E565C-7024-4ED8-9A47-1C749F40DD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f2b2c90a4d3ee0e0850e8a88fd0675238c0cda","datavalue":{"value":"primitive recursion over partial sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$D82C1A87-A938-43FE-8EEC-366D514A241E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$0496D0DE-3949-4092-BB97-60B96620625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$76C905AB-DBEF-4991-A420-8F5CAAC6EB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$2E6118E1-3EFF-4E57-AF2F-BCDA971A0708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6968a513f811ee546a7ac3d6c736f214390e7979","datavalue":{"value":"Grzegorczyk classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$B3FE16BD-3243-4DDA-BFE6-9EC0544867AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b88d2b2ce7293175b5ce95822467df0ca5012","datavalue":{"value":"function algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306824$0C4928F2-C392-4B8F-83FC-146A99F331A4","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":"Q1306824$D677A088-E273-41FB-A657-183C986D08A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"172999e9a36ff1914a1865ce1256dbc73560d226","datavalue":{"value":"https://doi.org/10.1007/s001530050122","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306824$D65D48F7-FEA4-4043-A206-1E659BC0BAA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ee9329919e88ce16329ad838d284808a21bf61f","datavalue":{"value":"W2069474971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$10025DEF-4483-4606-A4FF-087E8F6E31B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b39f0d86d0c39cdbf11bcf182b5ca34eb082c47f","datavalue":{"value":"10.1007/S001530050122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306824$6DDE7E36-8D1A-4166-9F9D-9775A0C6D6FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897dd2197b0d98bd6f9778fd9bbe1203cb1a9756","datavalue":{"value":{"entity-type":"item","numeric-id":688507,"id":"Q688507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877b10f97691bcd1b72eea32ef4265bfeed44ac3","datavalue":{"value":{"amount":"+0.822610080242157","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":"Q1306824$F0C7AA92-4347-4BB9-8470-BBE3E3F9D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0762ec8cefdff9e7e3bba0857c0f2be3ec2ca3a","datavalue":{"value":{"entity-type":"item","numeric-id":1283120,"id":"Q1283120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e53ea431c6a02ed0a1abf290fbe48ea498e911","datavalue":{"value":{"amount":"+0.786303699016571","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":"Q1306824$C436E95E-2291-4524-8F50-FEE03661BB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace4b48d35592cb50c829365795ff750aad5f8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4876432,"id":"Q4876432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58232e87b2dca3bf8f08dac5c85587406f955b92","datavalue":{"value":{"amount":"+0.7776111364364624","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":"Q1306824$0B4945FC-7D0B-4493-9CDB-4DE63F146544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subrecursive functions on partial sequences","badges":[]}}}}}