{"entities":{"Q1815344":{"pageid":1826086,"ns":120,"title":"Item:Q1815344","lastrevid":69032352,"modified":"2026-04-13T03:51:52Z","type":"item","id":"Q1815344","labels":{"en":{"language":"en","value":"Invariants and closures in the theory of rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943664"}},"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":"Q1815344$243F4AF0-CFC7-41DB-828D-AB1F7676BA27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2f737353bd8f3423946dab42150360c6a6256b0","datavalue":{"value":{"text":"Invariants and closures in the theory of rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815344$4DEDA083-40EB-4017-95BC-ABB12A4BBF0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3621c50308c61466256c987f5c5ba31be83d366b","datavalue":{"value":"0857.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815344$A6B08298-D440-4C1C-8DFA-D11C5E786A6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8fd5afe78c2569aadd86cdc004616c29de7a840","datavalue":{"value":"10.1007/BF01213534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815344$6FEB6B67-D6BD-4BDA-B832-DD7E21C38B0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"040bba2783cd57281157422bbb81fc1dbd8edd0c","datavalue":{"value":{"entity-type":"item","numeric-id":915421,"id":"Q915421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$06A045C8-E9FC-447C-95B7-90BE04B1F6A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$A584D083-7147-4497-AA58-B00F597D69B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a57270832a5fa2aef2c433a8fb31702b3e548c","datavalue":{"value":{"time":"+1996-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815344$04BC5BCB-0885-4185-BCF1-0035C90A7CB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815344$109BEFC0-3ACA-47AC-AF5F-05574753F03A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7787d362ce5ce007f25a8e59f5e5a42b525ca158","datavalue":{"value":"943664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815344$05FA4ACC-FFE9-4DCB-B16A-0AAFEE504F17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815344$00D99F5F-A334-4FDC-BEE4-EB415A39EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe1a35bf6075287c83bf5cf13f9423d82591c05","datavalue":{"value":"closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815344$78B6E3AD-0275-47B8-968D-91EB18A5C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815344$ECBD936A-7307-45AC-B549-EAAA8B25B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0758f38f59d96ef81b7a0bfa69de0f9c92be268","datavalue":{"value":"rewrite operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815344$DE59E733-6516-47F5-A019-FCC7EAA9E30D","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":"Q1815344$0CCC8779-27D9-4D6E-922E-5029DFFAC686","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$5F223CAB-F6AA-4BF7-AF1F-CFAE3D3A5DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$2362481D-27D3-4929-9794-011B952435AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$57FE52AE-92D4-40B1-9F8E-D89B46C0EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$3E579046-8572-40FB-81E5-218C2999842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$CB552734-162C-483D-AE2F-8020CC5A9442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$F0F79770-AA8A-4D43-840A-921B570C87D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$3F90765D-6B53-4055-86D4-8210FA4D2405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815344$1FE19280-3C69-40B2-8FB0-544111630452","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2e1abf50daa2e213f5b62126533a265d17e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":2376981,"id":"Q2376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f28c7c24c19b043cc73a58cb9adda35aa396f4c","datavalue":{"value":{"amount":"+0.90895385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$D187D281-F300-43B2-AEC1-04093C9215E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4415ad19f57352246d935ab891d423791511a127","datavalue":{"value":{"entity-type":"item","numeric-id":2466871,"id":"Q2466871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e2c246925df9c09379eb042a38b4e71b196742","datavalue":{"value":{"amount":"+0.89475375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$29610923-0606-4835-903A-ACA99AF7C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70349a13583e3783349ace8584e7cfd0ca3d0206","datavalue":{"value":{"entity-type":"item","numeric-id":5307051,"id":"Q5307051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db3bb06938c73f9e43d3589ae1a2cc8187181f2","datavalue":{"value":{"amount":"+0.88812375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$7BCA801F-E9CD-4B94-8586-2E3E9C41ED6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e354e40b241d9dc1ac43abb7e9ddae298f7f30a4","datavalue":{"value":{"amount":"+0.8870063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$75EA1270-5ED1-4FB4-83D8-8EB83D4AC9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4690dad1bf660794e1148bd6b0d6a28b6b1784","datavalue":{"value":{"entity-type":"item","numeric-id":4942275,"id":"Q4942275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8cfe20a2b5f629b7ceec1559df256da195c072","datavalue":{"value":{"amount":"+0.8864801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$6DAF0680-1306-4B37-8A97-609C5F23A4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f83a51966cc561237692e3085722239f180377","datavalue":{"value":{"entity-type":"item","numeric-id":3806799,"id":"Q3806799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1dd0a20aadf1c691a31f2b115b10ac2aa6b682","datavalue":{"value":{"amount":"+0.88163733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$B89184BD-1086-4A43-A77F-308E5F2F6521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d50d2a57f60cccf17ecda3ac0e8f3684dfba99","datavalue":{"value":{"entity-type":"item","numeric-id":3585039,"id":"Q3585039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254efe5d772bf073302aec2f5aa462d9c8b93860","datavalue":{"value":{"amount":"+0.87758553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$47C57CB3-4125-4691-8E38-EBE2F04CC993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c95f8880f84abbd3e650e59f855c297a805d81","datavalue":{"value":{"amount":"+0.8762337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$EC2D72F5-5F02-4946-9BAE-68FEE739F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d647163d45edf4db0b396b24d979d32ce8f6489","datavalue":{"value":{"amount":"+0.8762336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$DCB0381F-1351-48CB-8108-74CD8F66C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524edc0beca4c7378c948e9bbffbb4bc9f34d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4535007,"id":"Q4535007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2368215929a8c307222727c2eb4cb8c1b1e8da13","datavalue":{"value":{"amount":"+0.87362343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815344$70D5E9E4-DCEE-47C5-8249-6EAD5B88DF33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariants and closures in the theory of rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariants_and_closures_in_the_theory_of_rewrite_systems"}}}}}