{"entities":{"Q1276259":{"pageid":1287009,"ns":120,"title":"Item:Q1276259","lastrevid":70050627,"modified":"2026-04-13T12:06:31Z","type":"item","id":"Q1276259","labels":{"en":{"language":"en","value":"Operational semantics of rewriting with priorities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243220"}},"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":"Q1276259$DC95A8ED-1BC5-47E7-B7F0-CE60D71110BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56a7de68e676f1a80d5b376d2b8a644baa36065e","datavalue":{"value":{"text":"Operational semantics of rewriting with priorities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276259$AD84E10E-BF73-41E4-9B35-F6AA7C3E4F1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eeaf4640bc4266bc6c7a9e0a86749808cbc404b","datavalue":{"value":"0917.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$BFCCEC72-3D5F-4257-A62D-DBEDF49A9468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"122c7ef683e0bf125012dfd20a9e289c8b474256","datavalue":{"value":"10.1016/S0304-3975(97)00283-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$6C12F018-C6E3-4F14-8EDD-2807F6B39A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276259$85D5B56C-A950-40C4-8F72-00EB059EB760","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":"Q1276259$88162C6B-D82E-4B16-8F17-ED4B85E5C515","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276259$346B8BFC-B4A4-4672-A34B-4871171512CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$4323E628-6F4F-4B7A-80E8-8D55BB9FC8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$778EE39D-BC6C-4735-B3E6-27F8ECBB6D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$A48F0D02-2236-4FA1-9882-A0AC36D7137A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3784d2322c10c490bbbb3619916bb31d006d787c","datavalue":{"value":"1243220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$DDCFC4C3-358D-47CA-8966-605930A98153","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869e26af4ae2c823efb35805695dc788e2589a83","datavalue":{"value":"rule priorities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276259$3CE2D648-0744-4F09-9056-1A476BB0E866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d66bf2a1b1e1bbbf069d7f47610759328f5c326","datavalue":{"value":"transition system specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276259$3EBD2C53-3E4A-42D3-A2E5-BAF1CFE9DCC7","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":"Q1276259$F319438B-367B-4D8A-94F3-B4C1AB8759FB","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":"Q1276259$80A418A3-1C06-4250-A82D-F0B77937CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276259$F76D2496-9B4D-40E9-92C7-68DAB01630F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca605bce5221ba14c83be10411a45edf98268ce","datavalue":{"value":{"entity-type":"item","numeric-id":4038666,"id":"Q4038666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276259$B271DC49-7CAD-4AE2-A329-0B1B08F984B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6462c8d6fa85558c992ecebbf0c125aa17490314","datavalue":{"value":{"entity-type":"item","numeric-id":808264,"id":"Q808264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276259$279CB0D3-AF67-42DC-98A8-4008247424BB","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":"Q1276259$99BA894A-F344-4EC0-9677-1778C3CB7C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276259$0026D9F2-3334-4B6B-9F1F-0A098ED73E80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82e66f535af8e6319bb52d67271705465ced27b9","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00283-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1276259$74E0A0EA-FE38-487E-8592-EF7BDD2E2A54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae5fd90ee9cd08802a6399994887ce7ea03049f3","datavalue":{"value":"W2112874000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276259$BA5FF0EF-FE66-4612-82AB-D733CF00A9DD","rank":"normal"}],"P1643":[{"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":"c009736b45cec23cf96cc262282d63cbcdd053b5","datavalue":{"value":{"amount":"+0.8806226849555969","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":"Q1276259$7B513C18-E1AD-4EBF-84D1-699B5DF93F2F","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":"5c5092e1436c0c323f9337da5a1dd6b3491d35ac","datavalue":{"value":{"amount":"+0.8645648956298828","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":"Q1276259$45BF5C03-F17A-45AF-8B5A-1FDE9086EF43","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":"5717bbc510092f3dcc5da6333b1f630244011732","datavalue":{"value":{"amount":"+0.8640974760055542","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":"Q1276259$53AE56C0-C2D8-484C-8B79-D3E25D2319C5","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":"817d2a3c11989c581f7c6fcb50026f3ce01063fa","datavalue":{"value":{"amount":"+0.8576234579086304","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":"Q1276259$9BE8D408-6E52-444C-AEE6-D25ACE941D13","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":"510523e68262dc51d29345de40acc805482292ab","datavalue":{"value":{"amount":"+0.8206021785736084","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":"Q1276259$40509CF3-7DEB-4252-88C0-6A9F7157ACCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational semantics of rewriting with priorities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_semantics_of_rewriting_with_priorities"}}}}}