{"entities":{"Q2506496":{"pageid":2517239,"ns":120,"title":"Item:Q2506496","lastrevid":44225637,"modified":"2025-11-21T00:54:18Z","type":"item","id":"Q2506496","labels":{"en":{"language":"en","value":"Completeness of continuation models for \\(\\lambda_\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061610"}},"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":"Q2506496$5B6A3889-9C65-4200-967C-16D8DF96D26F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc5793eb489ff7f4722a46516917985ab0eb688d","datavalue":{"value":{"text":"Completeness of continuation models for \\(\\lambda_\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506496$02181E3E-25D4-425A-910A-CF7F481F988F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a69c5126b3b0077ec2631840b32237e03b0f8644","datavalue":{"value":"1096.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506496$EAF3BC47-16A1-4BB9-AE98-CB1C1F470192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$456C628E-5B0E-4975-9F9C-C500F4E3DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$9B0CC209-EE57-4E35-8B0E-B7F932D64771","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$4D7E7323-F678-4C2F-801A-9B368A5F5E92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506496$4B40D5B1-6CFB-4847-8D37-BC181303F662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506496$9A8A46AC-7760-4F37-B1F2-E218C1E9C1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506496$00890AE6-88C0-4DBF-93F7-D1F7C8B42B42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9db9955a4e28259aebce196580e6abdaea2f923","datavalue":{"value":"5061610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506496$7BC40828-85E4-447C-8DF2-2F2A06BAB7E3","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":"Q2506496$8BB22A64-7D44-44DE-94B7-82A2A84A3179","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cb68c25cf42cc965fe9aad5a6a758055e788593","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2947","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506496$CDA7DFDD-7973-44F0-8540-FA2B6823E46D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"560c3fbea382bfe055910e5766965f2e876e4022","datavalue":{"value":"W1985736127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506496$E67AC8C2-2513-4EA6-A5E2-B3ADA93B230B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"792eb82a1128e3c271566834fa0a60a0234aaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$753CB3BB-4F8B-490F-8F74-CD94D210F1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$4803B405-A6DC-4CCE-9B52-5CF2800D18E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe258aca9d701a17778a2826193bb7d0179c4234","datavalue":{"value":{"entity-type":"item","numeric-id":4261086,"id":"Q4261086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$8D81FFE1-29FD-452F-BF51-3DB41FA0A15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194a40413ca3307ac571256f8d43587a3148fbc2","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$8801A178-FFC8-4D03-AA4E-1F86753D8243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$75A77A1E-B2EA-4F87-987F-29C9CB744785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$9822B107-F2BD-4FA8-AE66-FF93C3938FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$F4D243F8-8B3A-485F-8B31-4ECDD9B7730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4d6e025bdcde177d6dc2b4ad4e6827c97c8ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2942920,"id":"Q2942920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506496$9648CC75-8C2A-446F-8446-92B14BEC2E84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ded13c183a21c7deabb216f6c885c34a3408cbf2","datavalue":{"value":"10.1006/INCO.2001.2947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506496$69620781-096B-4071-ADD1-488F1EE12BF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe88c05f88fe4b686bae2e7511b096502afb869","datavalue":{"value":{"entity-type":"item","numeric-id":1021569,"id":"Q1021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c19639fe3bf8322fc8dddb9d88080c7db280f1","datavalue":{"value":{"amount":"+0.93055344","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":"Q2506496$AE4F1776-EBA8-4FA1-9B80-E73B86108CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6096a841a21aea329e2c5aea6ce2937efcde1614","datavalue":{"value":{"amount":"+0.92409223","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":"Q2506496$E954C647-941F-4E09-A15E-F9364105E22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0897f2bfb12099cb1bbec7eb650bd13e6d20c35e","datavalue":{"value":{"entity-type":"item","numeric-id":732057,"id":"Q732057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7aec41fdeecac6b0a293d377dbe361910126cc1","datavalue":{"value":{"amount":"+0.9134443","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":"Q2506496$5841BDEB-EDE9-4D6A-9679-9321E4E42013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63001cfdc0106cfa5ad69b1242ee93419d2d4158","datavalue":{"value":{"entity-type":"item","numeric-id":1125063,"id":"Q1125063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad01ce16fad421e0cf61a68b993c06a2f080668","datavalue":{"value":{"amount":"+0.9098083","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":"Q2506496$CDAAA226-40BD-44E9-9874-A293ECACE7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d589f0b3ae0a93300846fd5da03f744cdb2c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":1946671,"id":"Q1946671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9999bbd222a586eeb799295ec858fc489663bff1","datavalue":{"value":{"amount":"+0.9086022","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":"Q2506496$25E6A226-05B2-4750-BCB7-F920B10F6C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37827e46ff4f4975a87a25a10e14cb616c1c40e3","datavalue":{"value":{"entity-type":"item","numeric-id":4886631,"id":"Q4886631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d15d73a321f35782699c04e3c8df4a1b5c2578","datavalue":{"value":{"amount":"+0.90697163","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":"Q2506496$DD38A169-8AB2-4E4A-87AB-E1E43B05BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bd84afad09baad161f71f8e498a3bbfe16bf28","datavalue":{"value":{"amount":"+0.9059143","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":"Q2506496$DA7258B3-514F-4B4D-BA42-912B1B6DC8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5d990a083f3bfadce4a1fc07e0db54d9e639c","datavalue":{"value":{"entity-type":"item","numeric-id":4986735,"id":"Q4986735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1f2b0d029e2033d53b50c2bbeaf8eca7269726","datavalue":{"value":{"amount":"+0.9044706","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":"Q2506496$16403971-823D-4AD4-AAE5-0B6D33FCC875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bd3d6c57e769fdcd7543d4075e1e785873ac68","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b29cddc147fd50d3393a319cbf97f3276dd427c","datavalue":{"value":{"amount":"+0.9016317","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":"Q2506496$E6422975-5D74-449A-872A-0DBDF728842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc20b686005bc2ceb24fb0e1c146b05fd143838","datavalue":{"value":{"entity-type":"item","numeric-id":4981260,"id":"Q4981260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abab71dca70fe539bc9d2940cb2eff3be51c0cc","datavalue":{"value":{"amount":"+0.9014908","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":"Q2506496$3946AD6A-0834-410D-A652-DA23937739D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2506496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2506496"}}}}}