{"entities":{"Q1262749":{"pageid":1273499,"ns":120,"title":"Item:Q1262749","lastrevid":67151604,"modified":"2026-04-12T15:38:12Z","type":"item","id":"Q1262749","labels":{"en":{"language":"en","value":"Term-rewriting systems with rule priorities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4124992"}},"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":"Q1262749$2CBE6DBF-12B6-4DF2-AC72-C859AA9A4B52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53c5c330b7f59d92387dc075754509761a8fa7ea","datavalue":{"value":{"text":"Term-rewriting systems with rule priorities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262749$076BD208-ABA0-49C9-9DE0-3BCF270A3D2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cf155a489a8b72a06dd0ffbb68edae610de8406","datavalue":{"value":"0686.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$AE050FE8-EA14-47FB-8E23-F75B51135B6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12ec5cc8927a2e0bfdcc0a0c9b03e15b3853fa5d","datavalue":{"value":"10.1016/0304-3975(89)90006-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$0726CC0F-E207-4D14-833C-C712B273BCDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$5BCF4578-CB77-431B-BD9A-5D81EDD0D0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e69d6ee1f10b0c5a1746cf73e091ca500f0079","datavalue":{"value":{"entity-type":"item","numeric-id":913531,"id":"Q913531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$862344EE-BF5B-4289-B93E-46C92276F6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$01A1CCB3-C87D-4864-A052-EEC2EFEA1384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$4D5EEE9F-F795-462E-8382-D41728C3EA13","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":"Q1262749$0A0654A6-CA7A-4945-BA92-B5341BA7BE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1262749$FBA5A7E5-2F1D-43E8-9DBA-BF6CC4B62B68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e017f099401ea6bc87948b4d620de442e31b1bf","datavalue":{"value":"https://ir.cwi.nl/pub/1657","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262749$7CF25702-05ED-4F7E-BEA8-52E25B31AEBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f3fcf72b228b24c2a98078784b51390507faaf4","datavalue":{"value":"See the review in Zbl 0657.68028.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262749$78B4D29B-43A1-491B-BA9B-2F07213CB60C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$425975B0-8B95-4698-A6C3-D4F69D024CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$981CE37E-7B7A-4F9C-8D14-F0381450E309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$97FE26AD-A5AE-4DE0-A368-5F055BF0149C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f2c848accfbb907c7620b96c97875128d0f0949","datavalue":{"value":"4124992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$A48DBDE7-5386-4275-ACB3-66258F767E4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30771e27499ebf5d3a4203d30a70961babfc2e90","datavalue":{"value":"priority rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262749$2CEC2970-254D-47CA-9887-8FB82987778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c856b454cdebbbe5455855c6909f0b190befcb","datavalue":{"value":"complete rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262749$619FD1A7-A551-4558-A2A6-4888D1D3039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262749$6E382BF1-3748-47AD-8E0A-93EE685DD2D6","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":"Q1262749$5877612B-CE20-4A6E-BF8E-AD1F860A9911","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82af8482d22951a513b2f14b771c58d37f719f97","datavalue":{"value":"W2105803012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262749$40F30AAA-011F-4D9A-AB1B-24B7EB22273C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$E64085DF-1CF7-4FDA-B688-4F18CF3F7DC0","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":"Q1262749$AFC59E7D-6F56-45D8-8A1F-683E6EC259D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e11401f07bf6833c3a95936c7e62f7649f94bf4","datavalue":{"value":{"entity-type":"item","numeric-id":3820057,"id":"Q3820057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$BF10A0A5-4517-4ADE-997F-7B022C2965EE","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":"Q1262749$D09559BF-73CF-41A7-A957-28C9BD3BFA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ae243a576afe459c691f1279cd2909074da4d1","datavalue":{"value":{"entity-type":"item","numeric-id":3919067,"id":"Q3919067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$A9582062-3310-4895-B2C1-BAD1CE6D6B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adce4659395358c98c0bf2f4d7573c4b9d176a15","datavalue":{"value":{"entity-type":"item","numeric-id":3664413,"id":"Q3664413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$F4EF98C6-9078-45F3-B806-E00E5F8F8DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744dcf2bce65710124275d29816dcca108a9baf","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$988F9C5E-D3F8-40AB-884D-3D3C1500E54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$37C1E76A-B53B-4A52-9EA1-3C458EA4440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$D47B61CE-851F-417B-BA95-2EC55C4FC394","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":"Q1262749$C22A2778-4BF2-4BAA-BB3C-30B0CDA29106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f5f7f66378af973224e264ccdd4b43fec6cf46","datavalue":{"value":{"entity-type":"item","numeric-id":4743710,"id":"Q4743710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$CB16A4D8-E0D8-4302-98CE-7B823E4E3E21","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":"Q1262749$9BABA6F1-95AD-494A-B1D4-9BACBA9B7194","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":"Q1262749$DEA2E9DD-17B3-406F-8607-464C54C03077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa518cff8ba18aee424e798849bd39df384deef0","datavalue":{"value":{"entity-type":"item","numeric-id":4747503,"id":"Q4747503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$C9B66FFA-D326-483E-AA2D-F43066DF6F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$41F66F80-E0D4-48C3-9F81-AD421A9DE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$D8B9ADFD-7507-4D12-A5DE-95453F21B14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a597fd22037151e0c8055849861a47db3ea8e851","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$CC13D70C-0F20-44EE-A6DA-61BC40CE6445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$C8AFCB41-E17A-44EA-9C02-C2544A41339C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262749$0DE2EAF1-7BB1-410C-BFE1-D64D715228A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term-rewriting systems with rule priorities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Term-rewriting_systems_with_rule_priorities"}}}}}