{"entities":{"Q4993358":{"pageid":7022935,"ns":120,"title":"Item:Q4993358","lastrevid":54021869,"modified":"2026-01-26T02:51:26Z","type":"item","id":"Q4993358","labels":{"en":{"language":"en","value":"Narrowing trees for syntactically deterministic conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359422"}},"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":"Q4993358$480928CF-92B1-4A5D-B85C-7025BBE7064C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07185cfae2dff8c464b546b4ec19f4b3e29eb771","datavalue":{"value":"1462.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993358$9230C233-1FCA-4460-9FC3-0789182D0F39","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":"Q4993358$9F83468D-E49E-4B01-98D0-CDC4E19D59EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfe1c07f7fcde65d134054a8ad173f04331f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4993357,"id":"Q4993357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$0456F6EA-DE74-4B28-9426-89F155862ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993358$12B4ED2C-5FC1-4141-BACF-78E49B11509F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993358$CEECBEE9-B83E-45F5-87E3-F15DC99FEB40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f92751902630861b2682775c9700ce7e18d4a0f6","datavalue":{"value":"7359422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993358$F282134A-614B-4B8F-8153-DE12A6E882AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993358$FF994D37-A61D-4AEC-A595-2C0532B3D7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac693f2e843433bde539efd587a0c4f8008b382","datavalue":{"value":"innermost narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993358$F5F802EE-70C3-4F10-AE74-397F302A9C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e88c6ccd50d02d66a65f2ad344a3084f186b1dd","datavalue":{"value":"regular tree grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993358$E2E7DD53-68DD-419B-B348-4F825A6745F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc9a9ad8c0f6411b3ed76602e3cd948eeefdbe9f","datavalue":{"value":{"entity-type":"item","numeric-id":25230,"id":"Q25230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$752499D8-4C1D-4380-9032-E5E7E80E2FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25a0a02dd16c9e092cb52cef4cc3cf8937156e04","datavalue":{"value":{"entity-type":"item","numeric-id":39827,"id":"Q39827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$B7765EFA-0BC0-45CE-BEE6-87A7D5FE81D0","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":"Q4993358$6F9E7132-E346-49ED-A92A-C75D5A74A003","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac59a5cde1ab820b7cd49159443fdf381214ea","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$317A8A9D-B2AC-4FB7-AAE9-F50B11EA510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$69F2B535-932F-4E3F-A785-64E381B919B7","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":"Q4993358$01239F1A-96AE-404D-8B6F-6CCBBB2E9701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816725d1a33be299a24084f268f3866053dd655e","datavalue":{"value":{"entity-type":"item","numeric-id":5240131,"id":"Q5240131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$50BE4CFC-9B15-4168-9621-CFD5CE696507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$6E3C5691-54B0-488A-985F-8B8B171E01FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$EDA3E711-D829-49FB-BF03-953EC7B81479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$F70B2005-AED6-474B-A22B-0D62A31CAA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca454fcfb674a55b9997dba52f329c49a980195","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$F251302C-7C87-4B05-99EA-46893A5DE982","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":"Q4993358$B6EDA188-9F86-4AF7-A1CC-D1A5AD128718","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":"Q4993358$29BE2B2C-62DB-40A0-AC59-23BD03AFCDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$0E223FCA-4626-4336-BCE1-26370C35037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c445290460d2abb21d142cb7393ff99b258bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1929232,"id":"Q1929232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$48CFBA63-00EF-410A-915A-4260C97F0A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a26762e4536f97cb1a68f9806bb9b7be5216bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1683707,"id":"Q1683707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$F4C32F96-5622-48C8-B7F9-F156C2D12D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24149b905b46045e1dfc14b807b4a2f6e4b5b190","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$48172A50-B2BA-4E27-91BC-D2D857CBE02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9649eae58095ff75748d6338260d9450bcba5389","datavalue":{"value":{"entity-type":"item","numeric-id":2848903,"id":"Q2848903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$4CA130B3-3CF4-462F-9FF4-5ECE6797C242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543fcf02ec79afed0792c71023ed66e7a4efbb94","datavalue":{"value":{"entity-type":"item","numeric-id":3453648,"id":"Q3453648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$1107FB1C-FF38-4573-98CE-F086799FBE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07815c85038f61452008a686d0ccc610954dd565","datavalue":{"value":{"entity-type":"item","numeric-id":2258840,"id":"Q2258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$AACFCEB1-1341-4548-A29C-D50A09EEEAD7","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":"Q4993358$69324B77-9D76-473E-8C7D-CE72D77A9376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$EF17D6FF-97E0-4732-8ED0-9CF7F24403CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92dece4062245eff0c48ed11c10cde6ab8215eb","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$9C058A93-EA4B-4F86-80F3-D56415C36D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebe330482a25481526c9eebf18b5ee31078c61","datavalue":{"value":{"entity-type":"item","numeric-id":5055830,"id":"Q5055830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993358$69D93755-6F9E-40EC-9CAB-E317D6799905","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0587b16b270263dae7a95444437e845cc09b839b","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2018.26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993358$8A695396-FF64-4E77-A591-B5B8135930E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"904d0cea14f205bf1e8a63b8201b561768b82483","datavalue":{"value":"W2886482294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993358$4C223B70-7EDD-44E0-A26B-529EFF3879F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97efba21ae35e9fbfd5dae805ae5beb4c177d14c","datavalue":{"value":{"text":"Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4993358$B72D551F-EBC7-4B77-B89F-0F66D3C9D46C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29201cfe421b45a8921b897cf5c72e343dcedcc4","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993358$66525D43-0763-421A-935B-D032D7899BB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0993e7fd0fa3566044cc6678ed41859d5ce0ed6f","datavalue":{"value":{"entity-type":"item","numeric-id":1035697,"id":"Q1035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3b23284f1827526dd50f56d9f4795eebae3816","datavalue":{"value":{"amount":"+0.7744778394699097","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":"Q4993358$DF6693D5-D223-4E41-939F-6E590076B792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a768a9a83383a0ac4e433270c033a6e66efb563c","datavalue":{"value":{"entity-type":"item","numeric-id":5458432,"id":"Q5458432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928093c1c7516240d3cea56fa2dfb212626ac45c","datavalue":{"value":{"amount":"+0.7695614099502563","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":"Q4993358$2E645725-8C8A-472B-BBD3-5ACDC5CE67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654b4130d3ca48fa9f14a0aab05b24a2d789e887","datavalue":{"value":{"entity-type":"item","numeric-id":969619,"id":"Q969619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efec62f093fb3a6a52badc1e8328ecb9ad39eba","datavalue":{"value":{"amount":"+0.7684664130210876","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":"Q4993358$D2E7F255-EE18-4E7B-98BE-04E0AB20E7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14d0e49573e95b9898f6a7cc159234409fdc527","datavalue":{"value":{"entity-type":"item","numeric-id":5699561,"id":"Q5699561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b754101e92acc23895c2e23cf48277c9747467c4","datavalue":{"value":{"amount":"+0.7581080794334412","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":"Q4993358$F9ABCF21-F453-4113-AE12-298B6A3BCA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7721c11aec8da3a5555483db5b76988782eb43","datavalue":{"value":{"entity-type":"item","numeric-id":5284550,"id":"Q5284550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b890c478a3aec81606ae8e0f7fba093853748d6b","datavalue":{"value":{"amount":"+0.7511357069015503","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":"Q4993358$4527D552-A9CA-48DA-9780-13BEA576228B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4993358"}}}}}