{"entities":{"Q1124376":{"pageid":1135125,"ns":120,"title":"Item:Q1124376","lastrevid":69697356,"modified":"2026-04-13T08:47:19Z","type":"item","id":"Q1124376","labels":{"en":{"language":"en","value":"Enumerating outer narrowing derivations for constructor-based term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112071"}},"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":"Q1124376$1DF3A6B7-6888-49E3-9B65-BBC20CC49AEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c93b01e6e2d30c2ae588062ee67a1a9835747753","datavalue":{"value":{"text":"Enumerating outer narrowing derivations for constructor-based term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124376$883BE64B-5789-43D7-8F3D-9F9946D3799A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47598e0eca715f1a767a36741ee6dec350a24847","datavalue":{"value":"0678.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$44EF376D-9F44-4315-8E24-7E9B50DC35A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e4e60b3c3cf0d57470a06af8358fbc716b84f1b","datavalue":{"value":"10.1016/S0747-7171(89)80015-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$BF31C274-8668-4DFF-84BD-CFD16117EDCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$F54EC44D-E1F7-45E0-9948-5407AEFC8696","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$867F801B-344C-4ACF-A727-4783EC9BBEF9","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":"Q1124376$60071C85-8AC0-44D0-B6A7-895AB2BC8762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$01238496-F40F-4985-8684-03516303A70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$77A18BE4-466E-40F1-AD44-0B734EFCD884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$8132E717-448D-4C9E-8EA8-FED94C459B5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5133dad186730df822b6dbb33a5b596693fd66f6","datavalue":{"value":"4112071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$F7B672BD-4BCA-4A06-AFDF-3CC56C8FBBBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b37af79fc43fc86061790b2d0baabc797cda890","datavalue":{"value":"Narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124376$22C6C8C0-FC4E-469B-89AF-6ADEE55F7E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc18f273f58559995b871f299f8366c0b3861d3c","datavalue":{"value":"equational logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124376$B6CB2065-90DB-4915-B911-F9B5F8C0482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56922b44f4b77c888d5a91237cc4964d535123f5","datavalue":{"value":"matching problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124376$94E17851-EE5E-4BA8-A65D-096D180D0D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124376$5C1BA9AD-FBBC-4FF5-8770-01FA25AE958A","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":"Q1124376$D4738286-32EC-4C00-AADE-7F821D114C38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6935dc55ba37c30b0106e3fd9b123c1fe0b814fe","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$56D20225-2BB4-4EB5-B23D-C0934E58BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$340F2165-EDEA-42E3-AFFA-8754338C0755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7629cff1d47a7e2f0aa6a231f9bd7e749d5e67ca","datavalue":{"value":{"entity-type":"item","numeric-id":3761667,"id":"Q3761667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$6D42472A-5790-47F3-8BBA-C2D0D0BCBE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b8ed970ae9ead4b64df5c04442bc49643785d5","datavalue":{"value":{"entity-type":"item","numeric-id":3335752,"id":"Q3335752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$4AD0A62F-558A-4F6B-B9BE-0CA18D0A8131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$68A255AB-D5EF-4E92-A7C3-6C6B7CE50E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$5E4613C4-8BB6-4118-B8E0-282E5853FBD2","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":"Q1124376$82DDDDCF-63C1-48EF-80AF-D3BD6C5B1FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$D8E1B772-CF06-4D03-9D60-994E67B3AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$DEED80CB-1FC2-4938-8C7C-54E45A1B28CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$AEA2D221-F419-41C9-9C5E-4A8CA391CFF8","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":"Q1124376$FF4CA623-BEE1-4BB6-83B3-0AB2E6C14338","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":"Q1124376$CFEA0CE6-0FEF-41A1-B7F9-B195D6712932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$7999BE43-0F7F-4680-8B50-4629284C4164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$F24FCC55-E5CC-4990-A426-F2A9DCBB2FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da58277329f09a1823606b5f9166621c04696001","datavalue":{"value":{"entity-type":"item","numeric-id":3779784,"id":"Q3779784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$1BCC45F5-85C3-4078-B2B3-EEBC986DC982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a7d163034968b8b573af486389b73d9c031e2e","datavalue":{"value":{"entity-type":"item","numeric-id":3707399,"id":"Q3707399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$4C5CAAEB-F86A-4C00-AB79-6F9AD47AB56D","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":"Q1124376$048F1499-40F2-42F4-A03D-A7623F5D7BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$BFB35FF0-EC6C-4E58-847A-50C5BD17C1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533cdfa5d057b20a818aba84209e4e38ab158f57","datavalue":{"value":{"entity-type":"item","numeric-id":1101209,"id":"Q1101209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124376$AB894F38-8465-4100-9B9F-0F62E1C33C0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33e138f6518c0ca92595c70e8ccf20b908eec572","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80015-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124376$1CA650C4-379C-49F7-998A-0B96B2993121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62731683ae369207c2a4d142f12b73f64ab6257a","datavalue":{"value":"W1986964021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124376$C2FCDF25-D09E-4BC7-A3F2-57D8F261AB79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c737b7d7818a664778bd3267de57093b995525","datavalue":{"value":{"entity-type":"item","numeric-id":3795206,"id":"Q3795206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3de86b05ac847ac8270dd3cf4385a65a49c80d9","datavalue":{"value":{"amount":"+0.9050760865211488","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":"Q1124376$86E14C1C-3010-4939-8930-9CDE2E632806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72f4fa37b3a42b9c91412b83af75e8a5929ceea","datavalue":{"value":{"entity-type":"item","numeric-id":5055753,"id":"Q5055753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff888f4bbf487158ac667ea15c5c6580a0c540a2","datavalue":{"value":{"amount":"+0.7674139142036438","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":"Q1124376$FB9330FC-5AE6-4D82-BC5A-F82EA717939A","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":"f45e0049af4b1233ce620590da4e7ec7ccdf5fd8","datavalue":{"value":{"amount":"+0.7642799019813538","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":"Q1124376$99D7ED20-EBD8-4B40-9555-E69D2649E148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18232826ca113b0e1b038f48f7e5b5851600007","datavalue":{"value":{"entity-type":"item","numeric-id":2915104,"id":"Q2915104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6378c919cd3c1771cc54b49c0250e14daf8c508","datavalue":{"value":{"amount":"+0.7642627954483032","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":"Q1124376$77DC7D13-DBD0-45A4-94C0-32C76F0663AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab04dff8c63950ed3ffaa7511199553e4e955","datavalue":{"value":{"entity-type":"item","numeric-id":3730013,"id":"Q3730013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cfd8569a5dc6186ecc09b5797e42f658ce852d","datavalue":{"value":{"amount":"+0.7605534195899963","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":"Q1124376$486FE472-6CD3-4933-8A48-6DF37F25A524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating outer narrowing derivations for constructor-based term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerating_outer_narrowing_derivations_for_constructor-based_term_rewriting_systems"}}}}}