{"entities":{"Q5895465":{"pageid":7935024,"ns":120,"title":"Item:Q5895465","lastrevid":48769582,"modified":"2026-01-05T19:56:27Z","type":"item","id":"Q5895465","labels":{"en":{"language":"en","value":"[Russian Text Ignored]"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884130"}},"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":"Q5895465$9C188201-1E11-4C94-A501-B95D528F4BB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a2786c628740a3359d4ae89c5c42270c815b223","datavalue":{"value":{"text":"[Russian Text Ignored]","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895465$F4FC7DB9-9204-48F8-AA5B-E7E0A961EB1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a895f211ad1c2f8e774a33cdc302c150fb496189","datavalue":{"value":"0555.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$0F59E213-C5FD-4A34-9EA0-4C8C8C475CBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895465$028730E0-2352-4157-9037-7098C2AA5441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895465$E16B4528-BF62-44AD-9F33-1C3E073CC449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q5895465$FDD2D93F-778F-4F3E-8BEF-2E23261FDD57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$6E26866C-8CFE-4529-8295-1FBD2062D0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$04A3264E-4247-423E-9918-97FC4851D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$4E1695E3-81AC-446B-90A4-294C746A4B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$A61361D5-54BA-4330-9241-6E4AB9EAB09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$01F5000A-32AF-4E0F-B6B3-F452CC37E838","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84e0f3c8728466f55530cae232deca4d13f1d173","datavalue":{"value":"3884130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$F2A95E63-0069-425F-9D0F-5232DBADBC41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895465$C5120E4D-83AD-4649-BA79-D0633E11E1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a3d023ed54f1fd6c510b4a4b4bbe4ff857a978","datavalue":{"value":"untyped lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895465$E46D6CA9-3824-4FEA-846A-39BA2C338F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f95ee78dbd3d2051048accea533501eed46c5e","datavalue":{"value":"arithmetic consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895465$16246311-67E9-42B2-92FA-10F818D08CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895465$19D07927-90F8-421D-BB13-92465582372B","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":"Q5895465$DE6CBF78-2616-4120-BDF1-07C058563F60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38f06ffb0c4a8e63c33edb4c715a5cc794ab13b0","datavalue":{"value":"https://doi.org/10.1002/malq.19830290702","type":"string"},"datatype":"url"},"type":"statement","id":"Q5895465$B67CA17F-2851-4CCA-BD19-639B263A7659","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e5dae813e223ef3666b93ec861d52ca394e006e","datavalue":{"value":"W4237709660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$B392B0A4-688E-4B11-A9F1-7C984445BCB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32b6b7feca54a31e83ce3139ab1888f1c945d563","datavalue":{"value":"10.1002/MALQ.19830290702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895465$FD11E7F2-C9A2-4099-8AE6-D6D81A916024","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5a04ad2e5c381dc2e17d93572f7826abaefec","datavalue":{"value":{"entity-type":"item","numeric-id":3343960,"id":"Q3343960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cac403bed281c46aa5dd7fd12b255680e6cc535","datavalue":{"value":{"amount":"+0.8113011717796326","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":"Q5895465$DDF31F42-86C8-4A28-B453-34FC1B686AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1f2ccb4a20af1553a5189ad56d5ccf590903a4","datavalue":{"value":{"entity-type":"item","numeric-id":4031104,"id":"Q4031104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acac2aec166e0182d69c6d6b7a6447f2a11f651","datavalue":{"value":{"amount":"+0.8100100755691528","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":"Q5895465$AB98628B-35D0-435B-88CE-ADD566CFB03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7796136c5a85d17c41a083a512524ae54c91fac6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82678270c8a10b379bcbb8dc35c290d6e4b55398","datavalue":{"value":{"amount":"+0.8021829128265381","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":"Q5895465$CC5E6B14-61B4-4EEF-88E9-1A8E9531928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade0461aac58f9dcd86375e5c012743a9f90004c","datavalue":{"value":{"entity-type":"item","numeric-id":1264136,"id":"Q1264136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de390b1f7dc1d53c490218fa1119f1b95a245ab","datavalue":{"value":{"amount":"+0.7946000099182129","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":"Q5895465$2FF10B53-0009-49D2-A498-F902117A5EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cb1f27ab2f06747a69185e5627f229f429bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3024838,"id":"Q3024838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6785aef01259bff1dcb175e80496b0098e183e","datavalue":{"value":{"amount":"+0.7423458099365234","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":"Q5895465$75391B8B-5081-4A50-A7C4-6707DAE749DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5895465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5895465"}}}}}