{"entities":{"Q5089021":{"pageid":7118597,"ns":120,"title":"Item:Q5089021","lastrevid":91338710,"modified":"2026-06-04T22:55:06Z","type":"item","id":"Q5089021","labels":{"en":{"language":"en","value":"Probabilistic rewriting: normalization, termination, and unique normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559285"}},"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":"Q5089021$0AE3CDE9-7E2C-4990-AF85-96DF82B965CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9aaf1e7c2b1ba0b424702ec2021099c86aa7244","datavalue":{"value":{"entity-type":"item","numeric-id":418200,"id":"Q418200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$1E367F55-E836-4EBA-BFA6-1DB6C3C54698","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089021$5FB51769-909C-44C6-ABF4-8D38D69C3E72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089021$52501252-9A4C-41E2-B7CA-3BEA665B8D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089021$E021BB4B-4413-4C72-B9FF-02DEA920F7C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa7aa61e9a3f2f48f235144bfb6ee63e4be45693","datavalue":{"value":"7559285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089021$2F5CBBA5-04D8-4CAB-81E7-65E3632937C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9deabf9d26552d688886bdb40ceb485e420d0788","datavalue":{"value":"probabilistic rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089021$E4351C25-7DBE-4994-A964-81B3A9CC3EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45cc2b87428381fd59fb8a2702be5451335af859","datavalue":{"value":"PARS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089021$71855B3D-A606-4A17-895E-3C99AC810767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e4eaa3b833b6272f268ebb21091ea7ac2fecd1","datavalue":{"value":"abstract rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089021$EAD551B5-1BE0-4ED1-9278-891A2DA9ECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089021$340D1BD4-4BFD-4DFA-9704-C412F58DD49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861a5f0388806a8b6992202672ca467a5b634842","datavalue":{"value":"probabilistic \\(\\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089021$6A9753A2-0707-4EAC-AEAE-C899F02ED2D7","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":"Q5089021$DC662CBB-72EB-4300-BC6A-D195F1E79B0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3530d65a695b6a5ae1e632bd935e719513daa1","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$9EE3A667-F1C9-4B1E-BF62-E97CC04C32E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9843162a59fa35da49ca001c2249fefe442d3264","datavalue":{"value":{"entity-type":"item","numeric-id":3527308,"id":"Q3527308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$8103C296-1AD3-46ED-B0C0-37256B94AE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c877c04c541a7428908ff8a8974c05cf812abc","datavalue":{"value":{"entity-type":"item","numeric-id":4808751,"id":"Q4808751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$F861994B-2DEE-49A3-98A8-55CF2720998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aba331888ed53a4ed165af95f5e9757382bf85","datavalue":{"value":{"entity-type":"item","numeric-id":1129266,"id":"Q1129266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$8168ACFA-39FD-4AF8-A0F4-A02645871593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2b9f18ec546e00cf26c8d63230eb3ae1b5d40f","datavalue":{"value":{"entity-type":"item","numeric-id":5370917,"id":"Q5370917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$A0179DB5-A0B2-4982-8B3F-53510F1D8E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efc294bd534ffad39d76f38f517e60db941a390","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$19B154FC-CA33-4DF7-B2EB-772A1CC6F680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2af6480dd432be0210042ad2a937feae5c5d909","datavalue":{"value":{"entity-type":"item","numeric-id":2825377,"id":"Q2825377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$E1C31AB0-DB3C-4ACD-9ED7-A9726002C244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$57F41355-5768-4799-8B90-E23CECB48A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$A64CC739-948A-4923-907A-041805CF9B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$6E042B68-FF21-4810-900F-64845BD3D2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cc087569869137cef606dc04ca1224b51f202c","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$0D8D8A62-A601-43E5-A94E-64FCF5DB61B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f3901ecfb8bd4279a89903dd0c810c2f4603f9","datavalue":{"value":{"entity-type":"item","numeric-id":2825343,"id":"Q2825343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$E0168835-915B-44E3-8C78-DFF89FD7366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d34eafbda89a6378a15f4884978feb2dba9a51","datavalue":{"value":{"entity-type":"item","numeric-id":2333318,"id":"Q2333318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$DD8CFDA9-F5F7-4404-84D3-D5A2D9962E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab5a9618dbb49c09c2c6601bfa647429363021b","datavalue":{"value":{"entity-type":"item","numeric-id":4411839,"id":"Q4411839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$7DC264F2-3537-4C03-80AB-7AE82780E44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$635E2269-BAF0-41B8-8941-20636E63D915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6460747f9737a8c19f6eca6fdf44dcd8d54512a3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$7DE60602-B36C-4985-A88D-93A5EE315FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197f75f5cd86020e5cc4ef15f910d8be341c9f00","datavalue":{"value":{"entity-type":"item","numeric-id":5606582,"id":"Q5606582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$E05CC24E-4B9B-43EF-B483-BE53541A4754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$B06804DB-2962-4521-B3CD-474D32901A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$14085F1A-D59C-4867-8109-EBCE28ED1FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75b40d958d87f1718efeb1e4e68aa3026222efb","datavalue":{"value":{"entity-type":"item","numeric-id":1671150,"id":"Q1671150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$53DA1DB6-81F8-4671-AA6E-6DCA1EB8D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e732c53b12b893204d0ba7cbe2f395c7aeeaa6","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$AB853C2A-BE5B-41E5-BDE5-B732D94FD6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$DD031F27-7839-4A5E-AFBA-FFF612A7B04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6a72e5a3f7d04d286f8a80ba01638547a8c68","datavalue":{"value":{"entity-type":"item","numeric-id":5276144,"id":"Q5276144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$D98BE98D-1178-46A2-8FCD-82AB9A5ECEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$217521FE-D740-40BF-8700-6AFEC18619D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$8DC57762-BBEA-461E-966B-21DD04C1B314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$18958150-C866-4FF4-ADC8-B71D4331F8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f815b333bb881989d9b818874a2a5f2de3414597","datavalue":{"value":{"entity-type":"item","numeric-id":4179849,"id":"Q4179849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$8C4E5DFC-BFE8-4202-B12F-E95B291FFAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d76393a70d405a8059be716f4f3c29dd963950","datavalue":{"value":{"entity-type":"item","numeric-id":5658085,"id":"Q5658085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$23E43507-468A-4175-96C7-1EC73E0D43D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81397f0345ca4bcad82ce8e3e49409354adbd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$87B84F81-D204-4DB2-B618-1498EC98B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$42E5B9E6-0399-49E5-A40E-C8AE94434E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8233e8873eba8829799686bd9ba1959d145be33a","datavalue":{"value":{"entity-type":"item","numeric-id":5432348,"id":"Q5432348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$3EDC8C4A-1338-4E6A-AC2E-681E70302AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9eff78726ea4e801ee6313284a744a4c0ef51c","datavalue":{"value":{"entity-type":"item","numeric-id":5369497,"id":"Q5369497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089021$55D515E5-DC80-4302-B7FC-D7446FBFEBDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eb8f755cd3a06262c1805a10f1ba371f676e3b1","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089021$2D6EA663-63E2-4701-BACF-D2EAA05F8C9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9a973d7563f535cf4560077db2b78f7d7b9b86","datavalue":{"value":{"entity-type":"item","numeric-id":5094133,"id":"Q5094133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19293b25a263f399dab343863b6634cf4aa95434","datavalue":{"value":{"amount":"+0.9585955142974854","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":"Q5089021$EC9308B4-1A1B-4305-A524-AFD74CD2BE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8935f09cc8b2522b89e571c69e6f6a231b442f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2333318,"id":"Q2333318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdcdc566aa6100f007760eb1df0fd52d45738d7","datavalue":{"value":{"amount":"+0.8145713210105896","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":"Q5089021$7222B753-1D73-4903-A991-6DA32F5ED9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624f151825fcc7a29898b32e9a0f9e52145bb83","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f278698fefb3ecac855612261a4c5ae89de93f","datavalue":{"value":{"amount":"+0.8029574155807495","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":"Q5089021$C2535CBB-5882-487C-8BE0-0DC90FBD994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bccbd19983b2fe58de748b33d7ee128dd5d5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5108532,"id":"Q5108532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaab70438c6283f47ac09e7d6fd7824a2400d38f","datavalue":{"value":{"amount":"+0.7988089919090271","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":"Q5089021$23888020-C7AA-4B80-858B-ADF32E0194B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc87aa5f921ba446626bc6f9ecc69658b14a369","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16531d1be53d4d7d2c72e7aeb0678eb37e39fbb","datavalue":{"value":{"amount":"+0.7800275087356567","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":"Q5089021$6BE3CD29-266B-47E4-BCB8-D6C07116F97C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic rewriting: normalization, termination, and unique normal forms","badges":[]}}}}}