{"entities":{"Q1275017":{"pageid":1285767,"ns":120,"title":"Item:Q1275017","lastrevid":68554938,"modified":"2026-04-13T00:31:49Z","type":"item","id":"Q1275017","labels":{"en":{"language":"en","value":"Semantics and strong sequentiality of priority term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238753"}},"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":"Q1275017$A4BC9254-6C44-42DD-A00C-14F39EEB6B6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"845a0eb8d935e0ba07a13656bd59c391a5b6066c","datavalue":{"value":{"text":"Semantics and strong sequentiality of priority term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275017$B490C488-49A3-4720-9464-157E8FF6B395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"705ee08dbd735ceb9fcda549e89c8b5c30e0cfeb","datavalue":{"value":"0912.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275017$DFFCF089-0812-4F0C-8C6C-2CC9279EB9EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dcaa43e388860b7dfdbd4ba2aa3843ac2a565cf","datavalue":{"value":"10.1016/S0304-3975(98)00080-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275017$471403A3-3B59-46B2-A926-D8D724A5EAF1","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":"Q1275017$DA8A3B9F-E5C7-460C-ABA0-C0E5EF1FA313","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":"Q1275017$501D81F2-3E83-4E78-B90C-D2160DF40924","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275017$6C368618-D0B3-4813-BF99-C8212EBE9293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275017$DFBA8D84-D79E-41C7-8CD4-E493ACB764E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275017$F33440D4-55EE-4CF3-951D-B58C81220628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275017$CFD3BE7F-0C71-47C5-B294-7911B0F91FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7e6833a6c5b50555b2d7e9b579b52c05bc135e7","datavalue":{"value":"1238753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275017$99EDAFE1-6782-4957-9F71-E827724EF978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275017$0ACB97A9-99A2-41EC-81D0-8D9CFDB563A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275017$C0C00892-2C57-489B-9078-070EF4DD45B9","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":"Q1275017$5E029DA9-AA78-45F6-8487-9E280E2FF2A6","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":"Q1275017$D26B51CC-5B1D-414D-9364-64B66ADE46F3","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":"Q1275017$A6DDB707-6330-4FFA-BCA5-76B7A0BC5D5C","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":"Q1275017$88640C7C-6572-48AF-842A-81A4B1E498E0","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":"Q1275017$E21AF522-C17E-43E7-B443-28261213E135","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":"Q1275017$BFBD80AA-E029-43CB-ADF3-6962E4A522B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275017$2223FAEA-C4E3-4D82-B5E7-FAD556194DBA","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":"Q1275017$7868A0E2-D0D8-452B-AA21-94D42C3EF336","rank":"normal"},{"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":"Q1275017$8069FABF-6115-4BAF-8BF1-7F5D87D74CA4","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":"Q1275017$44692A78-ACFE-4D22-8379-98D40990AD5B","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":"Q1275017$C2E2CE1C-0178-4E37-BBF0-1187D43F8883","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":"Q1275017$E5DC3968-5385-46EA-BDAC-EDE45A7EE5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275017$4B4BCBEA-C179-4E84-88ED-1CBC618ABB3A","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":"Q1275017$1556DA26-389B-457A-B448-058EED7892DB","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":"Q1275017$4D0DDB38-18FA-41F1-B431-A03BD9F4AB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdfb9650a779da65f9c443c794331f7a80af7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1276259,"id":"Q1276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275017$6100509B-FC84-4E3B-98D4-2011277F17B0","rank":"normal"}],"P1643":[{"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":"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":"Q1275017$2FE10AD7-8D7C-44AD-8F9E-E1849CEAB201","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":"c764d0dea71490e77412e401d9227567ecdafa8b","datavalue":{"value":{"amount":"+0.9174072","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":"Q1275017$FBDE9248-5FBC-4F41-8F1D-006D9D30E77C","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":"c5b0706026011f5fb73ea41e06de1703b102f772","datavalue":{"value":{"amount":"+0.9121889","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":"Q1275017$1962D685-66B2-4A83-9F56-BC580F97243D","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":"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":"Q1275017$13D2FC08-F0B1-44B6-9C44-9A5C32B1B579","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":"601843703716e29a7708f8d7858f2e6a98897d07","datavalue":{"value":{"amount":"+0.90050954","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":"Q1275017$374B146F-BEDC-4347-8BA2-337EDAA2774F","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":"938f0eff5ef4e4cadebecbb29f5edfd544f782aa","datavalue":{"value":{"amount":"+0.89978796","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":"Q1275017$F19EBDBD-D708-4EA9-8BB6-AD48127C145A","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":"cb9066684834c07e7e709035a1a7c6403887cc85","datavalue":{"value":{"amount":"+0.8939587","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":"Q1275017$1974678A-FE2E-4E78-93D8-EA99735F9148","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":"5df3fc76b89a9f8e419ae4ec0ca56620ff15fee8","datavalue":{"value":{"amount":"+0.8934766","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":"Q1275017$AB026201-89FE-4922-8F52-8CEF6B0111D1","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":"37b304e158d0a4786e766e1625339612736da51b","datavalue":{"value":{"amount":"+0.8922527","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":"Q1275017$9A1112CF-25DA-43DA-9F6F-B5F3629FC66F","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":"70c603e3a69b0a97d85652814adfc4786b986c91","datavalue":{"value":{"amount":"+0.8909481","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":"Q1275017$6BDE6638-DC70-4A1E-843F-EF39B70E1127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics and strong sequentiality of priority term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_and_strong_sequentiality_of_priority_term_rewriting_systems"}}}}}