{"entities":{"Q1791198":{"pageid":1801940,"ns":120,"title":"Item:Q1791198","lastrevid":43329810,"modified":"2025-07-24T19:17:15Z","type":"item","id":"Q1791198","labels":{"en":{"language":"en","value":"A formal equational theory for call-by-push-value"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947000"}},"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":"Q1791198$90860713-3B90-4E6D-9442-895466FC8406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301b2bf1db1b2484b7118c67776f010cf00f973a","datavalue":{"value":{"text":"A formal equational theory for call-by-push-value","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791198$F3FC4068-3E89-4064-AF40-8AEAFF967DF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cdadf18e420b4117c566f2f86359713c7406f14","datavalue":{"value":"10.1007/978-3-319-94821-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791198$78FCACE6-DC50-4D24-9641-7E20414A9EC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"686f26ef2102dec34f922caacebd6571ad7fe765","datavalue":{"value":{"entity-type":"item","numeric-id":1786740,"id":"Q1786740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$F6D0582D-D91D-458C-B18D-8AB56B72C3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"324c5bcdb86b9ab775b4e729b182631c70fd8269","datavalue":{"value":{"entity-type":"item","numeric-id":1702904,"id":"Q1702904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$ABB547BB-F2AC-44B0-9F36-397B9E93875E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$48B562D7-9410-46B4-916C-1FE36E970379","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-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":"Q1791198$5DD1BA16-5FCF-4BEC-A5B8-5D136E1E1EF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791198$F3A71E84-5F46-436B-9243-4AFD926BF158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791198$7BBBC7B7-E7CC-4540-BC95-FEDDDE63B8AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"581c6b863ed5e8d25e69e6e758e0c8feb9761c3c","datavalue":{"value":"6947000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791198$DBFDBD99-C86E-46EC-B6FF-92F3C707C68D","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":"Q1791198$20D716C3-B5A8-478F-BE2E-FBDE73C4B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$C7A855E6-F429-4FED-9F95-3DD3EF31A2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$D6FC664B-6168-4C9D-96CD-A51377FA067C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddd31dae9cec559546306beb5fe50048bbc464af","datavalue":{"value":{"entity-type":"item","numeric-id":21898,"id":"Q21898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$E8A0573B-6C0F-46E3-B6F0-63EB9D80D2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb6c2d18287764041ae60ee5f8b5af9b2b2245a7","datavalue":{"value":{"entity-type":"item","numeric-id":40357,"id":"Q40357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$A4E437C9-4711-402C-B5C3-A0397E56EB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb6a7b246bf9c4bb421886df1d84726267770772","datavalue":{"value":{"entity-type":"item","numeric-id":40358,"id":"Q40358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$5A167565-167A-4315-821B-28D971A7FC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab78c386ed6c81792f96e275843babc4b24bbce","datavalue":{"value":{"entity-type":"item","numeric-id":40359,"id":"Q40359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791198$A11FF8CE-746C-4D6B-B2A8-B5363D5DDE66","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":"Q1791198$31229D77-A0E9-4BC5-B2A8-FFEB8E3D2CB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2986edcc3cf86e624dc75c830ebb631c30453fb0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791198$4F5CC847-28CA-4E03-A714-C5C82251BDF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"890bd9b29aa5c89f01d7f6a9160bee6363965961","datavalue":{"value":"W2811139380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791198$1DC1733A-CFD1-4C64-8BC4-EEDC4A51CFC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd37861f2453a60881fb457b3dfd01f77dc37a1","datavalue":{"value":{"entity-type":"item","numeric-id":4038678,"id":"Q4038678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2fe898276d736198a0f0a5965f0f124115053f","datavalue":{"value":{"amount":"+0.9041187","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":"Q1791198$00ED45AC-29F4-4723-8C98-78A85BD32364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96086981540939be523843792014729fb1a9fad1","datavalue":{"value":{"entity-type":"item","numeric-id":6091305,"id":"Q6091305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b9e0a53c5cff17d0181bfebdf8bd02d6252c7c","datavalue":{"value":{"amount":"+0.8875915","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":"Q1791198$C7F85665-EBC7-46D8-9239-BFCEB0F96B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a460a926bb69789abf32beba28d2359c22722666","datavalue":{"value":{"entity-type":"item","numeric-id":5874223,"id":"Q5874223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1b1c6e429cd98307c3ae94c1e5c3096ed383d1","datavalue":{"value":{"amount":"+0.8851049","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":"Q1791198$38D7AE1D-3462-44F9-BD27-D74E19CB5461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a703c3ce23ef0429e78c5e840d2ea5f218beb41","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326cabde9fd985119cb54a911c53a94b0d39c977","datavalue":{"value":{"amount":"+0.87859464","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":"Q1791198$3109D1D0-6B86-48B6-931F-AD5A07A54E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4f08aed74baba680dae44fb6e9d14dabd755aa","datavalue":{"value":{"entity-type":"item","numeric-id":4992391,"id":"Q4992391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326cabde9fd985119cb54a911c53a94b0d39c977","datavalue":{"value":{"amount":"+0.87859464","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":"Q1791198$EF291E71-B8DE-401A-A9DA-B2BB95EC9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c13034916854b58b7bf44dfbcff8d0f3f380639","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34796239cb16abe1686ec6ea45a4c8fe6c3aaac","datavalue":{"value":{"amount":"+0.87819636","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":"Q1791198$7A7431A2-51BC-46F9-8A84-A8DB9345041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31fc4025beee5e031858610505a84ced82fb1c44","datavalue":{"value":{"entity-type":"item","numeric-id":6171751,"id":"Q6171751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6a2d569802e5297b5207fc93f2dab7231bec8f","datavalue":{"value":{"amount":"+0.87783563","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":"Q1791198$F1C0D7C1-B169-4B84-97B8-B1F55A833EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a9cf79e1ed5803a8f687285e06121320254bb","datavalue":{"value":{"entity-type":"item","numeric-id":4719353,"id":"Q4719353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b627bc25c54da017ca89f3ab0c2336542e073a","datavalue":{"value":{"amount":"+0.87691104","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":"Q1791198$AD8BC6D8-9B54-4947-897D-E0A74B442418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66fb77e37a0e78e13ebc8286d61843550042d08","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b5026f957bf8ab17aeb02ee94adce8479269b2","datavalue":{"value":{"amount":"+0.87392354","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":"Q1791198$CB89B29F-8371-460E-B52E-2A6511013AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76b0889bb7ac70fe4a107ee06231f1669015e5","datavalue":{"value":{"amount":"+0.871299","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":"Q1791198$B906F63F-6D13-4E2B-A176-1803EF97A461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1791198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1791198"}}}}}