{"entities":{"Q5108532":{"pageid":7138108,"ns":120,"title":"Item:Q5108532","lastrevid":53722859,"modified":"2026-01-25T15:03:15Z","type":"item","id":"Q5108532","labels":{"en":{"language":"en","value":"A deterministic rewrite system for the probabilistic \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196234"}},"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":"Q5108532$82A2E0D5-B9E9-40FB-99D3-509A4C47CEC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f345e1253a28f70b60b99e02e5e44c5f4b2559e0","datavalue":{"value":{"text":"A deterministic rewrite system for the probabilistic \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108532$F63D31D9-65A8-479D-93D0-A9EB773746D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63866e3c7a37ba2812961391eee0c5ffe2974b45","datavalue":{"value":"1434.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$F6CA2D96-705C-425A-AE40-F93174F11424","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b89bf51ffd9a288fc622ef107c87d858ce2b1954","datavalue":{"value":"10.1017/S0960129519000045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$24ED92F2-495E-46F8-B821-02FFECA3324D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"903cd1850797454adb49ea57efcb96fb0be5e76d","datavalue":{"value":{"entity-type":"item","numeric-id":2289087,"id":"Q2289087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$1774D78D-2913-4105-9252-F6168B630BD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$C7CC94B4-D1D4-4547-AB20-2BF0109BB37B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-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":"Q5108532$7933981B-1AC0-480E-B090-501E568B066E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$D895E7F3-2A45-4BCB-8CF0-B5C78A090E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$89DAA160-44FE-40E9-971A-37B2EED4A593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$3A479598-5A3A-42F5-9742-B023A7213FB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e6bb16bb0660a4d9f00b124b2a29ddcd68c80b1","datavalue":{"value":"7196234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$83174C39-7369-4AA1-8844-D743F44CC42D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108532$1CB7707F-DF58-4F15-8C06-2322DC9A8D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf349d7610c3cafda5ef8b7c78c1f945a88ccf0","datavalue":{"value":"probabilistic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108532$20BE441C-1B86-4904-8621-D76832C39735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108532$E5299A8C-89C2-4D85-8ACE-AC396AADF4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108532$F3BAFA28-871A-48E0-A187-F08A6BAF6C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0d9194a504e6434a9ea8ca87b8523a509f2555","datavalue":{"value":"standardisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108532$3DEDBEC1-38A6-4270-BE61-090B90A83725","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":"Q5108532$2E899F24-08A6-4DEB-9398-C152D4286F91","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":"Q5108532$35C1947C-DC0D-43B2-B953-330973F5DBEB","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":"Q5108532$C1038F15-5ADA-4D18-9F65-930D84C8A836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$340F75D4-C991-4066-8A91-1429A80F343A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$50D086B5-04DD-4CA2-9ACC-8A4E6023842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$95F585F1-C3C5-433E-9981-84D2452D8416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbedef78cc66731775a15c667ee46e16f6613f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5108532,"id":"Q5108532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$5A1A5AC9-5FB2-44F7-8AAD-0C68002D5EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ee9ee071826b0221c35a0113d5a38d3d4882d7","datavalue":{"value":{"entity-type":"item","numeric-id":2648502,"id":"Q2648502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$AF12E75E-C0F3-423B-80B0-C76DB584DF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$BD5DA39F-4790-4B0C-B233-BDAF5BC7D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108532$9FF49F78-D77F-4344-95B5-BACAE13D9CF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9672c04ae32636b4c7bf29a3f8400eba5e79e1b","datavalue":{"value":"https://doi.org/10.1017/s0960129519000045","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108532$774D33BD-CB85-4F5D-A414-EED8E6E9E261","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b1f18cda2bfd0deec0ac398b0dc0e1a277d887b","datavalue":{"value":"W2990154007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108532$10471C91-B820-43FB-81E0-352FFCFDAAB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ba6c5cb6cb3f600fe1409fd268b53cf50a2a81","datavalue":{"value":{"amount":"+0.8684011101722717","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":"Q5108532$35278C7A-5FCB-4D31-B89F-105D75200FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97197097993f166cdb623f1ff7a4070821bced5","datavalue":{"value":{"amount":"+0.8139821887016296","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":"Q5108532$63A74949-3DB0-4A4E-981B-DADC26E57350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e20076a29920716309cab1079d398be674dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d09781c5b9d52ef0400ca6e56839214464f6ed3","datavalue":{"value":{"amount":"+0.7855655550956726","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":"Q5108532$E9D06023-0D2C-443B-9BC3-5593A0AE7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23a4b39d7ef07d3d9e7f8402a9964578caecd12","datavalue":{"value":{"entity-type":"item","numeric-id":4994968,"id":"Q4994968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8ea29bfca89d30c7941de1121c518ede1083ae","datavalue":{"value":{"amount":"+0.7820430397987366","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":"Q5108532$C101CC46-8371-4EC4-811E-2235F373192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e530b8c535baa9778dee7ca09761539505314d","datavalue":{"value":{"entity-type":"item","numeric-id":1989325,"id":"Q1989325"},"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":"Q5108532$600C95BC-52CA-40FE-B8A2-3009C4D307B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108532"}}}}}