{"entities":{"Q1989325":{"pageid":2000067,"ns":120,"title":"Item:Q1989325","lastrevid":82358771,"modified":"2026-05-06T20:42:52Z","type":"item","id":"Q1989325","labels":{"en":{"language":"en","value":"On randomised strategies in the \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7191310"}},"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":"Q1989325$AF675275-6CF4-458E-BC40-0FB51B913245","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"118f0be845652d569272edf6375660311ca144cd","datavalue":{"value":{"text":"On randomised strategies in the \\(\\lambda \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1989325$4B28CF2C-34E4-41B5-B1E7-FE0387CB861B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4a55e2055649640696c7e1fd5301a7eb3bb4289","datavalue":{"value":"1481.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989325$480E9D81-B941-4ECD-A11A-161544B650A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$1AE728E8-F5B5-43EF-AABE-8FCFCA2412DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9abec07fd2af15a9aaaa391006399418b62dd67","datavalue":{"value":{"entity-type":"item","numeric-id":1989324,"id":"Q1989324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$C061BFA5-CC94-4757-ACE3-B93D45BBDD39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$1E2FF810-1B80-4C80-9BA8-FAFBB8E378BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17bef57f2c610a5f39d28616a761795ad9fff698","datavalue":{"value":{"time":"+2020-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1989325$EB1A0395-2175-413A-83D8-BE505A48474A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce2df6120284f47d5ebe5e09e775aa71cd708d2b","datavalue":{"value":"https://arxiv.org/abs/1805.03934","type":"string"},"datatype":"url"},"type":"statement","id":"Q1989325$F16E68C3-829D-40EC-B842-E3A6F575E4B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989325$F4391A13-9D65-4C7D-BDEE-9904BC92A9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989325$625C217D-D1D8-4DEB-B7CA-1307B83A0881","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164bf1b0ba693c9edbb230432c579b63413c528f","datavalue":{"value":"7191310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989325$5F4FFB26-148D-452F-9187-06F0B487E0E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f595485632e6e6e60c497647f0ecc0b80b52a7a","datavalue":{"value":"\\( \\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989325$7A3B5318-F553-443F-B315-40A4C2191272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9deabf9d26552d688886bdb40ceb485e420d0788","datavalue":{"value":"probabilistic rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989325$453D981F-0448-4769-826E-3073AA93D783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989325$77242945-279D-4197-8786-B801F29FD887","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":"Q1989325$56AED3CD-421D-4E77-BA90-121605CDEC79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0045c00e3c95e695894895b0587d414fd8acacca","datavalue":{"value":"W2976884326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989325$21C7FBF8-3E4D-48F3-8647-46DB330E2848","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$E66221A1-745C-4D61-9FCD-35CACB610A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$6CA84B68-6CA3-495E-924F-F756A104D76A","rank":"normal"},{"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":"Q1989325$32D826AA-E394-4518-9C5E-F8F914589770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$857DD665-6EF7-41CD-A8B2-AAC3B52D4390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$0CBF8092-811F-4349-9472-A4857A436B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3530d65a695b6a5ae1e632bd935e719513daa1","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$3C2D8BCD-6B2D-401B-9342-E1D83FB6F838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c877c04c541a7428908ff8a8974c05cf812abc","datavalue":{"value":{"entity-type":"item","numeric-id":4808751,"id":"Q4808751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$ED6CAF90-D711-49A5-B17D-718E77ADFCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$FF0AD03F-6617-4704-B9D1-F2249B00C442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8233e8873eba8829799686bd9ba1959d145be33a","datavalue":{"value":{"entity-type":"item","numeric-id":5432348,"id":"Q5432348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$D7878BBD-F3EB-4531-9DE9-9D96FC584981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd61c5009892446a4f551e2eb9f3a1ea1d97a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2870319,"id":"Q2870319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$50AFAED8-3171-4AD5-83D9-6974448C1B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$705B338C-E8B7-4749-B19A-945701985337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$3237C397-73CF-49C0-A272-B16D701E5026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18642a838491c188ef18e183a8a792128a59fc0c","datavalue":{"value":{"entity-type":"item","numeric-id":4216130,"id":"Q4216130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$07314146-C8F0-4CBA-AA34-F9CB5DB43C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"722ec2d602c631583833bae09c991da3bc15202a","datavalue":{"value":{"entity-type":"item","numeric-id":5819786,"id":"Q5819786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$8E82CABC-E4F5-4830-979E-6DA83EC280C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a64f52b248c6e54db6201187ef78fb8c9350cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4256220,"id":"Q4256220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989325$2EB9363B-392E-4B81-8C1D-3CFF5C4CB516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03edefd342a2335030849e3e6daf7e5bd94aa7bf","datavalue":{"value":"10.1016/J.TCS.2019.09.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989325$DA20C8EB-DCB7-49AC-AB4C-716D0D50C67F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bccbd19983b2fe58de748b33d7ee128dd5d5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5108532,"id":"Q5108532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387d6a9cb37decab5533084d2eb76de583613cc8","datavalue":{"value":{"amount":"+0.7671900391578674","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":"Q1989325$C9AF1A13-ECBC-4DBD-9EB8-0304E31954F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed887ce0f4bcde671aeccc0c757db6ed49ad390d","datavalue":{"value":{"entity-type":"item","numeric-id":2250553,"id":"Q2250553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec6c2366645414c70c67b39958c8aadd0fbb38b","datavalue":{"value":{"amount":"+0.7622891068458557","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":"Q1989325$E9ECF5B3-CEC1-469D-89CE-9D0D80CE950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17215187995c9c0785164b4c00218352fb012a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d30d845e5581cdc1f9fc5f4cb0dc10d9ea57dcb","datavalue":{"value":{"amount":"+0.7575053572654724","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":"Q1989325$EF7325CA-51B0-4476-A4AC-299B72869C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01139883031fe87bf499e2c4e740336ba881fc54","datavalue":{"value":{"entity-type":"item","numeric-id":4414741,"id":"Q4414741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2bdf6219e9ca76fc2222d63e928a81071a362a","datavalue":{"value":{"amount":"+0.7534827589988708","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":"Q1989325$8DE8A0F7-8128-4C31-A5D8-59489F048407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3670522678c6e0e5d371ae4c9acfdb3762ffa3b5","datavalue":{"value":{"entity-type":"item","numeric-id":5369497,"id":"Q5369497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a91094ce3322b636daacb004ca772fdb562c0a5","datavalue":{"value":{"amount":"+0.7511976957321167","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":"Q1989325$411976A7-D8E7-4A52-82B2-5A0652EE6E4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On randomised strategies in the \\(\\lambda \\)-calculus","badges":[]}}}}}