{"entities":{"Q6869923":{"pageid":20716129,"ns":120,"title":"Item:Q6869923","lastrevid":75237739,"modified":"2026-04-18T07:27:36Z","type":"item","id":"Q6869923","labels":{"en":{"language":"en","value":"Equational reasoning modulo commutativity in languages with binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149374"}},"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":"Q6869923$8C07BD6E-7370-4F1B-AA26-98649D80F09C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b022ccc96cb359a05e264357db60368c05f49deb","datavalue":{"value":{"text":"Equational reasoning modulo commutativity in languages with binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869923$AB880DAF-6A0E-4F7A-861B-91C580ECB7B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c295bbee8bb5d23350dd8e6d68b26ae6de36781","datavalue":{"value":"10.1007/978-3-031-99984-0_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869923$67C9FB19-B49B-4D3C-AA1D-AA4239946C12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95e27b74a199dffb75ad1219ff59f38b5d8bf18","datavalue":{"value":{"entity-type":"item","numeric-id":6831452,"id":"Q6831452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$54542A37-298C-4816-8334-68A8416232B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$866E7B10-B630-4EA4-840E-6DA8086A9C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$8E2B7C1F-8D1C-4F96-96FE-7CC83F4F783E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869923$B7B50E30-A40B-4052-914F-7F58335C81D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869923$735EE447-9A1A-4420-89C7-2F9A458CA9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869923$D5255484-DC88-4B5D-9026-31436C5CEADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869923$A80C2140-D460-4604-8AF2-B12C8A22434B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3345cd93d8807268d9f86556bff4711fced65eee","datavalue":{"value":"8149374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869923$EADF8812-420F-47FB-9809-448B9C3DCF70","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$14BBE802-3B16-4C13-B7DA-C40AA8CB3620","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97d43dbb0afa15445254df9d3d627cacb29875c","datavalue":{"value":"languages with binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869923$51D12589-D61D-4488-8ADF-4620C598B0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869923$5E5C7CDB-7747-4AA0-A7F4-57EEFC0BD211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869923$3A2AD9B0-5551-4918-B5C4-5BCF0102E9D9","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":"Q6869923$ACE6590A-A232-45CE-BB2E-EF6B41237118","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational reasoning modulo commutativity in languages with binders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_reasoning_modulo_commutativity_in_languages_with_binders"}}}}}