{"entities":{"Q4281578":{"pageid":6311179,"ns":120,"title":"Item:Q4281578","lastrevid":46311198,"modified":"2025-12-24T13:18:53Z","type":"item","id":"Q4281578","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 512879"}},"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":"Q4281578$D0CA4FBD-09BA-477E-8A87-79D89F9026F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2efe7ad388ef41fab953d9e285df02b73b9a4a7","datavalue":{"value":"0797.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281578$0209B57A-080B-4343-928B-8AF8EC219DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c815c41e465f4878bd238b300cc994da6be7937","datavalue":{"value":{"entity-type":"item","numeric-id":831146,"id":"Q831146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281578$90874608-7D00-4225-AE8D-3C31639C2481","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51672651edbad47970e6ece29e7bebbdd7e8e8c5","datavalue":{"value":{"time":"+1994-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4281578$2FC8CEA1-8B3D-452C-A878-E5019A787C7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281578$3CF0CAFB-972F-4C07-B95C-294787655EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281578$732F8BAC-AD32-4A85-AEF4-ACD6C700F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281578$5E9AB38D-15D3-418B-8BE1-6FDD7037C2F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9aa839bc29c73c8f1207f311654eb3ee6646522","datavalue":{"value":"512879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281578$68B38B15-7746-4DB9-84D9-B2FB5D398D37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234ffe50ba91990d35fc50ace8029accf2f45b4d","datavalue":{"value":"generic theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281578$BD7AB02C-1CAF-476B-B071-88EAFAE4598B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281578$F2B7C1E5-0BB0-4423-B2E7-77BC0257B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7668336e8361589e7c30123d3293b123c2e4f82","datavalue":{"value":"\\(\\lambda\\)-typed \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281578$E48565BF-FDAE-48E4-AA72-4E9A90853400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281578$DE379FC9-C050-486F-8CBE-A9CADDFEEC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281578$CB6BB1CA-45BB-49F8-9FDD-A91E8F22D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daba1bfb98318b0fb2dc3b0e7f48c4d15ae434fe","datavalue":{"value":"inferential definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281578$6BC13427-C391-4527-98F3-3509B6770568","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":"Q4281578$D07819A5-B52E-435F-9B10-F4B54C9999F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59eed2fc0c71d831da167febbae5517cb393fc8e","datavalue":{"value":{"amount":"+0.7766456604003906","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":"Q4281578$E7416DD8-465F-4CE7-B020-A7D3643EAFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c177e00c07d2491cd428e2e0a80857e32d8574c","datavalue":{"value":{"amount":"+0.7666351199150085","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":"Q4281578$33F1766D-49F7-451B-8CC7-ED211CF59CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b269b385d5d360562557cc04f09a1815189c69bc","datavalue":{"value":{"amount":"+0.7631962299346924","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":"Q4281578$CBAEB9ED-B758-44BA-B022-A283DBA6B2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5310df8135c11117d0be2e73061f7ffeb54ebf19","datavalue":{"value":{"entity-type":"item","numeric-id":2946591,"id":"Q2946591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1826026991bfea3e114e1c1a1a3c251df75730e2","datavalue":{"value":{"amount":"+0.7627124190330505","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":"Q4281578$8C7B8AC0-7E4C-4DE3-B1EC-D17C1D936FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4281578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4281578"}}}}}