{"entities":{"Q6164540":{"pageid":13299421,"ns":120,"title":"Item:Q6164540","lastrevid":47881624,"modified":"2026-01-02T23:32:07Z","type":"item","id":"Q6164540","labels":{"en":{"language":"en","value":"Proving ground confluence of equational specifications modulo axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719891"}},"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":"Q6164540$C5B675D9-7665-4BD5-B954-5FDAE44A79D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a285ab7bb2874f444191d9cde3ee04df778bd3f","datavalue":{"value":{"text":"Proving ground confluence of equational specifications modulo axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164540$7C7B4C15-5496-42DD-9AFB-FC23759564BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac206add0565e043e54d1898788045fe91d9da7","datavalue":{"value":"1517.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$F769F3A2-DEC4-4FB8-A239-256EAD1F30FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5a55ab1255550e2f6173182af02428cae0ee078","datavalue":{"value":"10.1007/978-3-319-99840-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$08C3FA1D-F77B-4574-B22E-B381CD8A4581","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":"Q6164540$24C40004-0BAA-435A-B2DC-7B6EFCE99A49","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":"Q6164540$3674A14C-AA32-4DCB-AEA5-AD94D4FF5E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164540$B66ACD00-5547-4BE7-A0CD-4D61309CE07D","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":"Q6164540$A9D6E32E-0F8E-4B9B-BCE5-E3ED1AED3AC4","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":"Q6164540$19F90044-B43F-49A1-8DB8-045AB0B9A83D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"504ad153af3e03793a98d3c42dbffdd067f1523a","datavalue":{"value":"http://hdl.handle.net/2142/99548","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164540$C58140B7-DBDE-485D-AEE3-C90BF19BB380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$BEBA4BF5-1A2D-4F49-BFDC-1A41804065F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$026B2DFF-A6F7-4E0A-AB54-2D23D2E664FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$6DCA6C0D-B100-4C68-A106-CAC512E49072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$B12610A0-C9C8-4279-B067-0013F221FCC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf8efa89772ed4688273ce16e1d630dd7c1e6c0","datavalue":{"value":"7719891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$065877A3-7D50-4381-9608-423E8DB6EB58","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":"Q6164540$F52FEB2B-3640-4179-AD62-AB8EBDD36316","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ffbd18515700034adac10693ede67edeba647b2","datavalue":{"value":"W2789543688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164540$8CD69996-CDAE-4AB7-BB2F-4FBE07E1B733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe24b3c4922a695becdf7fab393449ec2991f43","datavalue":{"value":{"entity-type":"item","numeric-id":2291829,"id":"Q2291829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cbab5d98f3d7ca267b47dc8dd7f2146e6835d5","datavalue":{"value":{"amount":"+0.9553181529045104","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":"Q6164540$6D4D45E6-5D50-4E88-B842-6D5A98BB2688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f31d5a560d809eeca6627f5a506a44da3ed03c1","datavalue":{"value":{"entity-type":"item","numeric-id":5881272,"id":"Q5881272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144f46f96766d8fc7b9b986597eed12a7547a752","datavalue":{"value":{"amount":"+0.7864899635314941","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":"Q6164540$F0FF26E6-0846-4FF7-9019-F037D47F4F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97270c598360e6f23809fae87f3c1d2cad5a82b0","datavalue":{"value":{"entity-type":"item","numeric-id":6487297,"id":"Q6487297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a60f3dcb7efba4d2120781db05c5431fff75b8","datavalue":{"value":{"amount":"+0.7829263210296631","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":"Q6164540$222BBE3A-2EC4-4FD4-95A4-AEA045F022B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5cef2969112d75b57acddfe4a4a1ea3f2a5396","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1606556fae564f1bef944556673049c0a967b9e","datavalue":{"value":{"amount":"+0.7810391783714294","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":"Q6164540$D3FC876F-8A9E-48EF-AC00-CD3986F91AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3df1c0571e678c10e7f09f353de0c8a8b0196e","datavalue":{"value":{"entity-type":"item","numeric-id":5044723,"id":"Q5044723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e130fe37063b03f780c1911d31582df81c4c18","datavalue":{"value":{"amount":"+0.757810115814209","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":"Q6164540$436D5B8F-3456-4B2C-B900-D4B38B496182","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164540"}}}}}