{"entities":{"Q4856176":{"pageid":6885756,"ns":120,"title":"Item:Q4856176","lastrevid":47369902,"modified":"2026-01-01T13:11:21Z","type":"item","id":"Q4856176","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 819768"}},"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":"Q4856176$0A1F407D-F796-4D67-B609-D7E296DC9C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7868fb9ee265fc64caedf75df017e7f1156ba6","datavalue":{"value":"0841.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856176$BF1D0772-0592-4F06-934A-4EF4FB21CD40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856176$E90189B5-B570-4B68-A845-3A5A5C07E3FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae1469fc9b9c8b38b4455fc2f5e7dd64d11966c8","datavalue":{"value":{"time":"+1995-11-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":"Q4856176$10C4F198-3459-439F-B9DB-80DDBF84E1FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856176$7488FE5F-F552-4589-AB78-8CC9FA59BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856176$02D5A3DA-14E1-45B9-9DC7-0456B23877A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856176$DEA9C9E5-1C53-4FD2-AD14-A97DC3BE225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856176$4CA7A841-2C0A-4E8C-8F25-14880D59BA6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd10d8e7b2b30fe6769913bc8b335f94adb1cb9b","datavalue":{"value":"819768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856176$8674A028-0011-4C11-9D4D-B7E666AF0F5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856176$D51D6DE5-E236-443A-8FF5-9F947AB8D512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5da0d197c46f0f302fa33274e6091d33f17a26f","datavalue":{"value":"Abramski's applicative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856176$AEBC4DB9-1C1E-4DD6-9933-D858B0D1831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856176$E009216F-610D-45D4-AD85-B3EC12F7AD6D","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":"Q4856176$96BD3E26-AF05-4530-8AD1-60670D1C8DB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5840c933ddf10b261b7fdbd10972ae6199cbd26","datavalue":{"value":{"entity-type":"item","numeric-id":4836023,"id":"Q4836023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750e5d284d3e62c7e75bb0f938e9b1691922d516","datavalue":{"value":{"amount":"+0.7721289992332458","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":"Q4856176$FFE1A932-5E87-4BC9-BCE6-614BB7427405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909ef0ad16ffb17eca75a1616743c7c5bc7e386d","datavalue":{"value":{"entity-type":"item","numeric-id":4736977,"id":"Q4736977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbe7bdd9ed36f521f53be832275c1b9e21e27ba","datavalue":{"value":{"amount":"+0.7369293570518494","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":"Q4856176$A80A5B7A-255D-4E53-90D9-F238884A572F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9086dff120b112cb6604cf91d0af7eaa8f3ae345","datavalue":{"value":{"entity-type":"item","numeric-id":4248540,"id":"Q4248540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02319af529d9feb12c0d1089e19f8cad54e6fac","datavalue":{"value":{"amount":"+0.7354316115379333","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":"Q4856176$EFD823C0-8112-4E47-A568-09570449CF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c0f36048b9e54fca36855dee858d5f542db30","datavalue":{"value":{"entity-type":"item","numeric-id":3999576,"id":"Q3999576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02319af529d9feb12c0d1089e19f8cad54e6fac","datavalue":{"value":{"amount":"+0.7354316115379333","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":"Q4856176$9D26587F-49CC-4396-B2F5-3E719E2B082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36795ee2e8836c33407762a0c709f441c4829fc","datavalue":{"value":{"entity-type":"item","numeric-id":4242524,"id":"Q4242524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f80fbad9615fc9c23865a6dc99ddf578b702d96","datavalue":{"value":{"amount":"+0.7335571050643921","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":"Q4856176$13C8BA5F-F4ED-4013-B781-3ABDF4E46A44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4856176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4856176"}}}}}