{"entities":{"Q3336679":{"pageid":3347387,"ns":120,"title":"Item:Q3336679","lastrevid":55972462,"modified":"2026-02-21T15:49:16Z","type":"item","id":"Q3336679","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870582"}},"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":"Q3336679$BF3DBC7A-EA6F-41D1-848F-9FFD15B166F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c7867d8b69c985b56acfcbcf4149cd44a2d2406","datavalue":{"value":"0546.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336679$8DAB74DB-5E4E-4F82-972D-72A87E800660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3336679$2254BAE0-2799-4342-9BFD-CC042D5FDB41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc2845acbb02c7d3fb16aec2746500f2d2331120","datavalue":{"value":"https://eudml.org/doc/92208","type":"string"},"datatype":"url"},"type":"statement","id":"Q3336679$B515465D-D7EF-4E07-9E06-490DCB9DE05F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336679$420A7F0E-1DF2-45DC-9759-8119D2019384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336679$5BF243A1-AFB4-4606-9F82-57C0B900DC5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acddfe4afe01111329226511958c552a40ebed6f","datavalue":{"value":"3870582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336679$9E284B06-CA65-4E5E-9C69-6814AE4FFA5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$2A65431B-7587-4312-82FD-7288B92A09AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06e331c66729c881762dd33097dbcc756739b28","datavalue":{"value":"functional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$F304AEDB-E721-4752-8A0B-8DCC0F7302C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6cf188b71f3f543979bf21cb62631e179c4f59","datavalue":{"value":"Rational schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$02D20DC1-CD73-4811-B558-3D841FB62ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a2479c04f64532b88d27609a8605ac4c363b1c","datavalue":{"value":"typed combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$08186B32-90F1-4A5D-9B95-6E277D11A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0567e6d7b3c99795c23c78b8d14d1580733330","datavalue":{"value":"regular equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$BA824F51-1DA0-4C22-ADEE-DABCDF832113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711eb0cf8a7fbd2456999de50bbe84b19bf9fa45","datavalue":{"value":"higher type recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$5E3C782B-7407-4357-9126-DDCA7ADD78A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da55fc67b8b01234b97e4fa0f0d01461ba9d65c","datavalue":{"value":"non-deterministic operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$3D0AC4AC-2EE1-4DA3-991A-41C9293745F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$05729C62-8332-43C3-A1DF-0FB598076C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336679$69EE40F3-D689-4409-9A40-02BDEEFC4D3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5dfadf8cfb3e2e2ac6a77dc1f256ea2735ece8","datavalue":{"value":{"entity-type":"item","numeric-id":2502269,"id":"Q2502269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$30245ED0-5AD3-4492-91CE-067BFDFCE719","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":"Q3336679$8736D238-D7CA-4F55-B2C1-C247A00613B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$4D6EA8D2-52BF-43EC-B821-9FA0F7E109FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a115580ac8a211cb897248ccf380c42728276e","datavalue":{"value":{"entity-type":"item","numeric-id":4151140,"id":"Q4151140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$74BB6E90-A426-4413-8843-CB37664443A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$ED9C0237-2887-428D-BF48-6D58D271FB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$039EA625-DDF9-406C-8355-7990D169D9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752a3dff62079fbdc4d44176af93ea3ad277b22c","datavalue":{"value":{"entity-type":"item","numeric-id":4105238,"id":"Q4105238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$E43689DB-9FD3-4E45-A0E2-0C8A918A5AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35796ea8b117ef06a5fd8f27011c6bf96d757f3","datavalue":{"value":{"entity-type":"item","numeric-id":1171374,"id":"Q1171374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$8BF46641-3F83-44D1-B27D-9D1E43250BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ff90795f8ee2b9a49c3be6f61f867e34c060a0","datavalue":{"value":{"entity-type":"item","numeric-id":3309044,"id":"Q3309044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$80D312C5-510D-4036-92B6-81A8001CD6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b18d9c76aad0c8542339f6c4a03f92429945113","datavalue":{"value":{"entity-type":"item","numeric-id":4766003,"id":"Q4766003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$83ACC41D-C8D9-432C-897B-28E6F5E3E6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$EC559222-F99E-4DF9-A79C-F162F337EC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d453e539f074fb73e797160448e4b8fd62075678","datavalue":{"value":{"entity-type":"item","numeric-id":5665189,"id":"Q5665189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$AA4F5790-EF51-47C6-AEDA-1CC1A53F9E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492f530fa33ba430a0c3e2d057b3d4a75404d514","datavalue":{"value":{"entity-type":"item","numeric-id":4404457,"id":"Q4404457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336679$9A3F73E2-34F0-43DD-A498-0549945E4929","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c763a60908ad49eb4e928d43ea0aee9b295a3302","datavalue":{"value":{"entity-type":"item","numeric-id":3774922,"id":"Q3774922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90abb41a5dfe7801f1f7ac1fd0cfdce3370b6303","datavalue":{"value":{"amount":"+0.744892418384552","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":"Q3336679$DD355DF3-726C-4E3B-8D55-46AC9ADE6808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd6fb18ef84319b324ec5bc5bcc78a971b8993d","datavalue":{"value":{"entity-type":"item","numeric-id":3217592,"id":"Q3217592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b61ced1bf6f489816b2d0251f9e8a627efd955b","datavalue":{"value":{"amount":"+0.7422094345092773","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":"Q3336679$A0DEB06E-F0D6-4CA6-95D4-CC4EACCA63BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5aee7f0813a2f23f94c03a637d2e8c6de933bb","datavalue":{"value":{"entity-type":"item","numeric-id":3334051,"id":"Q3334051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6e5d4a738ab475e28f1b2ed031fad8f2a933a6","datavalue":{"value":{"amount":"+0.7397841215133667","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":"Q3336679$E39ED93A-97AE-41DE-9F02-1D4B4CE5E837","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3336679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3336679"}}}}}