{"entities":{"Q853747":{"pageid":855595,"ns":120,"title":"Item:Q853747","lastrevid":64842648,"modified":"2026-04-11T22:36:16Z","type":"item","id":"Q853747","labels":{"en":{"language":"en","value":"Pseudo-distributive laws and axiomatics for variable binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073698"}},"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":"Q853747$1B9E921F-156C-47D5-BA73-4F904613523A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1851394149dd18efb9feeef5f59f22f5b3910c6","datavalue":{"value":{"text":"Pseudo-distributive laws and axiomatics for variable binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853747$962D0F22-8289-4C0C-A0B4-BF7D7F338877","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"271689e154ec4033df308e90fb409e32adee34ea","datavalue":{"value":"1105.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853747$823FB184-7A21-426A-A64C-9E5D8A611D25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5589a4066d298dc1e61fcee6fb7a455e55218479","datavalue":{"value":{"entity-type":"item","numeric-id":853746,"id":"Q853746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$E7C6CB38-5FC7-4109-9385-A8FA8BD3F009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$C181BCEF-679F-4949-9B3E-33FF4B309FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$05ECA77C-B96C-4648-AED9-9710CD413BB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853747$C1C11BE0-8FBB-4C47-9F0D-AABC27D2A26E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853747$89D49D1A-1795-4947-A4F3-630B071536A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e691d25a6112dbcb5df9c476fe91803f7efd7190","datavalue":{"value":"5073698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853747$507E0AC3-D53B-4684-AE84-1140A7248128","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e92852bc748ad7824300820681a4053ecbdf011","datavalue":{"value":"Binding signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q853747$2A53A211-EBFB-4843-AEDF-CC939D95F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a92e36e692edb0410a568231b8abaff4f7b650","datavalue":{"value":"Context","type":"string"},"datatype":"string"},"type":"statement","id":"Q853747$BBEB0468-C7A1-411F-AA83-B699F4DA242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a8b7a6426b13597919a066312cf63297417bdc","datavalue":{"value":"Pseudo-monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q853747$6B0E1C5C-DB98-433B-B910-616D97D1EAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"212ce92d346af3d33f4159f5f13087588adf73fc","datavalue":{"value":"Pseudo-distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q853747$91E0BE2B-A297-4C18-AAFB-FEA609F2AB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb858a0d9015c0e9dd103053e143a74928981a72","datavalue":{"value":"Substitution monoidal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q853747$2C5D7A6C-9F88-4FA8-AD94-E0E86ACCAE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d841231ff31204057b6715c5630693725fff04b","datavalue":{"value":"Initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q853747$5B369779-676B-46A6-87A6-F4B40B06CA8B","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":"Q853747$07BB99CC-72C8-4C4B-A4FA-E41879FA2F10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e85e85524d5a222a30265ce200ac61d2ef3a60a7","datavalue":{"value":"https://doi.org/10.1007/s10990-006-8750-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q853747$A392029B-08E0-46D3-8DF8-9991216A0E94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008b6f2844796a42aac1ecaae495c7ace2f0584e","datavalue":{"value":"W2040355822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853747$E64513C2-EED4-40B6-87E0-0773D6719465","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e4706384e6147d172d2524eb07b05e2e9da2c4","datavalue":{"value":{"entity-type":"item","numeric-id":4218924,"id":"Q4218924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$5E9693A4-969F-4A17-A432-E30F3837C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$AE777530-1ACA-47D1-B8C4-74B052858D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251af6b1f8236abd719ad0f0d1ff9a55496ce911","datavalue":{"value":{"entity-type":"item","numeric-id":276490,"id":"Q276490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$CCDCA74A-1940-4D96-9675-18B6C0FFDE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9701c4e4a8a6a6373c23900beb1d6949083c86","datavalue":{"value":{"entity-type":"item","numeric-id":5603226,"id":"Q5603226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$D4455CCC-8882-4E3C-A03A-2D48D6B99503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b58dc5b9fd15c61b17d4498a700c993c6effedc","datavalue":{"value":{"entity-type":"item","numeric-id":2847782,"id":"Q2847782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$8C8CB5F1-EF38-4423-8263-68EB70462E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9210fa9dd2bb3fb16d1c30133c7f9fbae7ba51d","datavalue":{"value":{"entity-type":"item","numeric-id":2847810,"id":"Q2847810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$9804C291-51EE-4A35-985C-99D341A8E605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43e9ff1657ee77a36bffda09ff25df8b0b49fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4263871,"id":"Q4263871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$F40DA431-39BA-473E-BDE3-74B2AB05975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41f90f9ba74ab10633050ecdac3c2fca2cbd707","datavalue":{"value":{"entity-type":"item","numeric-id":1850100,"id":"Q1850100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$75D4FB84-548B-4473-A757-DB16E894AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5c32b039bf05a4c9a26bddce967d7270f7312d","datavalue":{"value":{"entity-type":"item","numeric-id":1083522,"id":"Q1083522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$E103CE2E-3C8A-4CE2-B772-1EC922A62C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$CDF4B3D3-B90B-43DF-BB7A-EDD39FBB3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9f8140818bf0703f5f59c3c7945a15785e4827","datavalue":{"value":{"entity-type":"item","numeric-id":5654207,"id":"Q5654207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$5C1BB9F8-715D-4CD0-AC74-8CBA4233C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$FEFA157E-9771-45A0-BD4B-4F2A06FE1646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$34D44BEB-3A01-4AD6-B825-C2570AE0A5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fd745f9bcb0a49d34aeb6509962ebd3361dd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4238518,"id":"Q4238518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$72B9E9B2-23CC-490E-B0A8-61863F282AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$7ECFB613-1B2E-4DBC-A6D5-A7BFE030078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$F0C0ACD3-71D8-4C84-8D64-8ADA44D42901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef0291e0d3c0d57f6596cad586e01c5227f22","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$05858244-4253-4786-B6DA-7EC64368D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e5100fb14642d7dd052a279d8cb34db9f0f17b","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$61F49446-3A19-40AD-BC17-5BB91B404E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833d536c70d4c2c0853adda885edaa7d07301619","datavalue":{"value":{"entity-type":"item","numeric-id":2863882,"id":"Q2863882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$733B99BB-DD56-4909-B455-674B4E5FC6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b644153447aa23c9117cb5e94181f8568d34bd95","datavalue":{"value":{"entity-type":"item","numeric-id":5704018,"id":"Q5704018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$EDB55B9D-E1F4-4B6A-B952-229D8BF39387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58b550ee63ab76f792ee6da649e332197ddca74","datavalue":{"value":{"entity-type":"item","numeric-id":5488609,"id":"Q5488609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$892F1C1A-FE62-4620-B965-B1D723629C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$C89FAC07-569F-44CA-9143-F62C776538FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20970ecd5ca04e25c3f9d7583e87d1d4c86d0bc","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853747$E7F3AA57-BADA-4113-9F58-7295215A1B91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c27cb869115ac1f91487e6f61128c569fb52b048","datavalue":{"value":"10.1007/S10990-006-8750-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853747$8A58A8A0-3229-4BB1-A03B-EF30832E8E12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d1c587ccde11ec9dc0017e5b4781201071be95","datavalue":{"value":{"entity-type":"item","numeric-id":5262926,"id":"Q5262926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8ae0642c2929d5df1544d7084d8a3daad0bdaf","datavalue":{"value":{"amount":"+0.8664340376853943","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":"Q853747$5DCB4793-C912-4CAF-A3FF-1F1BEB46132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69965c520910b7bc9ee81fe1a7915440431df71c","datavalue":{"value":{"entity-type":"item","numeric-id":5488609,"id":"Q5488609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3572232f0d2af4bdaef3061bd2b86cb5b1586be1","datavalue":{"value":{"amount":"+0.8156830668449402","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":"Q853747$9BD2872D-F77E-4AF7-B9F9-E19464780405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ee59d7a69a6022719b777b24041e134db65147","datavalue":{"value":{"entity-type":"item","numeric-id":276490,"id":"Q276490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b99cc3bc660e992074e6b4001c13b300cd2c969","datavalue":{"value":{"amount":"+0.7576636075973511","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":"Q853747$0CEF0824-51BD-4C03-876F-96E76EEB08A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4067ed38eb653844d1888dc813622655c47cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c6cf0abb6a80514064495c626eb5f0b932a0f4","datavalue":{"value":{"amount":"+0.755000650882721","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":"Q853747$2FFB8288-6758-44F6-AE9B-40D2C32543F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880b1d619dba183c19b8cd1f52c9dbc2c6290906","datavalue":{"value":{"entity-type":"item","numeric-id":5704018,"id":"Q5704018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfd181a29cf87b3d970feaa41dae116459af068","datavalue":{"value":{"amount":"+0.7506920695304871","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":"Q853747$691CEFF0-19FC-4E58-9928-6AD91354F675","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo-distributive laws and axiomatics for variable binding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo-distributive_laws_and_axiomatics_for_variable_binding"}}}}}