{"entities":{"Q6166150":{"pageid":13301032,"ns":120,"title":"Item:Q6166150","lastrevid":94156709,"modified":"2026-06-05T06:01:31Z","type":"item","id":"Q6166150","labels":{"en":{"language":"en","value":"Formal small-step verification of a call-by-value lambda calculus machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721437"}},"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":"Q6166150$E74DAD21-E5B6-46AC-A3B7-7F47E34287E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85a8009c63a164ee71cf855b829ddebb3a596db9","datavalue":{"value":{"text":"Formal small-step verification of a call-by-value lambda calculus machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166150$104F1BED-0CF2-4585-BAE7-02FF9725F377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ca70f692bfdbaa42d5ac483d74011797011bff","datavalue":{"value":"1519.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166150$43BA634F-28F5-4DF1-B46C-3E981211456C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef3f439691acb7bfe5051fc7808158447b0463d8","datavalue":{"value":"10.1007/978-3-030-02768-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166150$C34DF04F-E5C2-4D33-AC14-2B18C20A09F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b01c8659d438f464113b8c77203eb524f1a37c70","datavalue":{"value":{"entity-type":"item","numeric-id":2209540,"id":"Q2209540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166150$87D5C3FB-9F78-4697-A996-1A814E3E44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166150$B2DBFEB6-8A60-4973-99F3-7495189CB587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e7e54e22918a5af75f6588d5e6c4a6d7874c28","datavalue":{"value":{"entity-type":"item","numeric-id":1687734,"id":"Q1687734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166150$48629ECF-1CFD-4213-ADE3-8DA7F35043EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166150$340EE84B-7782-4602-A42C-DC7902D67B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166150$F41B31AD-CAFE-4EF8-9943-DD819B81F606","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff6e799b64084e64f6af96fb54848026d3d99d75","datavalue":{"value":"https://arxiv.org/abs/1806.03205","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166150$12B636E8-24FF-4318-A938-CF65B5E8DF74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166150$7761B791-B305-4CC3-9D35-E0761BB15637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166150$E0E94A5E-0D15-40B5-8304-977CC5BA5BE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"751dcd3e2d0cd23fac6dd4c9a6485d16bcd0a17c","datavalue":{"value":"7721437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166150$1C84403D-6B76-4AF3-B4AA-EFB67A90BD74","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":"Q6166150$77317BBA-022F-4810-885D-FABC9F71F241","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cefa8e67365306dcb9cb8076ac6235810c91560","datavalue":{"value":{"entity-type":"item","numeric-id":1648863,"id":"Q1648863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0fce54545c4499d4242a0dbaee8dc31b30856d","datavalue":{"value":{"amount":"+0.7826627492904663","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":"Q6166150$6CB21074-CC03-49E7-9EEB-3FBF3A17C5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ab445c3f361aa12e217973dfbb183b92e7f820","datavalue":{"value":{"entity-type":"item","numeric-id":2038078,"id":"Q2038078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04375b3ccd7ed23dadb4c1ef4f19928533e55bc3","datavalue":{"value":{"amount":"+0.7801738977432251","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":"Q6166150$2B341281-816E-46C0-9AA9-F349B4170872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e0b669973656d870f009463961fcc7dac6d70b","datavalue":{"value":{"entity-type":"item","numeric-id":2319993,"id":"Q2319993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b34305b56772d69ddfb3245e45614ac5ec8287","datavalue":{"value":{"amount":"+0.7707648873329163","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":"Q6166150$9B676E16-C2CE-4F69-B7E8-4BB2787E031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c458e70f6038dd41325747d4ffa82a543c9745","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e732e730d8ed450f3e3aa6bd43509f55456205d","datavalue":{"value":{"amount":"+0.7672337889671326","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":"Q6166150$59BA459E-99A7-4EFE-9F63-7D16DA5DCE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61200c027576f30736516d48d8df037e4cf6dbb1","datavalue":{"value":{"entity-type":"item","numeric-id":4972064,"id":"Q4972064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6039684c773924485940d0996e0615d14cc429cf","datavalue":{"value":{"amount":"+0.7595281004905701","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":"Q6166150$59497ED7-6195-4A84-B44B-8FB0FA082A4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal small-step verification of a call-by-value lambda calculus machine","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_small-step_verification_of_a_call-by-value_lambda_calculus_machine"}}}}}