{"entities":{"Q5947272":{"pageid":8124074,"ns":120,"title":"Item:Q5947272","lastrevid":47688940,"modified":"2026-01-02T10:50:07Z","type":"item","id":"Q5947272","labels":{"en":{"language":"en","value":"Non-deterministic closure theory and universal arrows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660711"}},"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":"Q5947272$687AE7ED-F4C6-4939-A9EF-CB3CC8429351","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d49ef5252e4071d71143788d1c684de4792eba8a","datavalue":{"value":{"text":"Non-deterministic closure theory and universal arrows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947272$CEB30D80-F7C3-48A9-B0C2-B0561A9777DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69f36e2d25ad3853375991b605521b126f5f4edb","datavalue":{"value":"0987.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$F40A958C-8734-4E6A-AA41-2B0E4F730D41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1331e79b9fbc9015ff9ded83c57590973c981bc3","datavalue":{"value":"10.1023/A:1011250024233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$16002167-B3B8-4698-85CB-6D8FE1727C33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52cccf60f0b7ae00b284e506a54e8eed8b433b9e","datavalue":{"value":{"entity-type":"item","numeric-id":1844220,"id":"Q1844220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947272$330E8263-094A-484D-AD4B-1CBA9F975367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26a317fd60e70e233c239ff7a7887169a825aff3","datavalue":{"value":{"entity-type":"item","numeric-id":342701,"id":"Q342701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947272$5CE2E6B0-99DD-4BAD-97E9-4F67F17D8D86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947272$D8CE3168-2D58-488C-A204-2D09A01E38F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456c8c6068f5f9f6deacb4e2d51a2b9ec66d8bdc","datavalue":{"value":{"time":"+2002-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947272$CFF692C1-B5EF-4CA0-8789-82CE46F0042E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcf8b5dab28726e67b0e967052b7a255ecafb7ac","datavalue":{"value":"Motivated by the semantics of while-do commands for non-terminating and non-deterministic programming, the authors take the notion of closure operation of a partially ordered set \\((U,\\leq)\\) (as an idempotent, monotone and extensive endofunction of \\(U\\)) to the context of a (thin) graph, where \\(\\leq\\) is replaced by any relation \\(R\\) on \\(U\\) (keeping the idempotency requirement but interpreting monotonicity and extensiveness in terms of \\(R\\)), and characterize it in terms of so-called relational Moore families.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947272$0FC2403C-77A7-4216-B474-D1CE523C9519","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947272$0141A981-0E36-4374-9279-2E7381D493C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$6186F580-E340-4229-AF96-F4FCA34A9D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$1E199C1F-807B-450E-9B9E-BC12DE8DB91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$D4ED3F3D-568E-4151-A2B6-B88DEC01146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$0B8AE105-AFF1-4B0D-BC8E-EBB7232D9B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$BE523888-C1DA-4E76-BA24-9DBCF8CD3970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86225ed266d9019534a81a8c3d375b229a00cc44","datavalue":{"value":"1660711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$EEAE520F-92AB-4360-82C4-31D307B6C2C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f02dab7f53dda1ba13a325379434d0dd9e954ba","datavalue":{"value":"closure operation of a partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947272$55CFA279-0C11-46D3-AFA9-075A3D84D24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b8308393bee010eeb42bd8524ede9ae56659ad","datavalue":{"value":"relational Moore families","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947272$67EADBE7-759E-4D12-A8BB-6C3BDAE5D97F","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":"Q5947272$C58776D4-242A-4FB7-8125-CBDC0865F16B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbb3a9503fa8a08ec8c7c054edc4ddc8e64ed0c6","datavalue":{"value":"https://doi.org/10.1023/a:1011250024233","type":"string"},"datatype":"url"},"type":"statement","id":"Q5947272$C54F4826-9FA3-4E6F-B233-449AA6CA2121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1edee04fbeef137d69cfef1c69f57c45f2b408f","datavalue":{"value":"W1964969114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947272$DFBA59A0-F470-49E9-A52B-8FB161703361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14632a3be037fa5b776b1fae735f8e98c398ce79","datavalue":{"value":{"entity-type":"item","numeric-id":3216120,"id":"Q3216120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c573038764b1623732986ca3015ae88c45843540","datavalue":{"value":{"amount":"+0.7594490647315979","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":"Q5947272$4DE73161-6907-4C6B-A812-BB6DB4D02B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b3d10af4346eda2c08b64cb499deb5dbc8e83a","datavalue":{"value":{"entity-type":"item","numeric-id":808275,"id":"Q808275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb05efbe01d5b5f8cef22ada07e96ce793ce838","datavalue":{"value":{"amount":"+0.743445873260498","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":"Q5947272$37E030DF-34DC-4458-883D-6586DC62EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d335cfe161ee3fdb3b8467e857c7c334f146c26","datavalue":{"value":{"amount":"+0.7245904803276062","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":"Q5947272$AB7CF571-A519-49AC-8B2D-2A5950E60B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7236c5a20991dfd807683a6c904130459f5d96ef","datavalue":{"value":{"entity-type":"item","numeric-id":1907780,"id":"Q1907780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3aa2750d78beaf701d1708ec9b6ce0c8c215732","datavalue":{"value":{"amount":"+0.7214354872703552","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":"Q5947272$56E50D6B-6010-4392-958A-753C05833DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73ea88b680f92afa4dd566e8e663f53893c062","datavalue":{"value":{"entity-type":"item","numeric-id":3210908,"id":"Q3210908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1346c5bc66e1cd674f68290fa76eba93a9088e","datavalue":{"value":{"amount":"+0.7213068604469299","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":"Q5947272$4A7A2485-8C4F-47CE-A388-401F6941CFD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947272"}}}}}