{"entities":{"Q4903716":{"pageid":6933295,"ns":120,"title":"Item:Q4903716","lastrevid":40725265,"modified":"2025-04-04T11:53:36Z","type":"item","id":"Q4903716","labels":{"en":{"language":"en","value":"Reducibility Proofs in the \u03bb-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128568"}},"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":"Q4903716$A40E8C9D-4103-4657-AED9-88A4B91FF8EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"712bcaa864ed0e44844c79c211451ca5e599d45a","datavalue":{"value":{"text":"Reducibility Proofs in the \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903716$515CDC4F-4AE0-4B0E-AC90-DE4FAF41C8CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dd751f1e5000e9915873649d13bf5a78ecd8065","datavalue":{"value":"1277.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903716$813FBB8C-79ED-495D-939D-3FFC46898F0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"846c0924dbe5cade13b8b3fe4ba4d77e187f92bc","datavalue":{"value":"10.3233/FI-2012-773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903716$B449F47B-99C9-4A1D-9E35-14BDDFB8F670","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903716$4B1E4861-F720-45B6-92D9-675C58E52D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e04c8c2512ac0b5c5096b1f636df023ddd07c2","datavalue":{"value":{"entity-type":"item","numeric-id":507362,"id":"Q507362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903716$F99FF002-19D6-4D3E-8360-CD83B075132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903716$57102292-7B35-46C0-94DF-AA006D8E8B0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903716$5C41DE69-31B4-4478-AE8C-EF2091931A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4903716$24B9B37E-2FD5-4EB4-87DA-5042F1DBA2E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903716$B2474845-C912-4610-83A9-78BD458449D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd41ce6c652e3b652723a710abdb095f56e60604","datavalue":{"value":"6128568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903716$92E0A818-0415-4CC4-B96E-DA3F55D1EF07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903716$2D7EC443-4430-4AD1-8399-CC5E3E64C52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903716$9074CFE9-9F6D-4FA7-BFD6-1C7D8479D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903716$DAF6FA94-5D60-4B51-ABB4-E86512965987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903716$D8DE8FD1-DD07-43AB-ABA3-D7A83C6E1304","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":"Q4903716$D549DFAD-7D50-429C-BAFD-017FCE0F7AF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31da257845cfbc658a742b75eac01e3227129a4c","datavalue":{"value":"https://doi.org/10.3233/fi-2012-773","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903716$7EE716E1-458A-4A48-9530-84CDC0F93C9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e60f8a8388b18f56eab1e6fe48a07e0a93c1fce","datavalue":{"value":"W1548324986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903716$039F0FE0-A6FA-484B-8978-110A220DBD32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe18158a6ce01f773853a6291b89d428a861bf80","datavalue":{"value":{"entity-type":"item","numeric-id":897480,"id":"Q897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfeea750a4cadb65cefbe4f0cddc5fa38d8c749","datavalue":{"value":{"amount":"+0.93951756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$ABB5EEBB-F1A6-49D2-92B3-A5A8E0BE9D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3c7b8de097b4be467676211e2afc74edd39844","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d115c48bfd2faf6ce7491de518390610a320b32","datavalue":{"value":{"amount":"+0.925943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$ACEBF35A-1E40-49AC-97A7-947629A989C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ecbd58d5785e9ed383ec9bf33ddcdc368fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4a95fcd062d2730ba3b94f73f62064b621a630","datavalue":{"value":{"amount":"+0.9204917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$10AA7D1F-A62F-4FFC-A0A2-5EB8E8FBF451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d37a044ccb139fb459fb405ce0cdc18876a40","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1eae2ae7d1bf5484dd3a3f61064e70b3e2c71b","datavalue":{"value":{"amount":"+0.91953254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$3E9E3D68-C71D-4E3D-8AFF-E30AC30E06CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31b6d8fef7076c892dedbccf435607fe0017876","datavalue":{"value":{"amount":"+0.9161589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$17B6A65E-AD06-4F62-8D8B-F19EB7E11755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212262fbb8f0bb6582f2227c8282019d3091622d","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54efaf135be16cf879f164732cfcea3ca2faa232","datavalue":{"value":{"amount":"+0.91606164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$B7F7E63E-4FBA-436A-934F-526F8B01D8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83bc515640a4a3dc6637e8114205532f9a50ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5224689,"id":"Q5224689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50ca3a41367ae9360fb99d5634cda94eb82b25e","datavalue":{"value":{"amount":"+0.9139624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$DA1FE6DB-C36F-4CA5-84F6-F05AF2488D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1b6fb06658c450ec0303ab8dd3939ee9e68869","datavalue":{"value":{"amount":"+0.9111133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$919259B5-41BF-439F-8146-871181574A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20727969d1da683b119a6d955bc1782b4f37ba07","datavalue":{"value":{"amount":"+0.910378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$FCD7CC40-2DBF-4A35-B2FC-4F1B5AF4914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1491f6d09198e9f252bd9971e6f856cb1eb8dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ce91ffb4052ac59ef7caa811f635571372d0c3","datavalue":{"value":{"amount":"+0.90984136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4903716$C8B401E8-16A0-491F-9134-EA6E683973B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903716"}}}}}