{"entities":{"Q647315":{"pageid":649164,"ns":120,"title":"Item:Q647315","lastrevid":51371744,"modified":"2026-01-17T23:33:57Z","type":"item","id":"Q647315","labels":{"en":{"language":"en","value":"Axioms for function semigroups with agreement quasi-order."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977544"}},"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":"Q647315$DE4ED057-94EF-4E8E-A5DC-2AE2D3A9CA97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8df6979c063fef7ea7b08f5c991970b50b3774bc","datavalue":{"value":{"text":"Axioms for function semigroups with agreement quasi-order.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647315$500A4D18-9C84-4DDF-901C-9FD931A31A61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29902e697e6a7e2b6afc4595c2f39a2b0966300a","datavalue":{"value":"1238.20071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$56E16A7B-DE85-439D-879F-581AA642FB5A","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":"Q647315$5E07EA86-5C12-437D-AB86-C25638CCFFB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-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":"Q647315$47C67D2A-11FF-48D4-9CD3-A8759E31B057","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b4c1d627db2d9f465504cbb0e90d43bc40d49f0","datavalue":{"value":"The agreement quasi-order \\(\\preccurlyeq\\) on pairs of partial transformations on a set \\(X\\) is defined by \\((f,g)\\preccurlyeq(h,k)\\) if whenever \\(f\\) and \\(g\\) are defined and agree, so do \\(h\\) and \\(k\\). The paper axiomatizes function semigroups (and monoids) \\(S\\) with this quasi-order through a list of six axioms on the order ideals generated by pairs \\((s,t)\\) in \\(S\\times S\\) under this quasi-order.   Finite axiomizations are obtained for groups and for inverse semigroups of injective functions equipped with the quasi order of fixed set inclusion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647315$E5148341-8FC3-4990-99EF-77F65E5BA0BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$294FC331-592A-47A5-946C-B28BC4FD28B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$2EF6F34B-82ED-40C1-8298-FB5417D31618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$E5E653FB-F5DA-4AA9-AAB9-72093405A8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$962A54DD-B5C1-4B30-B128-D35CE2BAD1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$828A8341-CDC3-454C-AEB9-59DE21388BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69541fbef6f12fb5b1cdd4d2c5ac2d0e7d90a12","datavalue":{"value":"5977544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$DEE7BBBF-B6D6-4678-824D-EEDD5D0DE7DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39dad143b45c82ed492da9519100f2ffb2ca5389","datavalue":{"value":"quasi-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q647315$80A7AD1F-3913-45D7-B69F-D48F473293CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a9016a796d20e6d55fde65b10dfbf35ef5755c","datavalue":{"value":"transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q647315$8DC5E79C-C6DB-4B50-9565-D93DFF2EAC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q647315$DED0F889-532F-4F8D-A028-9851B36C2ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d2daa3ea08f38e55719c41fb9ace3b73e6ef78","datavalue":{"value":"partial transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q647315$0BDC96CA-0134-4EF8-B92B-6DB5E6FB343F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be3bd30fa92aef645568f23989ca95a04dae5fa","datavalue":{"value":"order ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q647315$C4A0C709-A343-4D8F-8DF3-F9C2CAEA25AA","rank":"normal"}],"P16":[{"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":"Q647315$6DE35F0B-C90F-4300-8255-9B7FE7622B0A","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":"Q647315$38B563FE-9C04-4623-8469-6165D44D18B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72fffc97673d7c03a145add09c94a203be55dc40","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0152-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q647315$8CAC07FD-50F5-46CB-9ADC-9EEA68997A4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cf91ca73ccc6b34bc99854b153d6d0a31bbf3f6","datavalue":{"value":"W1988280807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$00B0DCAD-5FAB-4395-A83A-FA5BE88FBFA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f654c9ccf844506cf623ce2e0276bb8e3af333ca","datavalue":{"value":{"entity-type":"item","numeric-id":3408683,"id":"Q3408683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$ECAEBF35-B185-4132-B142-E3225F2639F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6740deb6639f0b285eb7ee3ac894a3a219822ef2","datavalue":{"value":{"entity-type":"item","numeric-id":633188,"id":"Q633188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$AE3156BA-B444-4AB2-BBDE-4C4D4E407EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4ff0f2b038ac4a15345abd73c36d29d4d35c03","datavalue":{"value":{"entity-type":"item","numeric-id":4374798,"id":"Q4374798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$658FDDE5-E92E-4414-A008-A4DA58243961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984279f3b890221289c5fccd4fb8bfec1e67fb69","datavalue":{"value":{"entity-type":"item","numeric-id":3406596,"id":"Q3406596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$8699804C-A7C6-492D-9057-16842389C636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$B87517ED-259C-4CAC-B0E8-D80E552D7537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e9d0e0b14c3ede7228b6a5ed498f6d1b7f6d94","datavalue":{"value":{"entity-type":"item","numeric-id":5931529,"id":"Q5931529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$D68E6952-B879-445D-9CEE-F2F4B84C5DDA","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":"Q647315$11760431-D1F9-4FA8-85CD-A927479F35FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f222d295a427db34f6ee841c7ee93cf05635e3","datavalue":{"value":{"entity-type":"item","numeric-id":3395624,"id":"Q3395624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$835FCD23-1602-47F9-9E3C-14531683DD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1324cdb38d67151f6177b6eac45bf55aa313fb92","datavalue":{"value":{"entity-type":"item","numeric-id":5850783,"id":"Q5850783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$D7B12DEE-3F27-4A27-BB55-083D199FFD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$50BDAF23-8390-4080-8814-69F928684612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06181436368f8eabd8e59ea454d6e2366c0b97","datavalue":{"value":{"entity-type":"item","numeric-id":4837811,"id":"Q4837811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$12F87053-8045-4FFE-9DBC-EC098B013B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b128da3cf70748e62bc77810674748db8a3372f","datavalue":{"value":{"entity-type":"item","numeric-id":2491181,"id":"Q2491181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$2B153D80-C08F-4100-AD78-ABC7EDEABE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5791eeedca9db7469880e49d54641c3b80c51","datavalue":{"value":{"entity-type":"item","numeric-id":5828006,"id":"Q5828006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$140CB654-11ED-44D7-99FB-602078BCF2C6","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":"Q647315$41278482-9F19-471C-9643-7739A8110976","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":"Q647315$84B07785-1B3D-430B-B410-382F6E1C7B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0602a2cdcf8678414b44ef3b24804dbcac6f7693","datavalue":{"value":{"entity-type":"item","numeric-id":4013432,"id":"Q4013432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$8B96676C-EE87-4E4F-B793-CF72C508D445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d004e299371cbcce67748e62996aa0d889343ae0","datavalue":{"value":{"entity-type":"item","numeric-id":772854,"id":"Q772854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$5E799489-6D63-4D6E-98D0-AAE51BE9A255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ef23e6cec1f18b4cd88a9e9c14dab642c7d3e","datavalue":{"value":{"entity-type":"item","numeric-id":773938,"id":"Q773938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$2D4AF878-3453-4F4A-A599-6B3948908D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f703e19cb2317c72fb6d8178878b8c018ecf99c","datavalue":{"value":{"entity-type":"item","numeric-id":2395961,"id":"Q2395961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$4D35F939-F120-43B8-82FC-3E1EE311FAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028baf931cd0ba55b061006a4539350e05bd1fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2528924,"id":"Q2528924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$00E5E495-E4F3-408B-BF99-05CD3877763D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4f2d5a4c1aef4541dcdd0b617756a4ead94df1","datavalue":{"value":{"entity-type":"item","numeric-id":711608,"id":"Q711608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$9C42B2A5-0A6C-446B-84EB-83F6876A587A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a211f568df2c31c47875dc9344f144fa3f58dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3916617,"id":"Q3916617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647315$5D972259-E714-422A-B827-3D913330D075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ac2edb2a8b5ed0ac75e3d5fe01c13cdbee45a7f","datavalue":{"value":"10.1007/S00012-011-0152-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647315$7F680CB8-0861-4CB9-85E7-24EF565B8E1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35242f8fcf7b83c30b474a2e4641f0fac9fec3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3331434,"id":"Q3331434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ef56fed77230c10ef1abf2c31395344ad4bac7","datavalue":{"value":{"amount":"+0.7843269109725952","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":"Q647315$F4DCAC79-CA84-45FD-A727-A790AF48AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a9701e194eb3375246440b9018d89363d3896d","datavalue":{"value":{"entity-type":"item","numeric-id":3495398,"id":"Q3495398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e951e7157f6511a1c0cf5f9b184eed50acd77296","datavalue":{"value":{"amount":"+0.7600879669189453","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":"Q647315$322878F1-CDDA-4CDA-BF14-190EA0F21F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67264ea6cecd09a189b1d74bf3802e242d8a7114","datavalue":{"value":{"entity-type":"item","numeric-id":1939489,"id":"Q1939489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe4859945f2b81029f3f76b99175feb33e29a0a","datavalue":{"value":{"amount":"+0.7598577737808228","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":"Q647315$84ED1798-B0BE-4213-A0FD-8A0B5F0F150B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f690d846a1ce25e54626720b8775e013398edd8","datavalue":{"value":{"entity-type":"item","numeric-id":1416730,"id":"Q1416730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86d921f80069f6d86f4b02ee3ce125f56ec4511","datavalue":{"value":{"amount":"+0.7318443655967712","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":"Q647315$BC869E68-1CA1-4245-A84F-E3080D480297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7e926edd510b1b46d4ccca0aeb3c1ad477fc09","datavalue":{"value":{"entity-type":"item","numeric-id":633188,"id":"Q633188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb516b25b15825eb1794390dfd26662caee421de","datavalue":{"value":{"amount":"+0.7274655699729919","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":"Q647315$1AD408C4-2AF9-4FCC-96DE-65EA99F67D22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647315"}}}}}