{"entities":{"Q5850783":{"pageid":7880334,"ns":120,"title":"Item:Q5850783","lastrevid":50877506,"modified":"2026-01-15T13:25:05Z","type":"item","id":"Q5850783","labels":{"en":{"language":"en","value":"Semigroups with if-then-else and halting programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658762"}},"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":"Q5850783$E6A132C9-E8B7-4A1D-8953-C5727E733A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a121e65220f23bdbb1840e018097c1db0038e139","datavalue":{"value":{"text":"SEMIGROUPS WITH if\u2013then\u2013else AND HALTING PROGRAMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5850783$B5AB5D5E-C547-492E-AF3E-FBCC61F25BF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fee78e7e0231a87cc582b1252b7e53eea777a636","datavalue":{"value":"1203.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$18B47B51-CCF1-4163-8F26-9E0233F262A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34fe1f2e77e7125522aeaf83437dd981018aad70","datavalue":{"value":"10.1142/S0218196709005354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$6B65A847-2FBF-41C7-9A7E-03E51C5A4A26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$43440D16-71DA-4C26-83A2-ACB9DE7ED4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290b302b4bd6785e5f63e4d3d037b3f5d9b208a7","datavalue":{"value":{"entity-type":"item","numeric-id":915469,"id":"Q915469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$6D71575C-216A-45D7-8AAD-05DF2AFE62A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$F6503CD5-E742-432C-BB11-B851FB998A25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6c5227c532f1642a28ac5ec57c91ab7b824960","datavalue":{"value":{"time":"+2010-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5850783$A30820B8-9E9F-447B-A8A8-D7CF0477E1CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$EE5D90DC-17E2-4C37-B2A3-4DBC2477641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$78BB3B7F-CD6A-4D25-BE52-A7252691FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$B38FD79A-8D29-401D-B08B-4ACF0C34D67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f976288c7451e18a80935e4a60591a7cd7af5140","datavalue":{"value":"5658762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$DF424A2D-BB96-46F9-B263-2EFB83F5FF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850783$AA94EAB8-CBD8-4DF3-AD55-EB4C4D1E24DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850783$25DD8945-7F93-4710-ADB8-62240CDB046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0effbd1ad15e3c0ad2206672e057492399352998","datavalue":{"value":"if-then-else","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850783$52F34106-A61B-4B48-97AE-ABB032EDEC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a594203ff63d26f65fb9a5750028e8ab2ca736fe","datavalue":{"value":"equality test","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850783$FD4CF572-5874-4B77-946B-67E8DA8F3DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6a5abcb7de034acd8eddb45ed248204bbc0fe5","datavalue":{"value":"fixed-point test","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850783$45EAAD75-D377-4BD7-913F-D8251FA8F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcca7eea7d10a0a55fa25feeb9d8dd6ccd863a36","datavalue":{"value":"composition of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850783$314D9663-8658-4F9D-9998-41B1DE04D52F","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":"Q5850783$A79028EB-AB1A-423A-935E-1FBE117BDB4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f7d12b94d7f2d80eddb8cb3738859c6cf7b8e7","datavalue":{"value":{"entity-type":"item","numeric-id":583355,"id":"Q583355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$355400ED-B65F-4057-9702-47CEFBB53309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc37074100decec1567b589117b5998df7e079ec","datavalue":{"value":{"entity-type":"item","numeric-id":3667922,"id":"Q3667922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$6E554A52-4D46-46C2-A503-A20C0D35EBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6bafc029c058d61d6573a9d1a15b936cbb3407","datavalue":{"value":{"entity-type":"item","numeric-id":4312395,"id":"Q4312395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$78640C5D-E997-4196-85F9-2E74FB12986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$0F517D7F-3DAB-4B3F-9CD4-A8D65C5A6597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b5e85d1f50fd2a63b0a375b06a97f407e50e99","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$55D99E51-5606-467A-BF7F-A434DA8AF4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25022099616c01fd1ce096c7694be7b15810f0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1406756,"id":"Q1406756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$91EB9102-2EA3-471E-B758-D87F656DABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153a95e95219fc7b7db957ce32b9b2cb0333db15","datavalue":{"value":{"entity-type":"item","numeric-id":3430314,"id":"Q3430314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$DF0D54C5-05E8-4756-82CE-014081135FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd19a8ef288a2844856a3543b7fa516efb2149e","datavalue":{"value":{"entity-type":"item","numeric-id":1818826,"id":"Q1818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$BE6B1806-6B50-49D6-A0C9-BCE593316BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$A60BABCB-970F-45F3-89EA-9B2F9FFA3215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$510954CD-BB42-4F36-8471-4AC86BC618E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f549a7436f3696702f1952515395548235a606f","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$B86521B4-B0BA-4102-9715-C7536A60FAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fe1dde5ef1db9efebbfff6a92aedf602f03722","datavalue":{"value":{"entity-type":"item","numeric-id":3801055,"id":"Q3801055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$2BCF8557-EC7C-4A43-A4FB-4FC0849D4377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771fb0f6d668005d21d3bd885bd59710936727a4","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$C79036C5-9503-4AAC-A146-34A436423671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76fa1f83944c15b5ff6961f5d9e24eb7e0afa70","datavalue":{"value":{"entity-type":"item","numeric-id":2539869,"id":"Q2539869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$3FB87181-711A-446A-BA30-6CA6A1FA0CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bd4ed6b555c8d37c0ce863b42bd69f23acfd07","datavalue":{"value":{"entity-type":"item","numeric-id":4189453,"id":"Q4189453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$F2DA4164-EB3F-4E1A-A428-DB2CC0369B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e9d623818d1cd6053d3867fce3f160ca84a76a","datavalue":{"value":{"entity-type":"item","numeric-id":1966134,"id":"Q1966134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850783$6C4D7553-B67C-4A0D-B9FF-E2A8A061D4CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"786d7ca605016d725cae2b3a07ac90d5eb10bd55","datavalue":{"value":"https://doi.org/10.1142/s0218196709005354","type":"string"},"datatype":"url"},"type":"statement","id":"Q5850783$118D55EB-C686-42D8-A9C8-5CCAF1925DE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de622c1d8df678f63c419ba62e697ab1148798bd","datavalue":{"value":"W2161472487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850783$293B2411-0B37-4B44-B2AA-4803F563F6D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ee75e5f70ac5f9cc0d88a903b9f32dc7bc4568","datavalue":{"value":{"entity-type":"item","numeric-id":2258843,"id":"Q2258843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ff05d3cac729b357bf1dfd781ceb8421410869","datavalue":{"value":{"amount":"+0.8293838500976562","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":"Q5850783$D680B35C-9FA3-412B-9483-17FC472BE3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6426254c0a4b61d246be83e3d7410b234c864806","datavalue":{"value":{"entity-type":"item","numeric-id":5269894,"id":"Q5269894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deee905540910f75e12e77ec1e26232a1c20ea40","datavalue":{"value":{"amount":"+0.803710401058197","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":"Q5850783$EB5AEAC5-2A33-4E05-B1C9-26A5972FE1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7572389fd8e287e19897e54c34d71d71ec53ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":4968241,"id":"Q4968241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b5ee833076a6d01735fbb38524c9f131cdbe70","datavalue":{"value":{"amount":"+0.8009107708930969","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":"Q5850783$922972A7-FB97-4283-ADCC-F1BD8FA6B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da894c457a9507a121f2a987c9b9cc2108f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e224604d31e364c720a991da61790e16a69317","datavalue":{"value":{"amount":"+0.8007642030715942","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":"Q5850783$B5471EEE-450A-43DA-8105-646E4002F968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b797b4f4b7c8fe87b3466db03ba25f09c7c1b20","datavalue":{"value":{"entity-type":"item","numeric-id":1646607,"id":"Q1646607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010ee37a29822548f2c114937417107d88f62566","datavalue":{"value":{"amount":"+0.7925505042076111","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":"Q5850783$B9031441-40CC-4C62-86B5-F03A869D3D7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5850783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5850783"}}}}}