{"entities":{"Q5101355":{"pageid":7130931,"ns":120,"title":"Item:Q5101355","lastrevid":41806449,"modified":"2025-05-08T14:05:53Z","type":"item","id":"Q5101355","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577586"}},"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":"Q5101355$502C4145-5D1D-479F-A474-2D4232F6CCDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46c1f36aa259ea518d0948942860949ab279ba0d","datavalue":{"value":{"entity-type":"item","numeric-id":426729,"id":"Q426729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$69C2DF92-6CEC-4F38-ACDF-ED42F35FBD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$A7234124-908C-4EFC-AB39-ACBE0E938825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101355$CE38FDB8-C710-417A-9869-DFE25665FD90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"414fa2b4ded440656dbceddaee45ceccc2e7cbf8","datavalue":{"value":"https://arxiv.org/abs/2104.13675","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101355$2FFF02B8-7D67-46FE-8F5D-10867CCF04F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c52cf29ff82151a92f9e74b71ee47a12de0fb51","datavalue":{"value":"https://lmcs.episciences.org/9915","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101355$8F9E9234-E625-408A-9BD6-C7B432A348F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101355$5A9D6C3F-7740-4FDF-BE59-CFDFEC8291FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101355$F2AB4668-368F-4141-AA2F-C1B7687BA3B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c004d2717837e417c410772edbc3bd1dba05ada","datavalue":{"value":"7577586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101355$656FCB11-ABF3-4BA2-9CEF-EAACF723440F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101355$7DE383E0-818A-4850-A3D6-46C888EE9B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de61b4350222fd6a17614277e571505ccdf73d8c","datavalue":{"value":"atomic polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101355$A67D7F4C-64D2-4F76-A986-0C0E42999C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101355$857F0BCF-0241-4BC1-8EDB-4EEFEA63D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101355$83AEB98F-879A-452F-9D50-843D67609677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101355$920CEEC2-25A3-47A4-BB5F-8A40DE267104","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":"Q5101355$78D90424-46B1-4977-A71B-D4DAA834D56C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b9a2e91e8850865cc03d2273668e1c2dba7afe","datavalue":{"value":{"entity-type":"item","numeric-id":5091142,"id":"Q5091142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$5F8DFE72-3159-4BCF-8F48-58B9CE2F6A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$AC123B3E-BBF3-4071-8EF5-8673123161F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce08575a67ba4d97f25cafdaafbc60b3ab6282d","datavalue":{"value":{"entity-type":"item","numeric-id":4644473,"id":"Q4644473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$5A126982-42C3-44B4-9A72-12A1B66731D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992a9041e22d0874c431db615559a4bbb5c0a3d","datavalue":{"value":{"entity-type":"item","numeric-id":2363508,"id":"Q2363508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$4DAEFF62-5D16-427D-80E5-ED9297B28B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80763fc6efa7be9cdfdda78563859b368353a315","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$9376C98F-7C60-4623-9382-12A693067A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$C179A5E1-A100-4BAD-AEA4-CD80DD50A803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$D643FE9E-24DB-4376-95EA-D211DB231BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff96c37a66afe1add790c14afe39b8faf5825da","datavalue":{"value":{"entity-type":"item","numeric-id":4133591,"id":"Q4133591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$C0EAD58F-F1F8-48C2-A643-86D8C3066A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d4c3ce2ceb53fe357844a2263cce2c5bb19162","datavalue":{"value":{"entity-type":"item","numeric-id":5858127,"id":"Q5858127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$ECD6DF49-FCAF-45AC-BDDD-04E53B6A9D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8acae68ad4182fb9d86c0f1c4044635c1bc7b3","datavalue":{"value":{"entity-type":"item","numeric-id":6159943,"id":"Q6159943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$BEC118B8-E905-4B3A-A11B-D263CE627C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794d21685890acedbf48fd6b7e2718060092cb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2118979,"id":"Q2118979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$76F2B040-F225-44EB-834C-C7FBC0CDE1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$C7A89007-BF3B-4B47-9FF8-3FE1DC4A1EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2143bc6a950c5a7fad6b2542c3cc1e3e8bf1ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2186692,"id":"Q2186692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$195A9A4E-7142-4328-97F6-465F95F67196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eb702959acaa970a57c99338f253dbd7414149","datavalue":{"value":{"entity-type":"item","numeric-id":2631649,"id":"Q2631649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$5C507563-C478-4B51-9B9A-7D73DBA1F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101355$FC658AC2-FB72-478F-94FD-25A9B9CED6CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d27596e59b05e60efda636c67ccb32c5d58c1b","datavalue":{"value":{"amount":"+0.9241022","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":"Q5101355$2D8B6E29-251A-4D87-9CB5-78FC01EAB679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b176b8167565062f21e96ce0f27ba857641b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf13771486005fef6df1bc4b8db5786c7c8e72f7","datavalue":{"value":{"amount":"+0.9181373","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":"Q5101355$9FA1DA36-6181-48EA-8152-A166A1CA69DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebd12a3040e52aa9094f5ce4c1fe346b8dd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ac922a0e2c6f653073b608f7d1f1e1bc8da626","datavalue":{"value":{"amount":"+0.91342896","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":"Q5101355$4E666E2D-6FCA-4576-9957-D962D34D9DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3162df2fb79c73643e582db724df1477e0beec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5348906,"id":"Q5348906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ac922a0e2c6f653073b608f7d1f1e1bc8da626","datavalue":{"value":{"amount":"+0.91342896","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":"Q5101355$06300E1F-37E4-4E95-92DD-A59DDEB50AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27254b93d76a85ca62fadb4aeed49ef291bbf0de","datavalue":{"value":{"entity-type":"item","numeric-id":5234277,"id":"Q5234277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ac922a0e2c6f653073b608f7d1f1e1bc8da626","datavalue":{"value":{"amount":"+0.91342896","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":"Q5101355$1D2CBA73-EC5D-4035-AE50-650F0C698ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba36fde3d46f584cd2580b22efabfed2b1db2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5044773,"id":"Q5044773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852acbc9b02339350fa686775250a4f8ac569484","datavalue":{"value":{"amount":"+0.90716714","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":"Q5101355$44914FC5-BA63-4A90-A030-DEC2CC5282DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2da25202cf31d51bf3b5ead736f10c3ab5e6620","datavalue":{"value":{"entity-type":"item","numeric-id":5858127,"id":"Q5858127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb36b84f2dd6c774ddf18d258c58609d433bf94","datavalue":{"value":{"amount":"+0.90549827","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":"Q5101355$4A5012E3-5798-408E-B3A1-3BB451F296C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d6065f381fc940d55c9d33eb9fccdb5d527388","datavalue":{"value":{"entity-type":"item","numeric-id":853737,"id":"Q853737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d8307190a723856cbf0648eddd640daae0a11f","datavalue":{"value":{"amount":"+0.89526236","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":"Q5101355$D3C557AD-AF0A-49DF-8334-F6AAD893312B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d97b932a46c93aad927373761fd6dce2c07a53","datavalue":{"value":{"amount":"+0.8947209","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":"Q5101355$5875FE42-C4CA-4D24-9693-2A7246F0877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29f00b58f9aea69fa2a9f07a80619aca7e08de1","datavalue":{"value":{"entity-type":"item","numeric-id":3216117,"id":"Q3216117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229eeb06d4e3fa263cb79fc968fa180a9fbb5e91","datavalue":{"value":{"amount":"+0.8933647","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":"Q5101355$52C6B3B3-9560-4259-A53B-096005152176","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101355"}}}}}