{"entities":{"Q5240136":{"pageid":7269704,"ns":120,"title":"Item:Q5240136","lastrevid":53576057,"modified":"2026-01-25T08:59:23Z","type":"item","id":"Q5240136","labels":{"en":{"language":"en","value":"On proving soundness of the computationally equivalent transformation for normal conditional term rewriting systems by using unravelings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121848"}},"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":"Q5240136$4D2BB765-8C2A-45ED-B4CE-6D627671E557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0799d92339d9b7d647e1bf34cc1e56603f90395","datavalue":{"value":"1428.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240136$7D520F62-A799-409A-8F5A-B909EB32147C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$A76738F9-15B7-4DC3-97E2-E6CDE6CF7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95f1fd6cecedc72bb82c402f498f37c199efb9f","datavalue":{"value":{"entity-type":"item","numeric-id":5240135,"id":"Q5240135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$01D56D0A-C7D8-4D20-A60E-1944C64DA17C","rank":"normal"},{"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":"Q5240136$F5B537BE-A93B-42EC-99C0-AA9DACDBAE8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240136$F9EE7AA5-D0C7-4705-B30B-8E4ECDE11581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240136$BEDD3C43-8A97-4C64-A268-F2C5D74184B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0528fa3fbf7b944cd922eda9571c7e71a8665c0c","datavalue":{"value":"7121848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240136$789882CF-3EB5-4753-9C58-EFD4FFF0439C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240136$28A72C8C-F529-45AB-849D-BED260A27B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf64db4b48b9a0502fea288f474dde5d26f4b9d0","datavalue":{"value":"unraveling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240136$C4D27F30-0947-4523-8055-F0E1479A7BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe904c2b222fce27149192646d40111928f71f3","datavalue":{"value":"condition elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240136$11F1038F-50A8-4A8A-A4F0-025808C3B822","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":"Q5240136$75D9D071-6EC9-4B38-B009-AB83579C7D45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$75930DED-002B-40A1-8EBC-908D8918B838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$D0297280-A496-4880-B186-13FE934A56BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f795822a50f8c464c3462e79742cc6ef6b14c926","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$341A6E0D-5408-4739-9537-855625CEF8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$274DDE48-FA98-4E13-9AF5-2265D1A35BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6081076c28a4ecff9db5eecf5904174adfb6f5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3184732,"id":"Q3184732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$B2DA952C-30F6-4263-B8C1-9D2320BD6753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01ad90352ce9781c0ed8001dbd703bb87904b3e","datavalue":{"value":{"entity-type":"item","numeric-id":5389139,"id":"Q5389139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$58594DA3-0673-4BB3-AD04-2164D7BE305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9d3213f8484a650526ddf57d168f43690151cd","datavalue":{"value":{"entity-type":"item","numeric-id":5111905,"id":"Q5111905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$F26643CB-BCD9-4960-86DD-4FA196C5D3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$809C5EE2-A826-4467-BD6F-1A2258B3A3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$AFA8A0B7-4666-4F41-93CA-47E61C4ADDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$B49162EF-1BE7-4B0F-B643-983ECA449AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$D5D8EB17-C0B4-422A-8313-D6347CC02B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f718ae81c5198383ae84ab6ee4ade36eb6a1365","datavalue":{"value":{"entity-type":"item","numeric-id":4922540,"id":"Q4922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$AE658AA6-521A-456C-8D79-49D757C82EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d7ea5ccd099e8647306ecad8d347ba71cbb0d4","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$2FFACE76-6397-4C10-A53E-DBAA3D9C8CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$482D780D-1605-43E6-8E0C-AC2529B31E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$BEEB7C54-BC7D-4C8C-9AD1-BF7292BCF4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b763a04eabde37fd1eb9b2c5994f1585f800cf","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$FB232BC1-2C18-44C2-B5AA-86784A4DBFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8cd799fe0605abc393d28febcce088f8d799c7","datavalue":{"value":{"entity-type":"item","numeric-id":3527281,"id":"Q3527281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$A06AD536-A892-4881-880D-FD3B13100347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a987d2f9ab0204c5ce5d20849e4a53b5deaf8845","datavalue":{"value":{"entity-type":"item","numeric-id":4705614,"id":"Q4705614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$7C3A8A65-B7ED-41B2-BCE1-FDC1B8E033DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$600D6D7F-B221-4EE8-8930-16E9EE6613C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce47f1158a3c9f1309e948c4c4a237f0925a2da","datavalue":{"value":{"entity-type":"item","numeric-id":1974693,"id":"Q1974693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240136$D1C478C0-BCD5-4C97-9C32-C6A77C87D3F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bee39354f735739809ac8a429dfa6c55c8930d6","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4585/pdf/p039-05-nishida.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240136$FF97B9B3-660E-43D9-907A-17963EE890D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a04067d87fd44dee1d50c187ebb02fd2471241c4","datavalue":{"value":"W2257023211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240136$0FBA4DEB-FD3B-4557-9037-0E0C3CB1F523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a7b634c22c1cf6ae0fe125f7d58b415e35234aa","datavalue":{"value":{"text":"On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240136$8279515B-CA35-4918-A354-2DA9E1794478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2562e167b2e0cecb303319d8721a7a4abc50d10","datavalue":{"value":"10.4230/OASICS.WPTE.2014.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240136$6F7E7D3D-F3D6-4E2A-B663-82990FA1A794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea9d8b8ffb8e04ee2e7ea8960d3d9cf7d16622","datavalue":{"value":{"entity-type":"item","numeric-id":5111905,"id":"Q5111905"},"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":"Q5240136$6F970D48-5D84-4CBE-9EEF-7CDD727469C7","rank":"normal"},{"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":"abf632b0a1b92bf7728fb69bcbf61d62afde2c29","datavalue":{"value":{"amount":"+0.8506491780281067","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":"Q5240136$51282B15-D99A-47B1-AD6C-0D34A61432D9","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":"4e0376532f8986f6309564037d48c2c47ba46c2c","datavalue":{"value":{"amount":"+0.8374231457710266","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":"Q5240136$C71E15DA-2AA1-4500-89F7-1F03E7E15B44","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":"75b6aa5d4eff8cedcd46a40c572183b78e60bb11","datavalue":{"value":{"amount":"+0.8272054195404053","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":"Q5240136$36283A4C-4F78-464C-9931-3FF034F80F7A","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":"e257aa39bbeab8772c883d46c66d82af16a3a062","datavalue":{"value":{"amount":"+0.8125105500221252","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":"Q5240136$52059898-E574-4DB2-9BC8-0AD3AEF9DC19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240136"}}}}}