{"entities":{"Q1744394":{"pageid":1755136,"ns":120,"title":"Item:Q1744394","lastrevid":53070164,"modified":"2026-01-24T04:09:12Z","type":"item","id":"Q1744394","labels":{"en":{"language":"en","value":"On the representation of semigroups and other congruences in the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862935"}},"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":"Q1744394$1ED5E2B0-AF16-4D83-AB3E-0D4065735068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6331ecf10a3544d430a15b3f145294d1aea92d8","datavalue":{"value":{"text":"On the representation of semigroups and other congruences in the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744394$647E5CAA-15A0-460B-B005-52070CFAD0BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7555ab36b2a33275bd0bd77011e10a8a850e91b","datavalue":{"value":"1394.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$B4E7864F-1A4C-4741-AD3F-71FA0EF26509","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744394$E15F7CDF-113C-4A07-AC52-AFA32BC1F9C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$71180DF5-BC85-4DEF-8103-B5DD071ADD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$AC1BE931-F6E4-46FD-8094-F1692C1A8759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$B7E103FD-6E0C-4D5F-AF0F-2C57A90DC644","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ce502d2fd5236072bb44924c56a27cbf6e70b1","datavalue":{"value":"6862935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$647B0C4C-A29E-40D1-910B-E9274DBE5E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744394$541D662F-C008-472E-B819-3C716CA30548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744394$76D1327C-358B-4D3B-BABD-F8F8BA2838FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744394$07493CC1-CCC2-40A4-A534-7F629DE646DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744394$0946900D-DF38-40B3-BB9C-37B00484B783","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":"Q1744394$5D8EB46F-A5CC-4B7C-A982-05D87A3C4B34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d968fc3316fdf8cc4dbba593c66c305796b91223","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744394$27B8AADC-7064-4708-BB2E-13AEBB4039DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"208833f580013e38cd2eecbd5d522fc7ae89b7a7","datavalue":{"value":"W2528803252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$47814940-822E-42B5-B575-B8851D2A7DB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b4634500f97c33bf126421783becbbb4db2734f","datavalue":{"value":"Q113317628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$C31A8A91-E833-463B-8EC0-195F573D0D11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744394$23CA8488-3AE0-4F6F-BA10-5BDE65820A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9118b39d790a5bbe2556ad422dbb779dd5dd068","datavalue":{"value":{"entity-type":"item","numeric-id":1314364,"id":"Q1314364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744394$49BDDD6F-A093-4372-9FFF-3C4AF7D8B4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221cec4a2dacabd28e50df58e2964545bf8f0523","datavalue":{"value":{"entity-type":"item","numeric-id":4362934,"id":"Q4362934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744394$6415192C-854D-4734-89C5-0E614919F6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef4b74add4ad9b9f871992f2ca37301c0bdcaef","datavalue":{"value":{"entity-type":"item","numeric-id":3178269,"id":"Q3178269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744394$A08F083F-16D5-443C-9FF3-B9D4573D51E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed280e13c3a64bb0a927523a65636b9a3ccce1a4","datavalue":{"value":"10.1016/J.ENTCS.2016.09.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744394$2F3148BB-D8B3-4C75-A9F0-DC26A8675B84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e115a3bb5883b526efe33b5fcb5be7441f386b9","datavalue":{"value":{"entity-type":"item","numeric-id":280190,"id":"Q280190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf8495748f742ae939e037cecfd98a03cc0bc70","datavalue":{"value":{"amount":"+0.7529029250144958","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":"Q1744394$4A5985A6-30B4-4337-84DF-A1296113D9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb60463fce1837f26088887052efae7fde5d0b69","datavalue":{"value":{"entity-type":"item","numeric-id":5249246,"id":"Q5249246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f7b16b4838c8ebc00dc39b3b5e03f879a189f1","datavalue":{"value":{"amount":"+0.7487100958824158","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":"Q1744394$B3F73DAE-FA05-415B-8B48-EC1D890F947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2570c79aa4f9a46962505ec353cd66f3108ebfb","datavalue":{"value":{"entity-type":"item","numeric-id":4946631,"id":"Q4946631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bad51b049f7e227df9b7a2500f3d0527511b7f8","datavalue":{"value":{"amount":"+0.7453732490539551","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":"Q1744394$3BDAAC4A-FCA5-4845-891E-83910D0C8DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66999f8040360679404377a2d623fb48da4f99c5","datavalue":{"value":{"entity-type":"item","numeric-id":5170832,"id":"Q5170832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665316810323512e0a829d5b93874c857b963650","datavalue":{"value":{"amount":"+0.7380817532539368","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":"Q1744394$745EBB03-C8B2-47EC-A581-C8ECF61C9564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c157d287acc914ff18cc4d6032a75c4ca6c06a03","datavalue":{"value":{"entity-type":"item","numeric-id":1099156,"id":"Q1099156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25aac47d924d900f3ebf89b199ef926fe0adb208","datavalue":{"value":{"amount":"+0.7223382592201233","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":"Q1744394$F8DB5FF9-CA75-46B5-9A34-A680F4B048FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744394"}}}}}