{"entities":{"Q5111905":{"pageid":7141479,"ns":120,"title":"Item:Q5111905","lastrevid":53742263,"modified":"2026-01-25T15:47:09Z","type":"item","id":"Q5111905","labels":{"en":{"language":"en","value":"On soundness conditions for unraveling deterministic conditional rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205333"}},"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":"Q5111905$CE75CEF8-F8FC-4DC7-AEC4-1A9E3FF5B644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88ea06b85b5450a58f776dd071dcebf8547c6802","datavalue":{"value":"1437.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111905$8F687DA8-E8B6-43C3-AA88-8C824B950D0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e0c2bb0ad10dad89edff7c5e2c5747c102f63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3184731,"id":"Q3184731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111905$EFF9913F-3BF9-4165-BF5C-7FD5C787D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41d24d1a84f5c89dfe8f9a78a8bdd0caaf7768cc","datavalue":{"value":{"entity-type":"item","numeric-id":710678,"id":"Q710678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111905$A597CD68-33E3-44A1-BDC3-49AD47BDAA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111905$A26A0D85-70EC-4966-8B0D-6443E383AEE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111905$5ACA1CD0-66B8-4780-941C-541CB6AD5972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111905$3C1CA0BE-BDE1-46B4-95BC-664930780501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e56965cbc2a72bc6f53fa0018d596f6134724362","datavalue":{"value":"7205333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111905$4DB72774-A4DD-410E-B5F2-97BAB6B2AC78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764f31fd684f0d6c1b18db951dc126425168b8b6","datavalue":{"value":"conditional term rewriting system (CTRS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111905$D11B8695-7E15-4A2B-B8AE-438A019646A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493c3d062ff0dd9e6c17123389bae4d0e8a94005","datavalue":{"value":"deterministic CTRS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111905$37E4191A-D450-44C0-A534-B25F6B1574F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111905$232EB732-7D4A-4140-B3BB-8D2F439D6FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111905$706B1482-5B7F-41FC-8536-59FD72AB3622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111905$139DEF1B-3603-496B-A49A-1B639B1A095A","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":"Q5111905$69BC7E0F-0303-4F14-A881-D3ABE60BCF08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d0d1448c06ef18cefc00d910c0cd686015178e2","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3493/pdf/16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111905$68A402C5-9925-46D3-B7B8-0C54BEC38256","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3605c2b58968567580a47c8acf4890f8ca260f29","datavalue":{"value":"W2164444347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111905$5182FD1B-1DDC-418D-B8D9-A8A53BADACED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2cefb5d4e5f8e10031649a8b9c30a5c15dc4fb4","datavalue":{"value":{"text":"On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111905$E862ABF7-176B-48B9-9132-EC9ABB1462AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bbcfdb0b8fb19ae5f194be48ef0608ee832dd3a","datavalue":{"value":"10.4230/LIPICS.RTA.2012.193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111905$52B78ADF-F468-4583-95A9-B98EDC9A1BBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd23413376e898cc2cbdf77bc23fca229b909be","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1205233b76d093ef44531e275e8cbc9ff176527d","datavalue":{"value":{"amount":"+0.9398027062416076","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":"Q5111905$483F6117-D108-4C47-A76E-FD93BE016927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0e492def82c36322d9e3696ceb34c0e9198b1f","datavalue":{"value":{"entity-type":"item","numeric-id":5389086,"id":"Q5389086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23319d25604bf558eaf25bbeb817dcf357db85eb","datavalue":{"value":{"amount":"+0.9379196763038636","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":"Q5111905$976C28D7-B7FB-4A06-9A32-A950C79E111B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8597e85bad679a40ee518fb41f35a5e976827f","datavalue":{"value":{"entity-type":"item","numeric-id":5389139,"id":"Q5389139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b22de120227a05f8515b87c4b983eac2293b961","datavalue":{"value":{"amount":"+0.9335984587669371","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":"Q5111905$8C1C9493-E133-47AF-A45C-34618B6F7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f677df763df26fd462928cce9123ab3a10e4e6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2866802,"id":"Q2866802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be9a8f3c4cc91626e4c274e2fe5bc1d00d3469f","datavalue":{"value":{"amount":"+0.8592855930328369","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":"Q5111905$18123212-5B36-409D-A2C6-2277D38FCA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64aba79f79637ba88ee8a1736bd1fd958c43c9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5240136,"id":"Q5240136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7a3fc4191e4fd424ed6aeddd5532c4c9a9c47e","datavalue":{"value":{"amount":"+0.8509960770606995","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":"Q5111905$2CF809A9-725A-4A55-822A-735220C46B86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111905"}}}}}