{"entities":{"Q1168754":{"pageid":1179503,"ns":120,"title":"Item:Q1168754","lastrevid":66287679,"modified":"2026-04-12T08:48:37Z","type":"item","id":"Q1168754","labels":{"en":{"language":"en","value":"A Noetherian and confluent rewrite system for idempotent semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3776904"}},"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":"Q1168754$5083C597-7297-4D62-9441-E0C1FD627518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2500450c44d94054e5d9f34ff159e66456c79d89","datavalue":{"value":{"text":"A Noetherian and confluent rewrite system for idempotent semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1168754$64B58F9A-1B63-479E-99A5-1F0116A2B72D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f27953f2d8c4a6527de2b173944589852006e7a0","datavalue":{"value":"0493.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168754$EFDA3BA2-6914-48E0-991A-C8E5BAC400CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb6d6ffd21aa01082c63154f5f445947f4a5462f","datavalue":{"value":"10.1007/BF02573590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168754$AF5BD0F3-F485-4A4E-AB28-071C1E6645C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$E5154845-6279-4F59-8232-D91BDA737D6C","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":"Q1168754$D431BA93-89CB-493B-A7DB-6018D249ECBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1168754$699FF5FA-E4FC-41A9-810B-F66BB5298581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bd792bcb1c8b1288ab8bdce61f147f9d7b6df0d","datavalue":{"value":"https://eudml.org/doc/134565","type":"string"},"datatype":"url"},"type":"statement","id":"Q1168754$931E205F-F0AF-43AD-8202-25F95D8AFDC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168754$567BDB80-EE61-4906-A2EB-EF47E588FFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168754$368208D4-CD70-4DB4-992E-4464FFE0C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168754$B76FB1CE-1335-42EA-A33F-585126228580","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ae078b377cd4b6bb2680df0e1863467448d5ffe","datavalue":{"value":"3776904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1168754$595AD8B7-1B2C-45E6-8AAF-19B5AB14730F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1650c3f62b08434c06e7dc4a617673d2a48474cb","datavalue":{"value":"band","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$6716075D-67F6-47DF-A941-F9E53BFCEEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d14c1164c8739bb1ff72cd6596cbc2a697c2291c","datavalue":{"value":"replacement rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$556424DA-6F96-4981-8890-B8CBA4D728EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deb612697c975c8dd6afaf281f9b60f262bdbfd7","datavalue":{"value":"terminating replacement system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$CAB05A12-12FC-4931-949A-1BAA5BD2BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3cc3f243478376179fa952a1513d00d9005120","datavalue":{"value":"Church-Rosser- Property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$380C9250-9D81-48AD-A001-EBAD0AB41550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39916b2d6b56ae17720dd9397c4f0f3b67bc2432","datavalue":{"value":"unique normal form for words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$BE22B304-EA55-4739-89F1-922F7ED2E319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a9c91ccffba7b9994c78b5eec2af8e798ea6806","datavalue":{"value":"decision procedure for word equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$A09B03A7-1474-4433-9F2E-18BCFF150FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1168754$C3B020E0-3D7B-441C-BCF1-4DDFC6F8DD49","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":"Q1168754$6AD7EFAD-DEEF-42D8-82C5-A94E042FBBF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab09e65cae707bbeddd9aca79820a4bdf3c9b095","datavalue":{"value":{"entity-type":"item","numeric-id":5344208,"id":"Q5344208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$07199D0F-4EFC-4C80-9460-94041B6D5895","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":"Q1168754$6A2D1356-FCD7-4406-B85A-D05EEBDBA262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320c72f5d7bc4233144c8a7fc06bac690cda162","datavalue":{"value":{"entity-type":"item","numeric-id":5809194,"id":"Q5809194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$18424183-ECEA-45E6-B93D-C414094E7EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$4B4555C1-82DD-4717-85FC-831754129B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$F733BDCD-E9D8-4174-A72A-958180E083A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$70F918CF-04EB-41D9-B55A-37DCC14C4481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$6B7F7EF8-177E-4CA5-A59E-E5B048B56B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$85C6BE6F-0C0B-411A-B11D-C718DB55B55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$DDE1CE87-90E6-493C-9F0A-BCB0EE1F5D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$CAF4BE3C-E5AA-401A-882A-B3DA8F578A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$2F7288EA-1B97-487E-AF54-13D3202ADA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9945fe8412d67b8b2272e38b7564c09d554fcb05","datavalue":{"value":{"entity-type":"item","numeric-id":5825703,"id":"Q5825703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1168754$D20FA6D7-79EE-4C5A-B056-D9DF6D6876BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Noetherian and confluent rewrite system for idempotent semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Noetherian_and_confluent_rewrite_system_for_idempotent_semigroups"}}}}}