{"entities":{"Q1655486":{"pageid":1666227,"ns":120,"title":"Item:Q1655486","lastrevid":73116675,"modified":"2026-04-14T14:36:22Z","type":"item","id":"Q1655486","labels":{"en":{"language":"en","value":"Sentence-normalized conditional narrowing modulo in rewriting logic and Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6915517"}},"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":"Q1655486$28A08072-78BA-4BF7-BFA8-C94C593049F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7464b5707e051a20ca217bca89cca7b096e1b7ed","datavalue":{"value":{"text":"Sentence-normalized conditional narrowing modulo in rewriting logic and Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1655486$49486D9F-A4AA-47EB-AFA2-DBD3DFAFF956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9631a8bc587d24a28c161e3a0a3ba8eb1c7cb990","datavalue":{"value":"1398.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$6EBD44EC-D888-4B78-AE2B-7CCA65F473DF","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":"Q1655486$7E3B890F-2414-45F7-8023-F3B3233910DB","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":"Q1655486$77452377-D17E-41E4-87EB-06E7D30B603E","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":"Q1655486$373A02F6-E4D7-42F9-B53F-416BDE32C177","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":"Q1655486$5979D903-774A-49EF-A74C-A089E29A12E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$D74A51CF-7D4F-404D-9C4E-70D7B4B5638C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135d66d019a2cccdb74a66e127db81b39e6c2d3f","datavalue":{"value":{"time":"+2018-08-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":"Q1655486$1C92C5FF-CA5E-4EDD-895E-3361E0293826","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$B69D7EE1-851B-45D6-A279-97AE6A9BCB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$BC24A76F-58B6-4CDC-A30A-EA65B43D4CFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2165545a635f8b003169590b9d0008dbe9aa963","datavalue":{"value":"6915517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$303F3F85-A2BC-4826-BDB0-CBFE087B8031","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655486$1F5F123D-192F-4009-A59C-1987D8086392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655486$28F6F73D-FFB3-4F0F-8E72-DF39F538CCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655486$5840B5BF-2696-4C0B-B140-9CA164522C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655486$CEADA995-ED15-4826-AD95-491F7519B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebab591f998c304d0e3c8e518b9abda2a142845","datavalue":{"value":"membership equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655486$3764EA1A-1A25-47A5-8B8B-9905B4EE230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655486$F8D30BBD-AC7C-468B-BCB0-90CC6B5DD151","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$A719C41E-6DA2-44CD-9CB0-408007C50176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$1FE8192A-8D9D-44B6-8FA4-656724BF9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$A17C7808-94F7-4785-A9C6-C74BB5D3D45A","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":"Q1655486$4EF4382C-7F0E-44D8-8FA8-C3F463A48AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c68836615c300ae79f3fc4e21bd598f71e852626","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9417-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1655486$012B63CC-38FE-402D-9D2C-F4D1F8A66CEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e438157121fcb06af3d76a0861e4834bfdeb7577","datavalue":{"value":"W2295833488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$728543AB-BCED-43E1-87FA-895C4AB3D88A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4f759c7e99f16c22a3ca7ea6672b396122277de","datavalue":{"value":"Q123905811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$4FD93286-1F90-4959-B1AA-0684A6BA95AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$746A6A8A-3AB7-4E87-8C22-6B8266C34933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a07c1150c039cbd802cde7f13d78e82bdb21d5","datavalue":{"value":{"entity-type":"item","numeric-id":2945131,"id":"Q2945131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$CBAFA49A-F3E7-4934-A87F-4CA1049B4252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$4269C0F7-F589-49B9-8D9E-CBD8CE26F090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$1B57949F-CF13-47DA-B07B-9A5B153103ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6701311971a6968fadc620d5e7ea9a2886adeb","datavalue":{"value":{"entity-type":"item","numeric-id":3164834,"id":"Q3164834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$182FC5B9-A967-44B0-9E9F-B8268AFC2F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2a325f2821aad8753d3ce236c86a4b2aaffc82","datavalue":{"value":{"entity-type":"item","numeric-id":2945133,"id":"Q2945133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$838B430D-5E24-43A9-98E7-D9EBA72F22B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf54744a08e8b93914db9cf0c37c129d201dbde","datavalue":{"value":{"entity-type":"item","numeric-id":1261194,"id":"Q1261194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$E54CA1BF-5A5F-4CA1-8E0A-11E84088B55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$35B3E932-E8C2-4C92-8DB3-0D26B6635C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$95E498B5-7066-4446-931C-B0045DBA699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$6A1988D7-5F48-4846-801F-6C7082447D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f948edd10fb44ba3b5ed2c2fb7d1ceb79354a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1264439,"id":"Q1264439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$4EEA0008-7392-4A6A-8250-91FFC83BC686","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":"Q1655486$D3F27E21-0195-4104-AE28-0454CC489F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$A87D69E4-B8A6-494B-ACFB-E14668A7D4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$A5DA3D87-8CAF-43EF-B6F2-F795A419F626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$551FE38E-5157-45E7-AA4D-D476CBD7E4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428bf1219cd9aa6b9be11aca0a074773ae006997","datavalue":{"value":{"entity-type":"item","numeric-id":492687,"id":"Q492687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$08573A0B-2213-4B24-87C4-69DAA1AC0DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$48507AA7-082A-4E26-B6C8-4E89C451330D","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":"Q1655486$E32B222F-F1F0-4FDC-9F79-CDC3163D03B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7991f2c092cdcdaa9a7173aff5667aea21636998","datavalue":{"value":{"entity-type":"item","numeric-id":3608811,"id":"Q3608811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$202E9601-6BB9-4B85-9866-D95E16DF60B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604fc502056f8cc2ccfd9332e67d94de225503f6","datavalue":{"value":{"entity-type":"item","numeric-id":3789061,"id":"Q3789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$5C3A2529-35E7-40F0-877B-61FE8856F65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb133f7b2bfe8dd50e3e1a8d52ada707d6f4c9e1","datavalue":{"value":{"entity-type":"item","numeric-id":4499285,"id":"Q4499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$0F13DB8C-6F74-4321-B8A5-51CDA5DC56C2","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":"Q1655486$9D301FE2-41C2-4CA1-B315-FD69ED164C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b4043c10572e49ad813f1f8314c7ec54a9a837","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$0E546729-1C43-4E24-A743-95F0CA235EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8975fb157e17ecdba14169bfcc11424eb67866","datavalue":{"value":{"entity-type":"item","numeric-id":5179140,"id":"Q5179140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$800CF4B0-8981-4C1A-A73D-C3C5BF53E101","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":"Q1655486$7097CE0E-FE23-4F65-9B56-B61B045F2E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$E5C06080-5BDB-480E-A78C-D364673D50B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$1E6AC84E-9091-42A7-AFAE-AB80F33954F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf49e3af784fd0b064f1256a4384095ecd0ff4a","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$3A3013B1-C2B7-45A2-941D-65673D6218D5","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":"Q1655486$D337B4CB-3265-4C98-AD93-F7D52FBBEEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$9CA9A275-B4C7-47F4-A21E-C7C261B0B5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$83D9332F-A1FD-4F12-9C55-92232E77D5BB","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":"Q1655486$EDA807CC-AD10-44A4-B763-7A46A2E40870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655486$30AD8791-A5AA-4E0F-894A-EEDA7831EE02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6aeeed274f20d1151be94e4d23b7cf685ed1309","datavalue":{"value":"10.1007/S10817-017-9417-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655486$ADA731A6-850A-40E1-A01F-FD93E910C75A","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":"b00fb9d9f9de7280ceeeb7f327b657fd67be9bb2","datavalue":{"value":{"amount":"+0.9867402911186218","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":"Q1655486$86E079DD-A2D5-4C02-9724-E18514587CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c452d19b64bb91c3fb7a4a0567b7f964adfde7","datavalue":{"value":{"entity-type":"item","numeric-id":2945131,"id":"Q2945131"},"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":"Q1655486$7951E763-30BD-491A-87D3-51B28034BD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f50fc42d64d16ae951b38a55daf9f2b167c8844","datavalue":{"value":{"amount":"+0.7810460925102234","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":"Q1655486$98B164B2-4DFE-449A-BE05-221DF8E877DD","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":"8e6a58bb74a23283f9aa3d3c6db17b01117feb39","datavalue":{"value":{"amount":"+0.7793799638748169","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":"Q1655486$CB2EEE15-178D-4109-B3F3-E8F68DB48658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26436a96f7d2cf431beb31dc392294cc47579b0","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b458f5e8fbe23a34101261ab00eaac1629872fb5","datavalue":{"value":{"amount":"+0.7708608508110046","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":"Q1655486$A6D59B5B-CE5C-44E5-A8E7-97211D0F7568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sentence-normalized conditional narrowing modulo in rewriting logic and Maude","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sentence-normalized_conditional_narrowing_modulo_in_rewriting_logic_and_Maude"}}}}}