{"entities":{"Q1274045":{"pageid":1284795,"ns":120,"title":"Item:Q1274045","lastrevid":70045875,"modified":"2026-04-13T12:04:27Z","type":"item","id":"Q1274045","labels":{"en":{"language":"en","value":"Frucht theorem for inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238012"}},"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":"Q1274045$E11363E1-2C60-4A49-A23A-20239A6D9585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd8cb011289570c52c00f515663f9d5914ef02d8","datavalue":{"value":{"text":"Frucht theorem for inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1274045$826866D4-9B7E-4EF4-A803-8E1B182A56FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4db8aab08025a6e6575c5852df0e781c64448c0c","datavalue":{"value":"0923.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$728207AB-E0E0-4CAC-A30A-385504D7B9B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b6b3b69356c4fa778b0149e08ee8783f45a2945","datavalue":{"value":"10.1007/BF02355729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$7AA11AC0-4B95-4AFC-9F89-6E17B36FC44A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50fb9f3f5ca6b3a1d81b303946fb2438a6ed57ee","datavalue":{"value":{"entity-type":"item","numeric-id":1274044,"id":"Q1274044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$66238C84-C650-449C-876F-717F7E01347E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$90A38EC9-85B1-4D86-B8A2-3BC19B5982E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9d6a9b206993fb7ea85e63b0c7a974768c0ea6b","datavalue":{"value":{"time":"+1999-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1274045$65F1763C-A225-4570-8E74-3DBC5F7ECF83","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9e8fab40e5a848ed33e6d5cd66061d019364e11","datavalue":{"value":"The main result is the following: For any finite inverse semigroup \\(S\\) there exists a weighted graph \\(\\Gamma\\) such that \\(\\text{PAut}_\\omega\\Gamma\\cong S\\). Here a graph is undirected without loops with vertex set \\(V(\\Gamma)\\) and edge set \\(E(\\Gamma)\\) and weight function \\(\\omega\\colon V(\\Gamma)\\to P\\) where \\(P\\) is a lower semilattice. \\(\\text{PAut}_\\omega\\) denotes the set of partial automorphisms of \\(\\Gamma\\), i.e., partial injective mappings which preserve and reflect edges of \\(\\Gamma\\) with the additional property that \\(\\omega(a)=\\omega(b)\\) for a partial automorphism \\(\\varphi\\) implies \\(\\omega(\\varphi(a))=\\omega(\\varphi(b))\\) and \\(\\omega(a)<\\omega(b)\\) implies \\(\\omega(\\varphi(a))<\\omega(\\varphi(b))\\) if \\(\\varphi(a)\\) and \\(\\varphi(b)\\) are defined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274045$42547ECE-9F8B-484B-8C93-F6983C7EA6FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$2765B708-9842-4A08-8FC6-935F7BB488EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$03A19ADE-2515-43CB-A9B4-AF0F23B62AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$7087665D-0361-4AFD-BA45-6BE6DD43E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$3CC9CA05-B774-4392-8CCD-56160323C68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$B1871952-A4D8-46C1-B691-73D9E7EE2348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc9ff5859b1e52d84a0039b4893245ca8b173d9","datavalue":{"value":"1238012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$F0D34E43-CD04-494F-B0AA-768AD1A23AC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad4489bb8ad8514198b18a1dc2b558878ff9ead","datavalue":{"value":"finite inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274045$653E6666-BF56-441F-9B45-7A5E5534D27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d2daa3ea08f38e55719c41fb9ace3b73e6ef78","datavalue":{"value":"partial transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274045$372B8DBC-055C-4DDB-8172-62529DEE9871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274045$69278F5B-D056-4F94-AC91-29BA34C4C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b203eedeef120538ee5b1a0412e95b8b55c02d","datavalue":{"value":"Frucht theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274045$DEEEDC04-AA0C-4311-92DB-8B155F190041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b31a479c24c8deac624a44042790032c27f884ef","datavalue":{"value":"partial automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274045$B47740F2-552E-4F04-9363-47E5897411AC","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":"Q1274045$B3FD8354-6851-46E4-9FB9-EDACF0100A06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73faa74cc7c9e5b812e6afb23eff7f7da17c0a6b","datavalue":{"value":{"entity-type":"item","numeric-id":5771659,"id":"Q5771659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$E743373A-609A-4BA2-953E-B5C2CE7F9193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ac96a40a38e114bac68f0f93b4e426de019ce5","datavalue":{"value":{"entity-type":"item","numeric-id":584533,"id":"Q584533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$E6D7353C-DCB7-42D1-A8EF-631588F12903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d05b06e5601bcfb2870831c9e853eb21a0a8fb","datavalue":{"value":{"entity-type":"item","numeric-id":3831034,"id":"Q3831034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$30E88A3C-64B5-4D80-9C0B-731E5C44C6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274045$E32220F6-04DC-4676-AD9E-452CB0656E2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97d1d4faa103f941bbd3f2fb444affc5a3a9edef","datavalue":{"value":"https://doi.org/10.1007/bf02355729","type":"string"},"datatype":"url"},"type":"statement","id":"Q1274045$11453783-159F-4706-9E6A-DB34086D8E90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd474c193bdfaca931f4394c306b39eff00876e0","datavalue":{"value":"W2077891165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274045$08F517EA-B14E-497E-951C-E702E111F892","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080fc4585be83a37950776f43040bd913c89a53d","datavalue":{"value":{"entity-type":"item","numeric-id":305770,"id":"Q305770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca68e0bab75e63da5300d35fa544da783cfd5d53","datavalue":{"value":{"amount":"+0.7875813245773315","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":"Q1274045$A2048053-2749-4977-A75C-AD909571F4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685452e8abd6319ed345fba6bf0a3c236d4db9e0","datavalue":{"value":{"entity-type":"item","numeric-id":2038891,"id":"Q2038891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1014cb00aca2ba11a8df6084766d7bc4dd014c","datavalue":{"value":{"amount":"+0.7848007678985596","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":"Q1274045$E4F9631C-F14B-4D1E-B764-08128A891D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9d4a433b9a10d3663317be39c9d5ac667dbdb3","datavalue":{"value":{"entity-type":"item","numeric-id":2012528,"id":"Q2012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fc2bb944ab1c04898430e196ddb90d8cb65e19","datavalue":{"value":{"amount":"+0.780869722366333","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":"Q1274045$1823C8CC-E7D4-45D0-9BF5-695E8F60520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b197430147f0ffac4c66fbe083c203fd84472db","datavalue":{"value":{"entity-type":"item","numeric-id":3337514,"id":"Q3337514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c00f46faaa6af8c7e6e58d666caf2aba18d37aa","datavalue":{"value":{"amount":"+0.7801239490509033","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":"Q1274045$FE31470B-A134-4ED1-8C52-007991D434B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb892cb5fc7452eb0b2615fb30c6c526a49c549","datavalue":{"value":{"entity-type":"item","numeric-id":3677788,"id":"Q3677788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8eb7970ce6dd194c8f6b2ae6e79efe3a5ad0bc","datavalue":{"value":{"amount":"+0.7646737098693848","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":"Q1274045$024DDFD6-4A49-417C-BC4A-15DC06457770","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frucht theorem for inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frucht_theorem_for_inverse_semigroups"}}}}}