{"entities":{"Q5055874":{"pageid":7085451,"ns":120,"title":"Item:Q5055874","lastrevid":91940774,"modified":"2026-06-05T00:27:44Z","type":"item","id":"Q5055874","labels":{"en":{"language":"en","value":"Semantics and strong sequentially of priority term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631306"}},"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":"Q5055874$7FEF7B1D-DF79-4981-AA7C-A51EA2216FC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b26475e011f679f98ca09ab57ff4c5d8aecbd4","datavalue":{"value":{"text":"Semantics and strong sequentially of priority term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055874$A8671F3B-DDDF-4019-9C67-DACEBD4CC9C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e5a6a7983e564cca9aee8c9f61c1ecaf243172a","datavalue":{"value":"1503.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$47057EC8-6388-49F5-AF81-7230A4CBC44F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64b7841c78d83410a63fe020148d58e12cb14201","datavalue":{"value":"10.1007/3-540-61464-8_66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$03E95E37-EBE0-47C4-8E34-1307BEEFECA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$B9C2708B-5A68-4908-9A86-AAAD96CA63D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$299A326D-F082-4FDF-BB7A-5C283D99FFC0","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":"Q5055874$4EAC32A4-1A8D-4118-8F3F-1ADE8665E9B4","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":"Q5055874$AB61AC5D-C362-4301-8A3D-77BEB54D3819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$528744DD-0385-4668-965F-26FA9D127B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$8B58853D-4327-4899-BFE9-0BC2F5528B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$A1D723A7-5720-4C72-AFE3-69E0C9EAA1FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43cb31a98b8ca72728d7aca4db645626e1680f9a","datavalue":{"value":"7631306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$081F2486-5D8E-4015-A584-EAC4F9B8673F","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":"Q5055874$77972238-12D0-4AD6-ABC1-2FA479E24FE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50128d94e24ffc98c0d367fcd9a8d8c952b7a6ac","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_66","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055874$E6CB49EC-9D45-4A83-A76F-C7D46AC56CB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d67fc753c04e5eef0ca780f3b0986572eb7fa03","datavalue":{"value":"W4252242530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055874$47DFF9D3-A823-448B-9202-CD1FAE3250BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61f4d746cc240c7e01e374e1c8b6bcf1fdd307f","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$90786FC5-EA18-43EF-94F4-2047C7391DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d777c8f3869fd6e45c1229fa3cd33c422ea5d099","datavalue":{"value":{"entity-type":"item","numeric-id":4705604,"id":"Q4705604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$9DD80909-0B1A-48EF-8D8A-224081D3EC67","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":"Q5055874$43620784-E20B-4850-845C-176C1537C5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$A59295C7-BDB2-4C02-98FF-93EEBA392897","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":"Q5055874$7427C76E-B27B-4372-9EB6-A8CAEFF5D2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$46203D42-D202-4735-B24A-CEEAC73714FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$D2DA3C5F-69A8-4D73-A8D2-8A335C952762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5147416ec2161493d5545370272bdd687c6708c","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$A3515F50-BB86-4A69-A6A9-15D886E79241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f50793731851a92bf72d25f964f77987a97c5ef","datavalue":{"value":{"entity-type":"item","numeric-id":5055727,"id":"Q5055727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$E910D052-4742-44C1-96C2-ED70A43D2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$52A0EB07-4D1C-400C-83BF-F733A048647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$0F7AF5C6-6C9D-4078-BD2B-1B6ADE8278D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0426e61a4750cf11d302b47b0624f9b4ef55cbc2","datavalue":{"value":{"entity-type":"item","numeric-id":5287535,"id":"Q5287535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055874$22C23B6C-08C2-470F-9F10-36AD31407C1E","rank":"normal"}],"P1643":[{"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":"b5ef6782bb4269e75c4dcab527206ac841ae8853","datavalue":{"value":{"amount":"+0.99248576","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":"Q5055874$E3E10723-35F2-4B38-81A1-21DD386D6F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099a81d600b274339feafb0733b0baf53d305559","datavalue":{"value":{"entity-type":"item","numeric-id":293294,"id":"Q293294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba8aadb5d1a2e5e749cc372e17547f8b409c9b0","datavalue":{"value":{"amount":"+0.92843807","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":"Q5055874$9BAF3A8F-B71F-4CE6-9A3D-2B51AE4EBBE3","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":"ccd21b9cc1afe623f506b8c081cbe32585df32a4","datavalue":{"value":{"amount":"+0.92014337","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":"Q5055874$24E96109-2B88-449C-B23B-EDA272AB68E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97d366d1b93ec9778155986e2e5abdcf7609922","datavalue":{"value":{"entity-type":"item","numeric-id":5055727,"id":"Q5055727"},"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":"Q5055874$C3E63101-8E10-47F2-84F6-9BDDB15A4A4F","rank":"normal"},{"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":"3581d0180d3c45644b4d726bc6295a1da2410288","datavalue":{"value":{"amount":"+0.9019016","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":"Q5055874$D40731EC-F229-4940-9C40-A55B5CFE9F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57438c56f0d63d774602f00d203ea91017cd479a","datavalue":{"value":{"entity-type":"item","numeric-id":1892142,"id":"Q1892142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54945716ddb13dd6df6012438317424d024146d6","datavalue":{"value":{"amount":"+0.9017099","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":"Q5055874$0FE1F385-0870-4F33-A781-186CED806B16","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":"1259524137794f008b3943c0be7b7c8e12ac9927","datavalue":{"value":{"amount":"+0.89953125","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":"Q5055874$5BCD2B14-38C8-43D1-B431-82EE0A10AA8B","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":"b43dfbbd19e64c8561dd04cf79eb105ae5bf7793","datavalue":{"value":{"amount":"+0.8989572","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":"Q5055874$DC535A8F-71A0-4B9A-B820-B5D59F616DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c0e5a80083d9783c85f3824aed10eee72f271a","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffbd34f4e601cf229a2175f61863b18f9a23be4","datavalue":{"value":{"amount":"+0.89247066","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":"Q5055874$2E86E63F-AA68-4B8E-9132-39E758B0D117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f4d893081f0a342c302224ba339edd0f5ac089","datavalue":{"value":{"entity-type":"item","numeric-id":1093366,"id":"Q1093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4c52d893cd60d08b1c791ce8e5fde180dd060f","datavalue":{"value":{"amount":"+0.89118254","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":"Q5055874$D40CD42B-0991-4A87-958D-F3BFD4371E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics and strong sequentially of priority term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_and_strong_sequentially_of_priority_term_rewriting_systems"}}}}}