{"entities":{"Q4722039":{"pageid":6751616,"ns":120,"title":"Item:Q4722039","lastrevid":41169311,"modified":"2025-04-18T16:37:04Z","type":"item","id":"Q4722039","labels":{"en":{"language":"en","value":"Numeration Models of \u03bb\u2010Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993542"}},"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":"Q4722039$D24DD271-C08D-4228-B0D9-92AD890E4AB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc9d8337c859bf54e7348b5545c27bd51a422f8e","datavalue":{"value":{"text":"Numeration Models of \u03bb\u2010Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4722039$43E4FB53-CD53-4C0D-B3FA-6CEB52500536","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07eca9e52a28f8e5c5cc4fd6659dc1117e8b9b32","datavalue":{"value":"0614.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$96701307-1176-4FC2-B092-2780142C2B56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d74e8b3f7f8cfe57ff367cf9d08a41a139dc9d7","datavalue":{"value":{"entity-type":"item","numeric-id":1102948,"id":"Q1102948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722039$85F269C9-C83E-401B-B985-1D688D687E2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722039$6AFBAA9D-93C0-4AEA-9AE7-D989F20B8869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q4722039$D18FD18B-1924-4DDE-A378-DFE6B6DA96D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$8E874849-2467-4348-9726-D5724B4DD35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$4D4CECA6-89AE-48EB-ADEA-026ACB126E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$297EC667-77F6-4C01-AFFB-8D372F60567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$DE6B95D1-FFA4-4444-A9C8-719202E57DAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e7938a2c268f5b29762c166746f561508112052","datavalue":{"value":"3993542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$EA18A6E1-1608-4E05-90ED-2F49E1D95214","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722039$6BDB8331-ED91-49AF-B06B-EAF2CD93299A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa7b442bd630e94deb8823ab8128293c6165403","datavalue":{"value":"numeration models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722039$A8421203-8D6E-4102-A83C-4E473BC5BEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1882188eb80fe012ede7a0d776ab43fc8c6370d3","datavalue":{"value":"morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722039$4DD4AD1D-F256-4E77-88C6-B386E38536F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5375662c6e56ccca6d8deca77b17eaf9594c2560","datavalue":{"value":"numerated reflexive set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722039$A74B8C2D-6088-4A1B-9FD6-4826E46E3568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce06a2950c39704abf3385046c0a0c414820bb6","datavalue":{"value":"category of numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722039$2CDAA2F1-492C-4D50-BF8B-5B1005036A5F","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":"Q4722039$C1EADE57-302D-4EB7-985F-68F204941FE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e6460fba4766a9ae0d57c14b44ac3e64268525c","datavalue":{"value":"https://doi.org/10.1002/malq.19850311402","type":"string"},"datatype":"url"},"type":"statement","id":"Q4722039$139AC208-410E-486F-BCE9-F3A441344590","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"142afc5cb564c17edc70b0d177b6e929bf298cb5","datavalue":{"value":"W1966345512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$9C1A33D5-1823-4421-91A9-E2F5C93E0A05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f00c927bf05f07987539508495d9ba1caa9e42ca","datavalue":{"value":"10.1002/MALQ.19850311402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722039$68C871F5-55EE-4B9C-9D48-774ABDEEEE2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837c101879c06ee5f4db437492106dab84b2e0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3707990,"id":"Q3707990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$30BCB747-E359-4E1A-BED4-D8468390968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be514722153d3463d880cf29a5c6c6c15b31fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3760511,"id":"Q3760511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd49c389b388617e4da67865dd60e649d06c5435","datavalue":{"value":{"amount":"+0.9819796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$0404CA90-7489-4192-809F-657199C4CCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35a730fa747f872f34b136128d3df4169fcd135","datavalue":{"value":{"entity-type":"item","numeric-id":3765743,"id":"Q3765743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f34347ce013f30c140f2adde56af4a445bb862","datavalue":{"value":{"amount":"+0.97679317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$DDDFA3ED-40C2-45D9-AB34-A3599A6A675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6036cfaf18e9c4dd09c938069b152227b730f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4c146c0c72da9e881f7780ac5aa4c9f45122d9","datavalue":{"value":{"amount":"+0.92782605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$BB098255-DAAF-44B7-B181-1A98CA5FEE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cd17a67abdf873118e272b8025d4dcbbff9148","datavalue":{"value":{"entity-type":"item","numeric-id":1899151,"id":"Q1899151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f96451878e36a357c2a05bddf0c39c745ed3f16","datavalue":{"value":{"amount":"+0.922629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$19FC94D9-4474-43D6-968B-DE97117DF7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b79f31a9aa15e9f0e8aa978ed9a3a4a3b49601","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f1f8ea0d57f1678198d94a0bc305ad47a99af4","datavalue":{"value":{"amount":"+0.9201857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$870CD17B-895D-4E5D-92D8-1A896049FD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399367f03632ca13a6bcb05b3f3a69a635df0842","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f1f8ea0d57f1678198d94a0bc305ad47a99af4","datavalue":{"value":{"amount":"+0.9201857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$E97B5303-A1FC-4B39-A816-3984C175BB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5cd07706262dcb1f67c7563cca109a1116a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bd0f9e6d6b0f7fa6b6f85b1e81c0ee291375f1","datavalue":{"value":{"amount":"+0.91997373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$998136F4-3717-4785-BCC1-DAAC8705162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459a5922378febad32c9441b36425d894473e680","datavalue":{"value":{"entity-type":"item","numeric-id":813074,"id":"Q813074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030c13a74f723b208c48acadf8d431ac84106219","datavalue":{"value":{"amount":"+0.9122585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$2347C562-7D10-4480-83F7-10352D624949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304fa96793e581200f68d1bc2306ffa2140f85ea","datavalue":{"value":{"amount":"+0.9114207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4722039$9D3BB4B3-60E3-4DF5-912E-79FB7AE37207","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4722039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4722039"}}}}}