{"entities":{"Q4876348":{"pageid":6905927,"ns":120,"title":"Item:Q4876348","lastrevid":46425777,"modified":"2025-12-24T18:35:55Z","type":"item","id":"Q4876348","labels":{"en":{"language":"en","value":"Term rewriting systems with sort priorities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 872740"}},"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":"Q4876348$08B92D4A-05A8-4C93-9B2A-55AFEDAD1375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d3cff6b35300d5145946d1b7d11db467d8caadb","datavalue":{"value":{"text":"Term rewriting systems with sort priorities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4876348$108B5B11-AE74-4122-BF81-F936FF974FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b24512e8697dbeee0a93e3b23be0abf22feb822","datavalue":{"value":"0847.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876348$D63D363A-DDF8-42BC-9C47-42EE4DFB11D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8bce98e7811f30f0f6758bfe3b40e44c724d3be","datavalue":{"value":"10.1080/00207169508804396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876348$BF520A1F-6490-4F01-A071-5E4C3EC249B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a38c834629c8cd4696f9dc10e1b5e07995659bf","datavalue":{"value":{"entity-type":"item","numeric-id":1288433,"id":"Q1288433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$FCBF7C8D-7F5A-4576-B2EB-B282DDB4599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b9ad6bf17de8fe10dcd21ad41cd20fa6bf31297","datavalue":{"value":{"entity-type":"item","numeric-id":1288434,"id":"Q1288434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$C070885F-5D45-4546-8949-9A4259359D07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$CAC2A2D2-964C-402B-B898-F3659278A829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3343d158c9d8fa983396d5eb46029fb204efa4e","datavalue":{"value":{"time":"+1996-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4876348$3F05B433-A812-4904-ACAB-7B695BCCD38C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876348$0D670C05-AD8D-43B1-A8DA-FFEAEED6A48C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc47e1bb7c780123b8aeca5be7904e614a23b79b","datavalue":{"value":"872740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876348$E8A171F7-6AA2-43B3-840D-8B2D3DA2C9FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876348$AFB226A8-506C-4BAD-9BCD-CA817D330492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5d1f719d0538d5cf3894c8b6b6b4aba8ce7b4f","datavalue":{"value":"operational semantics of recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876348$4AEE59CA-3C8D-4318-9AED-6AA92AC2F517","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":"Q4876348$7602E9C1-86AE-4B07-A8ED-6F25426B12B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e5a325828441a2cd6561a232bb06e676295973e","datavalue":{"value":"https://doi.org/10.1080/00207169508804396","type":"string"},"datatype":"url"},"type":"statement","id":"Q4876348$6DD1ACB8-92CC-4141-84DB-9B2F3AF88810","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79ecaaf4c17f0b92608d836290c4d7a09ff3ac2d","datavalue":{"value":"W2127025991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876348$5D593E98-2B38-43AF-90A2-5544C452B60D","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":"Q4876348$5445589E-8DC5-4CFE-AAC3-7FF74DEB1FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$04AC7BDF-A794-42FD-8E06-CBC0A71CDE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$725B7104-E4CF-4C30-AF41-0C48BB98CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc846a064cd218190307f32dc994e9ec92c8da3","datavalue":{"value":{"entity-type":"item","numeric-id":774393,"id":"Q774393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$F5339FA3-61EA-4AE5-9708-E1251FA45DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876348$9901B3EE-7570-4E20-9377-3D4365EDDEDD","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":"c826f0563df5610ed7e6503e7f591fb8e442a20e","datavalue":{"value":{"amount":"+0.8462137579917908","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":"Q4876348$4F88ED13-4534-4DF6-BA9A-193F4FEC0A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25195e318e86fb0ab069db7fa52811ebccf1086a","datavalue":{"value":{"entity-type":"item","numeric-id":3618597,"id":"Q3618597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5fe361c9aaec59e24b211309bca16213b78f71","datavalue":{"value":{"amount":"+0.8306922316551208","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":"Q4876348$BF54A7B1-5AE0-4341-A52C-B2DC0915F9F3","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":"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":"Q4876348$14EA339D-C3A5-4F25-B267-C5F97ED001BA","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":"c9b3cb28422082ad8a9b4daa8ba4b7e5dc043bf2","datavalue":{"value":{"amount":"+0.8144083023071289","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":"Q4876348$871AA214-E8E3-4F67-BFBA-4DF53843F8C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4876348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4876348"}}}}}