{"entities":{"Q1901952":{"pageid":1912694,"ns":120,"title":"Item:Q1901952","lastrevid":74251533,"modified":"2026-04-14T19:11:45Z","type":"item","id":"Q1901952","labels":{"en":{"language":"en","value":"Structure of program-closed classes of many-placed functions and predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 815675"}},"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":"Q1901952$7CDBC0A9-BEBB-4A12-8759-77AE38C0CE57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e2cb27f38d4320f2b57b2e4732cb137495401bd","datavalue":{"value":{"text":"Structure of program-closed classes of many-placed functions and predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901952$F307CFA5-31FC-491F-BFBD-0EDC283E92CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69d111add01caaba99ceb23b1ebe1ea5c691e7d9","datavalue":{"value":"0831.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901952$247FC1C5-2C00-45F7-9771-75B332EF827E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa6b8a87d84edee835cff97ad04cfe11c013e7f","datavalue":{"value":{"entity-type":"item","numeric-id":483693,"id":"Q483693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901952$B18EF8AB-5FD5-4CDB-BDA2-3FC010EE3B35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901952$975E18EC-5DE7-40C6-A87E-F6862FE212BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c98862405da01934b96b9633d4b6d492f4e24344","datavalue":{"value":{"time":"+1996-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901952$DC3D9580-2094-4260-8B78-0B6955932324","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7090fb77877f5ae5425e16e4d402146ddd30881","datavalue":{"value":"In Lect. Notes Comput. Sci. 278, 409-411 (1987; Zbl 0645.03047), we defined the structure \\(\\mathcal S\\) of program-closed classes of one-place everywhere defined functions and predicates. As a tool of closure, there was chosen a certain class of program schemes with massives (arrays) and with verification of equalling of variables. As is known [see \\textit{A. J. Kfoury}, Theor. Comput. Sci. 25, 1-66 (1983; Zbl 0499.68009)], this class differs from other ones by the property of universality (at least, among determinated consecutive program schemes). The structure \\(\\mathcal S\\) arises as a result of ordering of closed classes with respect to inclusion.   In the present article we introduce the structure \\({\\mathcal S}_M\\) of classes of many-placed everywhere defined functions and predicates (closed with respect to the same class of program schemes and with the same order relation) and start its investigation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901952$05BF5576-CAA8-47D0-BF33-6D089C41D2BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901952$3982D9B5-F0AD-41EB-B435-7F5A15F62EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901952$A98DC1DF-5128-4AB1-8D33-D83927852063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cc920fc594adbdcd1995f38d0dcb2fa9360a2c8","datavalue":{"value":"815675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901952$AFF564D2-EAEA-4FE6-8F47-D6481E495246","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fb240279566e8cb1c8e86db4b2b12d441dc3ba","datavalue":{"value":"abstract computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901952$71F2EA39-A743-40CC-A2FC-44D443A4B34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901952$CF76C0BA-C053-44FA-AE13-583E0F20D925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148ce327cd9e41da9f0c12c93ae3a1cf1e38da0d","datavalue":{"value":"many-place functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901952$AFB5089F-2C21-4BD3-B4C1-8DAD9A21D0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecfbe07beebb70c9107a1d9bf158660f5bbc9297","datavalue":{"value":"many-place predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901952$D066CA02-148C-46CA-8318-2D1544A3F28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81bd23c34d3c940e7514ea946a24c0ceb4d64183","datavalue":{"value":"program-closed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901952$CFAC2145-A02D-491B-A6AE-8E06A0745F26","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":"Q1901952$FD6DE40C-ADD9-4879-8F4E-D98BD96A8909","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e561935d47524d336e8b232b437942f0844f959","datavalue":{"value":{"entity-type":"item","numeric-id":1902762,"id":"Q1902762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a69b6269f776ac1ea2381a8087a909bdfbaeea","datavalue":{"value":{"amount":"+0.7847522497177124","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":"Q1901952$F597612E-2919-4E24-884B-5FD1D77B01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb5535ae9c059c9dff4105f76ecf741f6fbe5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3125947,"id":"Q3125947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a69b6269f776ac1ea2381a8087a909bdfbaeea","datavalue":{"value":{"amount":"+0.7847522497177124","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":"Q1901952$A354CA55-FABD-4499-865B-391D0768CA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde65a6a2e0211f7e45538a3765a3af3f97a2a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3342537,"id":"Q3342537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98b30544c88528a2bfcf8655cafef4d6bcefca9","datavalue":{"value":{"amount":"+0.7378096580505371","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":"Q1901952$5362CC43-1CD6-4F79-AF99-13CEAF3E3D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b759a930899f81238194d31b63a0de676ba8fed","datavalue":{"value":{"entity-type":"item","numeric-id":2637478,"id":"Q2637478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853f94b887f32ca25ad8e9037292b1e0e693b7b9","datavalue":{"value":{"amount":"+0.7377431392669678","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":"Q1901952$4BDC8690-55F7-4CB9-A05D-035668ED9FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e83ef300b4e247e3addd8267eb9040daf5a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4522733,"id":"Q4522733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9e81b3021ee4977cdbd28d7b175752959aae67","datavalue":{"value":{"amount":"+0.7366326451301575","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":"Q1901952$1A50ABF6-3185-45AD-8615-AE20F1EE5D6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structure of program-closed classes of many-placed functions and predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structure_of_program-closed_classes_of_many-placed_functions_and_predicates"}}}}}