{"entities":{"Q3858241":{"pageid":5888146,"ns":120,"title":"Item:Q3858241","lastrevid":54544964,"modified":"2026-01-28T08:17:25Z","type":"item","id":"Q3858241","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3659565"}},"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":"Q3858241$52B11417-DF9F-4EF0-BFAE-E07EA3B0572E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e01ddfeaf33c861dbdd65ac543faf72601fa5cd","datavalue":{"value":"0424.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858241$89CE17A9-A89F-4827-A3F3-9924C7C83C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$14CCF5B7-8210-4A8D-80EB-ABB848C9B259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$7A59E849-B46E-47BF-A181-4EF516A1BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5029f9a24d0ab028a72381aadb8f88132ae85bd","datavalue":{"value":{"entity-type":"item","numeric-id":1592385,"id":"Q1592385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$EBF23BAC-AA12-42C5-B857-5F6CA01C55B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3858241$0A41BF27-F7CE-4CEE-B290-00A11FD859EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc3067ef0c261c4685374191b90fec55c2cc4587","datavalue":{"value":"https://eudml.org/doc/92104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3858241$A69090BF-5651-40CC-860D-69B3BA1A32D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858241$AA44EE5A-6F45-4BA3-BF37-DE542372A7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858241$3B3F1D4D-0B35-455B-9388-F28B4E5D60F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858241$1780FDC7-379A-4962-85DE-86434F6C61D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af939a7666d2494115dcb55ffa9f0a64d80f03e8","datavalue":{"value":"3659565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858241$2719B1AC-DC27-429D-8E02-BFB6030F64AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858241$247F3B8F-B1AD-42E0-B4C4-EC96FAC30836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858241$CDB57E2B-AA29-4B56-9704-2951AAE64848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf13f4826a534c3d7cc1e5ac5c766b3a98f58142","datavalue":{"value":"reduction of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858241$245BA955-B3FC-48E8-9946-12F75A8C04EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858241$C2B65E42-C82E-4D17-8E1C-4B239B733C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae0c933dd5f4598cc793a8911af606f55ae415b","datavalue":{"value":"Blum's axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858241$71160153-0A64-4AEF-8568-5111CDE37D15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$A2DA0330-3CB4-4BF6-9D70-6AF5123680DB","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":"Q3858241$F97FC6C4-9E67-420B-9C33-908875F558D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"403807d2da32b1f909cf415fbf80d9ffbb1975d0","datavalue":{"value":{"entity-type":"item","numeric-id":4127994,"id":"Q4127994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$1D901374-3677-42C0-8E48-FA78BE556AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6561ad0e972762faadf5d1600a7f7249272b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4100066,"id":"Q4100066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$3C65CB79-6202-446D-8D16-7335E6129F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1660b7d13bb5eb3a6258d8b6b50beb2ab5a3654","datavalue":{"value":{"entity-type":"item","numeric-id":4182476,"id":"Q4182476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$5E7EB0B6-DE1E-40B7-94F9-0FD11DEF2226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487f7cda807707c243c779e692d91d8ac1be09be","datavalue":{"value":{"entity-type":"item","numeric-id":4096921,"id":"Q4096921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$82D0CA25-2272-413C-AA6C-028B115C0BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b480b7cfed9dd3eb5bb1f33cd8312667ebf712d","datavalue":{"value":{"entity-type":"item","numeric-id":4109650,"id":"Q4109650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$52CC3E15-A419-4619-8403-BEFBEF8107EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0596e5c599613b80ada37fb1d40e1b8f50bde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5549809,"id":"Q5549809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$69D4AD40-5FC7-49B2-9BDD-E53C387B4D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66209cb6e40852aae3b6635a4ff133dde88e17a9","datavalue":{"value":{"entity-type":"item","numeric-id":3869322,"id":"Q3869322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$3E58B1BA-6719-44F3-A0EC-75B9F8064E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$AD7AA96C-B5CA-4A0B-A9BB-8573C07562D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$482A48C4-CAF1-455F-9A2F-7C9CC038525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625476cbb6a379344d2fcac5379841d30228cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":1240554,"id":"Q1240554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$F24F00DC-778A-4829-AFA6-823A0FA629F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4aab3122d2756414ffcd339a7e7167d6a7f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858241,"id":"Q3858241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$F1CCFA71-BDA2-4051-B47E-7451F9D7343F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$C3FD094E-1DD7-4548-A108-78A601E8C245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77730595ea19ca4ba43a4d80d750b862c342ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5654032,"id":"Q5654032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$958A1E7F-767E-4340-91FE-6C13999B83F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$2891A731-6EBC-46F7-A9EA-4BF277A58573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$D887263C-75A0-4A2A-85ED-62E5CA18A20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$30D1ECA4-BF12-4D91-941D-AD5318A88FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858241$AEE5AEDC-DCB4-40CB-A2D3-AA91E791F24A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3858241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3858241"}}}}}