{"entities":{"Q2863905":{"pageid":2874625,"ns":120,"title":"Item:Q2863905","lastrevid":51885113,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863905","labels":{"en":{"language":"en","value":"A behavioural model for Klop's calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235768"}},"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":"Q2863905$AF7A93A8-3C8F-4AC6-9055-0A08B54E15F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c056e2834c3171bb49a67ccf2f1d91d1930019f","datavalue":{"value":"1276.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863905$FB0DF1F7-065D-440D-98FF-795B2C9105B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863905$B7A319C2-BAFC-4192-A45E-0FBB3684789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863905$47141E88-A61D-44D2-8DCB-7B588AAB40D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863905$0EA803E3-E9F9-489D-840A-A3F4BC7BC39B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5b702836905cd62bfab62895951665db6eb2f8e","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107000436?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863905$FE4D0E57-9A24-401C-A724-F9A723D98855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863905$DF8A858D-8AAC-47C9-8AD9-F9C67716D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863905$4643D918-D9B2-4952-B955-ED2FC5162941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863905$9088ECC2-B4E8-40D5-96B2-8D01B7B9C45B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9972c21843d3b2a446b3592d68f5e76093d5d87","datavalue":{"value":"6235768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863905$136EE3B3-026D-41B3-A923-510B6C7C1D17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62b7f60572f306134d155e65658ca76b5c60af4","datavalue":{"value":"Klop's extension of \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863905$D80F6F89-04A9-4A73-B81C-B79D02CEAC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863905$173C2082-8BF4-4B24-82C8-C39FCF776F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863905$2CE8A1F4-C30C-4135-B9ED-0AD1BF328A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e47a87fca09ff5e8ace9020da1b7cae3dc6465","datavalue":{"value":"inverse limit lambda models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863905$30DDAB7C-59A2-47FF-B9CC-4703330D25B5","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":"Q2863905$CEA3A81A-C42A-4DB5-9BD3-A93CFDCA3147","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ac15a953ca17138f29988c98fcec1009e2ecb7","datavalue":{"value":{"text":"A behavioural model for Klop's calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863905$C899E2FD-AAFC-4F1C-A24B-C71BB3A0DDA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329f3605f5fdbe7fc1d554171329096cca23452f","datavalue":{"value":{"entity-type":"item","numeric-id":1434350,"id":"Q1434350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf30413f67b48f5228af961097a9d3c673553b8","datavalue":{"value":{"amount":"+0.7390213012695312","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":"Q2863905$73DF7314-4743-44D6-A319-5D78CDB89E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9dabfd933ff635a7a9e4e8a9890f93ed5414a3","datavalue":{"value":{"entity-type":"item","numeric-id":2958535,"id":"Q2958535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af08c07735439c1630d46be13ee97638380250","datavalue":{"value":{"amount":"+0.7387999892234802","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":"Q2863905$72345D62-F15C-4C8F-B0EA-845FCCD23A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c826de7244eabb82d73aa5a8d736df3125fa8c","datavalue":{"value":{"entity-type":"item","numeric-id":5144650,"id":"Q5144650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c784f72b86e17e1ec3fd193ed1034e14ef6ec8d","datavalue":{"value":{"amount":"+0.7337538003921509","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":"Q2863905$EEBD4D58-68B7-4B1D-A605-E651835EE57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62286b7c3e37fd0408848fcdfe878adae53d4727","datavalue":{"value":{"entity-type":"item","numeric-id":958484,"id":"Q958484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5985700070c4a7699a71cd20be2b3ecbd833699b","datavalue":{"value":{"amount":"+0.732134997844696","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":"Q2863905$AA58B086-F444-46E9-98BB-ABE138E0749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0c8560c543ba06801d24c77b10c88836969cb9","datavalue":{"value":{"amount":"+0.7243815660476685","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":"Q2863905$45A1A048-CAFF-49F3-A4A2-C584771BACEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863905"}}}}}