{"entities":{"Q6164537":{"pageid":13299418,"ns":120,"title":"Item:Q6164537","lastrevid":47881615,"modified":"2026-01-02T23:32:07Z","type":"item","id":"Q6164537","labels":{"en":{"language":"en","value":"Associative unification and symbolic reasoning modulo associativity in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719886"}},"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":"Q6164537$8BC9D449-44B4-456D-8242-ECC79E334218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acbaaf9e1a5eaad1ad857bf20540e6b0e7606af1","datavalue":{"value":{"text":"Associative unification and symbolic reasoning modulo associativity in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164537$70268DE7-9226-469C-9FF2-BCA377D18901","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6379f70eb399ba0aacef1160f58c3dffeb8f191","datavalue":{"value":"1517.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$306D9B30-7FCA-4A36-A8E4-04581148AE23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87fbc60e6dbee04dd50ca24d62fc53b404cc3489","datavalue":{"value":"10.1007/978-3-319-99840-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$788C4BBF-EDCE-43B5-8BBA-6BC0FEC0D146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164537$29CBFDD2-9AB4-406E-95CC-7F0034BB73D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9e5df512942e7d0bfb634d7aa7c26774b48385","datavalue":{"value":{"entity-type":"item","numeric-id":997832,"id":"Q997832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164537$7313ED37-8002-4875-8D50-44C4B6759566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164537$CB7F75CF-9C5F-469D-818A-F3830AEB80E0","rank":"normal"},{"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":"Q6164537$CE14207C-57AD-489E-BEB2-FAA787F619A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164537$DCAA6C5E-1DB0-4EFE-AB67-0D6DB8B98480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164537$A3E31318-9733-431D-B22A-A3267FA7888E","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":"Q6164537$77343FE1-F4DF-4334-82D8-E3B3F7803C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164537$E5A5A03E-BF5C-48DC-A576-824E6D5E9C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$8DA57E6A-83D3-4925-A4C6-2172299840F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$4F847A41-D388-495A-BA2F-A9FA63B3EBCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be5c8311ebcd7d6b1a3f02f96308c2a202ef381e","datavalue":{"value":"7719886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$BF7F31A8-25FF-4FB6-97E2-3D7BA8010BB1","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":"Q6164537$A974A739-661C-4ED1-AE75-C553E301DEC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"12448bfc5195fb7cfd02d1a61d355b58e5593b0d","datavalue":{"value":"Q123905809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$DB5A2EF4-1BD7-4955-93A1-11F8B7D99536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac12b78097b1f17216a2fce554014e13f616469","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99840-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164537$54349BAE-F5F6-4E1F-A8AB-F658E6AAEB62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7591bf27aa6ab0ffc7b56adae580ee115c6f18ac","datavalue":{"value":"W2890451556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164537$03177EF8-D56A-4D82-99B0-318E87A6D09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fa4f7a415e4415c5f58aad0f62a1b4122ce840","datavalue":{"value":{"entity-type":"item","numeric-id":5389069,"id":"Q5389069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94a380ca9f5a9ebb900f217c9a02bc52ac48a03","datavalue":{"value":{"amount":"+0.8086363077163696","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":"Q6164537$A6B9D1F5-4514-4360-9855-FBF226399C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95706b86adb6f9693edbee0db1fd8fe26e83786","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb1940cbf22b9ea62fdc68dba6e71a4642e26af","datavalue":{"value":{"amount":"+0.7982620596885681","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":"Q6164537$BFB38247-9F60-47F9-AE7F-88043244D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f71633d00cdee53a142585ac8b4e14b66cd2f2","datavalue":{"value":{"entity-type":"item","numeric-id":2817918,"id":"Q2817918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a403b1196a54183a42b4e79d90155a9317fa2eb","datavalue":{"value":{"amount":"+0.7866112589836121","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":"Q6164537$427F0DA5-FAC3-407B-91CA-F8C713365B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1b7c07f0a96c9147c1bab4ef9db38c6e00ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1099654,"id":"Q1099654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fb8bd6ca0bfd892378b16a6e02b7a55bca91c5","datavalue":{"value":{"amount":"+0.785865306854248","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":"Q6164537$3775EF05-63E2-490E-9B5C-B09775FAF382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8074c1975bd09abeafde4674061df377001e043","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a89f41aa69914819df3eaac0aaf7495505c4a6","datavalue":{"value":{"amount":"+0.7822176814079285","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":"Q6164537$4A7D81C1-2698-4DF9-854F-7762A190A383","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164537"}}}}}