{"entities":{"Q4600771":{"pageid":6630354,"ns":120,"title":"Item:Q4600771","lastrevid":58300815,"modified":"2026-04-04T15:26:36Z","type":"item","id":"Q4600771","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825409"}},"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":"Q4600771$9F5DA270-EA13-4E59-94FE-AF83690B66E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ce9e2d85c426d8b7cbe7c8a8a98727cf4a5b9b7","datavalue":{"value":"1434.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600771$9EC12E1C-DA7D-45DD-ABBB-F59863BC8FB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21881c4602ec484de1282eb2cf066a0ee5cb80d1","datavalue":{"value":"10.23638/LMCS-13(4:29)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600771$481BA1AB-7568-4532-995B-BC16691B74A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600771$A6599939-4A75-4E29-823E-F3DCD0A2391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1fea3173fc5baef1bc16b9ceb99d57b30e613d","datavalue":{"value":{"entity-type":"item","numeric-id":534699,"id":"Q534699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600771$480E5154-D275-4485-B425-504DDEB8996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600771$9E43C219-C1D7-4915-9C24-E35A056D8692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4600771$060DBBAE-B47F-477E-B6E9-C1AA19B955F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8ce3b686fb30105f3fe3a2784e83ee6f623512a","datavalue":{"value":"https://arxiv.org/abs/1611.07255","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600771$F8198831-0DF0-4769-9CF9-83EAA33C694B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600771$DD03965E-BAAB-475D-9BC2-D4A383FFDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600771$B245A7E6-0056-4254-BAB4-1EAD101057EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"162eecba4c8c7623b82b43d1668cfbd4b0b42ab0","datavalue":{"value":"6825409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600771$DC643455-2566-465A-B8A7-34E197378A60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$D58903D1-5516-46F0-A218-5D16733F21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$189E6CF4-61B3-42BF-B49D-0F33DEDF57B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$989400B2-EE87-4FFC-83E2-55F733A17C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$712DBD5D-57E2-42FC-8A5A-E655C188FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b44ca531e6f2d9a0f2a064496ed94ba0f4105b","datavalue":{"value":"sigma-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$E1A740A3-7003-40DC-899F-68472B9DD3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e94b821003739a6c053dd26268b48fdf6756cf9c","datavalue":{"value":"head reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$53BB439F-F461-4766-A3A5-8E9FD6A9C3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17f116b4bf156ca0273689fa9cb22ef1958b00b","datavalue":{"value":"parallel reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$79F6C422-4068-4080-997C-F6570E73A003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0683262333495f71e900e223996a5d676d9e36e6","datavalue":{"value":"internal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$68BBBE74-0CAC-4907-AD3B-986326B56A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4824efab814862ff202be4cb95611e7fa8f9ec27","datavalue":{"value":"standard sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$5986B6B6-73E0-46AC-981B-E0169C681153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$937F5AE2-AB60-4C91-B621-10B2E574D83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$11E1F1BE-8578-4A4E-B662-54EAAD049D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5f4f07f91f72812f0bdb06de49fbd610479ddb","datavalue":{"value":"potential valuability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600771$C9547033-6985-4E35-AC4C-DA427DE4AC62","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":"Q4600771$67278F4C-C484-4FE7-8B2A-3D8EC99F26D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56ce5f5bf93bdc994251d2810fee66f8f426f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5277841,"id":"Q5277841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89254ed6f590b424bc990e160ba039228a2b3523","datavalue":{"value":{"amount":"+0.9657556","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":"Q4600771$B77E1DBE-FCD6-4A07-BB15-097A343AF902","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":"2a9bbd502a45b0e37c7c3488b5a94b6ef708e67d","datavalue":{"value":{"amount":"+0.9221049","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":"Q4600771$F76B154C-6846-47BA-B4F5-258D18BD27EB","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":"d63fdf467b3e0b8d85830b0c5f23517d5247ee23","datavalue":{"value":{"amount":"+0.9170506","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":"Q4600771$1CE36FB8-794D-44C0-B872-195FF8F7F0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b366c6b332c393ba63cc53f80458cfffbf4b8e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e933f36f165106297ed96d0751d9837c83331a99","datavalue":{"value":{"amount":"+0.90895355","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":"Q4600771$A30563C3-BC8F-441E-8617-4F215C7738F9","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":"31e8a58a5c71a82f8a3fb02f20f91ee51100a286","datavalue":{"value":{"amount":"+0.89886373","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":"Q4600771$991AAB98-A04F-43BD-92C4-77BB1AA8B72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f51a8bdfd627dbda58be721fb94cba17b0763db","datavalue":{"value":{"entity-type":"item","numeric-id":5441124,"id":"Q5441124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519f0b84b2af756b73ef82d396b015f5e089d09a","datavalue":{"value":{"amount":"+0.8985753","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":"Q4600771$1B574185-3AC2-43C6-874D-7EAF77F31B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e61470031e19b978baad8de644fb73af3dbbd46","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34273fddbbe08b7908d08896b17189484fa363a1","datavalue":{"value":{"amount":"+0.89692557","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":"Q4600771$0177ED8E-B03A-48D9-8520-B302D4C25D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edf92a06695a8c7a3d3aa9d7b5fb933baace185","datavalue":{"value":{"entity-type":"item","numeric-id":5212041,"id":"Q5212041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22ca3e21bad598b66efd388c26aae93d23ceca2","datavalue":{"value":{"amount":"+0.89645183","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":"Q4600771$2DFE2835-0CF0-4994-9F94-7C96E8876FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8ede35c936e0677e24e930e8979d971b020713","datavalue":{"value":{"entity-type":"item","numeric-id":1818310,"id":"Q1818310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80fc79f7321f3810b6291ec8154e083c15d00b7","datavalue":{"value":{"amount":"+0.8923379","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":"Q4600771$59E618D9-F5B5-4603-8A89-B7C4E71D1840","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":"213ef353035a398ecf51595a07f960398817db98","datavalue":{"value":{"amount":"+0.8897188","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":"Q4600771$7B9B6308-9EC2-455E-B0CB-16E02E9D0F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4600771","badges":[]}}}}}