{"entities":{"Q829757":{"pageid":831605,"ns":120,"title":"Item:Q829757","lastrevid":64657068,"modified":"2026-04-11T21:21:27Z","type":"item","id":"Q829757","labels":{"en":{"language":"en","value":"Finite representability of semigroups with demonic refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7345060"}},"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":"Q829757$42991476-87EF-4664-8877-79ADA5534B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63576019fc4834f0e3e2f193754ea829219ef64f","datavalue":{"value":{"text":"Finite representability of semigroups with demonic refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q829757$30B70E59-D4E9-4C81-9D26-264C0814ACF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8ddd2268a17d6a4968ba87d0bfb7d360f5379a5","datavalue":{"value":{"entity-type":"item","numeric-id":829756,"id":"Q829756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$5117FD07-D59C-4CAD-9E55-85C09EDD22AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$70A08C5C-E444-48CC-80FC-B19CE84288C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$1540CAE1-388B-4B66-A74A-EA2FCDA62846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"871f9786a8ffdcbd1a1c6ea2da06f791d886ca70","datavalue":{"value":{"time":"+2021-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q829757$F5CDF87A-D0B9-4678-9B96-92A231BC76E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ce59e507635a121c4bc82883f7c387daeead217","datavalue":{"value":"https://arxiv.org/abs/2009.06970","type":"string"},"datatype":"url"},"type":"statement","id":"Q829757$7E88F092-4FC5-409C-8658-F88C7FA53F04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829757$AA91ED45-EA2D-49EC-A5F5-5C6157FA70F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829757$E5BD83C1-40FE-4C21-87F5-7DDE91B85B45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcd0751a663bed4e0ef73bf1f3151f35bd391a0e","datavalue":{"value":"7345060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829757$14883F3B-59DC-4757-A47A-07325A333EEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q829757$925CAD4E-7A1E-4B2A-9ECA-EB0F695D80C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9128760971151ef7bbb47a7cbd7928601c0068","datavalue":{"value":"demonic refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q829757$A6C88B29-9A23-4A8A-9482-387EACA4CFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fc2b6f2debfde210f96bb45a876c2a4dbf7b80","datavalue":{"value":"ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q829757$F689D9D3-798A-49DA-9AD4-83F2B8C96DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3739b254e5177c283a79ed6d7f9cb663ded7bf1","datavalue":{"value":"finite representability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q829757$7EAC12BD-E417-43DF-9E6C-14AE90D298CE","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":"Q829757$5AA11F1D-58D4-4BBC-AB21-1225B4B204F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d8f79fa1ecb55bcf82f731221a203a4e2c25f10","datavalue":{"value":"W3084978857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829757$1B1F111D-3D7A-4129-96C8-A7B0756564D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cefc19e00878c2a1bfebb4d92dcd02aa2fd295","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$34A9A241-06A8-406C-9322-B29B28161F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdba0c8bd7054364aea190024c36e67faa420f15","datavalue":{"value":{"entity-type":"item","numeric-id":4175285,"id":"Q4175285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$994940BB-5B5D-4210-82CE-F8B6EC45336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6904c28bf3d00615b7b2d3cd2cc72fe25da97bf","datavalue":{"value":{"entity-type":"item","numeric-id":5459177,"id":"Q5459177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$93D5D89C-53AD-4A68-8742-A35507D32CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905a9a0fa440b4e2befb4b4d870d475086ce8aac","datavalue":{"value":{"entity-type":"item","numeric-id":3498406,"id":"Q3498406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$76478BB7-32A5-477D-AE56-E23AA5B5042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$C70B89BD-80DC-4E92-99DC-51CE59F8040B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$3B108D94-D53F-4F97-A331-8FEBCAD3F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bbb2d27cbefb44b21d7a9dd7465ac376818bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4899169,"id":"Q4899169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$C013CFE9-9ED8-4B6A-AD23-0EDC688AE286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2300e28e02da6267023d9cbe1cdfcdd01e67d8","datavalue":{"value":{"entity-type":"item","numeric-id":2446547,"id":"Q2446547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$2009886B-1CB0-4659-B9E0-B7A3E442E9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901a08b1a16a5dfcf9f587f8df3cf753334c47d9","datavalue":{"value":{"entity-type":"item","numeric-id":929967,"id":"Q929967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$0F76C0F5-E032-423A-A950-5FEC9B609F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d964a2ad0c16ee27066da712bce811b8a40c1860","datavalue":{"value":{"entity-type":"item","numeric-id":1077919,"id":"Q1077919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$AB39BF60-C122-4AFF-8D09-0B23227122AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c365930f887c5fa6d1b0cae9200de8f814042881","datavalue":{"value":{"entity-type":"item","numeric-id":2520764,"id":"Q2520764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$79F3D0F9-CD5C-4CC8-84CB-73C697E21A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$0917E753-46F2-4478-90EC-89E9E24E2D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242236ffd7a9287315fc9caf715d19c7ce61878f","datavalue":{"value":{"entity-type":"item","numeric-id":3274188,"id":"Q3274188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$41910ACE-0780-4F93-8013-4615A08ACE51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b9c1f15d1357756882613659190a4766bc98a4c","datavalue":{"value":"10.1007/S00012-021-00718-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829757$69CC760C-35CF-4A35-A9C7-8DCE2B2871CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd6f798af5c3b4af9ca495f03556ea9fc261844","datavalue":{"value":{"entity-type":"item","numeric-id":6651962,"id":"Q6651962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c782405d86c44b1337605ea38c753e1e5c5c317f","datavalue":{"value":{"amount":"+0.8414825201034546","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":"Q829757$58F9985D-B964-42A8-896C-D00DDF819E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05cbb7766e39508690157d7936c3ce61daa7e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2663185,"id":"Q2663185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba2b4ec4b7df3de4ed1c7c282936a5b6c70f89b","datavalue":{"value":{"amount":"+0.8396004438400269","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":"Q829757$02AC9DF8-B270-487A-A84B-C3CD670BB2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8b6cbbf2365260b44b2d79bc2d3d823ba56056","datavalue":{"value":{"entity-type":"item","numeric-id":5046723,"id":"Q5046723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d4f0016f596eed7fb49b23b829962715107d1a","datavalue":{"value":{"amount":"+0.7986218929290771","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":"Q829757$1DFE999F-E879-4F77-A494-89344C2F8FDD","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":"eccc00dae6530458cfdfdd9f031d41e7a17b677d","datavalue":{"value":{"amount":"+0.7819623947143555","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":"Q829757$7F97C911-0444-45FE-9BD8-230FCDEEF864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bbcd4c2ecfcbf7d4a863ae2c10a6d94e17fe23","datavalue":{"value":{"entity-type":"item","numeric-id":672711,"id":"Q672711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acc6e5eaa004413c66593c0924a855a3764d4d3","datavalue":{"value":{"amount":"+0.7731844186782837","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":"Q829757$F9CBCA85-9B0E-4515-B5A0-3FEB8B1A1747","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829757$908A2C19-6470-4F60-BA1E-B5CE8252C115","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite representability of semigroups with demonic refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_representability_of_semigroups_with_demonic_refinement"}}}}}