{"entities":{"Q5055727":{"pageid":7085304,"ns":120,"title":"Item:Q5055727","lastrevid":91919669,"modified":"2026-06-05T00:24:33Z","type":"item","id":"Q5055727","labels":{"en":{"language":"en","value":"Priority rewriting: Semantics, confluence, and conditionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631122"}},"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":"Q5055727$D16D0E10-7A4C-4853-AFE6-2AB0E83D2EAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9918a49ceda5bd223617e06171e939c70708a83f","datavalue":{"value":{"text":"Priority rewriting: Semantics, confluence, and conditionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055727$37911B10-6FDB-40F3-A103-B0CAF8516452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d5388b44232c1ccc61424d51527de00c871f958","datavalue":{"value":"1503.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$469C12C9-BDBE-4B6A-813A-E96436CF488F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"762a402c71e12ceb2688f8a51a00c93fe0fdc337","datavalue":{"value":"10.1007/3-540-51081-8_114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$E78B7A75-549B-465F-B6C2-A4137E709598","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57476dd69b666e7f4143357f8fdbde08c69c0dbf","datavalue":{"value":{"entity-type":"item","numeric-id":209357,"id":"Q209357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$2F5B57D5-864A-470F-BDF3-1C0E58B00239","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$ECB2BC41-D10F-4BC4-B118-FD3C7ADBE327","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055727$AB7540F4-80D9-4513-8582-6520FF32CC3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$18B6CD7F-BC19-4226-A528-1B48F337E735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$E244DF8A-30D6-4EBE-84EA-C649506C501A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$424CE28C-D6D8-4301-B335-C0EC2C401C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f1b48f7f3a3dc2a0a8a6c59f1547d9913d3c98","datavalue":{"value":"7631122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$7F280E7F-2785-4DB7-B44D-4F71E029D6F9","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":"Q5055727$13C99896-CB68-43FC-91B6-3B31BCA7016A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"294d2587c4203667a5b0beafc9689a4c3587633b","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_114","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055727$12609234-1607-407A-BEAD-87E7E9D07244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"145c8e2f8d51cd3e38ca5214da2622455a5ad691","datavalue":{"value":"W1559211365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055727$330E3372-4BF7-444D-AE20-B10F28382A1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1de7a41a5c09d0b7d2c0b459018288964db062","datavalue":{"value":{"entity-type":"item","numeric-id":3805891,"id":"Q3805891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$1720AF40-4EFA-4FFD-8B56-76AD2F20979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$64C35C3F-C8E1-4901-B6FF-CD842A416F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$ADDA686C-E109-4DFF-B99C-5C19E93BBCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ce7d0f1851c452c921612fdb804e4aabed6d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$F3579D5A-AB9B-46BE-84B4-0951BADC332A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$F0BF4088-A67C-4770-AB10-2752E28D5712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$1B91FA32-A544-42C7-8C5B-1AFE4E95B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd8f5a7508e8ed1812cdb5f71b5cdb7d05495","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$1B9B644B-5D7A-4048-92DA-38B061E8424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5923286daf9d2ca3eb0fe32e1e8af692d9981c","datavalue":{"value":{"entity-type":"item","numeric-id":3817658,"id":"Q3817658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055727$BA6F65EF-F9FD-4D21-B5B8-98B5A7C1712B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa4a5c2dcd25ccd449cb3bd936b3ae4a617d481","datavalue":{"value":{"entity-type":"item","numeric-id":1276259,"id":"Q1276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e6873a66124470a9f25784f0bbe825047109c2","datavalue":{"value":{"amount":"+0.92178786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$D9D5C6D1-9A39-4589-A345-CB67423E5555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6fd7da2f3b442e27d656027b3efdcd30f039","datavalue":{"value":{"entity-type":"item","numeric-id":1275017,"id":"Q1275017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942883cc3c4855e0547d923559f5c36e08f914d5","datavalue":{"value":{"amount":"+0.911611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$E28995AB-B01E-4731-AF70-55765AC78997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef349e646289a428d5b170f1205f0af317edfac","datavalue":{"value":{"entity-type":"item","numeric-id":5055874,"id":"Q5055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98824aedde22a32e1d3e09ed755463fd48aec91a","datavalue":{"value":{"amount":"+0.90637517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$19347D09-2D62-470C-87DD-505A22F04E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fa3d7680fd0da5204d4e010d0a51b5f4274e04","datavalue":{"value":{"entity-type":"item","numeric-id":3805891,"id":"Q3805891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a318aa3430b4cd55c0cc9d9ad3540bc4b7b41d","datavalue":{"value":{"amount":"+0.9057429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$5CEEF54E-5586-4686-AD6D-51EA316390DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f287559f0b80219d237c56345b9527dbb5c270","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7a8cacbf81ce753e47bc5a0b183e543ddf2040","datavalue":{"value":{"amount":"+0.88801944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$79943CBE-3531-4021-90FC-599AFBC32195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b504c99e71c926cb8f2813fc46d2e3e1eac51f87","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7abe11ab1307da3a27cbc468efbbf8b9387863","datavalue":{"value":{"amount":"+0.8783399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$83487F9E-EDFA-41F0-9C8D-57386633C10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66d8d56472749cb9bdd54ea62c7c6f3ad94441","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6450c32936fa11c3319a667244ce20f4e21bf5f7","datavalue":{"value":{"amount":"+0.8769766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$8A35F3A0-73D8-4012-95B7-7420A22B4151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37513840567abbc52afbec92a26d9c76972f97d","datavalue":{"value":{"entity-type":"item","numeric-id":4876348,"id":"Q4876348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c6a41a0c4a3825d2e3a53cf654c6b0e852e906","datavalue":{"value":{"amount":"+0.8717221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$4F559E01-32AF-4F98-A2DC-7B42651AD20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8627c505ab0577feae6ff42cf6161213b3b1d27","datavalue":{"value":{"entity-type":"item","numeric-id":4993332,"id":"Q4993332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e85974751678e4dab16349ad744459abdbe8e4d","datavalue":{"value":{"amount":"+0.86981416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$C27A7113-4491-4B65-9960-7211F56DED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869d09c1361dc1d8472db1da2ed2403400e7b7c9","datavalue":{"value":{"entity-type":"item","numeric-id":6104381,"id":"Q6104381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b7dff33e5fb172ff84dfe0382869e6fedd69d6","datavalue":{"value":{"amount":"+0.8684054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055727$97C554B5-A3A4-4E6E-9DE2-B11A52F4FC6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priority rewriting: Semantics, confluence, and conditionals","badges":[]}}}}}