{"entities":{"Q685398":{"pageid":687247,"ns":120,"title":"Item:Q685398","lastrevid":63459852,"modified":"2026-04-11T13:18:21Z","type":"item","id":"Q685398","labels":{"en":{"language":"en","value":"Programs in partial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417341"}},"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":"Q685398$6D351E68-05A7-41EA-A770-8B6B7779D0F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dd8e9af71b78bbd15361bf1ed3cbbf1724b95ef","datavalue":{"value":{"text":"Programs in partial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685398$7B78882C-85B0-493C-B4A4-244225B823A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c33f7f1e76036aff9ea3a89cf285ca1bf2b0d72","datavalue":{"value":"0784.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$E85879D1-720B-4111-80EB-C189A10876D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da0d8c3f356cb9dc368ab7aa6dfb6bc4e8cf8a3","datavalue":{"value":"10.1016/0304-3975(93)90058-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$8E1A5F9F-89FA-48E3-8A42-DA31CBDBD0B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6519b97446fb3efa6820e23955c851f2259c7d","datavalue":{"value":{"entity-type":"item","numeric-id":685397,"id":"Q685397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$AC30454C-E082-4BE2-AC0D-19948C30A27C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$4FEF65CB-91AE-4D95-9A68-3694481C3558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685398$9CEFF28D-E791-498C-9E7F-5C7861760EE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c12084aa04a5023fd1a8ece50f142d6a8d69bce","datavalue":{"value":"In the paper ``programs'' in partial algebras are understood, in an intuitive sense, as a class constructed starting from term operations by using branches, compositions, restrictions, and loops. It is shown that such programs may be regarded as a subclass of implicit operations (in a weak variety of partial algebras considered). However, since arbitrary ``infinite branches'' are allowed, we cannot identify ``programs'' in the sense of the paper with ``recursive programs''.   It is proved that programs form a dense subclass of the class of all implicit operations. If a weak variety considered is elementary (i.e. it has a first order description) then programs with a fixed arity form a sheaf on a suitably defined compact and total order disconnected topological space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685398$CD80AA60-7426-4CAE-B192-208A826A778B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$F45D8614-C7F5-43F2-9B2D-24DC0FCA5E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$59730EA6-0CB6-442A-81D3-4A8F2500EA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$ADE5D4CE-E15A-4398-870E-79C266DF303D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6140ab607811a684867a39bcda7685a0b3b1281","datavalue":{"value":"417341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$8A778143-11EB-4BB5-90BE-50F2BE741C52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34dcf177942099ebd7908a85add90b504b1f7103","datavalue":{"value":"infinite branches","type":"string"},"datatype":"string"},"type":"statement","id":"Q685398$FEC065E8-E1FD-4EE8-8855-7C58E55829B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q685398$43EF00CF-6399-4AD6-98CB-01DE410AC6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q685398$F051234B-4FA7-4DBB-BA61-8F0D5AB5EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q685398$6492B87B-9785-4E5A-8167-6D238F957D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197ca26c347372a264da54583e6327efc402d1bf","datavalue":{"value":"total order disconnected topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q685398$CF263E0D-5EF3-4BE3-8E9C-12CD32EA2925","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":"Q685398$9E7BADAE-8EF3-40AE-962F-A39DC7ECDB12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f75d4851e583b90c560aff99efe815fbde2c054f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90058-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q685398$ACC02C62-4CA5-4BD3-AC7A-AB63A9F78188","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"636f8b02f724766f91b1aaa1f8d0881a7b81040f","datavalue":{"value":"W2094455713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685398$04B8AFC6-2305-4004-B306-0E903F6C7740","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$A3469D28-79ED-4BDD-B08B-E11D77EF7425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$A2735097-C725-43C3-9463-95DF0AE2D0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$50261415-0351-4B1F-8437-2751935B9131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$8AE2F43E-E605-4C35-BF52-4383DA1A1AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d812d3707ca373c280b957d2200bc839acd738b","datavalue":{"value":{"entity-type":"item","numeric-id":1118682,"id":"Q1118682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$3A2440C6-54F8-4E4F-B8F9-AC1FFEAC2BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a649c39a50236ff7a05abfc5f2382ec77be6d456","datavalue":{"value":{"entity-type":"item","numeric-id":1112080,"id":"Q1112080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$77C6BC4A-50D4-4F36-8D41-94AD4138DEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b33b1f5aee766955b5190ed6bd690279de08fed","datavalue":{"value":{"entity-type":"item","numeric-id":2366147,"id":"Q2366147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$66F011B3-6FAE-428B-B4C3-B3FFE3E7284E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$A76A1A92-CE8B-4AAC-A133-77704148DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685398$A7CBE394-DDA6-4856-BD3D-CBCAE5F9BD8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601c89d2c15b1f5f32319a45e7c60a60f15bc043","datavalue":{"value":{"entity-type":"item","numeric-id":4282575,"id":"Q4282575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fee67b3f2edad126190fe9db413599fa8d94368","datavalue":{"value":{"amount":"+0.8545569777488708","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":"Q685398$CA2FF820-E9FD-4BFB-BE2C-E8DA0D4F571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9955307b66b347918a0b193e088b4797aca3663","datavalue":{"value":{"entity-type":"item","numeric-id":3138859,"id":"Q3138859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fee67b3f2edad126190fe9db413599fa8d94368","datavalue":{"value":{"amount":"+0.8545569777488708","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":"Q685398$F511AE74-4863-44C1-9520-DBE29223A110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c2f7fa0ad617d1c120fccc93754bc1a8c09c2","datavalue":{"value":{"entity-type":"item","numeric-id":3690806,"id":"Q3690806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0745d5296820e9338120d14b9b1e304b0d3b71c7","datavalue":{"value":{"amount":"+0.80295729637146","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":"Q685398$C109D670-0BF8-4108-9365-249CDD469DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde67c9194559a5ce8841297dfae7d686c4b731b","datavalue":{"value":{"entity-type":"item","numeric-id":2366147,"id":"Q2366147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c3fc429d11bc4c3fa0b27b8e5227becad37d50","datavalue":{"value":{"amount":"+0.7898006439208984","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":"Q685398$D8C39045-877E-4C41-8DB7-F88FCB2F0553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f564c3d94c2c5df9834cf7ba05405c27c8f1e663","datavalue":{"value":{"entity-type":"item","numeric-id":4341956,"id":"Q4341956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568d394889fe5c6fb502f8de6b9edfb94140db5d","datavalue":{"value":{"amount":"+0.7840032577514648","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":"Q685398$423DF18A-04BB-4B57-A604-09C11C09A877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programs in partial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programs_in_partial_algebras"}}}}}