{"entities":{"Q4855295":{"pageid":6884875,"ns":120,"title":"Item:Q4855295","lastrevid":41839450,"modified":"2025-05-08T22:20:51Z","type":"item","id":"Q4855295","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 814613"}},"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":"Q4855295$F077C758-BD36-4084-A973-E8670796B075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e10302b1f8adbcc3cf4db2d46935b502a5994fb","datavalue":{"value":"0843.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4855295$65F8A1B5-C71D-471A-A187-CD7411577962","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4855295$4604BCDA-9455-4A2B-B6F8-DAAD370B48DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efd715eb52524c8183012af293491bbf63584bf2","datavalue":{"value":{"time":"+1995-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4855295$457AEF42-3D72-4C84-8F60-B6906805C897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4855295$68024122-540E-42A7-8F84-397F0D28886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4855295$54447538-9EBE-4178-9A39-4491463304D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"684c2a9317dea37c56a9ae9d6b94c421e507ee13","datavalue":{"value":"814613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4855295$9E915A93-964A-49BE-A159-307861A988C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4855295$6E7B8E43-9D59-444C-A942-84E686DCC53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4855295$F5C911D9-845B-45F6-BAB5-9E42C069EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdc12f243fcca6d75b4f9f3983174f20e188cdfc","datavalue":{"value":"\\(\\lambda\\beta \\eta\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4855295$699EA415-26FA-4D1B-8353-D7BAC9277C04","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":"Q4855295$9D8346B2-95AC-4705-8B1A-955E9260E3F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b0af3543a3e870b59c153bde0a95fff58755c3","datavalue":{"value":{"amount":"+0.92041445","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":"Q4855295$D5A51945-4626-4545-8AD4-26C488309710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acba577735dd51367f54c35b7c591d300ddf7f29","datavalue":{"value":{"entity-type":"item","numeric-id":1120561,"id":"Q1120561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9469a3137ac8db709a6b09596318b8aca1db1a28","datavalue":{"value":{"amount":"+0.91240966","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":"Q4855295$08C33DCD-4C6D-4C07-9D75-73142AC868F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0897f2bfb12099cb1bbec7eb650bd13e6d20c35e","datavalue":{"value":{"entity-type":"item","numeric-id":732057,"id":"Q732057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc140c5e9279ffa5a115d65d678e2dfb35dafaf9","datavalue":{"value":{"amount":"+0.9098257","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":"Q4855295$05098E5D-F52E-4BF4-963B-CA25262ADF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3260d99a7a47922e0a128a281b2b9b3f96c3b722","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066db6c77c31cd43befdef726e4a9fa309bc5cdf","datavalue":{"value":{"amount":"+0.9094883","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":"Q4855295$7679F330-9A44-4B06-BD22-FD4580B283F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e32f7a0c56fbd935f12d906c40b6b3cb7d6fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":4323124,"id":"Q4323124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2904b25978be38f5a9f0a49fc6fd063c14f5b9f9","datavalue":{"value":{"amount":"+0.90297383","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":"Q4855295$94B0A521-3857-4B11-8CDA-3BE6D2FACA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb04cffa79c10b94b46f43c3aaf14e7c6a69a84","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b677e407bdba8455145f3a228e5fe40dd21d5322","datavalue":{"value":{"amount":"+0.895891","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":"Q4855295$52D30828-F9E1-4B66-9984-6DAAB957BBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a118a4ece8b2c99ea89a5fa8f825fe971e3d149e","datavalue":{"value":{"entity-type":"item","numeric-id":2958550,"id":"Q2958550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44194dda92a1262b382b79220353b432219808e2","datavalue":{"value":{"amount":"+0.8955339","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":"Q4855295$EE63BC28-F855-43D9-9E62-CD79B5187B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa694853817545dee15f2096bd9dffe286d84e1f","datavalue":{"value":{"entity-type":"item","numeric-id":672060,"id":"Q672060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee29ff15764cb9b9fe5cc9d353c484367a93cc86","datavalue":{"value":{"amount":"+0.8942731","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":"Q4855295$2891F700-4D2E-43F8-9163-0585A7954C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c364385a5a4fe22708908faf31459592d590f7b","datavalue":{"value":{"amount":"+0.8942112","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":"Q4855295$5C9CF4DA-159F-42FA-A1CF-1E273F0C47D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c5b0b6db984dc322e3897f57dadf3c6b0db5b2","datavalue":{"value":{"entity-type":"item","numeric-id":5875894,"id":"Q5875894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71c0d48c942ecaf939e0a6880a67e4337e87a20","datavalue":{"value":{"amount":"+0.89294684","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":"Q4855295$3E48B678-6EB7-4B05-BBAC-BAC33F8ED972","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4855295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4855295"}}}}}