{"entities":{"Q2945131":{"pageid":2955851,"ns":120,"title":"Item:Q2945131","lastrevid":85388144,"modified":"2026-06-03T07:43:07Z","type":"item","id":"Q2945131","labels":{"en":{"language":"en","value":"Conditional narrowing modulo in rewriting logic and Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479862"}},"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":"Q2945131$6771A37A-5253-4343-A37A-CE861E248917","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddc18c3059106e62328c2e362a0b31e9e8fb42ae","datavalue":{"value":{"text":"Conditional Narrowing Modulo in Rewriting Logic and Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945131$DC1AAEB5-B26B-48B1-B6E7-82F236B14DDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2cebb6cc3c7379898b088206009f316ef33792a","datavalue":{"value":"1367.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945131$28CBF6D1-BD09-4E36-9672-50E7F11DA049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e53021f9af6c70cb52dd68854d3a2aff167757a0","datavalue":{"value":"10.1007/978-3-319-12904-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945131$46308946-A6A8-4931-8C91-A9E4D2C93E34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945131$79BAEDA8-192A-4D96-BD52-37EC42B9C4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945131$FE2C2846-3DBA-4D7B-BAEB-51A3A74971AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b21888a8ac048de8b4c4dfa1b049a7bf144cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1402472,"id":"Q1402472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945131$A913F588-5165-40C2-ACAC-D7C03C59F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03774570c8be4b5ef7d79429859a6355ede5841","datavalue":{"value":{"entity-type":"item","numeric-id":592537,"id":"Q592537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945131$C6287704-7F8B-46A3-85BC-62802068F046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945131$232AA6F4-3991-46A4-B057-D919F830B98A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945131$9648CD72-33C3-4782-9238-8F18E2597413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945131$C7CB3393-7E8C-4B3F-8EAB-F1E57F24F584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c541c8b88872285a0c69687399a68f49bbfb37","datavalue":{"value":"6479862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945131$8A244FC9-E136-4033-8331-FF562C962DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945131$AA74B79A-0E17-4010-85E5-1AF717FF5F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945131$078E721D-2D23-463B-8D68-71FDBDBAA85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945131$74C01849-7F43-491C-8343-A586615AE601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945131$DFAA0644-69EA-46A1-975B-7C7717B423B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945131$0A45A6D9-88C0-4A70-AEBA-9B5AFD2C214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebab591f998c304d0e3c8e518b9abda2a142845","datavalue":{"value":"membership equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945131$E6718676-D702-4587-AF5F-AEA08C2168BC","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":"Q2945131$E567946F-15C4-41E2-AA28-FB21A674E569","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5c66f2daff150d5c6721686e663e399f05a0629","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12904-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945131$7F71F8B6-820A-4395-BF4B-79B179A419D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75345d199d3992cee16390bcc4587504e82ccb1f","datavalue":{"value":"W42989434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945131$9C46B3F8-1550-41BD-B9CE-1A04FB2D0C38","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cec9eacb495e2b4dbfb3ac0a229b324f1a9218d9","datavalue":{"value":"Q123905824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945131$C0EEBEF4-F1EF-41CE-8D55-212F945DB758","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fb604efdcaa594eb12c51503551b81a3952c69","datavalue":{"value":{"entity-type":"item","numeric-id":2945699,"id":"Q2945699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429bda58d431ca48e9a215742e6558f74b6b9903","datavalue":{"value":{"amount":"+0.9614263772964478","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":"Q2945131$628541B3-7D53-4207-9A86-C3229DF88B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fe37138509d010f1513dae60911f61b402425e","datavalue":{"value":{"entity-type":"item","numeric-id":1655486,"id":"Q1655486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b6561b27719cb41d57ceae5f84c19a12f54b95","datavalue":{"value":{"amount":"+0.9426054954528807","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":"Q2945131$167CE31E-6667-4C97-A026-4B7A791A4331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c445258b911802bb3431fbaf0b8b45ce915f165","datavalue":{"value":{"entity-type":"item","numeric-id":2873786,"id":"Q2873786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d9b72f238e43ced3a6db19389f57457cf0e5f7","datavalue":{"value":{"amount":"+0.7949027419090271","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":"Q2945131$FE16A66D-E252-4C9E-AF41-3817004ABCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14bed56fce598d9e2fe50562a8a00dc0417f672","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80da8e694679c7ad3c4c469b9aefeec27d91b50","datavalue":{"value":{"amount":"+0.7854945063591003","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":"Q2945131$DB9CC171-1318-4963-A77A-C1D856DE0A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9153dc947fe448f781510dde0c48ae2bd944238","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ceea07b3bccc95d91cd1dc80bb891c6d22c85c6","datavalue":{"value":{"amount":"+0.7842764854431152","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":"Q2945131$407AB8A2-1D1B-4CA7-B785-0A9C966BFC83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional narrowing modulo in rewriting logic and Maude","badges":[]}}}}}