{"entities":{"Q6869923":{"pageid":20716129,"ns":120,"title":"Item:Q6869923","lastrevid":84234170,"modified":"2026-05-14T00:23:26Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$B875E49D-2E54-4883-9271-38B11D308BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$7EBCC188-3FCB-4F6C-8FC5-015CAAA02D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae73f98004443a1cec304045a8647243605478a","datavalue":{"value":{"entity-type":"item","numeric-id":1687556,"id":"Q1687556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$3A7ABC0D-6AB8-4A8A-B34C-1A12350DAC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523969521351e922268601919badf5f95b6cdd41","datavalue":{"value":{"entity-type":"item","numeric-id":5022930,"id":"Q5022930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$6DE1E675-513D-4E29-ACEA-52D85145D371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db0360340640239c2351bd427f4ae063528a7bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216313,"id":"Q5216313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$B817C587-82A2-437F-9DCB-59DB09615929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b098b25d97e4ddaff4bf6a228f01587879d00b","datavalue":{"value":{"entity-type":"item","numeric-id":6118812,"id":"Q6118812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$104B5A29-D6AB-4A25-A9B0-EDF8BDFE0917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$DA395689-AFF0-491A-997A-CC5DED55D178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7d570239a769798b8af625d8376cbf775c1ba","datavalue":{"value":{"entity-type":"item","numeric-id":6831453,"id":"Q6831453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$0BF8B21E-0FAE-4A52-B282-67B5B482F709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24cbc1139b75e9114584d1ffb1ac5b96252e0c4","datavalue":{"value":{"entity-type":"item","numeric-id":6869923,"id":"Q6869923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$35F20E5C-31BF-43E2-B556-97B3D2F6419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$A89E274A-55D7-435A-A42E-4B1A234F86CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242d0bcefc8537fabd0f6215bfcd685ef643b539","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$067C9E52-B82D-456B-836F-C39ADD117B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2146fe71b39638fd1364e80615a2a1a9ddb51fe","datavalue":{"value":{"entity-type":"item","numeric-id":5313189,"id":"Q5313189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$A6945874-E4F7-4075-BA02-2379F0364431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$91B7DD32-9359-4F11-A5C1-50ED7D128778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e26026922b8de1d8a19d7898e64e9a4a494f6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3623222,"id":"Q3623222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$0376B4AB-2FFB-4802-9302-A68DA5ED752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$8F372A4D-5597-4323-AECA-6C233B9C9450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8c8a2ef9513f19190d3d1f78d3cc84718f578f","datavalue":{"value":{"entity-type":"item","numeric-id":3177798,"id":"Q3177798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$1ABD2879-3DD7-426F-800B-B402C8C16C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a1e2d1118091c3f76cf87566b6c9eaa67545a5","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$F729F031-5887-45C4-A58B-4771FF7739B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$56A56260-4130-43AC-91EE-90F1D66B0CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$14B41542-1ECE-4DC7-9FCD-00E1F246E31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1961d9808ed1d3491cd5e1132f23d3433f22af15","datavalue":{"value":{"entity-type":"item","numeric-id":6829932,"id":"Q6829932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$DC2C8F76-8419-48CA-B714-A7729F9D4872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067e393b8b4356a444ebb86fe4868b077a480748","datavalue":{"value":{"entity-type":"item","numeric-id":4273608,"id":"Q4273608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$9AB1A97A-588C-4A4F-B1E2-9130010DA761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb176e33191c1bdb10e72d085b171a598ebbffc","datavalue":{"value":{"entity-type":"item","numeric-id":7009392,"id":"Q7009392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$A229BB4F-6E14-456F-9969-2FEFE915A590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$9BD883AE-D337-4A52-AD36-0D416A66B2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$ADCEEA94-0C2C-4B8A-A8D5-A7EC9DFE6E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$8210542D-E5D2-4A94-A54D-61C75958438A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd87f6881ae76ef3f4ec4fc94471885f30434fc","datavalue":{"value":{"entity-type":"item","numeric-id":5075515,"id":"Q5075515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$C4725213-F4E0-4B0F-84A8-6A22620C4400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$AE56D641-95E1-4588-9A10-EA3427D2667B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869923$20B47404-866A-4ED2-B1CC-E9347F70AE05","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"}}}}}