{"entities":{"Q1276248":{"pageid":1286998,"ns":120,"title":"Item:Q1276248","lastrevid":70050546,"modified":"2026-04-13T12:06:30Z","type":"item","id":"Q1276248","labels":{"en":{"language":"en","value":"Nondeterministic operations on finite relational structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243212"}},"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":"Q1276248$59923D24-C299-44CB-9F05-0F575125E954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0c22b770fcf2fffd4450e41830bc5547ac8130d","datavalue":{"value":{"text":"Nondeterministic operations on finite relational structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276248$8691E7D1-D6B4-4E8F-8AB6-4B224F8C6B64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d445962331ac5fdaa710d7de615c2d96fed9b3","datavalue":{"value":"0916.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276248$BA134918-8426-488E-A1F3-8386236DEAB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f997bc0724cc7960a44f6fc7641141ca2035540","datavalue":{"value":"10.1016/S0304-3975(97)00263-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276248$81F335B1-5902-4E8D-95EE-A655AB15B973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b61b3e3d86420f2404999903222db49a891052c","datavalue":{"value":{"entity-type":"item","numeric-id":1276247,"id":"Q1276247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$ACAD513B-30A9-456A-B1AF-FDF0BF2A90EE","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":"Q1276248$1F4C88C7-60A1-435C-B047-9FF12F36C1DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276248$3D1B3C77-571E-413F-802C-670B9C21A2B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5b8a071c28a26f1237bbd46e23061d29e8702da","datavalue":{"value":"Based on the introduction to universal algebra for language theory by \\textit{B. Courcelle} [Theor. Comput. Sci. 163, 1-54 (1996; Zbl 0874.68170)], this expository article focuses on multivalued operations, which seem to be adequate for the handling of inductive sets of evaluations. In this framework, every transduction definable in counting monadic second-order logic is a bottom-up transduction on term representations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$8CA7CB9A-8E3C-48A6-8A4E-21FA4FF70A69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276248$1877339E-8E1A-4963-87B4-CEB6D5E2EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276248$947AB39F-8DB4-4847-BA72-74BD4A3A6314","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825e30872382b024c5dfa9a8c0f05c3f119bfc34","datavalue":{"value":"1243212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276248$187EFB85-84EB-452B-8675-47EC1B1E5725","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$7A920C7A-8EFD-4624-AC0F-77FA869895C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ecdb23be57a57c04bdf5814d5967b1aa265979f","datavalue":{"value":"context-free set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$FB05C825-D72E-427D-85B1-AB85E2390696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9249fb1cd697d81c85cdf08d7ccacda1a83410","datavalue":{"value":"transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$A16608C0-733D-425D-96B1-811E33A46704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$6AB7C343-5FB9-4E22-B630-C633CEE71486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b243ee5384095aa016f5415aec23ffbfc78da18","datavalue":{"value":"multivalued operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$92478F22-3CF4-4721-B06E-CBDB4322B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276248$92B53C2E-1C31-4394-B564-5CFC7F54DE63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$7BF58F37-6284-4FF6-B669-C19803128EEA","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":"Q1276248$49CB75A1-160E-4638-85E4-8E5351DF0A25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$A10486B0-9E39-465F-AE82-6EB6AB934FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$97204A4E-512B-4A15-9156-C1DFBC11F1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$FDB6F2D3-4073-4A4E-96E5-E90E517CB51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b0768a48a3af6a2344c40720d67b58bb50a5bd","datavalue":{"value":{"entity-type":"item","numeric-id":1176232,"id":"Q1176232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$C8A11497-7802-4BB7-BCFF-8EC859D0E2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c8bafb735b1108abc700701ff314e3fc5b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1193407,"id":"Q1193407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$AC040309-B489-4D8C-92F4-5CC71171009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$F6DEEF0B-5AAA-4660-B29D-613FF000F079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8ded06ea25487612e26a0a728cfa41b8d8f646","datavalue":{"value":{"entity-type":"item","numeric-id":1842126,"id":"Q1842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$86E04113-70D8-418D-B3B3-2291C86225F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a17defa1f7504ba0efa775761ae19829c2fe10","datavalue":{"value":{"entity-type":"item","numeric-id":671349,"id":"Q671349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$78FE446D-523F-4B95-A9D5-1C662C6D2F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aba5833662215ee6a49861d05418334754b27cf","datavalue":{"value":{"entity-type":"item","numeric-id":1366538,"id":"Q1366538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$577EF0C9-492E-44B3-B1FE-4BE24901F9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$E98B62AD-ECDF-4FBD-AB46-D9EDEB96B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2865a00aa76e8eb25f7a337b351b1ba1313a92f","datavalue":{"value":{"entity-type":"item","numeric-id":4852905,"id":"Q4852905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$E46C3688-B1EF-4508-B85E-3834D1FF6C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af2c5eca3bd22f8693a9ef2542f46a220d3edf1","datavalue":{"value":{"entity-type":"item","numeric-id":2366278,"id":"Q2366278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$CFA23A30-170D-40CF-845A-7D7784DB280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7063d0442c53e72e4d7aa07ea9c08e9fcc430f","datavalue":{"value":{"entity-type":"item","numeric-id":685464,"id":"Q685464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$7E768596-AC8E-431A-8ACF-27B9737E365F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2380083e4aa9011de89330d86dc5f7f84fb9ea5e","datavalue":{"value":{"entity-type":"item","numeric-id":3051400,"id":"Q3051400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$E4DEFDAC-B317-44CE-BF91-F7CF6F9DF558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798750e45c29c70f2d27026d4b689f7ac806ffa5","datavalue":{"value":{"entity-type":"item","numeric-id":4222793,"id":"Q4222793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$08B88D5A-3D77-4841-B2DE-02AD624834CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bb25c78d97d7a755f34e1c10de4c5c3d2fc4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4645277,"id":"Q4645277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$9305ECD9-728B-4E06-883F-F69A83CC8F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$173E716D-478D-4387-A529-4BEFAF32E8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$F5BBFC43-2EAD-48DD-B329-D9DB7B62F60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b643a8d09bd8403e1962f987e39daf358462913","datavalue":{"value":{"entity-type":"item","numeric-id":4954439,"id":"Q4954439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$DA47EED3-5A05-46D0-93E5-A40A6C8AFA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728175dbee3a0491acb2dd8e29d4da9d070ef644","datavalue":{"value":{"entity-type":"item","numeric-id":3974863,"id":"Q3974863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$D035D6C8-A129-4000-982C-A644BD2BFD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$D0705A65-487E-4056-A30C-3F1A5C18498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c260ca4a130fc08c4f7f767d481822135674e0","datavalue":{"value":{"entity-type":"item","numeric-id":4711083,"id":"Q4711083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$01F3D983-BA0A-4A86-9CE3-EEF9E6C1D06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$F656DE0C-1A1E-41F5-BB3F-C0D3AA802826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$6D1A665A-AE4C-4C58-BE69-DF84891207E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d994db7c4e27dfd9c5271d26b11f2863b4eccb","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$09E464B2-60D0-4501-89A7-E3981F2D984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696f5acd193e59e700d77438034c7d1dd0093d74","datavalue":{"value":{"entity-type":"item","numeric-id":1322236,"id":"Q1322236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$D6FBC246-8116-431B-8685-F0D4297F2323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276248$749A1E54-FCC1-4E83-9032-29C1D8AC8E56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8a9a3b64a9968605cf39c6c26efa67c1f6bc96","datavalue":{"value":{"entity-type":"item","numeric-id":1853746,"id":"Q1853746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf420c1c4dd2d300a29f071184b270e9794de6cb","datavalue":{"value":{"amount":"+0.7285610437393188","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":"Q1276248$EAB8E764-9ECD-46F0-B4E4-E299FC2F22D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e554673c340adaa7b1373bddfbc9a81c58a03035","datavalue":{"value":{"entity-type":"item","numeric-id":2767003,"id":"Q2767003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ed08b89048b7d454c7e356b1a88320702e42ed","datavalue":{"value":{"amount":"+0.7239822149276733","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":"Q1276248$9A6F1EF0-9D82-4344-B295-4D41C8E3C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0614bdd6d6ccd03d2d581a4f7e8ab1df5124243","datavalue":{"value":{"entity-type":"item","numeric-id":1193407,"id":"Q1193407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a589815cfe70e36c705a55acc3f3dfbd25d18dba","datavalue":{"value":{"amount":"+0.7214937210083008","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":"Q1276248$657F13FF-E7C5-4E49-A3FD-30E24772A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbe444af7c1b8c577d7de05243fc4ba7229792e","datavalue":{"value":{"entity-type":"item","numeric-id":1057659,"id":"Q1057659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e48b9b3356d7aab3929b478ccc66655e369a34","datavalue":{"value":{"amount":"+0.7195520997047424","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":"Q1276248$3C83679D-F0C8-431F-9877-FD348C8892C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic operations on finite relational structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_operations_on_finite_relational_structures"}}}}}