{"entities":{"Q1854476":{"pageid":1865218,"ns":120,"title":"Item:Q1854476","lastrevid":69361761,"modified":"2026-04-13T06:29:43Z","type":"item","id":"Q1854476","labels":{"en":{"language":"en","value":"A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853217"}},"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":"Q1854476$121245C0-3FC6-4B7D-9197-1243C06B8BD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3314f61d9711fe45fa1f5daef0d61e38a6309de","datavalue":{"value":{"text":"A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854476$475D527E-9F43-4069-A1A9-49749A14CEC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61d5930ed66bc06bddd063590e57a37f3fd7a2ae","datavalue":{"value":"1005.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854476$D3A0DB69-0ED8-427A-8406-D7DE96DE21D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$23D2B6C0-BDFC-4F16-B3F0-F410DC90A3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b48b257a89e9bea64202e94a92f0c6aa7e2abaf","datavalue":{"value":{"entity-type":"item","numeric-id":1675916,"id":"Q1675916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$84CEDA35-6A27-45EF-A901-5DCC55D89912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"982abccfee1d8ad21841688db0c174bc299b64f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854475,"id":"Q1854475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$55184D64-3DBD-4070-B98D-92E919D8469A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$6BC04925-0CBF-4420-90AB-0DBF81F78F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854476$24102486-8BD9-4566-A3FB-AFB6F27DB3EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854476$F0C60685-0D64-45D5-9736-EDDBB2CCD793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854476$79BAAD3B-202D-468E-8607-6095EC42256A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e6958eb81afe36a1a66ab8487e76bc3b5e8f2fa","datavalue":{"value":"1853217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854476$4711C8B0-77A9-4EA4-8482-661ACCA0DC4F","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":"Q1854476$2C7D7BA0-4462-40AB-82F4-3AA46104ED95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adebe85d9ec0e4a801200825557ac96ab247342d","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2945","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854476$A6D28174-A4C1-43AA-A526-5A16334A277D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c991d92697b647b59b97684c143aea3ef984c907","datavalue":{"value":"W1992603771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854476$0AB45B6D-F9D3-4BAB-9726-968CAE177CF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$EF31A16C-6BDD-40A7-AC4D-A8FC88A1890A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$9CE61410-EAA1-488D-B710-65110B3958AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e198c61854c1cb82b751a7d6527cf5ac03f027","datavalue":{"value":{"entity-type":"item","numeric-id":3204057,"id":"Q3204057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$F9D9C31C-0B86-4D5D-B790-A64CF3DFE7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc70eeea8053efa47738cef86a5cc48495ebfbc","datavalue":{"value":{"entity-type":"item","numeric-id":4041549,"id":"Q4041549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$AD6E2BDA-CBE2-40EC-9BE6-BE22137B9DBD","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":"Q1854476$2B678281-82C3-4E83-9C04-F708FB63A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854476$88B9CFF2-E03B-47C6-BFD9-D05C890A7110","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":"Q1854476$2491CB82-684C-4DA9-A5B5-F576DAFA8845","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539a083297a8b1484da5abd039057e3d2bf352e4","datavalue":{"value":"10.1006/INCO.2001.2945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854476$6FE4F399-4C0C-4F9B-8946-B259C03CC8AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6574306d2419827858f10ebf8d18454bcc32293","datavalue":{"value":{"entity-type":"item","numeric-id":3706484,"id":"Q3706484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8ac8fc7b3f3530f221d11d25e67697467687b5","datavalue":{"value":{"amount":"+0.7798336148262024","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":"Q1854476$446C8904-61D2-4CF8-B8EC-49E0ED7AF280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0acf1f80397b88ba2f1432551df93f4f216819","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6acf0a3d5a69cd43b610178332449123f91875","datavalue":{"value":{"amount":"+0.7697086930274963","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":"Q1854476$7999AD7E-8906-4F12-B445-70E8EEE56066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3554cbc968ede15ba82556586662cab5a82a7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4594227,"id":"Q4594227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507d37e98c4d14f5c419b0c030c52c2151aadee7","datavalue":{"value":{"amount":"+0.7622847557067871","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":"Q1854476$384E63F7-47F1-4CBE-9ADC-74A3FEC7405B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3a0b5cd885b6a4663a0877fb8cbc03331e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389152,"id":"Q5389152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc16f7793ca3d98301f3b6676d2ada7c716f51d","datavalue":{"value":{"amount":"+0.7476317286491394","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":"Q1854476$87BE552E-07DE-4FED-A7A3-B6885E0CFBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3e13ec7d137f01950a39a61f32d43b8a63ecab","datavalue":{"value":{"entity-type":"item","numeric-id":5419491,"id":"Q5419491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef6acbf997db36deae878f1ebdcbdd822c9bd88","datavalue":{"value":{"amount":"+0.7394968271255493","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":"Q1854476$C2DB806C-43A1-4206-A63F-07770B57DBFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_weakly_Church-Rosser_abstract_reduction_systems_that_are_not_Church-Rosser"}}}}}