{"entities":{"Q1648863":{"pageid":1659604,"ns":120,"title":"Item:Q1648863","lastrevid":68053179,"modified":"2026-04-12T21:08:03Z","type":"item","id":"Q1648863","labels":{"en":{"language":"en","value":"Formal verification of the correspondence between call-by-need and call-by-name"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6900722"}},"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":"Q1648863$4A3AEDE3-A42E-44F9-ABE9-A9CA6E7286E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f7b206355a53fe00e1332436335510271b39aa9","datavalue":{"value":{"text":"Formal verification of the correspondence between call-by-need and call-by-name","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1648863$76A0A415-C766-43FB-91D4-BF15808F9905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43e821f703979dae2b3bf710ecf9a1e4073e0a4f","datavalue":{"value":"10.1007/978-3-319-90686-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648863$5EDFCEFF-9037-4E95-A246-8CC487F9AC24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf108e546e1cf841fed90dd1a6d9510d0255d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1648862,"id":"Q1648862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648863$771B77BA-847C-40FB-AD5C-C2A0F84C2F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648863$87ABAF30-5FD7-481C-9A9B-316F2E29CACF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20fc1ac084e12d18c0e5ff948cffdf2d3bf183d6","datavalue":{"value":{"time":"+2018-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1648863$446BB464-4768-464F-8B1D-760E710983FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648863$79BE197E-A35D-45A5-8B4D-7A48911C3BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648863$03F2B352-1250-436F-B37B-A626A1BA6952","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3650fcb7df59f98c1a9b66782755683b4f9de772","datavalue":{"value":"6900722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648863$D708515A-7540-451D-9B91-ADF03701CB93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648863$CE996AFA-D2FE-4637-B9C3-A4EE51E2DB47","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":"Q1648863$75117B6B-3FFA-47F0-9599-7BF08944E2E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb3d8e8ee3f90c4cf2801e900032ec95d93146ca","datavalue":{"value":"https://doi.org/10.1007/978-3-319-90686-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1648863$DFD98FF4-961B-4E01-88F2-84182E3D572B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"116b36c5b52a98b291ad51b33737dacbb3c23362","datavalue":{"value":"W2802772145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648863$02AE1A01-8522-4460-B7CC-0F3D5E9ECB90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44da2e3ade8ea153c68b8dd6a49c2b5e7057ece","datavalue":{"value":{"amount":"+0.8214282393455505","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":"Q1648863$AA535B74-0F5B-408F-A475-800D2D3D40EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44920ad5b17d661f9772e46846b0d45e66e1518a","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad7233b8b371a8340f109cbd368f2114ef0cb44","datavalue":{"value":{"amount":"+0.8071640729904175","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":"Q1648863$3C90BAF0-4420-4D7D-A1C8-85A5E06A137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bdd7d56c347c5709908eb1a0ec0c2949b28ba","datavalue":{"value":{"entity-type":"item","numeric-id":3648355,"id":"Q3648355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad7233b8b371a8340f109cbd368f2114ef0cb44","datavalue":{"value":{"amount":"+0.8071640729904175","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":"Q1648863$6DBBBAA8-7E25-4434-96BF-76744A08C147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2470d096198c79fb6f3b390d04783439f2a113e","datavalue":{"value":{"amount":"+0.8062031865119934","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":"Q1648863$128B9604-4C3D-4BEB-9C8E-62325FA07A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aff604660100f80647bcb20bc1a49a63ed1541","datavalue":{"value":{"entity-type":"item","numeric-id":1652986,"id":"Q1652986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e90376c2d0241d1dc0e5e2b82003503e071a595","datavalue":{"value":{"amount":"+0.7853659391403198","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":"Q1648863$3F53CEF6-02F4-48D0-AE3B-8A488F7CF80F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of the correspondence between call-by-need and call-by-name","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_the_correspondence_between_call-by-need_and_call-by-name"}}}}}