{"entities":{"Q444673":{"pageid":446440,"ns":120,"title":"Item:Q444673","lastrevid":61914912,"modified":"2026-04-11T02:32:00Z","type":"item","id":"Q444673","labels":{"en":{"language":"en","value":"Identity checking problem for transformation monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066649"}},"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":"Q444673$7916A839-7792-4C59-AF62-6EB1E9A97825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84b1f43b11be3fedeaf9970ed865763e487d5ede","datavalue":{"value":{"text":"Identity checking problem for transformation monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444673$1445B9A9-42B2-4E13-876B-CF7637E62319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edb6b8886bfc93b4e8030f9151ffd521f648775b","datavalue":{"value":"1282.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444673$CE0BACC4-3127-44D3-90CC-5052BDE8C66C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a477b26319b1b57c32a3bbee441c8117ab4fc0f","datavalue":{"value":{"entity-type":"item","numeric-id":444672,"id":"Q444672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$B67CAA86-BDA3-4304-AC67-77B6E4899DB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$6A4C296D-8A60-4D55-929B-3CAFA3A1D981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444673$1ADADF6B-D0DF-4A1B-B594-C7D9FFB21188","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444673$A8AD0FE2-FE8E-42DA-B8E5-5B0C8BB1DF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444673$3845B0BD-AB31-496D-BF91-BAD204B3E133","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9b0ca68d94b4d63b88bf4d372628601bb0c5c84","datavalue":{"value":"6066649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444673$5A37F1F3-D872-4CBE-97E4-8BC7EF4CCC40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b600a76a0edf6e396e9ce9e01d8c50aa807857","datavalue":{"value":"checking identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q444673$FC84E9DD-57BD-4F5C-95FD-AA9BA0CA7044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q444673$130A8377-10B5-467D-B9DB-207034B4568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a8d210c28298f072c89a49cfe46d235cb79e21","datavalue":{"value":"transformation monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q444673$7C42D662-29DE-4C45-873E-83D4D2562489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q444673$09487714-7060-4FC4-8D55-3C4992BACB4E","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":"Q444673$0CBD77A2-0CF7-48A2-BE59-91C3B53A58C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a55d177a4b229cd3620c21dc356450a8c695cb4a","datavalue":{"value":"https://doi.org/10.1007/s00233-012-9401-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q444673$B6B52497-03C5-43BA-A59F-53799AC766AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab64d7760fe543e112f84e7763103ea26aa8d5db","datavalue":{"value":"W1994353492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444673$628EA242-6AFE-457E-B79F-4A7C442C1378","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7db333626b4af6a4d1f5926a14044d83f3eb91","datavalue":{"value":{"entity-type":"item","numeric-id":843593,"id":"Q843593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$1A736554-7994-45CA-B1D5-6374CB5E3FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa217a0c47396d6ab8ac4bc3663f02514d3e5be","datavalue":{"value":{"entity-type":"item","numeric-id":2366112,"id":"Q2366112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$490DF1A9-23F4-4A75-8E60-3882F5F72263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83819ca1cff05b8158f6922093c78b97cfd47472","datavalue":{"value":{"entity-type":"item","numeric-id":2577706,"id":"Q2577706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$ECD520D7-BC8D-433C-92E1-7515AEB4CE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bab9b0d89928186e46d5365ddd0fce7611a0a1","datavalue":{"value":{"entity-type":"item","numeric-id":5297585,"id":"Q5297585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$8ADC22DB-4AD3-4791-A2C3-F07CF48A36E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6050894f5b25139356708ac3f5ed9b3c73276cf","datavalue":{"value":{"entity-type":"item","numeric-id":3421602,"id":"Q3421602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$3BCAC8D7-41F1-4A9E-B23F-F48D5AAE797E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669646dc6c821a7e79d3f2e2788af0f95e160688","datavalue":{"value":{"entity-type":"item","numeric-id":1934970,"id":"Q1934970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$FBE02B1F-4A63-4234-B047-5BD3BD60B5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e57296c2438ccd115121977cc1d0b48c250032","datavalue":{"value":{"entity-type":"item","numeric-id":758209,"id":"Q758209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$5C82F607-0CF2-403D-ACC1-205B97FFC04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2713df12cd7bab3db676c02dbff3d45404bc0cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4824699,"id":"Q4824699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$71639111-BEEF-4B80-90D6-FDD970990473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1163b75feea329c267b3957b69fa43261ded1771","datavalue":{"value":{"entity-type":"item","numeric-id":2655464,"id":"Q2655464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$75386C79-CAA4-4A50-BFF5-781331D7BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7df7df5ab161fd006ffefe6b4b82571781fbfa","datavalue":{"value":{"entity-type":"item","numeric-id":870451,"id":"Q870451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$9BB7FCDD-8A0F-428E-BBC3-A66B37F622AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$A1B91F4C-13F1-421D-ACFB-D9CCB0939322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1447a4adebb101344805dc6f8a5999d69e1b791","datavalue":{"value":{"entity-type":"item","numeric-id":3617672,"id":"Q3617672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$D3378FAF-44B6-4F37-B4E8-9D78448E9B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b30fd147578354c576ab6eee82f0f88022fc5b","datavalue":{"value":{"entity-type":"item","numeric-id":5461667,"id":"Q5461667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$95A5E934-6564-4BD1-8F3F-984A7BFFA00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0f5de810b04e73923acd1393cff5612336f307","datavalue":{"value":{"entity-type":"item","numeric-id":1869963,"id":"Q1869963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$56F84F4C-26EB-4A71-B817-BF3AE6D1EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778ebebc3476a42954d13011cebbf7300b845339","datavalue":{"value":{"entity-type":"item","numeric-id":2491185,"id":"Q2491185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$CFF43A4B-0548-45DE-8318-7102DE79858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e0449a2e5fcca77d1799d538be9a7901e2b87e","datavalue":{"value":{"entity-type":"item","numeric-id":4811888,"id":"Q4811888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$1B70C6EC-4988-4989-9AFF-0955A37613C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af675aa943dd51185fffa60711728d98b3d09a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2583608,"id":"Q2583608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444673$30B1164A-64BB-4D3E-A3BF-2E94C299C5D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ec2b7005456cd121793dfeb804c3518b48a707","datavalue":{"value":"10.1007/S00233-012-9401-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444673$308296E5-B20A-4256-ABDA-6702327BCB1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168ee8b364fdd824e03167252e081edab0c86659","datavalue":{"value":{"entity-type":"item","numeric-id":2655464,"id":"Q2655464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1324ea4b2ac18d92f1067a894eb6b0b21351e49e","datavalue":{"value":{"amount":"+0.9167227149009703","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":"Q444673$CDBB1773-50B2-47B1-A739-09BD7056B473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b91fb643c1dc82bd98074b9059de14389ddb39","datavalue":{"value":{"entity-type":"item","numeric-id":843593,"id":"Q843593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfec8b41c752e7010c30fbd3f37b3d05badea98","datavalue":{"value":{"amount":"+0.85631263256073","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":"Q444673$FE4FC214-C746-430E-A6FD-21DE4F9D5A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7436e8d6238155ad40176bcc88148146c54a87a6","datavalue":{"value":{"entity-type":"item","numeric-id":3450090,"id":"Q3450090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a7a09fac677bbd0ce304794d38c19f16bcf644","datavalue":{"value":{"amount":"+0.8491194844245911","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":"Q444673$BA82210F-2901-4197-81D7-D50913293E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eacb3d47ba553bed6c80af1d4a1a95ad323b8c9","datavalue":{"value":{"entity-type":"item","numeric-id":4960463,"id":"Q4960463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb7c615ace25345a7e0d1fba0bd01f95e57324a","datavalue":{"value":{"amount":"+0.8437185287475586","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":"Q444673$190062F3-7E96-4C46-8EBD-BA1A565F336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2ff4b33526d8c2976a3461dc091366a15c6026","datavalue":{"value":{"entity-type":"item","numeric-id":4824699,"id":"Q4824699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed68a0b0f376f8810c19f5f8bfee0437c4f5e54","datavalue":{"value":{"amount":"+0.8281525373458862","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":"Q444673$B5DFCB95-DE17-4ACA-809B-1CFF9B1CBB82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Identity checking problem for transformation monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Identity_checking_problem_for_transformation_monoids"}}}}}