{"entities":{"Q4499147":{"pageid":6528740,"ns":120,"title":"Item:Q4499147","lastrevid":47032074,"modified":"2025-12-26T02:22:56Z","type":"item","id":"Q4499147","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497737"}},"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":"Q4499147$2CD45B95-5F87-48A4-911D-2F25B0FD032A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dff80f977bda80cf10bb716c17019b807b51ca6","datavalue":{"value":"0960.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499147$36A5F005-99A4-430D-8532-783E144EABD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b19bf96bf438b05a47d5097beb71893c0804485","datavalue":{"value":{"entity-type":"item","numeric-id":197378,"id":"Q197378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499147$F8642F5F-BB55-422B-91A1-FABCC5EE5660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499147$253285E4-215D-4CFA-86D3-4DB686B8AB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499147$A8E33480-B15F-4532-B44F-560F83573B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499147$97D0D4DE-3C34-4DF9-AF6D-B62F4A905C90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e86c9836ec9f207c35f6b2f0e538b2658f61ca8","datavalue":{"value":"1497737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499147$012BD6A7-14A1-494A-B7A7-C3E10F59C2F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499147$91D4C7B1-D5A3-46E5-8376-E6CB248E93E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499147$78EB5E32-94AF-450E-9316-CA265150E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9367a0769a6db778601a77540b4556bfcc8fa0","datavalue":{"value":"existential quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499147$61532BD4-EA56-4043-9D3B-C877DE0D2F29","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":"Q4499147$77451B14-710B-4BA5-8129-8D31FDCC18B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c73acce12031b32569a34b1699d9a205d551994","datavalue":{"value":{"amount":"+0.7772263884544373","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":"Q4499147$6E84D7AC-372A-4085-9636-EC313C7FE703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e826edb6f8f556bce47a5acd2423900864a627","datavalue":{"value":{"entity-type":"item","numeric-id":5310639,"id":"Q5310639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329b79952031e31153efd528cb0f08b7cf3b122c","datavalue":{"value":{"amount":"+0.769219696521759","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":"Q4499147$6E7F187F-4B7B-4A62-B785-0A4FD80EC72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab896d4f2958c3ffec3184706a94d27424a074ce","datavalue":{"value":{"amount":"+0.760546863079071","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":"Q4499147$936B8750-AB07-4D5F-9613-CB836B3A9C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32102a253077e36db7accaaad755cb096bd6072a","datavalue":{"value":{"entity-type":"item","numeric-id":4594248,"id":"Q4594248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7401b3a82aa8491662f691e0cd3a66791c4b4c94","datavalue":{"value":{"amount":"+0.759937047958374","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":"Q4499147$F1C18D27-92E2-4A78-8974-1E97F1C9C580","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499147"}}}}}