{"entities":{"Q4850465":{"pageid":6880045,"ns":120,"title":"Item:Q4850465","lastrevid":46340334,"modified":"2025-12-24T14:43:02Z","type":"item","id":"Q4850465","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 806614"}},"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":"Q4850465$8A9F2395-F2DE-45B0-9DE6-9EF775A622FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0ab30c2ef34bee1ecaff3116c7427a5d86e317d","datavalue":{"value":"0830.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850465$090722CD-7E0A-40BD-A548-A07DC11DC3AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850465$2DBF9D9C-5E46-4A4A-AF9E-42AD526008E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ed7fcde38106c4c1a02e063fe16a7115ef1fb5b","datavalue":{"value":{"time":"+1995-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4850465$1877F0BE-FB6C-49D6-B565-6E799E90BD0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850465$11FD2BA6-DFFD-49BB-A12C-429ABD0FA117","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2343e575711d786070adfc5502fd5b925e2b3bf2","datavalue":{"value":"806614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850465$A266BCAF-34B5-4D9D-B777-687F21AB88BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850465$26C23124-7C89-4392-B9AC-B91BCA5C17E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850465$5386CFEA-5B30-40E7-8AA4-5E459509A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775f02a92c5a7eba8080c4dad979710a589dd1ec","datavalue":{"value":"standardisation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850465$37905206-7502-4080-B8D8-1D89D4CDC0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06b0172e2a326c96faa0975ade98d3f21701f09","datavalue":{"value":"finiteness of developments theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850465$791A86D1-3FE9-4545-A9B5-CAF0D2704FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b05210ba162044001c14a60e21b8e1d0b9104f","datavalue":{"value":"strong normalisation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850465$82170E31-188E-4AC1-8D9E-55E846D3C762","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":"Q4850465$090144AF-3A10-4796-8F57-401028DB2303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc20c0392397f580a2d4ce740056210eca74cccf","datavalue":{"value":{"entity-type":"item","numeric-id":3000279,"id":"Q3000279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308b128423b271330e4a38067978be75f9dbfb64","datavalue":{"value":{"amount":"+0.8249421119689941","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":"Q4850465$573353A9-C859-4567-A388-A4A513CA339E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ff12b5ca4231510e7e2d596105961afe3354b8","datavalue":{"value":{"entity-type":"item","numeric-id":1650330,"id":"Q1650330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b83ad7a95940a62d28080f1608a4c8aafd4695","datavalue":{"value":{"amount":"+0.8152248859405518","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":"Q4850465$9D8FF6D2-2E39-4D01-B8E2-984E2CE3E7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e75d19531fbf42912d86e4e69bfb094faf1d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5195246,"id":"Q5195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab78016ad708b662ebb4fbea1fe654271ec8135a","datavalue":{"value":{"amount":"+0.8141823410987854","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":"Q4850465$39E3455E-B675-4CC2-B700-75E906A800F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc71efa1ed77e2359b20b12b846effa172d3fb37","datavalue":{"value":{"amount":"+0.8115094900131226","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":"Q4850465$AAEB4CFA-A07B-47F4-AD8F-BC94B589B55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2cee70439fadd6719e66e6d36a1221ecd65e8a","datavalue":{"value":{"entity-type":"item","numeric-id":3735687,"id":"Q3735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b909928ed0d3122864ca7adc4525e09ccd060799","datavalue":{"value":{"amount":"+0.8091490864753723","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":"Q4850465$084BDE0B-A5CE-4304-9378-224B162F8ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4850465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4850465"}}}}}